多阶段任务系统可靠性分析的ROBDD算法

针对Markov方法分析多阶段任务系统(Phased-Mission System,PMS)可靠性时的状态空间爆炸问题,基于层次化建模思想,建立了PMS任务可靠性的顶层系统二维决策图(Binary Decision Diagram,BDD)模型和底层部件Markov模型。通过分析BDD中的同构节点和冗余节点,提出顶层模型构造过程中的同构节点合并策略和冗余节点删除策略。利用上述节点压缩策略生成简化模型,提高模型构造和存储效率。基于PMS部件排序规则,给出了层次化模型的递归求解方法,该方法的计算复杂度与顶层模型中的节点总数呈线性关系。通过算例分析,对比采用节点压缩策略前后的模型节点数,以及层次化方法与Markov方法的计算结果,验证了简化层次模型的正确性和有效性。     

汉语原型句蜕向英语多元逻辑组合的变换

汉语原型句蜕的英译形式多种多样,其中变换成英语的多元逻辑组合是涉及比较复杂变换细节的一种,因而成为颇具特色的语义块构成变换子类.文章从概念阐释入手,详尽分析了这种变换的语言现象、变换的必要性以及实施变换的技术准备.     

用 Gd2O3 做介质缓冲层制作金属包覆光波导偏振器

首次报道了采用Ｇｄ２Ｏ３薄膜作介质缓冲层制作金属包覆Ｔｉ：ＬｉＮｂＯ３光波导偏振器。通过对理论模型的计算选取合适的介质缓冲层厚度,给出了理论计算和实验结果。测试结果表明,我们实际制作的Ｇｄ２Ｏ３／Ａｌ包覆Ｔｉ：ＬｉＮｂＯ３偏振器的偏振消光比＞３５ｄＢ。     

基于分层结构的故障诊断专家系统RDSC方案

针对军事指挥自动化系统中的硬件设备,运用分层结构专家系统技术实现对系统的远程故障诊断与维护支持,提出了远程维护和故障修复支持技术模型,并对该模型的专家系统技术进行探讨,给出了基于CLIPS专家系统的一个实现模型,最后阐述了专家系统中推理机与知识库的设计和实现.     

Revenue maximization in two-station tandem queueing systems

We study optimal pricing for tandem queueing systems with finite buffers. The service provider dynamically quotes prices to incoming price sensitive customers to maximize the long-run average revenue. We present a Markov decision process model for the optimization problem. For systems with two stations, general-sized buffers, and two or more prices, we describe the structure of the optimal dynamic pricing policy and develop tailored policy iteration algorithms to find an optimal pricing policy. For systems with two stations but no intermediate buffer, we characterize conditions under which quoting either a high or a low price to all customers is optimal and provide an easy-to-implement algorithm to solve the problem. Numerical experiments are conducted to compare the developed algorithms with the regular policy iteration algorithm. The work also discusses possible extensions of the obtained results to both three-station systems and two-station systems with price and congestion sensitive customers using numerical analysis.     

基于最大后验风险的多层Bayes方法

为了对指数型产品进行可靠性鉴定,首先给出了失效率的多层先验分布,然后从最大后验风险的角度,运用Bayes方法,制定出可靠性鉴定试验方案.按照此鉴定试验方案,缩短了试验时间,从而降低了鉴定试验所需的费用.     

层次分析法在装甲师作战能力评估中的应用

装甲师作战能力的评估,对装甲部队建设有重要的推动作用,但影响装甲师作战能力的因素很多。以往沿用的人数统计评估法、指数评估法等存在一定的不确定性,因此,采用层次分析法对部队的作战能力,给出一种定量和定性相结合的评估方法。     

潜艇近水面定深航行时的变结构控制方法研究

用自由递阶的变结构控制（ＶＳＣ）方法研究了在二阶波浪力干扰下,潜艇近水面航行时的定深控制问题,并分析了各控制参数对控制性能的影响。通过与ＰＩＤ控制方法的比较,表明本文设计的变结构控制系统具有较高的控制精度和较强的适应性。     

典型 ATM 交换机缓冲系统在类 C/S 业务模式下的队列长度比较

许多应用场合中的通信业务可以用类用户一服务器（C／S）业劳模式来表达,因此有必要研究这种业务下的ATM交换机缓冲存储器策略;本文以计算机仿真的手段评估了四种典型缓冲结构的队列长度概率分布情况,进而比较了类C／S业劳模式下ATM交换机几种典型缓冲系统的性能。     

多层验前正态总体动态参数的Bayes融合估计

在多层验前信息下,给出了正态总体动态参数的Bayes融合估计。进一步,用线模型下的递推估计方法,给出了递推解。对于实际应用中的一些问题,提出了处置方法,并以实例作了说明。