一种基于任务-系统结构的软件可靠性建模方法

针对军用软件特点,提出并定义一种基于任务剖面的软件系统结构准则;基于该准则,给出一种从功能可靠性、事件可靠性到任务可靠性的分层可靠性预计方法。与侧重于数学建模的相关工作不同,该方法更注重在建模中融合软件可靠性设计、测试和管理,成为可靠性保证的一种途径。     

增强意识形态建设实效的系统性思考

意识形态建设是从理论构建经宣传教育、政策及制度的实现、现实生活融注到民众心理认同、接受的一个系统过程,其中的每一环节都各有特点和要求。只有适应其特点和要求,将每个环节都真正做好,意识形态建设才能真正取得实效。这是一项艰巨的工作,但却是意识形态建设取得实效的惟一途径和方向。     

谈国人视野中的中国崛起

随着中国的快速发展,中国正在崛起已成为国内外有目共睹的事实。一些西方学者把中国崛起看成是对世界和平与发展的"威胁",中国人民则根据中国崛起所带来的巨大变化,把中国崛起看成是对人类文明的重大贡献。对中华民族而言,中国崛起造福13亿中国人,使中国人民基本过上了幸福的小康生活;对全人类来说,中国崛起惠及全世界,推动了世界经济的发展乃至人类文明的进步。     

陶行知生活教育思想略论

近代著名教育家陶行知在深刻批判封建传统教育的基础上,创立“生活教育”理论,学习、研究陶行知的这一理论,对推动我国教育改革,建设有中国特色的社会主义教育体系,具有重大指导意义。     

Tests for homogeneity of distributions of component lifetimes from system lifetime data with known system signatures

In this article, we discuss the problem of testing the homogeneity of distributions of component lifetimes based on system lifetime data when the system signatures are known. Both parametric and nonparametric procedures are developed for this problem. For nonparametric testing, the Mann–Whitney‐type statistic is used, and its performance and limitations are discussed. Next, we assume the component lifetimes to follow exponential distributions and then develop different parametric tests. Exact and asymptotic methods are developed based on the method of moments estimators. A Monte Carlo simulation study is used to compare the performance of different parametric procedures with that of the nonparametric procedure. Based on the results of the simulation study, discussions and practical recommendations are made and finally some concluding remarks are provided. © 2015 Wiley Periodicals, Inc. Naval Research Logistics 62: 550–563, 2015     

无人机自驾仪硬件加固方案设计与可靠性分析

自驾仪是无人机实现自主飞行与自主完成各项任务的核心器件。现有商用无人机自驾仪大多没有进行硬件加固,直接用来执行重大任务时有一定风险。通过分析可知自驾仪组成模块中对安全性和可靠性影响最大的模块为控制解算器。根据逐步提高的容错需求,使用复位器、计数器、反相器、选择器等简单器件以及在芯片内部添加简单代码,分别设计了单机复位加固方案、双机热备加固方案、硬件切换和软件切换双机互备加固方案。重点研究了加固方案的可靠性随时间的变化关系,并进行了对比分析。对加固方案的工作机制进行了模拟,分析了这些方案在处理故障时的系统异常输出时间等容错特性。计算表明,这些加固方案可以显著提高系统的可靠性,其中双机互备加固方案的可靠性最高。该研究对于指导高可靠性自驾仪设计时在容错效果与复杂度、成本等方面进行折中具有较大的参考意义。     

适用于海底观测网络的恒流远供系统可靠性分析方法

以水下单元的短路/开路故障模式为基础,提出一种分析缆系海底观测网络恒流远供系统可靠性的方法。根据系统供电和结构特性,将系统分成不同的供电链路和链路段。详细研究处于不同位置的各种水下单元发生故障时,对链路和观测设备的供电状态的影响。归纳导致系统和各链路无法正常导通、观测设备无法得到供电的状态情况,分析不同故障状态发生的概率,进而得出求解系统、供电链路与供电设备的供电可靠度的方法。通过算例分析,进一步梳理了3种供电可靠性的共性规律,说明在设计和建设恒流远供系统时,应综合考量这3种供电可靠性。     

基于GQM的装备软件可靠性参数选取方法

针对装备软件无可靠性定量要求以及开发过程缺少监管的问题,提出基于GQM(Goal-Question-Metric)的装备软件可靠性参数选取方法。首先构建了软件可靠性通用参数集和装备软件可靠性特有参数集,然后按照GQM方法的框架,从不同角度出发,制定装备软件可靠性度量目标,列出为实现目标需要回答的一系列问题,进而以回答问题的方式,确定不同情况下适用的软件可靠性参数,最终建立装备软件可靠性参数体系。     

舰载武器系统可靠性模型及其探索性研究

从系统可靠性、任务可靠性、通道可靠性3个方面,通过模型分析、影响分析和参数讨论对武器系统可靠性进行探索性研究,并给出研究结论,阐述了三者的关系和对武器系统效能发挥的影响,为提高武器系统效能决策研究提供了理论依据。     

装备寿命预测的平行仿真模型在线演化方法

在面向装备剩余寿命预测的平行仿真技术研究基础上,统一了不同退化状态下的状态方程,提出了预测模型形态库的构建方法和预测模型形态选择算法,设计了“模型形态库构建—模型选择—数据同化—模型演化”的模型在线演化工作流程,运用扩展卡尔曼滤波和极大似然估计算法,实现了面向装备剩余寿命预测的平行仿真模型在线动态演化。通过仿真实验验证了模型形态选择算法和模型在线演化工作流程的有效性,取得了较好的仿真效果。