简介:在软硬件系统的模型检验中经常需要检测系统模型和规约模型的行为之间的包含关系.为提高模型检验技术的自动化程度,提出一种针对有限状态机的仿真检验方法.首先在有限状态系统的基础上,提出系统及其外部行为的概念,然后定义了系统间的仿真关系,之后结合不动点定理,设计了和仿真关系定义相似的FP算子,这就把两个系统外部行为之间的包含关系转化为通过FP寻找组合系统间的最大不动点.如最大不动点存在,称系统模型满足规约属性.最后,通过等价关系给出一种对于无限状态系统转换成有限状态系统的方法,使得该方法可同样应用于无限状态系统.实例显示,该方法能够很好地满足模型检验的要求.
简介:随着汽车性能的不断提升,迫切要求进行整车的集成设计分析。数值仿真作为车辆热管理的主要分析设计手段,可对多热力系统进行关联综合分析和结构仿真计算。利用一维(One-Dimensional,1D)和三维(Three-Dimensional,3D)耦合计算方法,开展汽车多热力系统及整车、动力舱和乘员舱结构形态的实时计算仿真,实现综合分析与优化设计。采用Matlab编程进行1D模型和模块建立,完成计算控制,并利用CFD软件进行3D模型建立和计算。计算控制模块通过批处理文件,实现模型调用、数据传递、运算设置和结果输出等。通过算例进一步阐述了集成分析的综合能力。
简介:摘要智能电网是电力系统与信息通信系统深度融合的时空多维系统。电力系统中通信系统的离散特性和时间的连续特性使得电力通信复杂系统的研究更加复杂。本文研究了电力通信复合系统及其研究方法,并提出了一种仿真工具。讨论了该系统的精度和实用性。因此,混合仿真方案是近年来的研究热点。分析了复杂电力通信系统复杂动态行为的混合仿真,提出了非实时和实时混合仿真三个方面的仿真方法。建模工具、系统架构、数据同步等问题的归纳分析相关研究成果,指出了复杂系统和时间同步是一个混合模拟的关键问题,并提出了一种基于缓存的国家权力和混合仿真平台信息交换的时间同步方法,为后续的研究提供了一种解决方案。
简介:摘要:为强化对基层人才的培训,加强人才体系建设,以满足当前和未来计量专业不断发展建设对人才的需求,研制一套电力物联网仿真培训系统及方法,使用仿真技术针对用电信息采集现有终端、电能表、计量异常监测等标准化设备运行状况,模拟用电现场各种采集 /计量故障;通过用电场景及软硬件仿真模拟,实现对营销计量人员场景化、理论化、便捷化的技术培训。
简介:摘要:针对地空武器系统发控系统部分电路组成与功能特点,本文提出了利用电路仿真功能强大的Multisim和图形界面显示直观的LabVIEW软件工具搭建仿真模型,进行联合仿真。介绍了该联合仿真方法的设计思路与实现方法;该方法可充分发挥LabVIEW和Multisim软件的优势,验证发控系统电路部分的逻辑功能设计的合理性。
简介:多天线技术能提高通信系统的可靠性与覆盖范围,是下一代无线通信系统的主流技术。本文采用EESM对各种多天线系统的链路级到系统级映射进行分析,并提出了一种新的映射方法(MMSE--EESM),对各种MIMO系统的链路级到系统级仿真方法进行了系统的研究,并对非线性接收的多天线系统,提出了一种MMSE--EESM的方法。仿真结果显示,此方法非常有效。对编码系统,误码率在10“时,预测的性能与实际性能误差仅在0.5dB内。同时,对复杂的通信系统进行快速有效的预测。
简介:摘要:随着依托LabVIEW虚拟仪器开发工具进行开发出来的一套软件逻辑仿真测试平台,该平台能够应用在测试与验证某型号导弹舵机液压系统软件逻辑。这一仿真测试平台能够模拟导弹舵机液压系统软件控制逻辑、机组告警系统以及简图页显示逻辑,除此之外,还可以进行被测逻辑需要的相关系统接口信号及电气、物力仿真信号的提供,以便可以做到确立目标为液压系统软件逻辑测试的导弹舵机液压系统仿真测试。