公开(公告)号：CN108647030B

公开(公告)日：2022-03-11

申请号：CN201810275497.6

申请日：2018-03-30

Applicant: 北京计算机技术及应用研究所

Inventor： 陈静 ,  柯文俊 ,  郭少帅 ,  徐少帅 ,  徐赛赛 ,  关斯琪 ,  王泊涵 ,  侯敏 ,  冯大成

IPC: G06F8/51 ,  G06F8/30

Abstract: 本发明公开了一种基于闭包算法的同步语言航天C代码自动生成方法，其中，包括：将每一个方程式看作为一个实例，通过获得连接Conn，得到所有结点间关系的元组，其中结点类型分为输入，操作以及输出三种类型；对所有的元组进行标记为false和true，其中false为未检查，true为已被检查，初始标注均为false；通过同步语言模型闭包划分算法组成闭包；通过同步语言模型闭包内部排序算法进行排序；通过拓扑排序获得拓扑序列。本发明一种基于闭包算法的同步语言航天C代码自动生成方法，具有准确性，安全性以及可靠性。

公开(公告)号：CN109656818B

公开(公告)日：2022-02-15

申请号：CN201811477290.3

申请日：2018-12-05

Applicant: 北京计算机技术及应用研究所

Inventor： 高昕睿 ,  杜泽峰 ,  陈静 ,  江山 ,  杨雨婷

IPC: G06F11/36 ,  G06N3/04

Abstract: 本发明涉及一种软件密集系统故障预测方法，其中，包括：步骤一、构建特征向量；步骤二、通过获得的特征向量，训练时间序列预测法模型，并输出时间序列预测法模型的特征向量，用训练好的时间序列预测法模型对下一时刻系统硬件信息进行预测；步骤三、构建基于随机深林算法的故障预测模型，将步骤二中得到时间序列预测法模型的特征向量，输入随机森林模型中，得到软件故障的预测结果。本发明方法不依赖于人工确认及个人分析经验，通过实际观测数据进行智能预测，预测结果更为客观。

公开(公告)号：CN107301128A

公开(公告)日：2017-10-27

申请号：CN201710486867.6

申请日：2017-06-23

Applicant: 北京计算机技术及应用研究所

Inventor： 陈静 ,  王泊涵 ,  干新源 ,  柯文俊 ,  高昕睿 ,  冯大成

IPC: G06F11/36 ,  G06F17/50

Abstract: 本发明涉及一种基于Petri网模型的系统仿真验证方法，属于系统工程建模技术领域。本发明提出一种模型转换机制，将难以直接通过模型检查器验证实现的、用半形式化的语言描述的SysML模型转换为一种易于验证的形式化语言描述模型，即Petri网模型，再对转换后的模型进行模型的仿真验证，提高了系统工程模型仿真效率。