[00277831]一种基于混成时空Petri网模型上的CPS物理实体的形式化建模方法
交易价格：
面议
所属行业：
分析仪器
类型：
发明专利
技术成熟度：
正在研发
专利所属地：中国
专利号：CN201510951031.X
交易方式：
技术转让
技术转让
技术入股
联系人：
南昌航空大学
进入空间
所在地：江西南昌市
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
摘要：本发明提出一种基于混成时空Petri网模型上的CPS物理实体的形式化建模方法，首先分析了信息物理融合系统（CPS）的特性后提出了一种合理的体系结构图，然后针对CPS中事件消息的时空特性和物理实体的动态变化性设计出一个新的事件表达方式。并在Petri网的基础上引入时空因素和连续变量，构造了混成时空Petri网模型，使其不仅能够描述物理实体逻辑及时间层次的行为，而且能够描述物理实体位置变迁所引起的状态变化。将其应用于实时事件CPS模型设计，从而得到一种新的CPS物理实体建模方法。该方法解决了CPS对实时性以及时空一致性的要求，并且考虑到物理环境的动态性引入连续变量，几乎适用于所有环境。为CPS的发展提供了基础。
摘要：本发明提出一种基于混成时空Petri网模型上的CPS物理实体的形式化建模方法，首先分析了信息物理融合系统（CPS）的特性后提出了一种合理的体系结构图，然后针对CPS中事件消息的时空特性和物理实体的动态变化性设计出一个新的事件表达方式。并在Petri网的基础上引入时空因素和连续变量，构造了混成时空Petri网模型，使其不仅能够描述物理实体逻辑及时间层次的行为，而且能够描述物理实体位置变迁所引起的状态变化。将其应用于实时事件CPS模型设计，从而得到一种新的CPS物理实体建模方法。该方法解决了CPS对实时性以及时空一致性的要求，并且考虑到物理环境的动态性引入连续变量，几乎适用于所有环境。为CPS的发展提供了基础。
