-
公开(公告)号：CN115545125B
公开(公告)日：2023-04-07
申请号：CN202211512741.9
申请日：2022-11-30
Applicant: 北京航空航天大学
IPC: G06F11/36 , G06F18/23 , G06F18/241
Abstract: 本发明涉及一种软件缺陷关联规则网络剪枝方法及系统，属于软件缺陷预测技术领域，解决了现有关联规则网络未考虑有无缺陷的双目标且关联规则存在冗余的问题。包括读取软件缺陷数据集，基于关联规则算法生成初始关联规则集合；基于初始关联规则集合，构建以有缺陷标签和无缺陷标签作为目标节点的反向超图，以及有缺陷字典和无缺陷字典；获取同时存在于两个字典的节点，在反向超图中去除节点的冗余边，更新字典中节点层级，得到关联规则网络；基于社区发现算法，根据字典中节点层级，对关联规则网络聚类得到多个社区；分别根据社区中的缺陷标签和节点所属字典，从多个社区中提取出用于软件缺陷预测的关联规则。实现了软件缺陷关联规则的准确提取。
-
公开(公告)号：CN115408248A
公开(公告)日：2022-11-29
申请号：CN202211334754.1
申请日：2022-10-28
Applicant: 北京航空航天大学
IPC: G06F11/34
Abstract: 本发明涉及一种短期天气预报系统软件的预报性能评估方法，首先构建天气预报系统软件预报性能评估的三层结构模型，然后计算所述指标层指标相对于所述目标层和准则层的组合权重，并对指标层指标进行打分，对于预报准确率对应的指标，根据所述天气预报系统软件计算的准确率进行打分；对于功能可实现性指数和预报实时性指数对应的指标，根据指标计算结果与设定阈值的偏差进行打分，最后结合指标层指标的组合权重和计算分值，得到天气预报系统软件的预报性能综合评价分数，进而判断所述天气预报系统软件的预报性能等级。该方法能够实现对天气预报系统软件预报性能的准确评估。
-
公开(公告)号：CN115077565B
公开(公告)日：2022-11-15
申请号：CN202210845109.X
申请日：2022-07-19
Applicant: 北京航空航天大学
IPC: G01C25/00
Abstract: 本发明公开了一种基于余弦反馈机制的光纤陀螺FPGA闭环测试方法及系统，包括：生成符合余弦函数模型的余弦数据；通过构建的余弦反馈机制模型对生成的余弦数据进行切尖峰脉冲处理，生成符合四态方波的陀螺角速率原始数据，并作为输入数据发送至待测光纤陀螺FPGA；待测光纤陀螺FPGA对接收到的陀螺角速率原始数据进行调制后，作为输出数据；打印输出数据中包含陀螺角速率的txt文件；在读取到txt文件中有陀螺数据更新，且所述输入数据和所述输出数据呈现非线性的对应关系时，对下一次输入的陀螺数据进行反馈更新。本发明中，整个数字闭环测试的工作过程都在统一的时序控制下完成，能够测试不同输出时序的光纤陀螺，实现方法简单快捷，通用性强。
-
公开(公告)号：CN114924992B
公开(公告)日：2022-11-15
申请号：CN202210851736.4
申请日：2022-07-20
Applicant: 北京航空航天大学
Abstract: 本发明公开了一种基于形式化的FPGA软件安全性验证方法及验证平台，属于可编程逻辑器件软件测试技术领域。其方法包括，获取FPGA软件通用安全性设计要求信息，根据FPGA软件通用设计要求信息生成SVA断言模板；提取拟验证的安全性设计准则及待测FPGA软件信息，并从待测FPGA软件中提取待测信号信息；将拟验证的安全性设计准则与SVA断言模板进行映射，从SVA断言模板选取目标SVA断言并生成待执行SVA断言；将待执行SVA断言以及待测FPGA软件的源代码输入形式化验证工具完成形式化验证并输出安全性验证报告。本发明通过上述方法和执行该方法的验证平台解决了通过人工编写测试用例，并进行仿真验证所带来的开发周期长、通用化程度低等诸多问题和不足。
-
公开(公告)号：CN115077565A
公开(公告)日：2022-09-20
申请号：CN202210845109.X
申请日：2022-07-19
Applicant: 北京航空航天大学
IPC: G01C25/00
Abstract: 本发明公开了一种基于余弦反馈机制的光纤陀螺FPGA闭环测试方法及系统，包括：生成符合余弦函数模型的余弦数据；通过构建的余弦反馈机制模型对生成的余弦数据进行切尖峰脉冲处理，生成符合四态方波的陀螺角速率原始数据，并作为输入数据发送至待测光纤陀螺FPGA；待测光纤陀螺FPGA对接收到的陀螺角速率原始数据进行调制后，作为输出数据；打印输出数据中包含陀螺角速率的txt文件；在读取到txt文件中有陀螺数据更新，且所述输入数据和所述输出数据呈现非线性的对应关系时，对下一次输入的陀螺数据进行反馈更新。本发明中，整个数字闭环测试的工作过程都在统一的时序控制下完成，能够测试不同输出时序的光纤陀螺，实现方法简单快捷，通用性强。
-
Patent Agency Ranking
公开(公告)号：CN114356784B
公开(公告)日：2022-06-07
申请号：CN202210229344.4
申请日：2022-03-10
Applicant: 北京航空航天大学
IPC: G06F11/36
Abstract: 本发明公开了机载防撞系统防撞软件测试场景在系统测试中的设计方法，步骤1获取防撞系统构成及运行方式，构建软件系统级测试环境；步骤2分解标准测试场景描述文件中的输入数据，提取有效信息；依据系统功能、内外部接口信息，将防撞软件输入信息由内部接口向外部接口进行迁移，使其满足软件系统级测试输入需求；构造S模式应答机DF报文信息、地面站UF报文信息和本机信息；步骤3将构造的测试数据施加在构建的软件系统测试环境之上，利用交通/决断显示器和告警扬声器输出交通决断告警结果，将该结果与仿真输出结果进行比对，验证标准测试场景在软件系统测试中是否可通过。该方法基于DO‑185A标准对防撞软件的测试场景描述，提升软件测试层次。
-
公开(公告)号：CN114356784A
公开(公告)日：2022-04-15
申请号：CN202210229344.4
申请日：2022-03-10
Applicant: 北京航空航天大学
IPC: G06F11/36
Abstract: 本发明公开了机载防撞系统防撞软件测试场景在系统测试中的设计方法，步骤1获取防撞系统构成及运行方式，构建软件系统级测试环境；步骤2分解标准测试场景描述文件中的输入数据，提取有效信息；依据系统功能、内外部接口信息，将防撞软件输入信息由内部接口向外部接口进行迁移，使其满足软件系统级测试输入需求；构造S模式应答机DF报文信息、地面站UF报文信息和本机信息；步骤3将构造的测试数据施加在构建的软件系统测试环境之上，利用交通/决断显示器和告警扬声器输出交通决断告警结果，将该结果与仿真输出结果进行比对，验证标准测试场景在软件系统测试中是否可通过。该方法基于DO‑185A标准对防撞软件的测试场景描述，提升软件测试层次。
-
公开(公告)号：CN108009074B
公开(公告)日：2020-04-17
申请号：CN201711192032.6
申请日：2017-11-24
Applicant: 北京航空航天大学
IPC: G06F11/34
Abstract: 本发明公开了一种基于模型和动态分析的多核系统实时性评估方法，属于嵌入式多核系统实时性评估技术领域；该方法首先获得嵌入式多核系统的资源参数，明确任务的产生方式，对共享资源SoC片上的BUS的使用状态，及任务对共享资源使用状态相互之间的关系。然后建立petri‑net模型，计算模拟cache命中率。总线空闲时接收任务访问，总线忙碌时说明有任务在占用资源并且和资源同步处于该状态；任务读入的时间服从参数为λ的指数分布；任务隐式通信的时间长度是固定的，隐式通信的次数服从参数a,b的均匀分布。最后在设定的时间内运行模型，在运行过后进行实时性分析。本发明实时性评估结果更符合真实运行中的情况，客观化、直观化的给出多核IMA任务的执行模型。
-
公开(公告)号：CN106650945B
公开(公告)日：2019-02-15
申请号：CN201611009821.7
申请日：2016-11-16
Applicant: 北京航空航天大学
Abstract: 本发明公开了一种基于证据合成理论的软件体系结构安全性评估方法，属于软件安全性评估技术领域；首先构建该某个软件系统的体系结构模型，对构件涉及的安全性要素进行模糊数学化表述，然后利用软件体系结构分析方法，得到构件的转移概率和运行路径在整个系统中的转移概率，进而利用Dempster‑Shafer(D‑S)证据合成理论，结合软件运行路径的使用权重，对构件进行安全性合成，得到每个构件的安全等级评估结果，从而计算运行路径的安全等级评估结果以及系统的安全性等级评估结果；本发明利用遵循自底向上的软件工程分析方法，实现对软件系统动态的安全性分析和评估。
-
公开(公告)号：CN104298593B
公开(公告)日：2017-04-26
申请号：CN201410490283.2
申请日：2014-09-23
Applicant: 北京航空航天大学
IPC: G06F11/36
Abstract: 一种基于复杂网络理论的SOA系统可靠性分析方法，它有四大步骤，属于复杂系统可靠性技术领域；其目的是针对SOA系统结构功能复杂，以及传统可靠性分析方法的实施存在困难甚至无法实施，提出一套可以有效分析SOA这一复杂系统可靠性的方法论。方法的特征是：创新地结合复杂网络理论，将SOA系统中的各对象以及对象之间的相互作用抽象为复杂网络中的节点和连边，建立复杂网络失效模型；并提出了针对SOA系统的级联失效模型，在此基础上利用蒙特卡洛仿真实验完成可靠性分析工作，发现影响系统可靠性的关键软件和脆弱结构。该方法不受系统规模限制，系统规模的增大不会显著提高方法计算复杂度；物理意义清晰，易于工程人员操作实施。
-
-
-
-
-
-
-
-
-
Search Results
83
records
(took 0.038 seconds)
