XiaoMi-AI文件搜索系统
World File Search System系统监控
AI和电气系统监控的物联网
澳大利亚，印度，马来西亚和阿曼的杰出教授/兼职教师。他在他的专业领域发表了610多个出版物，并撰写了29多本书。监督了50名研究生的研究生毕业，其中包括39位博士学位。和11个Mengs。目前，正在监督15名研究生研究专业的研究生（VU博士学位，一名Meng的一名Meng学生和EIT的6名Deng学生）正在监督。公共，大学和励志讲师。澳大利亚和海外电力供应行业的顾问。协助大学和高等教育部门的变更管理计划。
自主电力系统监控和控制策略以避免存储容量过大
Hong TT Vu 1,2 、Benoit Delinchant 1* 、Jérôme Ferrari 1 和 Quang D Nguyen 2,3 1 格勒诺布尔阿尔卑斯大学，CNRS，格勒诺布尔 INP，G2Elab，38000 格勒诺布尔，法国 2 河内科技大学能源系，VAST，越南 3 能源与科学研究所，VAST，越南 *电子邮件：benoit.delinchant@G2Elab.grenoble-inp.fr 摘要。实现能源效率和电网稳定性的重要解决方案是升级单个光伏系统中的自动消耗。在本文中，我们提出了一种实施低成本传感器和执行器的方法，以便更好地监视和控制可行性解决方案。该方法是通过对法国格勒诺布尔 Greenhouse 的光伏系统进行案例研究进行的。我们提出了一组最少的传感器来降低系统复杂性，同时为我们提供足够的信息来做出决策。分析了一些技术问题，如系统的准确性、采样率、响应能力。考虑了逆变器运行模式对系统损耗的影响。之后，我们根据可用的设计数据和 PVSyst 的模拟数据找出了系统中的能源问题。研究了一种光伏发电预测模型，输入是从网络服务收集的预测云量数据，每 3 小时更新一次。该模型结合离网逆变器的实时监测数据和设置模式，用于确定控制策略，目标是避免存储容量过大并最大限度地延长光伏系统的自主持续时间。
通过物联网辅助 SCADA 系统监控可再生能源系统
引入了监控和数据采集 (SCADA) 系统和入侵容忍方案，以确认电力系统的可靠性。参考文献 10 中测试了 SCADA 软件和硬件系统，以管理保护继电器的运行。所提出的模型已在 IEEE ‐ 9 总线系统上进行了测试。此外，对于混合电力系统来说，收集全面而精确的电力生产数据的操作方法至关重要。在文献中可以找到一些论文，11 – 13，用于提高 RES 的有效性和监测系统。这些论文建议未来对在线监测系统进行研究是必不可少的。参考文献 14 使用 Wonderware Intouch 软件设计了一个沼气发电厂，以安全地改变消化器参数。使用代表 SCADA 系统中消息的 MATLAB 代码显示参数。在参考文献 15 中，已经采用了配电网络的 SCADA 系统来检测网络内的故障。实施了 Wonderware Intouch 软件来
以及 Eric Péré 在 PHM 框架中为广播系统监控进行数据准备和预处理。（2019）在：第六届国际控制会议，Decis
摘要 — 如今，生产商品的公司使用配备不同传感器的生产系统来有效监控其行为。大多数时候，这些传感器收集的信息主要用于生产监控，而不是分析生产系统的健康状况。这样，这些公司就拥有大量且不断增长的数据。这些数据使人们能够提取信息和知识，以便更好地控制系统，从而提高其效率和可靠性。随着几年前预测和健康管理 (PHM) 范式的出现，人们已经能够研究设备的健康状况并预测其未来发展。从全球来看，PHM 的原理是将在受监控设备上收集的一组原始数据转换为一个或多个健康指标。在此框架下，本文解决了与原始数据相关的问题。提出了一种通用方法来获取可靠且可在 PHM 应用中利用的监控数据。所提出的方法基于两个步骤：收集数据和预处理数据。该方法将应用于广播行业的真实案例，以证明其可行性。索引词——预测和健康管理、数据收集、数据清理、数据预处理、有用信息。
BrainScan® 数字热水系统监控
步骤 4：Modbus 配置 • 协议处理器端口：打开或关闭端口，更改协议处理器的波特率（默认 - 38400）、奇偶校验（默认 - 偶数）和从属 ID（默认 - 1）。这不是协议处理器的节点 ID。 • 协议处理器设置 -类型：BACnet、Lonworks、Metasys N2。 - 协议处理器的 MAC 地址（仅限 BACnet 和 Metasys N2） - 协议处理器的节点 ID（仅限 BACnet 和 Metasys N2） -Modbus TCP ID • 温度传感器：用于修改 RTD 的斜率 • 自定义 K 系数：设置混合和回流流量计的 K 系数，其中 K 以脉冲/加仑为单位。 • 设置阀门地址（在较新的软件上）：一次只能连接一个阀门来设置阀门地址。如果使用双阀设置，请连接要寻址的阀门的 RS-485 电缆。按“阀门关闭”按钮，选择所需地址，然后按提交按钮。离开页面前，按“阀门打开”按钮。
AMT：基于属性的模拟系统监控工具*
算法验证领域一直以模型检查时序逻辑公式的决策程序为中心。时序逻辑 [MP95] 是一种严格的规范形式主义，用于描述系统所需的行为。已经开发了许多将时序逻辑公式转换为相应自动机的有效算法 [VW86、SB00、GPVW95、GO01]，从而成功开发了 L TL 和 C TL 等逻辑，并将它们共同集成到主要验证工具中。基于时序逻辑的形式主义已被硬件行业采用，并成为标准 P SL [HFE04] 规范语言。为了推理定时系统，人们提出了许多实时形式化方法，它们要么是时间逻辑的扩展（M TL [Koy90]、M ITL [AFH96]、T CTL [Y97]），要么是正则表达式（定时正则表达式 [ACM02]）。然而，与非定时情况不同，这些逻辑与定时验证工具中使用的定时自动机 [AD94] 之间没有简单的对应关系。随着混合自动机 [MMP92] 的出现，连续域中的验证成为可能，混合自动机作为描述具有带开关的连续动态系统的模型，以及用于探索其状态空间的算法。尽管最近取得了很大进展 [ADF + 06]，但由于状态空间的爆炸式增长，可扩展性仍然是混合系统穷举验证的主要问题。此外，基于属性的混合系统验证才刚刚起步 [FGP06]。因此，连续系统的首选验证方法仍然是模拟/测试。然而，有人指出，验证的规范元素