摘要：燃气作为重要的能源之一,在生活与生产中发挥着重要作用。首先,调研分析了燃气运营呈现出的自动化、精准化、便捷化等发展趋势,并指出当前面临的数据获取不全面、信息系统不兼容、运营操作不精确、用户服务不便捷等挑战。在此基础上,将数字孪生技术与燃气供给侧、输配侧和需求侧的关键场景、关键对象、关键服务紧密结合,提出了数字孪生智慧燃气系统,从物理实体、虚拟模型、数据中心、信息系统及应用服务等5个方面阐述其体系架构和共性关键技术,并探讨分析了数字孪生智慧燃气系统中管网设计、完整性管理、巡检、应急、输配调度及用户服务的解决方案。详细分析了提出的数字孪生智慧燃气系统在燃气企业中的应用实践,以期为智慧燃气的发展与建设提供参考。

摘要：为进一步提高实时嵌入式系统仿真测试平台的实时性能,研究分析了仿真模型与测试脚本的关系和特点,提出了脚本模型化的思想,通过将测试脚本转化为模型行为,以取代测试脚本耗时的解释执行机制,加快代码执行速度。基于该思想,为GESTE平台设计了一个脚本转换器,并通过实际测试,定量地对比分析了脚本模型化对代码运行速度的提升。

摘要：软件失效模式和影响分析(SFMEA)是提高软件可靠性的一种重要方法。针对人工SFMEA分析费时费力的问题,着眼于SFMEA的分析过程,对系统级SFMEA计算机辅助设计及相应辅助工具的实现展开了研究,介绍了系统级SFMEA分析的具体步骤,提出了对软件功能单元建模辅助生成软件约定层次,由已有通用失效模式库和相邻层次分析结果辅助获取软件失效模式、软件失效原因和纠正措施辅助设计等,并在此基础上开发了相应的辅助工具,从而减少SFMEA的分析工作量,提高SFMEA分析的效率。

摘要：从嵌入式软件仿真测试平台的建模环境的特点出发 ,分析了嵌入式软件仿真测试平台中建模环境的功能和结构 。

摘要：针对航电嵌入式软件仿真测试的特点,阐述了仿真测试过程中建模的要求和模型的结构与特性,在此基础上,设计并实现了一种面向航电软件测试的建模描述语言(STMDL)。对STMDL的语法语义和描述规则进行了详细介绍,并阐述了该建模描述语言的特点和工程应用。