基于切片技术获取系统测试用例的方法

针对如何获取局部和全部的系统测试用例,确保其正确性和完备性以及与需求的一致性问题,提出利用先进的建模技术,建立可模拟验证的过程模型,并应用切片技术获取测试用例,并利用基于过程模型结构分析的归纳法证明了该法的正确性,根据过程模型切片准则获取系统测试用例的算法,介绍了实现工具的构成和应用实例。     

遗传算法与文本特征选择方法相结合的研究

对文本特征选择的传统方法进行了深入分析并对各自的优缺点进行了详细的对比;其次,通过利用遗传算法自身的寻优特点,把它与传统特征选择方法相结合,并得出了算法。最后,在对各自算法进行了分析,表明了在性能上有了明显的提高。     

事务存储中的一种自适应冲突检测算法

事务存储被认为是极具前景的多核处理器并行编程的手段,但存在开销过大的问题。采用Bloom Filter对事务间访问共享变量进行冲突检测,能够有效地降低开销,但其存在误判会导致不必要的事务作废,因此要尽可能减少。简要介绍了Bloom Filter和事务存储,提出了一种事务存储的自适应冲突检测算法ACDA,根据事务读写集合大小自适应地调整Bloom Filter的位串大小,在较低开销的情况下,保持误判率不增加。分析了软件事务存储中实现ACDA的特点,初步实现ACDA,与主流软件事务存储实现RSTM相比,在事务存储测试程序STAMP中,开销可接受的前提下,减少因误判而作废的事务最高达93%。给出了对ACDA哈希函数进一步优化的思路。     

双同心椭圆弧的几何拟合方法

提出一种带有同心条件的双椭圆弧拟合方法。该方法利用椭圆几何定义得到的残差来衡量误差,建立关于误差的最小二乘方程,进而采用迭代方法求出描述双椭圆弧的8个参数。算法仿真实验研究了椭圆弧度、长短轴比率以及样本噪声对算法的影响,研究表明弧度越大、长短轴比率较接近1.1、样本噪声较小的时候,算法较稳定、准确。该方法也可以扩展处理多个同心椭圆弧的拟合问题。     

面向AIS医疗应用服务的系统研究与开发

肿瘤是当前医学领域尚未完全攻克的难题,针对这一现象,提出了一种借用人工免疫系统模型,通过嵌入式技术等实现手段,探讨了利用人工智能技术治疗肿瘤病患者的方法。该思路的重点在于利用人工免疫网络具备联想、耐受与自稳等特性,通过将其以适当的方式作用于人体,达到激发人体固有免疫系统,恢复原有免疫功能、提升人体抵抗病原侵入的能力,从而达到自愈的目的。详细介绍了系统的设计方法、硬件构成和应用情况,在一定程度上为人工免疫网络的应用研究拓宽了思路。     

求解带时间窗车辆路径问题的改进粒子群算法

通过分析已有粒子群算法对有时间窗约束的车辆路径问题求解质量不高的原因,提出了一种基于粒子交换原理的整数粒子更新方法。采用构造的双层粒子进化算法分别对8个和20个任务点的有时间窗约束的车辆路径问题求解,数值实验结果表明算法的求解精度和耗时均优于已有算法。     

具有区间峰值的曲面伸缩因子及其实验

为了改进参数曲面自由变形方法,构造了一种新的伸缩因子函数,它不仅具有以往文献所引入的伸缩因子的特性,还可以在区域上达到峰值,从而克服现有的伸缩因子仅在一点达到峰值的不足。使用新的伸缩因子去作用待变形的曲面方程,从而使曲面发生形变,通过交互改变控制参数来控制曲面的形状,使其能够更好地表示一些实体的外型。实验表明,该方法数学背景简单,易于控制,重复使用可获得丰富的变形效果。适用于几何造型、计算机动画、CAD/CAM等领域。     

基于积分二次约束时滞不确定系统的H∞可靠性控制

把基于积分二次约束H∞可靠性控制方法引入状态与时滞不确定系统。通过LMI方法导出无扰动时滞系统具有二次约束H∞可靠性控制的时滞依赖标准,降低有关判定系统鲁棒稳定性条件的保守性。通过推导获得参数与时滞不确定系统的时滞依赖标准。通过数例说明所得结论。     

间隔ν-支持向量机及其几何问题

提出总间隔ν=支持向量机(TM-ν-SVM),该算法可取得比ν-SVM更好的理论分类性能.研究表明TM-ν-SVM等价于求解特征空间中的两个压缩凸包的最近点对.讨论压缩凸包的相关性质,并给出对应的几何算法.数值模拟实验表明TM-ν-SVM和对应的几何算法可取得比其它算法更好的性能.     

通信装备组网方案自动生成及关键技术研究

介绍了组网方案自动生成在通信装备组网仿真训练系统中的作用;总结了专家系统在自动配置系统中运用的研究现状;提出了通信装备组网方案自动生成系统的总体框架和主要构成模块,并对其涉及的关键技术进行了分析和研究,结合系统特点指出了下一步研究方向,从理论上论述了系统实现的可行性。