Application of Markov renewal theory and semi-Markov decision processes in maintenance modeling and optimization of multi-unit systems

In this paper, a condition-based maintenance model for a multi-unit production system is proposed and analyzed using Markov renewal theory. The units of the system are subject to gradual deterioration, and the gradual deterioration process of each unit is described by a three-state continuous time homogeneous Markov chain with two working states and a failure state. The production rate of the system is influenced by the deterioration process and the demand is constant. The states of the units are observable through regular inspections and the decision to perform maintenance depends on the number of units in each state. The objective is to obtain the steady-state characteristics and the formula for the long-run average cost for the controlled system. The optimal policy is obtained using a dynamic programming algorithm. The result is validated using a semi-Markov decision process formulation and the policy iteration algorithm. Moreover, an analytical expression is obtained for the calculation of the mean time to initiate maintenance using the first passage time theory.     

Weak aging properties for coherent systems with statistically dependent component lifetimes

As a relevant topic in reliability theory, the preservation of aging properties under the formation of various coherent structures contributes to improving system performance through better structure design and more effective system maintenance. The classical research in this line usually focuses upon coherent systems with independent component lifetimes. Recently, some authors discussed the preservation of IFR, NBU, and DMRL in the setting of dependent component lifetimes. This paper further investigates sufficient conditions for coherent systems with dependent component lifetimes to preserve aging properties including NBUC, NBU (2), DMRL, and their dual versions. Some examples are presented to illustrate coherent structures and typical copula functions fulfilling the present sufficient conditions as well.     

基于循环子空间理论的线性系统测试矩阵优化

研究了线性定常系统在循环指数大于1(即其约当标准形不同的约当块有重根)的情况下测试矩阵的优化方法.以循环子空间相关定理的证明为基础,根据根向量链的相关特性,得到了测试向量的线性和与系统观测性的直接关系,给出了在保证系统可观测性的同时,使得测试代价最小的测试矩阵优化方法.算例表明,提出的方法简单直观,对配置测试向量具有良好的工程价值.     

关于独立学院教学体制的构建

独立学院作为一种新型的办学模式，是高教改革的战略抉择，对我国高等教育向“大众化教育”转变具有重要的意义。构建合理的独立学院教学体制是实现人才培养的关键。对此，独立学院必须以培养应用型专门人才为目标，以市场为导向，科学确定学生的知识结构和能力体系，构建合理的人才培养模式；应根据独立学院的特点，以教学运行管理为重点，加强教学管理的规范化建设，构建合理的教学管理机制；以提高教学质量为目标，构建合理的教学质量监控与保障体系；充分运用独立学院灵活的办学机制，构建一支由母体高校教师、专任教师和兼职教师三部分组成的，适应独立学院教学工作需要的教师队伍。     

警卫部队基层建设研究

部队建设的基础在基层，基层建设是警卫部队建设与发展的重要内容，也是警卫事业全面发展的重要保证。在新世纪新阶段，只有以科学发展观为指导，把科学发展观贯穿于警卫部队基层建设的全过程，落实到各项具体工作中，才能使部队建设在安全、有序的环境下得以全面、持续、和谐、健康地发展，才能真正提升部队战斗力，履行好警卫部队肩负的历史使命。     

过渡流区圆柱体驻点热流的工程计算

以流动分区的界限为Knudsen数的变化区间,使用线性插值和调节参数进行校正的方法,提出一种计算过渡流区热流的桥函数形式,并且确定了端面迎风的圆柱体的调节参数.使用DSMC方法对计算结果进行验证并与其他形式的桥函数进行比较.结果表明该桥函数在马赫数大于10的情况下,能比较准确地计算驻点热流的值,可以为飞行器初步设计提供一定的参考依据.     

谈峨眉山景区消防规划编制

针对世界自然和文化双遗产的峨眉山景区的消防安全现实情况，分析了该景区主要面临的消防安全问题，提出了在编制自然和文化遗产地自然消防规划时应注意的问题及解决办法。     

公共场所人员安全疏散评价方法探讨

公共场所安全疏散评价对于确保火灾中人员的生命安全具有重要意义。基于“性能化”防火设计的思想，对影响公共场所安全疏散的因素进行了分析，并对安全疏散的必要性能和评价程序进行了较为全面的探讨，其中包括烟气的评价、人员疏散能力的评价、疏散路线合理性的评价、疏散对策的评价等，目的在于通过合理的评价方法得出合理的疏散性能，为减少公共场所火灾造成的人员伤亡和财产损失提供帮助。     

The building evacuation problem with shared information

In this article, the Building Evacuation Problem with Shared Information (BEPSI) is formulated as a mixed integer linear program, where the objective is to determine the set of routes along which to send evacuees (supply) from multiple locations throughout a building (sources) to the exits (sinks) such that the total time until all evacuees reach the exits is minimized. The formulation explicitly incorporates the constraints of shared information in providing online instructions to evacuees, ensuring that evacuees departing from an intermediate or source location at a mutual point in time receive common instructions. Arc travel time and capacity, as well as supply at the nodes, are permitted to vary with time and capacity is assumed to be recaptured over time. The BEPSI is shown to be NP‐hard. An exact technique based on Benders decomposition is proposed for its solution. Computational results from numerical experiments on a real‐world network representing a four‐story building are given. Results of experiments employing Benders cuts generated in solving a given problem instance as initial cuts in addressing an updated problem instance are also provided. © 2008 Wiley Periodicals, Inc. Naval Research Logistics, 2008     

一种改进的事件驱动系统框架

在给出事件驱动系统安全漏洞的基础上,指出了产生漏洞的根本原因是:系统忽视了输入系统的事件序列之间存在的相关性;系统无条件信任任何事件源产生的事件.针对这两个原因,相应提出了事件序列形式安全分析模型及基于事件源的可信度评估模型,依据这两个模型,构建了一种改进的事件驱动系统框架.