基于SysML-Modelica的混成系统建模及其转换为...
实质审查的生效
摘要
本发明公开了基于SysML‑Modelica的混成系统建模及其转换为混成接口自动机的方法。使用SysML状态机图和Modelica分别对混成系统的信息部分和物理部分建模，并利用SysML的端口实现二者的交互，最终使用SysML的BDD图、IBD图呈现出一个完整的系统的半形式化模型。由于无法直接对半形式化模型进行验证工作，本发明通过提出模型转换规则分别将半形式化模型SysML模型和Modelica模型转换为与之等价的自动机模型。针对混成系统之间存在的接口性质以及其本身具有的离散、连续特性，采用混成接口自动机作为形式化模型。
基本信息
专利标题 ：
基于SysML-Modelica的混成系统建模及其转换为混成接口自动机的方法
专利标题（英）：
暂无
公开（公告）号 ：
CN114417606A
申请号 ：
CN202210057171.2
公开（公告）日 ：
2022-04-29
申请日 ：
2022-01-18
授权号 ：
暂无
授权日 ：
暂无
发明人 ：
李晴曹子宁黄涛
申请人 ：
南京航空航天大学
申请人地址 ：
江苏省南京市江宁区将军大道29号
代理机构 ：
代理人 ：
优先权 ：
CN202210057171.2
主分类号 ：
G06F30/20
IPC分类号 ：
G06F30/20
IPC结构图谱
G
G部——物理
G06
计算；推算或计数
G06F
电数字数据处理
G06F30/20
设计优化、验证或模拟
法律状态
2022-05-20 ：
实质审查的生效
IPC(主分类) : G06F 30/20
申请日 : 20220118
申请日 : 20220118
2022-04-29 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
