-
公开(公告)号：CN112257963B
公开(公告)日：2023-08-29
申请号：CN202011311120.5
申请日：2020-11-20
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开了一种基于航天软件缺陷数据分布离群点的缺陷预测方法及装置，包括：根据存在离群点现象的样本数据，构建航天嵌入式软件缺陷数据对应的离群点训练集和离群点测试集；根据所述离群点训练集，训练得到第一数量的软件缺陷预测模型；根据所述离群点测试集，对所述软件缺陷预测模型进行测试验证，并按照评价指标对所述软件缺陷预测模型进行排序，得到排序预测模型；基于遗传算法构建自动化搜索优化算法，并结合所述排序预测模型在元分类器基础上逐层递归，查找可被替换的模型节点；根据不同的评价指标和所述模型节点，优化得到目标模型结构，并获取航天嵌入式软件缺陷数据分布离群点的缺陷预测方法。本发明可以提高第三方软件测评效率。
-
公开(公告)号：CN111124723B
公开(公告)日：2023-04-14
申请号：CN201911067304.9
申请日：2019-11-04
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/07
Abstract: 本发明公开了一种基于干扰变量的中断驱动型程序整数溢出模型检测方法，该方法包括：对待处理程序进行解析，得到干扰变量集合；根据干扰变量集合中的干扰变量信息，对中断函数进行抽象处理，得到中断函数摘要；在主程序中插入中断函数摘要，得到顺序化后的程序；获得顺序化程序的静态单赋值形式SSA，并进行程序模型状态空间约简处理，得到约简后的程序；使用有界模型检测工具CBMC，对约简后的程序进行整数溢出检测。本发明在保证整数溢出问题检出率的前提下，不仅能够提高分析效率，还使得已有的模型检测技术能够适用于中断驱动型程序整数溢出检测。
-
公开(公告)号：CN112380132A
公开(公告)日：2021-02-19
申请号：CN202011314574.8
申请日：2020-11-20
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明实施例公开了一种基于航天软件缺陷数据集类不平衡的对抗验证方法及装置。所述方法包括：获取航天嵌入式软件对应的缺陷数据训练集和缺陷数据测试集；合并所述缺陷数据训练集和所述缺陷数据测试集，生成合并数据集；基于集成学习方法对所述合并数据集中的缺陷数据样本进行预测，确定所述缺陷数据样本对应的预测概率；根据所述预测概率，对所述合并数据集中的缺陷数据样本进行升序排序，并从所述缺陷数据样本中筛选出设定比例的缺陷数据样本，得到所述航天嵌入式软件对应的验证数据样本。本发明实施例提供了切实可行的缺陷数据集的对抗验证方法，能够解决航天嵌入式软件缺陷预测工程实践测试集与训练集分布不一致的问题。
-
公开(公告)号：CN112015639A
公开(公告)日：2020-12-01
申请号：CN202010762816.3
申请日：2020-07-31
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本申请公开了一种星载软件测试用例的生成方法及装置，该方法包括：根据预设的星载软件需求信息建立状态机模型，其中，所述状态机模型是指采用状态机图描述软件系统中功能的状态图元以及转移图元；将所述状态机模型转换为有向图以及确定所述有向图中所有路径集合，并根据预设的路径约束条件从所有路径集合中确定出可执行路径集合；根据预设的测试用例覆盖策略从所述可执行路径集合中确定出可执行测试路径集合，根据所述可执行测试路径集合自动生成测试用例集。本申请提高了所生成的测试用例的质量。
-
公开(公告)号：CN112015639B
公开(公告)日：2024-03-15
申请号：CN202010762816.3
申请日：2020-07-31
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本申请公开了一种星载软件测试用例的生成方法及装置，该方法包括：根据预设的星载软件需求信息建立状态机模型，其中，所述状态机模型是指采用状态机图描述软件系统中功能的状态图元以及转移图元；将所述状态机模型转换为有向图以及确定所述有向图中所有路径集合，并根据预设的路径约束条件从所有路径集合中确定出可执行路径集合；根据预设的测试用例覆盖策略从所述可执行路径集合中确定出可执行测试路径集合，根据所述可执行测试路径集合自动生成测试用例集。本申请提高了所生成的测试用例的质量。
-
Patent Agency Ranking
公开(公告)号：CN109471540A
公开(公告)日：2019-03-15
申请号：CN201811271772.3
申请日：2018-10-29
Applicant: 北京轩宇信息技术有限公司
IPC: G06F3/023 , G06F16/958
Abstract: 本发明实施例公开了一种基于浏览器的公式录入解析方法及装置，其中，所述方法包括：接收在浏览器中对目标公式输入框的第一选择操作；接收对所述目标公式输入框中公式录入图标的第二选择操作，打开公式选择面板；检测对所述公式选择面板中目标函数和目标运算符符号的选择操作，开启公式录入面板，并接收在所述公式录入面板中录入目标公式的第三操作；对所述目标公式进行公式校验；显示校验后的所述目标公式；对所显示的所述目标公式进行解析，并依据预先输入的理论值对显示的所述目标公式进行判标。通过该方法，能够实现数据包复杂公式的显示，工业背景下公式的录入、解析以及判标，大大提高了数据采集效率并提升了判标准确率。
-
公开(公告)号：CN111124723A
公开(公告)日：2020-05-08
申请号：CN201911067304.9
申请日：2019-11-04
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/07
Abstract: 本发明公开了一种基于干扰变量的中断驱动型程序整数溢出模型检测方法，该方法包括：对待处理程序进行解析，得到干扰变量集合；根据干扰变量集合中的干扰变量信息，对中断函数进行抽象处理，得到中断函数摘要；在主程序中插入中断函数摘要，得到顺序化后的程序；获得顺序化程序的静态单赋值形式SSA，并进行程序模型状态空间约简处理，得到约简后的程序；使用有界模型检测工具CBMC，对约简后的程序进行整数溢出检测。本发明在保证整数溢出问题检出率的前提下，不仅能够提高分析效率，还使得已有的模型检测技术能够适用于中断驱动型程序整数溢出检测。
-
公开(公告)号：CN112380132B
公开(公告)日：2024-03-29
申请号：CN202011314574.8
申请日：2020-11-20
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36 , G06F18/214 , G06N20/20
Abstract: 本发明实施例公开了一种基于航天软件缺陷数据集类不平衡的对抗验证方法及装置。所述方法包括：获取航天嵌入式软件对应的缺陷数据训练集和缺陷数据测试集；合并所述缺陷数据训练集和所述缺陷数据测试集，生成合并数据集；基于集成学习方法对所述合并数据集中的缺陷数据样本进行预测，确定所述缺陷数据样本对应的预测概率；根据所述预测概率，对所述合并数据集中的缺陷数据样本进行升序排序，并从所述缺陷数据样本中筛选出设定比例的缺陷数据样本，得到所述航天嵌入式软件对应的验证数据样本。本发明实施例提供了切实可行的缺陷数据集的对抗验证方法，能够解决航天嵌入式软件缺陷预测工程实践测试集与训练集分布不一致的问题。
-
公开(公告)号：CN108563467B
公开(公告)日：2021-12-07
申请号：CN201810247274.9
申请日：2018-03-23
Applicant: 北京轩宇信息技术有限公司
IPC: G06F9/4401 , G06F8/41 , G06F21/57
Abstract: 一种符合安全保密的带触摸屏PAD及实现方法，首先制作符合安全保密要求的PAD硬件，然后将PAD的操作系统修正为Win7系统，并注入USB3.0和WIN NVMe驱动程序，安装杀毒软件、保密三合一软件，最后编译并安装PAD触摸屏驱动程序，完成符合安全保密的带触摸屏的PAD。本发明方法实现得到的安全保密PAD与现有技术相比，可应用在涉密场所会议、评审等，实现无纸化办公，避免了大量涉密材料打印，规避了涉密文件销毁过程中的操作失误导致的泄密问题，便于涉密资料的管理。
-
公开(公告)号：CN109814931A
公开(公告)日：2019-05-28
申请号：CN201811625201.5
申请日：2018-12-28
Applicant: 北京轩宇信息技术有限公司
IPC: G06F9/4401 , G06F13/40
Abstract: 本发明公开了一种基于通用USB接口的多台电脑一键开机系统，MCU控制模块连接在每台电脑主板上，总电源开关模块将220V交流电转换为5V2A的直流电，并将电流传递给电源控制模块，电源控制模块通过USB供电线将电流同步传给每台电脑的MCU控制模块，MCU控制模块对每台电脑的开机状态进行判断，若未开机，则MCU控制模块将5V电压转变为3.5V-5V的电压，与电脑主板自带的2.8V电源形成大于0.7V的电压差，激活电脑主板上的开关模块，进而激活电脑主板，进而唤醒电脑显示屏，实现多台电脑一键开机。本发明在充分满足军工保密要求，即电脑在非无线、蓝牙、红外设备直接或间接干涉下，实现了多台电脑一键开机。
-
-
-
-
-
-
-
-
-
Search Results
12
records
(took 0.028 seconds)
