C程序缓冲区溢出漏洞精确检测方法

C程序中的缓冲区溢出漏洞是影响系统安全性的严重问题,利用工具有效地检测并消除出这一漏洞,可以大大提高系统的安全性.针对现有工具在检测缓冲区溢出漏洞上的不足,提出了一种利用模型检测技术对C语言代码中潜在的缓冲区溢出漏洞进行精确检测的新方法.该方法首先将对缓冲区漏洞的检测转化为对程序某个位置可达性的判定,再使用模型检测工具对可达性进行验证.使用这一方法建立了一个精确检测C程序中缓冲区溢出漏洞的原型系统,并使用该原型系统进行了试验.结果表明该方法可以较为精确地检测并定位出代码中的漏洞.      

CPU仿真器MCS中存贮结构仿真的实现

仿真器是进行硬件设计评估,系统软件设计开发和计算机体系结构研究的有力工具,而对内存的仿真是系统级仿真器的重要组成部分,其仿真效率直接影响整个仿真器的性能.以一款基于VLIW(超长指令字)结构的CPU仿真器——MCS为例,研究了高效内存仿真的实现方法.MCS为目标应用程序提供了一个仿真运行平台,从而达到评估CPU设计,分析指令效率,支持编译系统调试的目的.      

基于信息素差异分布策略的路径规划蚁群改进算法

针对传统蚁群算法用于移动机器人路径规划时存在初期盲目性搜索、收敛速度慢以及容易陷入局部最优的问题,提出一种蚁群改进算法。首先根据各节点相对于起始点和目标点连线之间的距离,对初始信息素不平均分配,使其呈正态分布,降低算法搜索初期的盲目性,加快最优解的搜索;其次改进挥发因子,采用双挥发因子原则,控制信息素的挥发,既降低局部最优的可能,又能加快收敛速度;对冗余路径作进一步优化处理,使得路径更优。仿真结果表明,本文蚁群改进算法相对比传统蚁群算法以及其他蚁群改进算法收敛速度更快,收敛性更稳定。     

多目标混合流水车间调度问题求解算法

针对多目标不相关并行机混合流水车间调度问题，建立以最小化最大完工时间、机器总能耗和机器加工成本为目标的多目标数学模型。提出一种改进的基于分解的多目标进化算法（Improved multi-objective evolution algorithm based on decomposition,IMOEAD），采用均匀设计表生成初始权重向量，提高种群多样性，利用正态分布交叉并设计了自适应高斯变异来提高算法的全局搜索能力和局部搜索能力，在权重向量邻域中选择个体产生新解，运用非支配等级和拥挤距离更新外部档案。以反世代距离、世代距离和非支配解个数为性能指标，通过大量案例仿真，与非支配排序遗传算法Ⅱ和基于分解的多目标进化算法进行对比，结果验证了该算法的有效性。     

加速度计横向灵敏度测试方法研究

随着加速度计在地震勘探、轨道交通等领域的广泛应用,横向灵敏度已经成为加速度计校准和实际应用中的重要参数。根据测试加速度向量维度的不同,对现有的加速度计横向灵敏度测试方法进行分类,指出各种测试方法及测试装置在横向灵敏度幅度、频率和方向角测试方面的局限性,并对相关问题的研究进展进行论述,指出加速度计横向灵敏度测试方法的研究方向。     

通信辅助卫星导航接收机最优捕获灵敏度分析

通信辅助有助于降低卫星导航信号捕获的搜索模糊度,因此接收机可通过改进捕获算法 以提高捕获灵敏度。但是,目前在同等条件下捕获灵敏度提升量与通信辅助精度的量化关系尚不 明确。通过约束平均捕获时间和捕获算法计算复杂度两项指标的门限值,对接收机辅助信息精度 与捕获灵敏度提升量之间的关系进行量化分析,得出相应条件下的最优捕获算法参数。分析表 明,在频率搜索范围以1/2的幂次进行逐渐压缩的过程中,捕获灵敏度提升量最高约为4dB,且随 频率搜索范围压缩程度的提高而逐渐缩小。根据评估方法得到的最优捕获算法参数受捕获概率 指标、虚警概率指标等影响较小,可预置于接收机中,根据具体情况进行选择。