一种基于约束的指针程序路径选择方法

动态符号执行是对程序进行安全性分析的重要技术.在动态符号执行过程中,存在着符号地址,系统调用,路径选择等问题.针对符号地址导致的别名分析问题,本文提出了一种基于约束的指针分析方法,对程序进行过程内的指向分析,并对指针分析过程引入约束条件,产生可以进行路径选择的测试用例,以提高指针分析的精度.在国内首款某型号商用编译器的开发过程中实现了该方法,实验结果表明,该方法可以准确地分析C语言测试用例,缩短用例测试的时间.     

自适应memetic算法求解集合覆盖问题

集合覆盖问题是一个经典的NP困难的组合优化问题,有着广泛的应用背景.首先,采用动态罚函数法将集合覆盖问题等价转化为无约束的0-1规划问题.然后,基于集合覆盖问题的结构特征,设计了初始种群构造方法、局部搜索方法、交叉算子、动态变异算子和路径重连策略,提出了一个高效求解该0-1规划问题的自适应memetic算法.该算法有效平衡了集中搜索和多样化搜索.通过45个标准例子测试该算法,并将其结果与现有遗传算法进行了比较,表明该算法能够在可接受的时间内找到高质量的解,能够有效求解大规模集合覆盖问题.     

构造面向对象软件可复用测试用例的模式研究

从分析测试用例的共性着手，将面向对象系统中的测试用例依据它们的设计方法分为：状态检查测试用例与状态比较测试用例，并进而得出关于这两类测试用例的详细描述．以此为基础，提出了一个统一的测试用例生成、执行的模式，使测试用例能够独立于被测对象，以达到测试复用的目的．     

一类0-1背包问题算法程序的形式化推导

0-1背包问题是经典的组合优化问题与NP完全问题,具有重要的应用价值与理论意义.本文使用PAR(Partition and Recurrence)方法形式化推导了0-1背包问题的高效动态规划箅法程序.通过类比分析.该问题的若干变形问题的算法也可推导得到.算法通过PAR平台的自动生成系统转换成可执行语言程序并运行通过,保证了该类0-1背包问题算法的正确性和可靠性.本文主要的贡献是将PAR方法推广到能处理带约束条件的组合优化类问题,大大扩展了PAR方法的应用范围,为形式化开发高效高可信组合优化类算法开辟了一条新途径.     

基于虚拟单元映射的电路面积优化算法

相比较于标准单元库映射,library-free映射中采用的动态生成的虚拟单元,具有更大的灵活性,因而在电路面积优化上往往可以取得更好的效果.本文提出的基于虚拟单元的面积优化算法包括面积估算和覆盖策略两部分.在面积估算上提出了基于n元树和逻辑努力的虚拟单元的CMOS电路实现及面积估算方法.在覆盖策略上提出了一种带有局部寻优策略的离散粒子群优化算法.MCNC测试电路的实验结果表明,相比较于标准单元库映射,对于绝大多数电路,本文给出的算法可以使电路面积得到进一步的优化.     

面向使用的GUI软件关键测试路径选择策略

从软件统计测试的思想出发，提出了窗口导航网（WNN）模型，并通过WNN选择关键测试路径，以降低GUI软件的测试代价．提出了多种窗口和输入粒度，从不同层次上描述GUI软件，并在一定粒度上构建WNN模型．模型中的顶点对应GUI中的窗口，弧对应窗口之间的转移，各弧关联一个[0，1]区间的实数，描述转移发生的概率．使用该方法可以从用户角度建模GUI软件，建模过程简单直观，且不存在状态爆炸问题．实例分析表明，通过WNN模型能有效地获取关键测试路径．     

区间数及在控制系统中的应用

在生产过程中,有些控制系统中的参数不是常数而是一个区间时,与常规的方法有较大的不同.本文以一阶系统为例,在MATLAB环境下用INTLAB软件编程建立运行区间系统,获得采用PI调节器进行校正后其系统的输出响应,并用仿真结果的变化来确定区间系统的最优控制参数.     

基于区间T-球形模糊熵的TODIM-VIKOR多属性决策方法

区间T-球形模糊熵在区间T-球形模糊环境下的多属性决策问题中有着重要价值。为了更好地保留区间T-球形模糊集的模糊信息,首先提出了区间T-球形模糊数的得分区间、精确区间以及缺失区间,并基于此定义了新的区间T-球形模糊数的比较规则。然后结合上述三个区间,基于区间上连续香农熵函数的积分中值思想,提出了区间T-球形模糊熵公式,并分析了其满足的性质。最后,利用区间T-球形模糊熵确定属性的客观权重,并结合新的区间T-球形模糊数的比较规则,提出一种区间T-球形模糊TODIM-VIKOR方法。通过实例说明了基于区间T-球形模糊熵的TODIM-VIKOR方法的可行性和有效性,为解决区间T-球形模糊环境下的多属性决策问题提供了一种新的思路。     

点到代数曲线最短距离的细分算法

距离计算在计算机辅助几何设计与图形学领域有着广泛的应用.为了有效计算点到代数曲线的最短距离,提出了一种基于区间算术和区域细分的细分算法.利用四叉树数据结构对给定区域进行细分,用区间算术计算细分后所有像素点到给定点的距离区间,得到最小距离区间.该方法的优势在于在得到任意精度的点到代数曲线最短距离的同时,亦得到了该结果的最大误差限.为进一步提高速度,还对算法进行了改进.     

针对复杂路径条件的固件测试方法改进

针对当前固件模糊测试方案在测试具有复杂路径条件的固件时开销较大并且效率低下的问题,提出了一种高效省时的固件测试改进方法.该方法根据固件与外设交互使用的通信协议来修改模糊测试器产生的测试用例,使得测试用例可以突破校验和检查这一复杂路径条件.使用该方法改进了固件测试方案p2im(processor-peripheral i...     

关于区间割线法的有效性

本文我们讨论求凸连续函数的零点的区间割线法 ,所构造的方法简捷、实用 ,且具有较高的收敛效率 (三次函数计值 ,为三阶收敛 ).     

威布尔分布参数的最高后验概率密度区间估计算法

研究了在先验分布为伽玛分布下,威布尔分布未知参数θ的Bayes区间估计方法,并给出参数的最高后验概率密度区间——HPD区间估计的条件极值解法.最后给出例子,说明该方法的优越性.     

单位区间图的边泛圈性

本文证明了顶点数至少为４的单位区间图是边泛圈图当且仅当它是３连通的。     

一类新的宽间隔跳频码的实现

基于ＧＦ（Ｐ）上的ｍ序列,提出了一类新的宽间隔跳频码序列,并在计算机上进行了模拟研究．其模拟结果表明：该跳频码序列的相关性和游程特性均优于最佳的跳频码序列．     

点估计的局部矩方法

利用局部矩的概念，得到了关于局部矩估计的两个结论：一，局部矩估计具有强相合性；二，在小样本的情况下，局部矩估计可以给出参数较理想的区间估计．并且通过两个例子，说明了局部矩估计比经典的矩估计适用的范围更广．     

一种求解约束条件下多变量非线性函数所有全局最优解的区间算法

研究和实践中经常会遇到附有约束条件的非线性优化问题，对这类问题，通常采用随机搜索的方法来解决，但是，随机搜索法不能证明所得到的解就是全局最优解．本文给出了一种求解约束条件下非线性优化问题所有全局最优点和最优值的区间算法，该算法非常宜于解决优化问题，它能求出问题的所有全局最优解，给出解的包含区间，并很容易获得解的逼近误差，这是随机搜索等其他方法做不到的．理论分析和数值结果均表明，区间算法是稳定而可靠的．     

基于4t 1型素数序列的宽间隔跳频伪随机序列

基于4t＋1素数码长的伪随机序列，提出了一种适合短波SFH／MFSK系统的宽间隔的伪随机序列，并在单片机上对该序列的特性进行了实验研究，最后用MATLAB软件对其汉明相关性能进行验证，结果表明，该序列可以满足短波跳频通信的要求．     

植物种群数量研究的Lewis－Leslie区间矩阵模型

利用区间动力系统原理，建立了研究植物种群数量变化趋势的Ｌｅｗｉｓ－Ｌｅｓｌｉｅ区间矩阵模型，并且获得判断种群消长的充分或必要条件．研究新疆莫索湾沙区白梭梭种群的实践标明，该类模型对某些植物种群是有一定应用范围的．特别需要指出，模型的最大特点在于元素的相对不确定性．只要知道其取值范围即可     

一种基于自主配置的网络可生存性增强算法

基于中心极限定理和假设检验理论，通过比较当前关键服务请求的服务响应时间与该关键服务历史平均服务响应时间置信区间的关系，提出了一种增强网络可生存性的自主配置算法（NSAC）．该算法对关键服务执行过程中的不同时段分两种情况采取适时的资源剥夺、服务迁移或者服务降级等策略，最大限度地保证关键服务请求在用户期望的截止时间内完成，整个配置过程对用户透明．仿真试验表明，本文提出的算法在网络重负载和轻负载情况下都可以更好地改善系统关键服务的可生存性．     

θ-图的连续边着色

设G是简单图,用颜色1,2,3......对G的边着色.如果每一顶点所关联的边上着的颜色构成一个连续的整数集合,那么就称这个边着色是连续的.本文中证明了θ-图有这样的连续边着色.