-
公开(公告)号：CN111274699A
公开(公告)日：2020-06-12
申请号：CN202010062226.X
申请日：2020-01-19
申请人： 北京航空航天大学
IPC分类号： G06F30/20
摘要： 本申请公开了一种基于smartIflow的AADL模型的安全性分析方法，通过根据系统需求和设计文档，采用AADL建立系统架构模型、错误模型和行为模型；组合系统中构件的错误模型和行为模型为构件模型，表示构件发生故障时构件行为的变化；将各构件模型转换为smartIflow模型，用以分析系统的安全性；根据系统需求和设计文档，描述所述系统需要满足的安全性属性，将smartIflow模型和安全性属性描述输入到smartIflow安全性分析平台，验证系统的安全性属性，得到系统的安全性分析结果。能够对构件的故障行为描述更全面、系统的安全性分析结果更准确，有利于根据系统的安全性分析结果改进系统的设计。
-
公开(公告)号：CN103092519B
公开(公告)日：2016-03-30
申请号：CN201310026363.8
申请日：2013-01-24
申请人： 北京航空航天大学
IPC分类号： G06F3/0488 , H04M1/725
摘要： 本发明公开了一种触屏手机解锁装置，装置包括设置模块、解锁模块、验证模块；一种新的触屏手机解锁方法，具体包括：步骤一：设置背景图片、触点；步骤二：进行解锁；步骤三：进行验证；本发明安全性高：只有手机本人才知道触点的位置和路径，外人面对一张背景图片，很难将密码破解；本发明解锁方便：本方法与滑动解锁方式相似，方便快捷，无需多次点击，用户体验好。
-
公开(公告)号：CN115454863A
公开(公告)日：2022-12-09
申请号：CN202211144263.0
申请日：2022-09-20
申请人： 北京航空航天大学
摘要： 本发明提供一种软件缺陷预测方法和系统，基于OADC‑HS采样思想对类不平衡数据集进行预处理，得到平衡数据集以初步解决软件缺陷预测中的类不平衡问题；针对高度复杂化的特征引起的问题，基于互信息和最大信息系数，对所述平衡数据集进行特征优化，将分类精度最高的特征子集作为最优特征组合，得到优化数据集，去除不相关的特征和冗余的特征，从而减少特征总数，减少系统运行时间，提高软件缺陷预测方法的可靠性。最后将所述优化数据集通过模型融合进行多次交叉验证，得到最终的软件缺陷预测结果，提高了类不平衡数据中的软件缺陷预测准确度和效率。
-
公开(公告)号：CN111240993B
公开(公告)日：2021-05-14
申请号：CN202010066087.8
申请日：2020-01-20
申请人： 北京航空航天大学
IPC分类号： G06F11/36
摘要： 本公开提出的一种基于模块依赖图的软件缺陷预测方法，通过根据待分析软件的版本信息识别软件模块的缺陷信息；根据软件模块之间的依赖关系建立软件模块依赖图,并将开发人员作为模块依赖图中的节点；提取所述软件模块的内部特征，采用网络表示学习方式提取软件模块依赖图中的每个节点的依赖特征，将内部特征和模块之间的依赖特征构成度量元组，根据所述度量元组以及所述模块的缺陷信息建立所述软件的历史缺陷库；利用历史缺陷库训练缺陷预测模型用于后续软件缺陷的预测，缺陷预测采用基于局部最优的分类器动态选择模型，对缺陷预测模型的参数自动优化，将软件模块缺陷预测模型的结果作为待分析软件的缺陷预测结果。该方法能够提高构建网络节点度量元的灵活性，提高软件缺陷预测的效果。
-
公开(公告)号：CN111309291A
公开(公告)日：2020-06-19
申请号：CN202010059838.3
申请日：2020-01-19
申请人： 北京航空航天大学
IPC分类号： G06F8/20
摘要： 本申请实施例的公开了一种模块化嵌入式软件架构及其定制方法、定制系统，应用于嵌入式设备，通过所述操作系统适配层构建在操作系统之上，用于向所述核心模块服务层提供服务接口；所述核心模块服务层构建在所述操作系统适配层之上，用于管理所述应用功能模块层的不同模块的生命周期、并提供所述应用功能模块层的不同模块之间的通信，其中，所述应用功能模块层构建在核心模块服务层之上，能够解决目前嵌入式软件架构对软件模块执行特性支持不充分、软件定制不方便等技术问题，实现支持多种功能模块的运行方式以及方便用户根据嵌入式设备的功能模块运行方式的特点选择不同的功能模块实现方式以得到更适合的软件实现。
-
公开(公告)号：CN118732998A
公开(公告)日：2024-10-01
申请号：CN202410776452.2
申请日：2024-06-17
申请人： 北京航空航天大学
IPC分类号： G06F8/20 , G06Q10/04 , G06F17/18 , G06F30/20 , G06F119/02
摘要： 本发明提供一种针对AutoSAR架构的可靠性形式化预测方法，涉及汽车电子系统技术领域，所述方法通过使用AutoSAR架构模型分析汽车系统控制流，对所述AutoSAR架构模型进行扩展以增加对所述汽车系统的故障描述，然后将拓展后的AutoSAR架构模型转为基于离散时间马尔科夫链的形式化模型，从而对AutoSAR架构模型进行架构层次的可靠性预测流程，从而实现了对AutoSAR架构模型进行自动化的可靠性预测。
-
公开(公告)号：CN111240993A
公开(公告)日：2020-06-05
申请号：CN202010066087.8
申请日：2020-01-20
申请人： 北京航空航天大学
IPC分类号： G06F11/36
摘要： 本公开提出的一种基于模块依赖图的软件缺陷预测方法，通过根据待分析软件的版本信息识别软件模块的缺陷信息；根据软件模块之间的依赖关系建立软件模块依赖图,并将开发人员作为模块依赖图中的节点；提取所述软件模块的内部特征，采用网络表示学习方式提取软件模块依赖图中的每个节点的依赖特征，将内部特征和模块之间的依赖特征构成度量元组，根据所述度量元组以及所述模块的缺陷信息建立所述软件的历史缺陷库；利用历史缺陷库训练缺陷预测模型用于后续软件缺陷的预测，缺陷预测采用基于局部最优的分类器动态选择模型，对缺陷预测模型的参数自动优化，将软件模块缺陷预测模型的结果作为待分析软件的缺陷预测结果。该方法能够提高构建网络节点度量元的灵活性，提高软件缺陷预测的效果。
-
公开(公告)号：CN103677644B
公开(公告)日：2016-08-03
申请号：CN201310724216.8
申请日：2013-12-25
申请人： 北京航空航天大学
IPC分类号： G06F3/0488 , G06F21/31
摘要： 本发明公开了一种移动终端的解锁系统，系统包括设置功能模块、动态键盘生成模块、解锁模块以及验证功能模块；一种移动终端新的解锁方法，具体内容为：步骤一，设置数字密码、数字按键对应的手指滑动方向；步骤二，进行解锁；步骤三，进行验证；本发明适用性强：延用绝大多数用户青睐的数字密码，在不改变用户习惯的基础上增加连续滑动解锁功能，操作简单，方便快捷，用户体验好；本发明安全性极强：在传统的数字密码上增加手指在数字按键上对应的滑动方向，大大增加密码空间来降低暴力破解的风险，同时动态生成数字键盘来防止污迹攻击，进一步提高安全性。
-
公开(公告)号：CN103365774A
公开(公告)日：2013-10-23
申请号：CN201310194173.7
申请日：2013-08-22
申请人： 北京航空航天大学
IPC分类号： G06F11/36
摘要： 本发明设计了一种基于函数调用关系的瞬时错误检测方法，利用编译技术对C语言进行编译，得到包含函数调用关系的辅助文件，通过对辅助文件进行分析，得到函数调用关系图，然后利用插装工具实现C语言文件的静态插装，最后通过动态运行来验证插装算法的有效性。主要内容包括：基于函数调用关系的插装算法的设计；利用编译技术对C语言文件进行编译，得到辅助分析文件，其中包含了函数之间的调用关系以及函数定义所在的C语言文件；插装工具的设计，通过分析辅助分析文件得到函数调用关系图，结合基于函数调用关系的插装算法分别在函数的入口处和出口处对C语言进行插装；将包含有插装签名算法的程序通过动态运行的方式来验证算法的有效性。
-
公开(公告)号：CN103108082A
公开(公告)日：2013-05-15
申请号：CN201310027265.6
申请日：2013-01-24
申请人： 北京航空航天大学
IPC分类号： H04M1/725
摘要： 本发明公开一种智能手机多用户模式权限管理方法，首先将用户权限设定为4个级别，并分别设置各级别权限用户的操作权限；随后为各级别权限用户设置解锁密码与智能手机应用、资源访问权限；从而显示设置好的各权限级别用户可访问的智能手机应用、资源；本发明还根据智能手机当前时刻使用状态，提供三种切换方式进行各级别权限用户间的切换；且在由低权限等级用户转向高权限等级用户时，还需进行权限验证。根据上述方法本发明还公开一种智能手机多用户模式权限管理系统，通过模块化设计实现智能手机多用户模式权限管理。本发明的优点在于：通过设定不同用户使用权限，达到保护手机内敏感信息的目的，且还可实现用户权限的快速切换。
-
-
-
-
-
-
-
-
-
搜索结果
20 条记录 (耗时 0.022 秒)