加载中...
首页专利查询专利详情

*来源于国家知识产权局数据,仅供参考,实际以国家知识产权局展示为准

一种用于X语言混合模型的仿真修正方法及系统

发明专利有效专利
  • 申请号:
    CN202110872290.9
  • IPC分类号:G06F30/20
  • 申请日期:
    2021-07-30
  • 申请人:
    北京航空航天大学
著录项信息
专利名称一种用于X语言混合模型的仿真修正方法及系统
申请号CN202110872290.9申请日期2021-07-30
法律状态公开申报国家中国
公开/公告日2021-11-05公开/公告号CN113609668A
优先权暂无优先权号暂无
主分类号G06F30/20IPC分类号G;0;6;F;3;0;/;2;0查看分类表>
申请人北京航空航天大学申请人地址
北京市海淀区学院路37号 变更 专利地址、主体等相关变化,请及时变更,防止失效
权利人北京航空航天大学当前权利人北京航空航天大学
发明人张霖;谢堃钰;赖李媛君;王霄汉;叶飞;古鹏飞
代理机构北京睿智保诚专利代理事务所(普通合伙)代理人王灿;周新楣
摘要
本发明公开了一种用于X语言混合模型的仿真修正方法及系统,涉及X语言混合系统建模技术领域,其中方法包括:定位混合模型中正在发生触发事件的原子模型;对发生触发事件的原子模型进行内部事件的状态事件错误定位检测,获取错误定位状态事件的原子模型;对错误定位状态事件的原子模型重新进行状态事件定位,获取状态事件定位后的原子模型;计算状态事件定位后的原子模型的状态事件输出,则得到新的正在发生触发事件的原子模型,重复上述步骤,直到没有错误定位事件。本发明改变了传统的事件处理逻辑,能发现错过状态事件的模型,并通过不断检测修正,直到没有错误定位的状态事件,完善了X语言的设计流程建模和验证能力。

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供