[发明专利]一种适用于信息物理系统的建模与验证方法在审
| 申请号： | 202310311740.6 | 申请日： | 2023-03-28 |
| 公开（公告）号： | CN116301817A | 公开（公告）日： | 2023-06-23 |
| 发明（设计）人： | 夏晓峰;黄晋;刘奇;朱英豪;黄诗琪;王林平;王弋戈 | 申请（专利权）人： | 重庆大学 |
| 主分类号： | G06F8/35 | 分类号： | G06F8/35;G06F8/20;G06F8/34 |
| 代理公司： | 北京同恒源知识产权代理有限公司 11275 | 代理人： | 廖曦 |
| 地址： | 400044 重*** | 国省代码： | 重庆;50 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及一种适用于信息物理系统的建模与验证方法，属于信息化领域。该方法包括选取完整且闭环的信息物理系统设计案例；对所述的信息物理系统的离散模式变化、连续动态行为和层次结构进行形式化建模得到系统的多层次混成模型；将所述的多层次混成模型在PtolemyII平台中进行图形化建模；将所述的多层次混成模型根据规则转换为包含多个时间自动机模型的时间自动机网络；对所述的信息物理系统的属性和行为进行形式化规约；将时间自动机网络结合形式化规约进行多层次混成模型的验证。本发明针对多层次混成模型和时间自动机模型之间的差异，定义了模型的映射规则，使得信息物理系统能够较全面地建模与验证。 | ||
| 搜索关键词： | 一种 适用于 信息 物理 系统 建模 验证 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于重庆大学，未经重庆大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202310311740.6/，转载请声明来源钻瓜专利网。
- 上一篇：一种识别煤和煤矸石的装置及其识别方法
- 下一篇：一种双层旋转式刷锅装置
- 信息记录介质、信息记录方法、信息记录设备、信息再现方法和信息再现设备
- 信息记录装置、信息记录方法、信息记录介质、信息复制装置和信息复制方法
- 信息记录装置、信息再现装置、信息记录方法、信息再现方法、信息记录程序、信息再现程序、以及信息记录介质
- 信息记录装置、信息再现装置、信息记录方法、信息再现方法、信息记录程序、信息再现程序、以及信息记录介质
- 信息记录设备、信息重放设备、信息记录方法、信息重放方法、以及信息记录介质
- 信息存储介质、信息记录方法、信息重放方法、信息记录设备、以及信息重放设备
- 信息存储介质、信息记录方法、信息回放方法、信息记录设备和信息回放设备
- 信息记录介质、信息记录方法、信息记录装置、信息再现方法和信息再现装置
- 信息终端，信息终端的信息呈现方法和信息呈现程序
- 信息创建、信息发送方法及信息创建、信息发送装置
