-
公开(公告)号：CN104615815A
公开(公告)日：2015-05-13
申请号：CN201510041057.0
申请日：2015-01-27
Applicant: 北京仿真中心
IPC: G06F17/50
Abstract: 本发明公开了一种并行模型的消息传输方法，该方法的步骤包括将CISE引擎集中式开发的仿真模型组件转换为并行运行的模型组件，并生成并行代码框架；对并行仿真运行平台内所有的复杂数据类型进行注册管理和生成类型代理；将并行运行的模型组件之间的信息交互封装为消息传递编程模型MPI的消息格式，从而完成消息的发送与接收。本发明所述技术方案通过将仿真应用中的相关模型实例自动映射为在并行机上运行的逻辑进程LP，通过LP之间发送MPI消息完成模型之间的通信，同时也通过在LP之间发送MPI消息实现时间同步等功能。实现了并行模型之间事件调度和处理、消息发送等对用户透明，减少用户的开发难度和开发工作量，提高开发效率。
-
公开(公告)号：CN103777991A
公开(公告)日：2014-05-07
申请号：CN201410040433.X
申请日：2014-01-27
Applicant: 北京仿真中心
IPC: G06F9/45
Abstract: 本发明公开了一种模型组件的服务化实现方法，包括生成模型服务支持的模型组件代码的服务化封装；采用GT3core工具实现模型组件的服务部署；在客户端实现对模型组件服务的调用；还提供了一种模型组件的服务化实现系统。本发明的优点在于：对现有的HLA规范不做修改，以保持技术的延续性和继承性，便于分布式仿真系统的集成；实现了仿真模型的服务化，分离仿真模型的调用方和实现方，提供仿真模型就是提供一种服务。
-
公开(公告)号：CN115422033A
公开(公告)日：2022-12-02
申请号：CN202210859278.9
申请日：2022-07-21
Applicant: 北京仿真中心
IPC: G06F11/36
Abstract: 本发明公开了一种分布交互式仿真时序验证方法和系统，所述方法包括：编写用户配置文件，进行服务端和客户端的通信配置、日志配置；对分布交互式仿真系统进行插桩配置，生成带插桩的仿真系统程序；构造时序属性对应的时序属性监控器，生成时序监控自动机；时序属性监控器验证带插桩的仿真系统程序生成的仿真事件序列是否满足时序监控自动机表达的时序属性。所述验证系统包括用户配置模块、仿真系统插桩配置模块、时序属性监控器构造模块、仿真系统时序属性验证模块。本发明更好地保证了分布交互式仿真系统的时序属性正确。
-
公开(公告)号：CN111522684A
公开(公告)日：2020-08-11
申请号：CN201911413668.8
申请日：2019-12-31
Abstract: 本发明公开了一种在计算机相变存储器中，纠正软硬错误的方法与装置，包括：对于存储器中的每个行(64B)设置一个本地ECC(Error Correction Code，纠错码)纠错机制，用于纠正本地一位错误。对于整个存储器设置全局的ECP((Error Correction Pointer，纠错指针)纠错机制，用于纠正存储器中各个行总错误数量大于等于2个时发生的硬错误。当发生一位错误时，仅通过本地的ECC纠错机制便可完成纠错。但当出现2位错误时，需要第二次访存，依靠全局的ECP纠错机制完成。整个方法可以划分为两个模块：读取纠错模块以及存储纠错模块。
-
公开(公告)号：CN107515824A
公开(公告)日：2017-12-26
申请号：CN201710722309.5
申请日：2017-08-22
Applicant: 北京仿真中心
IPC: G06F11/36
CPC classification number: G06F11/3608
Abstract: 本发明公开一种基于变量划分的构件系统符号化模型检测方法，所述方法包括：S1：基于值变化的变量建立构件系统的符号化模型；S2：生成构件系统下一状态的符号化模型；S3：在生成的符号化模型上验证系统属性，若存在反例或不动点，检测结束，反之，重复S2，本发明将系统中变量划分为值变化和值不变的变量，基于值变化的变量对系统属性进行检测，在构建迁移关系表达式时，可以用较小BDD的表示系统迁移关系，从而加快建立BDD和计算可达状态集合的速度，从而有效地减少了系统属性验证时间和内存开销，提高构件系统属性验证效率。
-
Patent Agency Ranking
公开(公告)号：CN107329831A
公开(公告)日：2017-11-07
申请号：CN201710512814.7
申请日：2017-06-29
Applicant: 北京仿真中心
CPC classification number: G06F9/5038 , G06F3/126
Abstract: 本发明公开了一种基于改进遗传算法的仿真资源调度方法，所述方法包括：S1：初始化生成仿真模型与仿真资源的种群；S2：基于适应度函数计算种群中每个个体的个体适应值；S3：基于单点交叉方法对种群进行交叉操作；S4：基于自适应的变异概率对种群进行变异操作；S5：采用基于累计概率改进的选择算子对种群进行选择操作；S6：重复S1-S5，达到预定步数后结束，本发明对基于遗传算法，对仿真资源调度进行优化，提高高通量仿真资源调度效率，提高仿真任务的执行效率和仿真系统的吞吐率。
-
公开(公告)号：CN113778860B
公开(公告)日：2023-11-28
申请号：CN202110935077.8
申请日：2021-08-16
Applicant: 北京仿真中心
IPC: G06F11/36
Abstract: 本发明公开了一种基于模型检测的系统运行时验证方法、系统和计算机设备，所述验证方法包括，进行代码插桩：预先进行目标系统的代码插桩以捕获事件；获取时序事件消息块：所述目标系统启动后，监听监控器自动机端口是否已打开，若已打开则所述目标系统立即通过插桩点捕获事件，生成时序事件消息块，并通过ZeroMQ发送至所述监控器自动机；生成检测结果：所述监控器自动机接收所述时序事件消息块进行时序检测同时生成检测日志，并通过ZeroMQ发送检测结果至所述目标系统。
-
公开(公告)号：CN114202010B
公开(公告)日：2024-11-26
申请号：CN202111239710.6
申请日：2021-10-25
Applicant: 北京仿真中心
Abstract: 本发明实施例公开一种基于信息熵的复杂系统网络化建模方法、设备和介质，所述方法包括：根据作战目标确定武器装备单元构成网络节点集V；以武器装备单元之间的相互作用关系为边构成网络边集并赋予初始权重；以武器装备单元为节点，以武器装备单元之间的相互作用关系为边形成网络拓扑模型；基于所述各个边的作战能力计算所述网络拓扑模型中各作战环的作战能力，选择作战能力最高的作战环或协同环作为最终作战计划。其中，所述网络节点集V包括：侦察类装备单元S、决策类装备单元D、打击类装备单元F、信息处理类装备单元P以及敌方目标类装备单元O。
-
公开(公告)号：CN114202010A
公开(公告)日：2022-03-18
申请号：CN202111239710.6
申请日：2021-10-25
Applicant: 北京仿真中心
Abstract: 本发明实施例公开一种基于信息熵的复杂系统网络化建模方法、设备和介质，所述方法包括：根据作战目标确定武器装备单元构成网络节点集V；以武器装备单元之间的相互作用关系为边构成网络边集并赋予初始权重；以武器装备单元为节点，以武器装备单元之间的相互作用关系为边形成网络拓扑模型；基于所述各个边的作战能力计算所述网络拓扑模型中各作战环的作战能力，选择作战能力最高的作战环或协同环作为最终作战计划。其中，所述网络节点集V包括：侦察类装备单元S、决策类装备单元D、打击类装备单元F、信息处理类装备单元P以及敌方目标类装备单元O。
-
公开(公告)号：CN113778860A
公开(公告)日：2021-12-10
申请号：CN202110935077.8
申请日：2021-08-16
Applicant: 北京仿真中心
IPC: G06F11/36
Abstract: 本发明公开了一种基于模型检测的系统运行时验证方法、系统和计算机设备，所述验证方法包括，进行代码插桩：预先进行目标系统的代码插桩以捕获事件；获取时序事件消息块：所述目标系统启动后，监听监控器自动机端口是否已打开，若已打开则所述目标系统立即通过插桩点捕获事件，生成时序事件消息块，并通过ZeroMQ发送至所述监控器自动机；生成检测结果：所述监控器自动机接收所述时序事件消息块进行时序检测同时生成检测日志，并通过ZeroMQ发送检测结果至所述目标系统。
-
-
-
-
-
-
-
-
-
Search Results
22
records
(took 0.033 seconds)
