-
公开(公告)号：CN105808369A
公开(公告)日：2016-07-27
申请号：CN201610184888.8
申请日：2016-03-29
IPC: G06F11/07
CPC classification number: G06F11/0727 , G06F11/0784 , G06F11/0787
Abstract: 本发明针对内存泄漏缺陷，提出一种基于符号执行的内存泄漏检测方法，首先对于被测试的源代码，使用静态分析工具处理，得到静态内存泄漏警报；然后，把用源代码和内存泄漏警报，同时输入插桩器，得到插桩后的代码。接着，把插桩后的代码输入测试用例生成模块，生成大量测试用例并执行所有测试用例。每个测试用例运行结束后都有对目标内存对象泄漏情况汇报，最后综合所有测试执行的输出，对内存泄漏测试结果进行判定。本方法解决了静态内存泄漏分析的误报问题和动态测试的漏报问题，并利用符号执行技术生成测试用例，减少了静态分析内存泄漏结果的人工验证工作。提高了动态执行的效率。
-
公开(公告)号：CN105046206B
公开(公告)日：2019-02-01
申请号：CN201510355350.4
申请日：2015-06-24
Applicant: 北京系统工程研究所
Abstract: 本发明实施例公开了一种基于视频中运动先验信息的行人检测方法及装置，涉及视频中的行人检测技术领域，解决了现有技术中视频中的行人检测方法复杂度较高、很难实现实时检测的问题。所述方法包括：通过背景差分的方法提取待检测视频中的运动信息；对所述运动信息中的运动目标进行区域聚类，得到运动密集区域块；对所述待检测视频中的视频帧图像依据所述运动密集区域块进行分割处理，分别建立图像金字塔；对所述运动密集区域块的每层图像金字塔进行特征提取，仅提取运动区域及附近像素的特征信息；运用滑窗的方式，检测所述运动密集区域块的每层金字塔图像中的行人，定位行人目标，获取行人检测结果。本发明的实施例主要用于视频中的行人检测。
-
公开(公告)号：CN105046155B
公开(公告)日：2018-05-08
申请号：CN201510355563.7
申请日：2015-06-24
Applicant: 北京系统工程研究所
Abstract: 本发明实施例公开了一种软件系统漏洞风险评估方法及装置，涉及信息安全技术领域，解决了现有技术中不能直观准确地对软件系统存在的安全风险进行综合评估的问题。所述软件系统漏洞风险评估方法包括：对软件系统中的软件包依赖元数据进行预处理，构建软件依赖网络；获取漏洞信息，根据所述漏洞信息构建漏洞与软件包之间的关联关系；根据所述软件依赖网络和所述漏洞与软件包之间的关联关系，查询存在漏洞的软件包以及直接或间接依赖所述软件包的其他软件包，构建软件包依赖关系子图；基于所述软件包依赖关系子图中各节点的重要程度，评估漏洞对整体软件系统的安全风险。本发明的实施例主要用于对复杂软件系统漏洞风险进行评估。
-
公开(公告)号：CN106059789A
公开(公告)日：2016-10-26
申请号：CN201610307914.1
申请日：2016-05-11
Applicant: 北京系统工程研究所
CPC classification number: H04L41/5041 , G06F17/30864
Abstract: 本发明提供一种基于CLM矩阵的服务按需动态组合方法，该方法构建基于目标系统中全部服务的CLM矩阵；其中，CLM矩阵的行代表服务的各个输入参数；CLM矩阵的列代表服务的输出结果；根据用户需求及用户引导，得到满足用户需求的服务组合。本发明提出的方法简洁、快速且有效；其以用户为中心，按照用户需求，可以迅速查找是否存在服务的输出可以满足一个服务的输入参数，对服务组合周期各个阶段提供灵活支持，实现服务的按需动态组合。
-
公开(公告)号：CN105954737A
公开(公告)日：2016-09-21
申请号：CN201610475582.8
申请日：2016-06-24
Applicant: 北京系统工程研究所
IPC: G01S11/02
Abstract: 本发明提供一种应用于跳频测距中的频率排布方法及其装置，其包括，步骤一、从发射端的所有可用子载波中筛选能够被接收端识别的所述可用子载波作为有效子载波；步骤二、将所述有效子载波的频率值按照预定规则排布成时间频率矩阵；其中，所述预定规则为：以所述有效子载波中最小频率值的作为所述时间频率矩阵中每行的第一个频率值，且每行的相邻的所述有效子载波相互不干扰。本发明有效规避同一个跳频时隙内两个频率不能相距太近的问题，具有更高的测距精度和更大的测距范围。
-
Patent Agency Ranking
公开(公告)号：CN105373432A
公开(公告)日：2016-03-02
申请号：CN201510753593.3
申请日：2015-11-06
Applicant: 北京系统工程研究所
Abstract: 本发明涉及一种基于虚拟资源状态预测的云计算资源调度方法，涉及云计算虚拟资源监测配置领域，解决了虚拟资源形式多样，难以形式化的问题、如果在量化的虚拟资源基础上对虚拟资源的状态进行预测的问题以及如何根据预测结果对云计算虚拟资源进行配置的问题，所述方法包括：根据云计算虚拟资源的网络度量差构建云计算虚拟资源形式化模型；结合马尔科夫链预测原理对云计算虚拟机的云计算虚拟资源下一时刻的状态进行预测；根据执行运算任务的重要程度，确定虚拟机的优先级；根据所述虚拟机的优先级和虚拟机的云计算虚拟资源下一刻的状态以及云环境的资源池对虚拟机进行资源分配。
-
公开(公告)号：CN105046206A
公开(公告)日：2015-11-11
申请号：CN201510355350.4
申请日：2015-06-24
Applicant: 北京系统工程研究所
Abstract: 本发明实施例公开了一种基于视频中运动先验信息的行人检测方法及装置，涉及视频中的行人检测技术领域，解决了现有技术中视频中的行人检测方法复杂度较高、很难实现实时检测的问题。所述方法包括：通过背景差分的方法提取待检测视频中的运动信息；对所述运动信息中的运动目标进行区域聚类，得到运动密集区域块；对所述待检测视频中的视频帧图像依据所述运动密集区域块进行分割处理，分别建立图像金字塔；对所述运动密集区域块的每层图像金字塔进行特征提取，仅提取运动区域及附近像素的特征信息；运用滑窗的方式，检测所述运动密集区域块的每层金字塔图像中的行人，定位行人目标，获取行人检测结果。本发明的实施例主要用于视频中的行人检测。
-
公开(公告)号：CN104462184A
公开(公告)日：2015-03-25
申请号：CN201410535911.4
申请日：2014-10-13
Applicant: 北京系统工程研究所
IPC: G06F17/30
Abstract: 本发明提供一种基于双向抽样组合的大规模数据异常识别方法，包括以下步骤：对样本数据集进行横向抽样，得到子样本数据集；对子样本数据集进行属性抽样，得到条带数据集；对条带数据集进行异常程度打分；重复执行上述步骤；组合异常程度分数，并计算异常程度分数的期望值。本发明通过双向抽样方法，既解决了样本量大时间复杂度高，又解决了维灾难的问题；利用抽样方法将数据集进行切分，提高了本发明方法的扩展性。
-
公开(公告)号：CN105808369B
公开(公告)日：2018-11-23
申请号：CN201610184888.8
申请日：2016-03-29
IPC: G06F11/07
Abstract: 本发明针对内存泄漏缺陷，提出一种基于符号执行的内存泄漏检测方法，首先对于被测试的源代码，使用静态分析工具处理，得到静态内存泄漏警报；然后，把用源代码和内存泄漏警报，同时输入插桩器，得到插桩后的代码。接着，把插桩后的代码输入测试用例生成模块，生成大量测试用例并执行所有测试用例。每个测试用例运行结束后都有对目标内存对象泄漏情况汇报，最后综合所有测试执行的输出，对内存泄漏测试结果进行判定。本方法解决了静态内存泄漏分析的误报问题和动态测试的漏报问题，并利用符号执行技术生成测试用例，减少了静态分析内存泄漏结果的人工验证工作。提高了动态执行的效率。
-
公开(公告)号：CN105046155A
公开(公告)日：2015-11-11
申请号：CN201510355563.7
申请日：2015-06-24
Applicant: 北京系统工程研究所
CPC classification number: G06F21/577 , G06F21/56 , G06F21/563 , H04L63/1433
Abstract: 本发明实施例公开了一种软件系统漏洞风险评估方法及装置，涉及信息安全技术领域，解决了现有技术中不能直观准确地对软件系统存在的安全风险进行综合评估的问题。所述软件系统漏洞风险评估方法包括：对软件系统中的软件包依赖元数据进行预处理，构建软件依赖网络；获取漏洞信息，根据所述漏洞信息构建漏洞与软件包之间的关联关系；根据所述软件依赖网络和所述漏洞与软件包之间的关联关系，查询存在漏洞的软件包以及直接或间接依赖所述软件包的其他软件包，构建软件包依赖关系子图；基于所述软件包依赖关系子图中各节点的重要程度，评估漏洞对整体软件系统的安全风险。本发明的实施例主要用于对复杂软件系统漏洞风险进行评估。
-
-
-
-
-
-
-
-
-
Search Results
18
records
(took 0.035 seconds)
