路径测试中基本路径集的自动生成

路径测试是一种重要的白盒测试技术，具有较高的故障覆盖率。基本路径集覆盖了程序中所有语句和分支，该文测试了基本路径集中的路径，在测试资源有限的情况下得到较好的测试效果，并提出了基于图的深度优先搜索的基本路径集的生成方法，该算法采用的生成子路径的方法可以有效地减少路径生成过程中的搜索过程，提高路径生成的效率。 关键词：     

三对角方程组的分布并行算法

本文针对三对角方程组的直接并行解法奇偶约化方法，提出计算复杂度比原方法降低的大步长的循环约化交替方法。结合大规模分布式并行计算机系统曙光-2000，给出其分布式并行算法及数值实验结果。     

整体异步的并行转换算法

针对Fukushima提出的求解无约束最优化问题的同步并行转换算法(PVT),提出一个整体异步并行算法,该算法去除了并行计算中同步与通信的开支。在一定的条件下,证明了该算法具有全局收敛性以及线性收敛速度。数值试验结果表明,异步PVT算法优于同步PVT算法。     

基于曙光-2000上的两种并行消息传递模型

当前最流行的网络并行计算消息传递模型是PVM和MPI，通常使用者认为PVM和MPI仅是代表了解决相同问题的不同解答方案。而该文结合曙光－2000（分布式大规模并行计算机系统）所用的消息传递型编程模型，从PVM和MPI的设计目标，起源，规范、动态进程，非阻塞操作等几个方面来说明这两种程序设计方法有许多明显区别点，通常用来解决不同的问题。     

一个无约束优化问题并行算法的异步执行

在这篇文章里,我们对Fukushima提出的关于无约束优化问题的PVT算法作了改进,提出利用PVD算法中的PVD-方向来构造的PVT-变换矩阵,得到一个更适合于异步执行的PVT算法,从而减少各处理机之间的等待时间,提高并行机的并行效率．文中证明算法具有线性收敛速度,且其线性收敛比与处理机个数无关,该结果改进了中的结果,更适合于并行计算．     

基于最佳一致逼近理论求解矿用通风机性能曲线

考虑到通风机性能曲线对煤矿通风的重要作用，应用最佳一致逼近理论中切比雪夫定理的思想，结合里米兹算法，给出一种求解通风机性能曲线的数值方法--切比雪夫插值法（CIM）。与LSM不同，CIM在生成曲线过程中，只选取几个点，自由度好，通过分别对矿用离心式和轴流式通风机的性能曲线进行拟合发现，CIM生成的性能曲线具有更好的弯曲度和自由流畅度，同时，基于最佳一致逼近的理论保证，CIM的最大绝对值误差小于LSM。经分析认为，CIM对于矿用离心式通风机的效率曲线、功率曲线尤其是轴流式通风机的性能曲线是比较合理的数值方法。     

具有约束的极小生成子图的一个算法

针对实际中的一类连接问题建立了网络模型，给出了便于计算机实现的算法，即：通过依次收缩各边简化网络G＝（V，E，W），最终得到最小生成树；然后恢复各边和顶点，从而得到了此类问题的最优解。     

橡胶油封变形曲线的数值分析

橡胶油封在装配过程中,塑性胶体容易产生不规则变形,由于变形曲线无法准确描述,从而影响了进一步的受力分析。结合数值分析中的牛顿插值法和曲线拟合法,提出一种分析橡胶油封变形曲线的新方法,并建立数学模型;利用Matlab软件对所建立的数学模型进行数值模拟,得到了橡胶油封理想的变形曲线。     

并行工程中MAS决策的协商机制及其评价

并行工程中，多Agent智能决策是一个核心组成部分。Agent间决策结果的不一致性会影响整个并行工程的决策结果，需要采取适当的协商机制调节Agent之间的矛盾。本文给出了可信度优先、权威性优先、相邻影响、彼此影响等四种Agent协商机制以及相应的决策公式，并对它们进行了量化比较，分析了各自的优越性和适应性情形。最后给出了基于协商的Agent分组决策的一致性策略。     

基于变量转换的并行优化算法

针对大规模边界约束优化问题,现有并行变量转换(PVT)算法不适于直接求解。基于此,采用内点法和逐步下降的思想,提出一个并行求解边界约束最优化问题的可行算法。在下降方向满足梯度相关、步长满足Goldstein规则的条件下,证明该算法的收敛性。当约束失效时,该算法退化为求解无约束的PVT算法,从而成为原有算法向约束优化问题的一个推广。