软件测试中的路径划分技术

路径覆盖测试准则要优于其它已知的覆盖准则，但由于对一般的软件，路径数目太大，以至实际难以实现。路径划分是路径覆盖技术的一个折中方法。给定的程序Ｐ和给定模块的最大路径数目ｋ，按就近原则，现给出了一种划分Ｐ的算法，使得每个划分后的模块所包含的路径数目都少于等于ｋ。同时也给出了最佳划分的度量标准和最佳划分方法。     

带冠涡轮叶盘弯扭通道中复杂电极的进给轨迹

整体涡轮叶盘精加工是决定叶盘最终几何精度的关键技术 ,电火花加工 (EDM)则是涡轮叶盘精加工的有力手段。在涡轮叶盘EDM精加工中电极的设计的基础上 ,进行了电极在带冠叶盘弯扭狭窄通道中无干涉进给轨迹的搜索 ,其中的核心问题是电极运动约束条件的确定。最后给出了轨迹搜索的范例结果     

C3I 系统时延的 PETRI网络分析

根据Petri网络结构分析C~3I系统的时延性能,并用计算机软件实现,给出了典型系统的实验结果。     

一类典型多态关联系统的可靠性定性性质

定义了一种典型的多态关联系统逻辑结构，该类系统在工程实践中有一定的应用范围。由于这类系统的结构比较特殊，因此有比较优良的定性性质，而可靠性分析中，最小路集求解是定性分析最主要的研究内容之一。针对这种结构的系统，研究了相应的最小路集求解方法，这种方法的运算量远小于一般系统最小路集求解方法的运算量。     

压电速率陀螺瞄稳系统工程实践中若干问题分析与探讨

在简述压电速率陀螺瞄稳系统原理和模型的基础上,对前馈稳定、瞄准线旋转、陀螺零位、载体振动等进行了分析,给出零位补偿措施和噪声抑制对策。并探讨了稳定系统速度和加速度的限制问题     

多故障信息标志的临界路径跟踪

提出了一种故障模拟方法——多故障信息标志的临界路径跟踪。虽然其基本概念类似于临界路径跟踪（CPT）和故障信息跟踪（FIT）,但是这种方法能大大减少扇出源的分析数量,故障在FFR中的传播比CPT中更加有效。本算法已用C语言在386微机上实现,并给出了ISCAS’85的十个组合电路的实验结果。     

改进Dijkstra算法在大型城市轨道交通网计价系统中的应用

随着城市地铁建设的迅猛发展,国内众多城市地铁线路均已实现网络化运营。考虑到地铁票价制定的公益性,目前国内大部分城市均以最短路径或最少车站的方式计算线网两车站间的票价。以传统的Dijkstra算法为基准,对传统的Dijkstra算法进行改进,分别采用传统Dijkstra算法和改进Dijkstra算法对长沙地铁1～5号线线网最短距离行走路线进行测算。结果表明,改进后的Dijkstra算法不仅有效地提高了算法的时效性,克服了传统算法时间冗长的缺陷,在一定程度上消除了线路之间累积的误差且提高了线网的可延展性。     

利用交互依赖活动集对C4ISR系统进行重组

一个复杂的C4ISR系统由若干子系统组成,子系统之间的交互依赖关系应该尽量少.利用活动模型构造系统的活动邻接矩阵,用图论中的路径矩阵来识别强连通子图,从而得出交互依赖活动集.具有交互依赖关系的活动尽量安排在一个子系统内部.利用这种方法来对C4ISR系统进行重组.     

一种面向节点定位的移动信标动态路径规划方法

针对基于移动信标的传感器节点定位问题,提出一种基于在线决策的移动信标动态路径规划方法.针对以往算法大都只适用于节点均匀分布的局限,该方法用移动信标不断获取两跳范围内的未定位节点数目,并向最大覆盖未定位节点方向移动,不需要网络先验信息,即可实现路径的优化.仿真结果表明:与传统方法相比,该方法无需网络的先验信息,在移动路径长度上具有明显优越性,减少了信标的能量消耗,更适用于户外部署的大规模传感器网络.     

高硬热喷涂层的缓进给切削试验

采用高硬材料切削过程中常用的2种刀具材料CBN和YG610,应用缓进给的模式对高硬喷涂层进行切削试验。试验结果表明：采用小进给切削模式YG610刀具切削高硬热喷涂层可以获得较理想的刀具耐用度,并且加工表面质量可以达到Ra1以下,具备了以车代磨的基本条件。高硬材料切削常用的刀具CBN在切削过程中出现了较严重的非正常破损现象。通过对试验现象的分析,可以认为冲击性和高硬度的同时存在是喷涂层切削的最重要特性。因此,喷涂层切削刀具需要同时具备较高的韧性和硬度。