Prajna产品介绍

Prajna是一款支持系统工程开发过程中多种集成验证方案的仿真工具。集成验证包括基于HLA和DDS的分布式仿真及体系仿真，基于FMI 2.0（Functional Mock-up Interface 2.0）的联合仿真，基于有限状态机的离散系统仿真及基于贝叶斯网络的故障树仿真。除了支持集成验证以外，Prajna与蜂巢多架构建模工具配合实现无缝对接，进而实现需求和架构模型向验证模型的自动转化。与此同时，通过基于启发式算法参数优化，实现仿真参数的自动择优。

主要功能

• 基于FMI的多领域联合仿真
• 基于HLA和DDS的体系仿真和分布式仿真
• 基于贝叶斯网格的故障树仿真
• 基于有限状态机的分布式仿真
• 实现与架构工具的无缝对接
• 实现优化算法支持参数选优

主要特点

• 支持跨领域集成和仿真
• 支持分布式体系仿真
• 支持基于概率的安全性分析
• 支持数据与服务化接口及架构工具对接
• 支持多样式及VR的仿真结果的可视化
• 支持优化算法库的扩展

解决跨领域仿真问题

常见的仿真工具，如Simulink、AMESim等均为单一领域的仿真工具。Prajna基于FMI2.0的标准接口，实现不同仿真工具基于FMU的跨领域联合仿真。

支持分布式体系仿真

基于HLA和DDS求解引擎，支持体系建模与仿真。

支持基于概率的安全性分析

Prajna具有基于贝叶斯网格的求解引擎，可以在安全性分析过程中实现故障树的技术和决策树的计算。

支持数据与服务化接口及架构工具对接

支持与其他蜂巢产品，如多架构建模工具MetaGraph和OSLC服务化工具Datalinks的无缝对接。

支持多样式及VR方式的仿真结果的可视化

支持二维、三维及VR的可视化显示方法实现仿真结果的综合展示。

算法库可扩展性

Prajna支持采用优化算法实现模型参数的在线择优。