科创中国

本发明涉及一种适用于信息物理系统的建模与验证方法，属于信息化领域。该方法包括选取完整且闭环的信息物理系统设计案例；对所述的信息物理系统的离散模式变化、连续动态行为和层次结构进行形式化建模得到系统的多层次混成模型；将所述的多层次混成模型在PtolemyII平台中进行图形化建模；

该方法包括选取完整且闭环的信息物理系统设计案例；对所述的信息物理系统的离散模式变化、连续动态行为和层次结构进行形式化建模得到系统的多层次混成模型；将所述的多层次混成模型在PtolemyII平台中进行图形化建模；将所述的多层次混成模型根据规则转换为包含多个时间自动机模型的时间自动机网络；对所述的信息物理系统的属性和行为进行形式化规约；将时间自动机网络结合形式化规约进行多层次混成模型的验证。本发明针对多层次混成模型和时间自动机模型之间的差异，定义了模型的映射规则，使得信息物理系统能够较全面地建模与验证。

一种适用于信息物理系统的建模与验证方法，属于信息化领域。该方法包括选取完整且闭环的信息物理系统设计案例；对所述的信息物理系统的离散模式变化、连续动态行为和层次结构进行形式化建模得到系统的多层次混成模型；

目前拥有一批优秀的行业内部尖端技术人才，使公司研发、运营和管理具有完善的管理体系，同时公司对人才的引进与培养也十分的重视，积极鼓励研发人员进行科技创新，实施奖励制度，为公司的科研事业的发展奠定深厚的人才基础。通过自主研发，组建研发团队，对用户进行调研，查阅文献了解市场需要，解决项目中的技术问题，确定项目总体方案设计，配置相关仪器设备，确保项目按计划进度实施。同时定期进行各项试验，改进技术方案及技术指标，完善工艺，规模生产。投入市场建立和完善市场营销网络。

将时间自动机网络结合形式化规约进行多层次混成模型的验证。本发明针对多层次混成模型和时间自动机模型之间的差异，定义了模型的映射规则，使得信息物理系统能够较全面地建模与验证。

通过自主研发，组建研发团队，对用户进行调研，查阅文献了解市场需要，解决项目中的技术问题，确定项目总体方案设计，配置相关仪器设备，确保项目按计划进度实施。同时定期进行各项试验，改进技术方案及技术指标，完善工艺，规模生产。投入市场建立和完善市场营销网络。