一种基于可重用评估资源构建的分析评估系统和方法

    公开(公告)号:CN112446584A

    公开(公告)日:2021-03-05

    申请号:CN202011107610.3

    申请日:2020-10-16

    Abstract: 本发明的一个实施例公开了一种基于可重用评估资源构建的分析评估系统和方法,该系统包括:评估应用管理模块、指标体系构建模块、评估指标关联模块、试验评估调度模块和评估结果展示模块。评估应用管理模块用于对不同评估应用进行管理;指标体系构建模块用于构建评估指标体系树;评估指标关联模块用于将所述评估指标体系树中每一个指标节点与评估指标库中的某一项指标关联;试验评估调度模块用于加载获取评估要素信息并根据输入的试验数据和初始化参数,调度评估资源数据,完成评估计算,获得评估结果;评估结果展示模块用于将评估结果进行可视化图表展示,并将评估结果自动生成评估报告。

    一种基于变量划分的构件系统符号化模型检测方法

    公开(公告)号:CN107515824A

    公开(公告)日:2017-12-26

    申请号:CN201710722309.5

    申请日:2017-08-22

    CPC classification number: G06F11/3608

    Abstract: 本发明公开一种基于变量划分的构件系统符号化模型检测方法,所述方法包括:S1:基于值变化的变量建立构件系统的符号化模型;S2:生成构件系统下一状态的符号化模型;S3:在生成的符号化模型上验证系统属性,若存在反例或不动点,检测结束,反之,重复S2,本发明将系统中变量划分为值变化和值不变的变量,基于值变化的变量对系统属性进行检测,在构建迁移关系表达式时,可以用较小BDD的表示系统迁移关系,从而加快建立BDD和计算可达状态集合的速度,从而有效地减少了系统属性验证时间和内存开销,提高构件系统属性验证效率。

    一种模型和实验框架分离的实现方法

    公开(公告)号:CN103761099B

    公开(公告)日:2017-06-06

    申请号:CN201410035333.8

    申请日:2014-01-24

    Abstract: 本发明涉及一种模型和实验框架分离的实现方法,该实现方法包括如下步骤:1)构建用于实现模型和实验框架分离的系统;2)模型实现模板模块生成模型实现代码;3)实验框架描述模块生成实验框架描述文件;4)连接模块完成模型实现和实验框架的匹配;5)实验初始化模块完成模型执行的初始化。本发明模型和实验框架分离的实现方法使得系统运行更为方便快捷。

    一种基于通用接口的仿真试验设计系统与方法

    公开(公告)号:CN106709082A

    公开(公告)日:2017-05-24

    申请号:CN201510769830.5

    申请日:2015-11-12

    Abstract: 本发明公开一种基于通用接口的仿真试验设计系统及方法,该系统包括仿真试验管理模块,用于对仿真试验信息进行配置;试验因子提取模块,用于设置因子水平设置方法扩展接口,并从仿真试验数据中提取生成可供仿真试验设计的试验因子;仿真试验设计模块,用于设置试验设计方法扩展接口,并基于试验设计方法将试验因子的所有水平值相互组合生成试验方案;仿真试验想定管理模块,根据所述试验方案及所述仿真试验管理模块中配置的仿真数据访问接口,实现对仿真试验想定的管理。本发明所述技术方案,可指导用户根据试验目的科学地构建试验因子和水平,合理地安排试验方案,大幅度节省试验次数,有效提高仿真试验工作的效率及自动化程度。

    一种可配置的HLA联邦成员构建方法及系统

    公开(公告)号:CN104778320A

    公开(公告)日:2015-07-15

    申请号:CN201510172492.7

    申请日:2015-04-13

    Abstract: 本发明公开了一种可配置的HLA联邦成员构建方法,该方法的步骤包括对仿真系统进行可视化建模,获得仿真信息流文件和仿真实验框架文件;根据仿真信息流文件和仿真实验框架文件,将仿真系统中模型组件的端口输入/输出转化为HLA的对象类和交互类,并生成可配置的HLA联邦成员;对仿真系统联邦及联邦成员进行配置,生成利用XML格式描述的HLAConfig配置文件;对各联邦成员初始信息及所需参数进行描述,生成FedInit初始化文件;根据联邦配置文件HLAConfig.xml,将各个联邦成员及运行环境自动部署至指定IP的计算机上。本发明所述技术方案可降低HLA联邦成员开发难度,简化HLA系统的部署,极大提高HLA仿真系统开发效率,为HLA仿真系统的开发提供一种进行高效的技术途径。

    一种可扩展的分布仿真数据映射方法及系统

    公开(公告)号:CN104765611A

    公开(公告)日:2015-07-08

    申请号:CN201510172415.1

    申请日:2015-04-13

    Abstract: 本发明公开了一种可扩展的分布仿真数据映射系统,该系统包括数据描述模块,用于对仿真系统与待集成系统的信息交互数据进行描述;映射配置模块,用于对仿真数据模型与待集成系统数据模型进行匹配,生成映射配置文件;数据映射模块,用于实现仿真系统与待集成系统数据类型的格式转换。本发明进一步公开了一种可扩展的分布仿真数据映射方法。本发明所述技术方案采用数据映射技术,完成仿真系统与其它系统的集成。本方法可以降低软件开发难度,缩短开发周期,减少系统开发费用。本方法开发的系统具有扩展性好、可重用、便于升级维护等特点。本发明可以通过简单改造适应不同的系统之间的集成,具有广阔的应用前景。

    一种跨平台的仿真模型开发方法及系统

    公开(公告)号:CN104598240A

    公开(公告)日:2015-05-06

    申请号:CN201510027959.9

    申请日:2015-01-20

    Abstract: 本发明公开了一种跨平台的仿真模型开发方法,该方法包括对仿真模型进行标准化处理;将仿真代码的逻辑规则存储在模板文件中;用户根据标准化的仿真模型模板,对仿真模型开发信息进行配置;记录用户交互过程中的用户输入信息并进行解析,同时,生成能翻译仿真模型模板中宏的数据字典及文件映射关系;根据所述宏的数据字典及文件映射关系,对相应的模板文件进行翻译,获得目标代码文件。本发明所述技术方案可以替代Microsoft VC6.0、VS2008等开发环境下WIZARD定制工具的功能,摆脱了对开发环境的依赖,能够支持各种平台以及编译器版本的模型代码框架自动生成,解决了仿真模型开发的跨平台问题。

    一种计算密集型仿真任务的负载均衡方法

    公开(公告)号:CN103793281A

    公开(公告)日:2014-05-14

    申请号:CN201410035347.X

    申请日:2014-01-24

    Abstract: 本方法公开了一种计算密集型仿真任务的负载均衡方法。该方法包括如下步骤,第一步仿真任务描述模块通过人机交互界面输入本次仿真实例化的模型数量以及各个模型的参数,生成仿真任务描述文件;第二步负载均衡控制模块读取仿真任务描述文件,结合当前计算机资源利用情况进行任务分发,生成联邦成员配置文件;第三步联邦成员调度模块完成联邦成员的启动和模型参数的加载。该方法实现了计算密集型仿真任务的负载均衡,应用结果表明在基于HLA的仿真系统中加入负载平衡功能,使得大型仿真系统可以高效和稳定地运行,具有广阔的应用前景。

Patent Agency Ranking