XiaoMi-AI文件搜索系统
World File Search Systemhmi
正式开发用于 ARINC 661 的多用途交互式应用程序 (MPIA)
摘要。本文介绍了我们使用形式化方法开发符合 ARINC 661 规范标准的人机界面 (HMI) 的经验，该界面可用于交互式驾驶舱应用程序。此开发依赖于我们在 FORMEDICIS 1 项目中提出并正式定义的 FLUID 建模语言。FLUID 包含指定 HMI 所需的基本功能。为了开发多用途交互式应用程序 (MPIA) 用例，我们遵循以下步骤：使用 FLUID 语言编写 MPIA 的抽象模型；此 MPIA FLUID 模型用于生成 Event-B 模型，以检查功能行为、用户交互、安全属性以及与域属性相关的交互；Event-B 模型还用于使用 ProB 模型检查器检查时间属性和可能的情况；最后，使用 PetShop CASE 工具将 MPIA FLUID 模型转换为交互式协作对象 (ICO)，以验证动态行为、视觉属性和任务分析。这些步骤依赖于不同的工具来检查内部一致性以及可能的 HMI 属性。最后，使用 FLUID 对 MPIA 案例研究进行正式开发并将其嵌入到其他正式技术中，证明了我们在 FORMEDICIS 项目中定义的方法的可靠性、可扩展性和可行性。
传感器 - 语义学者
摘要：无人机系统 (UAS) 航空电子设备的不断发展，为飞行器和地面任务控制带来了更高水平的智能化和自主性，从而催生了新的有前途的操作概念。一对多 (OTM) UAS 操作就是这样一个概念，它的实施需要在多个领域取得重大进展，特别是在人机界面和交互 (HMI 2 ) 领域。在 OTM 操作期间测量认知负荷，特别是心理工作负荷 (MWL) 是可取的，因为它可以减轻自动化程度提高带来的一些负面影响，通过提供动态优化航空电子 HMI 2 的能力，实现自主飞行器和人类操作员之间的最佳任务共享。本文提出的新型认知人机系统 (CHMS) 是一种信息物理人 (CPH) 系统，它利用了经济实惠的生理传感器的最新技术发展。该系统专注于生理感知和人工智能 (AI) 技术，这些技术可以支持 HMI 2 的动态调整，以响应操作员的认知状态（包括 MWL）、外部/环境条件和任务成功标准。然而，仍然存在重大的研究空白，其中之一涉及一种可以应用于 UAS 操作场景的确定 MWL 的普遍有效方法。因此，在本文中，我们介绍了一项关于测量的研究结果
ARINC 661 的多用途交互式应用程序 (MPIA)
摘要。本文介绍了我们使用形式化方法开发符合 ARINC 661 规范标准的人机界面 (HMI) 的经验，该界面可用于交互式驾驶舱应用程序。此开发依赖于我们在 FORMEDICIS 1 项目中提出并正式定义的 FLUID 建模语言。FLUID 包含指定 HMI 所需的基本功能。为了开发多用途交互式应用程序 (MPIA) 用例，我们遵循以下步骤：使用 FLUID 语言编写 MPIA 的抽象模型；此 MPIA FLUID 模型用于生成 Event-B 模型，以检查功能行为、用户交互、安全属性以及与域属性相关的交互；Event-B 模型还用于使用 ProB 模型检查器检查时间属性和可能的情况；最后，使用 PetShop CASE 工具将 MPIA FLUID 模型转换为交互式协作对象 (ICO)，以验证动态行为、视觉属性和任务分析。这些步骤依赖于不同的工具来检查内部一致性以及可能的 HMI 属性。最后，使用 FLUID 对 MPIA 案例研究进行正式开发并将其嵌入到其他正式技术中，证明了我们在 FORMEDICIS 项目中定义的方法的可靠性、可扩展性和可行性。
用于人体的自供电可穿戴物联网传感器……
随着物联网 (IoT) 的出现，自供电可穿戴传感器已广泛应用于各种人机界面 (HMI) 领域，包括制造业、医疗保健、生物医药和汽车。然而，这些传感器尚未在建筑行业内得到系统和科学的审查。本研究旨在对用于 HMI 的自供电可穿戴 IoT 传感器进行系统的文献综述和科学映射分析，以发现主流研究主题、研究差距和未来的研究方向。使用 PRISMA 方法、科学计量分析和定性讨论，从 Scopus 数据库中检索了 113 篇期刊文章，使用 VOSviewer 进行分析，并进一步研究主流主题、研究差距和未来研究方向。结果显示，通过对关键词、国家和文档的共现分析，可以得出重要结论。此外，本研究确定了四个主要研究主题：（1）TENG、PENG 和其他电源；（2）用于传感的可穿戴、柔性、可拉伸和触觉电子器件；（3）工业 4.0； （4）HMI设备和系统。在对这些主题进行定性讨论的基础上，还确定了相应的研究差距和未来的研究方向。最终，本综述将帮助建筑领域的学者和从业者更好地理解现有的知识体系，并为未来的研究奠定基础。
运输系统中的人机界面 - MDPI
摘要：本文概述了各种运输方式的商业或实验运行中的人机界面 (HMI) 设计和命令系统。它从车辆自动化设备和不同应用领域的模拟器的角度介绍和评论了不同的 HMI。考虑到认知和自动化领域，本研究根据工业和文献综述，重点介绍了人为因素和不同行业的经验。此外，为了更好地聚焦目标并扩展所研究的工业全景，分析涵盖了各种运输方式中最有效的模拟器，用于培训操作员以及安全和人机工程学领域的研究。特别关注可能适用于未来列车车厢的新技术，例如视觉显示和触觉共享控制。最后，提出了人为因素的综合及其在监控或驾驶辅助方面的局限性。
航空应用用户群
混合架构称为地面区域增强系统 (GRAS)。基于飞机的方法采用内置于用户航空电子设备中的监视器，不需要外部基础设施（GNSS 卫星本身除外）。这些监视器通过检测危险误导信息 (HMI) 实例（指任何威胁性 GNSS 异常）来构建严格的误差界限。与基于飞机的方法相比，其他类型的增强系统都采用地面参考接收器基础设施。这些接收器网络增强了 HMI 监控的灵敏度。此外，这些网络能够广播差异校正，从而显着提高用户准确性。图 1 显示了所有四类增强系统。ABAS 具有明显的优势，因为它几乎可以在任何可以看到 GNSS 卫星的地方使用。虽然 ABAS 可能包含非 GNSS 传感器，但 ABAS 的一个重要子类别是仅 GNSS 的 RAIM。这种方法使用导航解决方案的最小二乘残差来实现监控。较大的残差对应于与其他测量值不同的测量值。通过从导航解决方案中排除不同的卫星测量值，RAIM 可以检测到较大的 HMI 事件，从而可以对导航传感器误差建立更严格的置信界限。为了获得非零残差，RAIM 至少需要一次
通过 MEGURI 2040 应对技术发展挑战
classnk.or.jp › pdf › research PDF 作者：T SUZUKI · 被引用次数：3 — 作者：T SUZUKI · 被引用次数：3 为了判断这一点，人机界面 (HMI)... 无人机概念的心理障碍甚至更高，而这些障碍...
风力条例 - 爱荷华州沃斯县
worthcountyiowa.gov › 文件 › 2022.06.... PDF 2022 年 6 月 27 日 — 2022 年 6 月 27 日 ... 泵、电机等通过人机界面 (HMI) 软件，... 具有可操作的飞机检测照明系统 (ADLS) 可减少...
工业自动化研究生文凭 第二学期
1.感应电机驱动研究。2.交流驱动器的 V/F 和矢量控制操作模式研究。3.交流驱动器参数研究 – I。4.交流驱动器参数研究 – II。5.将交流驱动器与 PLC-I 连接。6.将交流驱动器与 PLC-II 连接。7.使用微控制器设计步进电机驱动器。8.带编码器反馈的 PMDC 驱动器设计。9.伺服驱动与位置控制研究。10.DCS-I研究。11.DCS-II研究。12.HMI研究。13.HMI配置-I。14.HMI配置-II。15.HMI配置-III。16.SCADA研究。17.SCADA 配置 - I.18.SCADA 配置 - II.19.SCADA 配置 - III.20.基于 PC 的 DAS-I 研究 21.基于 PC 的 DAS-II 研究 22.数据通信协议研究 - I.23.数据通信协议研究 - II.24.控制阀研究 - I.25.控制阀研究 - II.26.位移传感器的研究。27.液位测量的研究。28.应变计和扭矩测量的研究。29.在 MATLAB 上进行过程控制仿真 - I。30.在 MATLAB 上进行过程控制仿真 - II。31.在 MATLAB 上进行过程控制仿真 - III。
