-
公开(公告)号:CN107545273A
公开(公告)日:2018-01-05
申请号:CN201710559390.X
申请日:2017-07-06
Applicant: 北京航空航天大学
IPC: G06K9/62
Abstract: 本发明提供的一种基于密度的局部离群点检测方法,充分考虑了对象与其邻域对象的分散程度,与传统算法相比,本发明得到的异常值对分散的数据集的异常程度更敏感,检测结果的准确度更高。包括以下步骤:1对数据集的属性进行归一化处理;2搜索离测试对象最近邻的k个数据;3计算对象与其邻域对象之间距离的平均值,并记为对象的k邻域距离;4对数据的k邻域距离进行全局归一化处理;5计算对象与其邻域对象之间距离的方差,并记为对象的k邻域方差;6对数据的k邻域方差进行全局归一化处理;7计算对象的邻域分散度;8计算对象的邻域密度;9计算对象局部离群系数;10确定离群值最大的对象为离群点。
-
公开(公告)号:CN106027032A
公开(公告)日:2016-10-12
申请号:CN201610341295.8
申请日:2016-05-20
Applicant: 北京航空航天大学
IPC: H03K19/20
CPC classification number: H03K19/20
Abstract: 一种单位延时模型下RM逻辑电路延时优化方法,其特征在于:该方法具体步骤包括:步骤1,读入布尔Boolean逻辑电路;步骤2,利用RM表达式化简方法得到含与项数最少的最简RM逻辑表达式;步骤3,基于哈夫曼Huffman树构造算法对最简RM逻辑表达式中的每个与项进行延时分解,使得每个与项的延时最小;步骤4,基于Huffman树构造算法对由所有与项组成的最简RM逻辑表达式进行延时分解,使得最简RM逻辑表达式的延时最小;步骤5,输出最简RM逻辑表达式的最小延时。本发明提供的延时优化方法,可快速有效地将布尔逻辑电路转换为具有最小延时的RM逻辑电路,进而降低电路延时、提高电路的工作速度和性能。
-
公开(公告)号:CN104881549B
公开(公告)日:2017-12-05
申请号:CN201510317476.2
申请日:2015-06-11
Applicant: 北京航空航天大学
IPC: G06F17/50
Abstract: 本发明一种包含无关项的Reed‑Muller逻辑电路功耗优化方法,步骤为:1实现包含无关项的布尔逻辑向RM逻辑的极性转换;2随机生成初始种群;3完成十进制极性向二进制或三进制转换;4计算种群极性集中不同极性间的不同位数;5由改进的自适应遗传算法求每一代待评估极性集的最佳极性转换顺序;6按5中得到的顺序对当前极性集进行极性转换;7由每个极性对应的RM表达式和适应度函数,计算其适应度值,并执行精英保留策略;8若当前进化代数小于最大迭代次数,执行步骤9,10;否则,输出最佳极性;9执行选择、交叉和变异操作;10循环执行步骤4至步骤7。本发明提高了极性搜索的效率,增强了遗传算法的收敛性及鲁棒性。
-
公开(公告)号:CN104778499A
公开(公告)日:2015-07-15
申请号:CN201510187800.3
申请日:2015-04-20
Applicant: 北京航空航天大学
Abstract: 本发明提供的一种混合极性Reed-Muller逻辑电路的最佳极性搜索方法,有效缩短了MPRM逻辑电路最佳极性搜索时间,大大提高了极性搜索的效率,避免了遗传算子对群体中优良个体的破坏。包括以下步骤:1随机生成初始种群;2计算种群极性集中不同极性之间的不同位数;3利用改进的遗传算法求解当前种群极性集的最佳极性转换顺序;4按照步骤3得到的最佳极性转换顺序对当前极性集进行极性转换;5根据每个极性对应的MPRM表达式和适应度函数,分别求出每个极性的适应度值,并执行精英保留策略;6若当前进化代数小于最大进化代数,则执行步骤7和步骤8;否则输出最佳极性;7执行选择、交叉和变异操作;8依次执行步骤2至步骤5。
-
公开(公告)号:CN107256368B
公开(公告)日:2020-02-07
申请号:CN201710420300.9
申请日:2017-06-06
Applicant: 北京航空航天大学
Abstract: 传统针对虚拟机内文件的完整性度量方法都基于信息摘要算法,存在使用数据量大、计算复杂度高等缺点。本发明提出一种基于写时复制特性的虚拟机内文件完整性度量方法,在虚拟机使用基础镜像和增量镜像、镜像的镜像块与文件系统的文件系统逻辑块大小相同且一一对应、需要完整性度量的文件存放在基础镜像中时,首先从基础镜像中,获取文件头部内容和文件头部、索引、内容使用文件系统逻辑块对应的镜像索引项;然后在增量镜像中,分别检查文件头部、索引和内容的完整性。该方法可以减小所需的数据量,降低计算的复杂度,从而加快完整性度量的速度。
-
公开(公告)号:CN105187051B
公开(公告)日:2017-12-05
申请号:CN201510411878.9
申请日:2015-07-14
Applicant: 北京航空航天大学
Abstract: 一种基于NSGA‑II用于不完全确定Reed‑Muller电路功耗与面积优化方法,1将不完全确定布尔逻辑函数转换为零极性不完全确定RM表达式;2将不完全确定布尔逻辑函数无关项取舍二进制数编码为染色体;3建立功耗面积估计模型;4建立功耗面积目标函数;5建立与功耗面积相关适应度函数;6确定约束条件;7对参数初始化;8产生初始种群执行非支配排序;9执行选择交叉和变异,生成子代种群;10将父代子代种群合并,执行非支配排序;11计算非支配层中个体拥挤度并组成新父代种群;12对新父代种群执行选择交叉和变异,生成新子代种群;13若当前进化代数小于等于最大进化代数,则返回10;否则,输出最优解集;14从最优解集中选择最佳无关项取舍,得到对应的完全确定RM表达式。
-
公开(公告)号:CN107330201A
公开(公告)日:2017-11-07
申请号:CN201710539610.2
申请日:2017-07-04
Applicant: 北京航空航天大学
IPC: G06F17/50
Abstract: 本发明提供的一种FPRM逻辑电路极性搜索方法,利用新的二进制差分进化算法来搜索FPRM逻辑电路的最佳极性,与基于遗传算法的FPRM逻辑电路极性搜索方法相比,增强了逃脱局部最优和避免早熟的能力,提高了收敛速度和极性搜索的效率。包括以下步骤:1读取Boolean逻辑电路;2输入进化参数;3随机生成初始种群,其中,极性被编码为二进制个体;4执行改进的二进制随机变异操作;5执行二项交叉操作;6获得目标个体及其试验个体的FPRM表达式;7计算目标个体及其试验个体的适应度值;8执行贪婪选择操作和精英保留策略;9若当前进化代数小于最大进化代数,则顺序执行步骤4至步骤8;否则输出最佳极性。
-
公开(公告)号:CN107256368A
公开(公告)日:2017-10-17
申请号:CN201710420300.9
申请日:2017-06-06
Applicant: 北京航空航天大学
Abstract: 传统针对虚拟机内文件的完整性度量方法都基于信息摘要算法,存在使用数据量大、计算复杂度高等缺点。本发明提出一种基于写时复制特性的虚拟机内文件完整性度量方法,在虚拟机使用基础镜像和增量镜像、镜像的镜像块与文件系统的文件系统逻辑块大小相同且一一对应、需要完整性度量的文件存放在基础镜像中时,首先从基础镜像中,获取文件头部内容和文件头部、索引、内容使用文件系统逻辑块对应的镜像索引项;然后在增量镜像中,分别检查文件头部、索引和内容的完整性。该方法可以减小所需的数据量,降低计算的复杂度,从而加快完整性度量的速度。
-
公开(公告)号:CN104881549A
公开(公告)日:2015-09-02
申请号:CN201510317476.2
申请日:2015-06-11
Applicant: 北京航空航天大学
IPC: G06F17/50
Abstract: 本发明一种包含无关项的Reed-Muller逻辑电路功耗优化方法,步骤为:1实现包含无关项的布尔逻辑向RM逻辑的极性转换;2随机生成初始种群;3完成十进制极性向二进制或三进制转换;4计算种群极性集中不同极性间的不同位数;5由改进的自适应遗传算法求每一代待评估极性集的最佳极性转换顺序;6按5中得到的顺序对当前极性集进行极性转换;7由每个极性对应的RM表达式和适应度函数,计算其适应度值,并执行精英保留策略;8若当前进化代数小于最大迭代次数,执行步骤9,10;否则,输出最佳极性;9执行选择、交叉和变异操作;10循环执行步骤4至步骤7。本发明提高了极性搜索的效率,增强了遗传算法的收敛性及鲁棒性。
-
公开(公告)号:CN104778499B
公开(公告)日:2017-07-07
申请号:CN201510187800.3
申请日:2015-04-20
Applicant: 北京航空航天大学
Abstract: 本发明提供的一种混合极性Reed‑Muller逻辑电路的最佳极性搜索方法,有效缩短了MPRM逻辑电路最佳极性搜索时间,大大提高了极性搜索的效率,避免了遗传算子对群体中优良个体的破坏。包括以下步骤:1随机生成初始种群;2计算种群极性集中不同极性之间的不同位数;3利用改进的遗传算法求解当前种群极性集的最佳极性转换顺序;4按照步骤3得到的最佳极性转换顺序对当前极性集进行极性转换;5根据每个极性对应的MPRM表达式和适应度函数,分别求出每个极性的适应度值,并执行精英保留策略;6若当前进化代数小于最大进化代数,则执行步骤7和步骤8;否则输出最佳极性;7执行选择、交叉和变异操作;8依次执行步骤2至步骤5。
-
-
-
-
-
-
-
-
-