专利名称
主分类
A 农业
B 作业;运输
C 化学;冶金
D 纺织;造纸
E 固定建筑物
F 机械工程、照明、加热
G 物理
H 电学
专利下载VIP
公布日期
2023-10-24 公布专利
2023-10-20 公布专利
2023-10-17 公布专利
2023-10-13 公布专利
2023-10-10 公布专利
2023-10-03 公布专利
2023-09-29 公布专利
2023-09-26 公布专利
2023-09-22 公布专利
2023-09-19 公布专利
更多 »
专利权人
国家电网公司
华为技术有限公司
浙江大学
中兴通讯股份有限公司
三星电子株式会社
中国石油化工股份有限公司
清华大学
鸿海精密工业股份有限公司
松下电器产业株式会社
上海交通大学
更多 »
钻瓜专利网为您找到相关结果5个,建议您升级VIP下载更多相关专利
  • [发明专利]一种基于动态二进制插桩的可回溯仿真方法及系统-CN202110625046.2在审
  • 计卫星;王一拙;魏双剑;陈秋瑞;杨凯;石峰 - 北京理工大学;北京仿真中心
  • 2021-06-04 - 2021-08-13 - G06F11/36
  • 本发明公开了一种基于动态二进制插桩的可回溯仿真方法及系统,该方法包括:通过动态二进制插桩方法对正在运行的仿真程序和底层操作系统之间引入虚拟文件层;根据动态二进制插桩方法拦截目标函数参数,对仿真系统模型组件的各个接口加以拦截,以获得仿真事件状态;根据仿真事件状态,构建基于事件的检查点。该方法利用动态二进制插桩技术,在不修改仿真程序源代码的情况下,插入虚拟文件层拦截所有文件操作,在内存中的缓冲区执行,避免了内存和磁盘文件在重启检查点时的不一致问题。此外,由动态插桩引入的额外代码和原程序执行在同一个地址空间中,通过拦截仿真模型组件相关接口,基于获取的仿真事件状态信息设置检查点,具有更强的实用性。
  • 一种基于动态二进制回溯仿真方法系统
  • [发明专利]一种可回溯仿真模型形式化描述方法及系统-CN202110625050.9在审
  • 计卫星;王一拙;魏双剑;陈秋瑞;杨凯;高玉金;石峰 - 北京理工大学;北京仿真中心
  • 2021-06-04 - 2021-08-06 - G06F30/20
  • 本发明公开了一种可回溯仿真模型形式化描述方法及系统,该方法包括:将整个仿真系统的状态空间进行自定义;状态空间包括各个模型组件状态;根据仿真系统中的组成元素,采用仿真进程演化算子和状态采集函数,对仿真状态进行形式化描述;组成元素包括:模型实例、仿真引擎和事件。该方法可实现对状态空间所包括的各个模型组件状态的形式化描述,便于建立对模型实例、仿真引擎和事件的形式表达;将仿真回溯从抽象的时间表述转变为更具有针对性的事件表述;为后续构建基于仿真事件设置检查点提供了有力的保证。进一步地,而使用本发明的方法后在回溯时可根据需要选择特定的事件进行回溯操作;更加适合仿真场景,具有更强的实用性。
  • 一种回溯仿真模型形式化描述方法系统

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

400-8765-105周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top