一类具有时滞和阶段结构的SI传染病模型的稳定性分析

研究一类具有时滞和阶段结构的SI传染病模型。讨论了系统平衡点的存在性和局部稳定性,并讨论了无病平衡点和地方病平衡点的全局稳定性。最后对所得理论结果进行了数值模拟。     

非线性时滞系统模糊控制的一种新方法

针对一类状态变量具有时滞的非线性系统,研究了其模糊控制器的设计问题。采用线性矩阵不等式（LMI）的方法,设计了与状态变量导数有关的模糊控制器,得到了系统存在模糊控制器的充分条件,并利用线性矩阵不等式的解给出具体的形式,最后通过仿真说明了控制器的有效性。     

基于最大故障特征信息熵的测试点优化设计

为解决故障诊断和可测试性设计中普遍存在的测试点优化问题,以相关性矩阵模型为基础,建立了最大故障特征信息熵的优化准则,给出了相应的测试点优化设计方法。应用实例表明：该方法是可行的、正确的,能为武器装备的故障诊断和可测试性设计提供有力的支持。     

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)算子提出了三角模糊互补判断矩阵的一种排序方法。由此方法得到局中人的结局偏好认知向量,进而给出了一阶超对策的稳定性分析过程。最后,以实际冲突为例说明这一方法。