高性能的智能 FDDI 网络控制器设计技术

在分析传统的网络功能实现结构及通信开销的基础上,论述了高性能网络控制器的设计,并提出提高网络性能的硬件途径和面向ＦＤＤＩ特点的ＦＤＤＩ控制器的设计技术。     

高层体系结构(HLA)的开发与构建

从ＤＩＳ的局限性及不足出发,简要说明了构建和开发ＨＬＡ的可行性和必要性;重点论述了ＨＬＡ的结构、规则、接口规范、对象模型模板（ＯＭＴ）及ＳＯＭ 和ＦＯＭ 的构建步骤     

N+1式高频电力开关电源设计

探讨了N＋1式高频电力开关电源的组成和工作原理。开关电源由监控模块和整流模块组成,重点研究了均流技术和开关电源的抗干扰措施,论述了整流模块数量N＋1的选择。实际运行证明,N＋1式高频电力开关电源工作可靠,达到了预期效果。     

坦克发动机技术状况的两种模糊诊断模型

提出了诊断坦克柴油机技术状况的模糊综合模型和模糊模式识别模型。对59坦克柴油机的技术状况进行了诊断计算,证实了这两种模型的实用性和可靠性。     

ER2MD：一种ER模型到多维模型的转换算法

多维模型是数据仓库概念设计不可缺少的工具,将传统数据库实体关系模型直接转换到多维模型,势必在很大程度上缩短数据仓库系统的开发周期.针对数据仓库概念设计需求,在传统数据库基础上,提出一种面向多维模型的转换算法ER2MD.该算法可将满足一定条件的实体关系模型转换到多维模型,产生的多维模型符合广义多维范式,能够确保多维数据库分析计算的有效性,进而有利于物理数据库的设计.     

On the asymptotic optimality of algorithms for the flow shop problem with release dates

We consider the nonpermutation flow shop problem with release dates, with the objective of minimizing the sum of the weighted completion times on the final machine. Since the problem is NP‐hard, we focus on the analysis of the performance of several approximation algorithms, all of which are related to the classical Weighted Shortest Processing Time Among Available Jobs heuristic. In particular, we perform a probabilistic analysis and prove that two online heuristics and one offline heuristic are asymptotically optimal. © 2005 Wiley Periodicals, Inc. Naval Research Logistics, 2005.     

中国近代军事史研究30年述评

中国近代军事史,按照目前学术界比较一致的看法,其时限界定为1840年至1949年期间。这一阶段,中华大地上充满着外来的侵略和内部的争斗,战争无时无有,无处无有;各类军事力量纷纷登上战争舞台,扮演着各种角色,构成了一幅幅万花筒般的场景。这就为中国近代军事史的研究奠定了基础,创造了条件。建国以来,中国近代军事史研究,就是在这样一种厚实的平台上起步的。从学术研究的层面上看,大抵经历了三个阶段:第一阶段从1949年10月建国之后到1966年5月“文化大革命”开始前。这一阶段主要以史料整理为主,其成果突出表现为一大批中国人民解放军军战史…     

Bayesian sampling plans for exponential distributions with interval censored samples

This article studies the problem of designing Bayesian sampling plans (BSP) with interval censored samples. First, an algorithm for deriving the conventional BSP is proposed. The BSP is shown to possess some monotonicity. Based on the BSP and using the property of monotonicity, a new sampling plan modified by the curtailment procedure is proposed. The resulting curtailed Bayesian sampling plan (CBSP) can reduce the duration time of life test experiment, and it is optimal in the sense that its associated Bayes risk is smaller than the Bayes risk of the BSP if the cost of the duration time of life test experiment is considered. A numerical example to compute the Bayes risks of BSP and CBSP and related quantities is given. Also, a Monte Carlo simulation study is performed to illustrate the performance of the CBSP compared with the BSP. The simulation results demonstrate that our proposed CBSP has better performance because it has smaller risk. The CBSP is recommended. © 2015 Wiley Periodicals, Inc. Naval Research Logistics 62: 604–616, 2015     

Life distribution analysis based on Lévy subordinators for degradation with random jumps

For a component or a system subject to stochastic degradation with sporadic jumps that occur at random times and have random sizes, we propose to model the cumulative degradation with random jumps using a single stochastic process based on the characteristics of Lévy subordinators, the class of nondecreasing Lévy processes. Based on the inverse Fourier transform, we derive a new closed‐form reliability function and probability density function for lifetime, represented by Lévy measures. The reliability function derived using the traditional convolution approach for common stochastic models such as gamma degradation process with random jumps, is revealed to be a special case of our general model. Numerical experiments are used to demonstrate that our model performs well for different applications, when compared with the traditional convolution method. More importantly, it is a general and useful tool for life distribution analysis of stochastic degradation with random jumps in multidimensional cases. © 2015 Wiley Periodicals, Inc. Naval Research Logistics 62: 483–492, 2015     

基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.