面向数字孪生的动态数据驱动建模与仿真方法

信息物理系统(cyber-physical system, CPS)是支撑信息化和工业化深度融合的综合技术体系,传统的建模与仿真方法难以满足其应用需求。因此,提出面向数字孪生的动态数据驱动建模与仿真方法,通过随机有限集对CPS中的物理实体和传感器进行数据驱动建模,并使用基于贝叶斯推理的预测与校正过程支持数据驱动的仿真模型运行。该方法能够很好地实现数字孪生机制下虚实结合的仿真运行,并实现数据驱动的CPS仿真模型解算,通过以实利虚的方式有效提高了仿真结果的准确性和可信性。最后,通过水面舰艇作战应用案例,验证了该方法的可行性和有效性。     

非对称模型下的顺序诊断算法

讨论了顺序ｔ－可诊断系统的诊断算法问题。在Ｍａｌｅｋ和ＢＧＭ模型下，分别提出了一种顺序诊断算法，这些算法在测试图是二部图的情形下都是多项式时间复杂性的。     

Chwa & Hakimi故障模型的方程诊断算法

对于一般情形下的Chwa ＆ Hakimi模型,在不以“t-可诊断性”和“相信大多数”作前提假设的情况下,找到了求全体相容故障模式的具体方法——方程诊断算法,实践证明,诊断效果理想。     

电网联络线功率与频率偏差的控制及考核分析

阐述基于CPS标准的南方电网联络线功率与频率偏差的控制模式和考核办法,分析目前南方电网CPS考核情况和存在的问题,并从AGC的管理、控制策略、运用方法以及调度员调节等方面提出一系列有利于提高南方电网的CPS考核水平和频率质量的建议.     

TD-HSPA+系统级的双极化天线建模及仿真分析

提出一种双极化天线的系统级建模方法,以解决TD-HSPA+系统中极化性能研究无准确天线模型的问题。并通过结合多天线方案中的PARC和S-PARC方案,对TD-HSPA+下行系统性能进行了仿真分析和研究,重点对比了市区宏小区和郊区宏小区等场景下的双极化天线配置和传统线阵天线配置性能差异。系统级仿真结果表明,在覆盖半径较小的市区,利用双极化天线组网能提供良好的系统性能,提高小区容量。     

涡流斥力机构及其低压控制与保护技术

概述国内外涡流斥力技术仿真研究和样机设计两个方面的发展现状,分析涡流斥力机构具有结构简便、动作迅速的特点.对带有涡流斥力机构的新型交流接触器样机进行动态特性测试,证明其能够在接触器控制操作特性基础上实现快速动作.结合短路故障早期检测技术,通过实际的单相短路实验测试系统,验证涡流斥力机构的低压短路故障快速分断有效性,为兼具控制与保护功能的低压智能集成电器技术奠定基础.     

含大规模端口的MEMS宏模型提取及角度参数化

针对含大规模输入输出端口的MEMS结构,提出分块叠加Arnoldi方法提取其宏模型,针对MEMS器件中广泛存在几何形状相同而初始方位不同的结构,采用矩阵坐标变换实现宏模型的角度参数化,解决宏模型的重复提取问题。最后,结合一种微型可编程光栅的设计验证了宏模型的效率与精度,与有限元仿真结果进行比较,基于宏模型的MEMS器件系统级仿真结果相对误差小于2%,时域仿真速度提高了45倍。     

基于混成自动机的CPS行为建模与属性验证

系统实时性、安全性和可靠性等非功能属性是信息物理系统在诸多领域应用的关键因素。论文在分析CPS模型构建与分析验证中面临的挑战的基础上,提出了一种CPS行为建模与属性验证方法。该方法首先基于混成自动机对CPS的行为进行建模,然后将此模型转换为混合程序模型,最后在定理证明器KeYmaera中对HP模型的属性进行形式化验证。文中论述了行为模型描述语言的结构,建立了混成自动机模型与HP模型之间的转换规则,分析了模型转换的一致性。应用实例表明:该方法既能简单直观地描述CPS动态行为,又能对CPS的属性进行严格的形式化验证,且有效避免了形式化验证中的状态空间爆炸问题。     

基于GPS与GPRS的城市公交监控系统

建立完善的城市公交监控系统是提高城市公交系统管理水平、运行效率和服务质量的迫切要求。城市公交监控系统需随时获取行进中车辆的位置信息与运行状况,以直观易懂的方式告知管理调度人员及相关乘客,并将可能的调度指令传达给司乘人员。城市公交监控系统属于一种典型的CPS或带有控制功能的物联网系统。提出一种以GPS与GPRS为基础、经济实用的城市公交监控系统方案,并分析了实施过程中应注意的若干问题。