计算机技术与发展2020，Vol.30Issue(10)：79-85,7.DOI:10.3969/j.issn.1673-629X.2020.10.015
带有数据约束的信息物理融合系统的建模方法
A Modeling Method of Cyber-physical System with Data Constraints
摘要
关键词
信息物理融合系统/Modelica/AADL/Z规范/概率离散性/连续行为特性分类
信息技术与安全科学引用本文复制引用
卜星晨,曹子宁,胡名光..带有数据约束的信息物理融合系统的建模方法[J].计算机技术与发展,2020,30(10):79-85,7.基金项目
国家航空科学基金(20185152035,20150652008) （20185152035,20150652008）
中央高校基本科研业务费(NJ2019010) （NJ2019010）
