基于邻接矩阵的软件测试环境规划设计方法

在分析软件测试环境的基础上,研究了软件试验中测试用例设计面临的突出问题,从软件测试环境的规划出发,基于有向图的邻接矩阵,设计满足一定覆盖度标准的软件测试环境规划方法,可为软件试验提供技术参考和研究方向。     

Analysis of a machine repair problem with an unreliable server and phase type repairs and services

In this paper we study a machine repair problem in which a single unreliable server maintains N identical machines. The breakdown times of the machines are assumed to follow an exponential distribution. The server is subject to failure and the failure times are exponentially distributed. The repair times of the machine and the service times of the repairman are assumed to be of phase type. Using matrix‐analytic methods, we perform steady state analysis of this model. The time spent by a failed machine in service and the total time in the repair facility are shown to be of phase type. Several performance measures are evaluated. An optimization problem to determine the number of machines to be assigned to the server that will maximize the expected total profit per unit time is discussed. An illustrative numerical example is presented. © 2003 Wiley Periodicals, Inc. Naval Research Logistics 50: 462–480, 2003     

一类复三次样条的保凸条件

本文研究了一类定义在实轴区间上亏数为１的复三次样条的保凸条件,推广了文［２］Ｃ￣２连续的实三次多项式样条的相应结果。     

用矩阵法FTA 进行非单调关联系统的早期不交化

本文针对带有重复事件的非单调关联系统故障树,定义了非单调关联系统的割集矩阵及不交化最小割集矩阵,利用矩阵变换实现故障树的早期不交化,从而为求解复杂非单调关联系统,解决其ＮＰ困难问题,提供了一条新途径     

点阵图形的二次压缩法

基于YH-1巨型机,本文详细介绍了一种计算机图形的二次压缩法。该方法已经在YHHT 图形软件上成功地实现,应用结果证明这种方法是高效的。     

Approximation methods for the analysis of a multicomponent,multiproduct assemble‐to‐order system

In this article, we consider the performance evaluation of a multicomponent, multiproduct assemble‐to‐order (ATO) system. Each component is managed independently using a base‐stock policy at a supply facility with limited production capacity and an infinite buffer. The arrivals of demands follow a multivariate Poisson process and unfilled demands are backlogged. Because exact analysis of the proposed system is not feasible, we propose two approximation methods which provide upper and lower bounds for various performance measures such as fill rate, average waiting time, and average number of backorders of the proposed system. Our computational experiments demonstrate the effectiveness of the two approximation methods under various system settings. © 2011 Wiley Periodicals, Inc. Naval Research Logistics, 2011     

多核数字信号处理器并行矩阵转置算法优化

矩阵转置是矩阵运算的基本操作,广泛应用于信号处理、科学计算以及深度学习等各种领域。随着国防科技大学自主研制的飞腾异构多核数字信号处理器(digital signal processor, DSP)在各种领域中的推广应用,对高性能矩阵转置实现提出了强烈需求。针对飞腾异构多核DSP的体系结构特征与矩阵转置操作的特点,提出了一种适配不同数据位宽(8 B、4 B以及2 B)矩阵的并行矩阵转置算法ftmMT。该算法基于DSP中向量处理单元的Load/Store部件实现了向量化,同时基于矩阵分块实现了多个DSP核的并行处理,通过隐式乒乓设计实现了片上向量化转置与片外访存的重叠以及访存性能的大幅提升。实验结果表明,ftmMT能够显著加快矩阵转置操作,与CPU上的开源转置库HPTT相比,可获得高达8.99倍的性能加速。     

具有模糊偏好认知矩阵的超对策稳定性分析

针对一类具有模糊偏好认知矩阵的超对策问题,给出了具体的稳定性分析方法。基于相对模糊距离的概念和模糊有序加权平均(FOWA)算子提出了三角模糊互补判断矩阵的一种排序方法。由此方法得到局中人的结局偏好认知向量,进而给出了一阶超对策的稳定性分析过程。最后,以实际冲突为例说明这一方法。     

一类具有变时滞系统的α稳定性

本文对线性变量滞系统进行讨论,通过利用Lyapunov函数的方法和线性矩阵不等式,给出了该系统的一个充分条件。并对线性控制系统稳定性的应用有一定的影响。     

SiCf/Si-O-C复合材料的抗氧化、抗热震性能研究

通过研究材料的氧化前后质量的改变和强度减少及氧化前后微观结构的变化,研究了先驱体转化法制备的SiCf/Si-O-C复合材料的抗氧化、抗热震性能。结果表明SiCf/Si-O-C复合材料具有良好的抗氧化、抗热震性能。对所得材料微观结构进行了分析讨论,发现界面结构的变化是影响SiCf/Si-O-C复合材料抗氧化、抗热震性能的主要原因。