马尔可夫链的模块化软件可靠性研究

针对模块化软件系统,考虑到模块自身的可靠性和模块相互转移调用对其系统重要度的影响.利用马尔可夫预测的基本原理,将马尔可夫链引入到模块化软件可靠性模型建立中,通过建立转移概率矩阵,对软件系统的可靠性进行分析并建立可靠性模型.该模型利用从软件开发过程中收集出的可靠性数据,对模块化软件进行可靠性分析,以此来研究软件系统总体的可靠性.     

VLMC控制流软件可靠性度量方法

针对现有软件可靠性模型普遍不适用于实际软件的问题,分析了软件内部模块间控制转移机理,通过分离入口模块,提取一阶控制转移概率矩阵;弱化内部模块与出口模块间差异,重构二阶以上转移概率矩阵,在改进Cheung模型的基础上建立一个更符合软件实际的可靠性度量模型。针对变阶依赖（ VLMC）控制转移导致的可靠性度量难问题,通过对导致复杂依赖的多入多出模块进行节点扩展,将VLMC控制流转化为Markov链,利用所建立的软件可靠性模型对VLMC控制流软件进行可靠性度量。研究利用演绎推理对所建立模型进行了正确性形式化证明。最后给出了方法的实例验证。     

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

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

武器装备软件的可靠性分析综述

首先论述了武器装备软件可靠性的重要性,指出了软件可靠性与硬件可靠性的主要区别,并依据装备软件研制总要求及武器装备软件的特点分析了装备软件可靠性的内涵、特点,介绍了装备软件可靠性指标的确定、软件可靠性模型以及装备软件可靠性的评估,最后分析讨论了几种提高武器装备软件可靠性的方法与途径。     

系统可靠性分配的研究进展

系统可靠性分配是可靠性设计的重要任务之一,其主要作用是为可靠性设计提供辅助决策。给出了可靠性分配流程,研究了可靠性分配模型的发展状况,重点介绍了可靠性分配问题的求解算法,指出了各类算法在分配中的应用及其需进一步解决的问题,同时分析了国内外典型的分配软件,总结了各软件中可靠性分配的主要功能,最后对可靠性分配提出了进一步的研究展望。     

某型多管火箭炮火控系统可靠性Nelson模型

软件保障已经成为影响现代武器装备系统发展和发挥战斗力的"瓶颈",软件可靠性也因此受到研究人员的高度重视.在对众多软件可靠性模型综合对比分析的基础之上,建立以Bayes检验为基础的Nelson软件可靠性模型,以某舰载指挥系统软件可靠性测试实验数据为例进行分析,对于某新型远程多管火箭炮火力控制系统的软件可靠性测试与评估高其软件可靠性有积极的作用.     

系统控制软件可靠性探讨

该文探讨了系统控制软件可靠性问题。讨论了系统分析、系统仿真、建立软件调试环境、系统联调、实用维护、软件定型、软件工程化诸方面对提高控制软件可靠性的重要作用。     

军用软件可靠性分析

先进的武器系统均嵌入有高性能的数字计算机。这样,一个系统的可靠性是综合考虑了该系统的硬件与计算机软件这两者的可靠性。目前软件可靠性尚属一个新的研究课题。本文论述了军用软件可靠性的概念,军用软件的特点与需求,军用软件研制的艰巨性及提高军用软件可靠性的措施。最后指出开展军用软件可靠性研究的迫切性。     

软件可靠性模型技术分析

软件可靠性模型技术对评估和提高软件可靠性具有重要作用。归纳了软件可靠性模型的特点与分类方法,阐述了随机过程类与非随机过程类两大类模型,初步探讨了模型之间的相互关系,分析并提出了软件可靠性模型建立过程与评价标准,为软件可靠性模型技术的进一步研究和应用提供了理论方法与启示。     

软件可靠性评测探讨

在现代军事和商用系统中,以软件为核心的产品得到了极为广泛的应用。随着系统中软件成分的不断增加,使得系统对于软件的依赖性越来越强,因此,对软件质量尤其是可靠性的要求也就越来越高。软件可靠性反映了用户的质量观点,是软件质量特性中重要的固有特性和关键因素。在GJB 2434-95《军用软件测评与评估通用要求》中,软件可靠性的定义是在规定的一段时间和条件下,     

新疆地方教材中公民教育的价值取向分析

公民教育目前已经成为我国理论与实践关注的重要领域。《新疆》作为新疆维吾尔自治区义务教育阶段的地方教材,在了解新疆历史、地理和各民族发展等区情方面发挥了积极的作用。地方教材是否具备公民教育理念和内容,以及在多大程度上体现了公民教育的核心内涵。文章采用内容分析的方法对新疆地方教材进行研究,揭示教材的积极方面和存在问题,为地方教材的进一步完善提供参考,进而促进新疆少数民族地区基础教育的发展。     

有限元法在管道水击计算中的应用探索

管道水击基本方程属于一阶双曲型偏微分方程,虽然目前水击主要采用特征线法进行计算,但有限元法也可以求解双曲型方程,据此尝试采用伽辽金加权余量法对管道水击进行有限元数值计算。根据管道水击的基本微分方程组,选取适当的速度、压力插值函数,建立管道水击的有限元模型,并通过实例分析,和特征线法相比较,证实有限元法在管道水击计算中是有应用前景的,有必要作进一步深入研究。     

An overview of conflict in Africa in 2014

Violent conflict escalated in Africa in 2014, with five sub-Saharan states – the Central African Republic (CAR), Nigeria, Somalia, South Sudan and Sudan – accounting for an estimated 75% of all conflict-related deaths on the continent. This paper provides an overview of the five major sub-Saharan African conflicts in 2014 and considers the underlying causes and dynamics in the Seleka/anti-Balaka conflict in the CAR, the Islamist threats of Boko Haram and al-Shabaab in Nigeria and Somalia, the civil war in South Sudan, and the long-running conflict between Sudan's government and southern and Darfuri rebels. The paper unpacks the general trends evident in these conflicts and the implications for the settlement thereof, including the targeting of civilians, ethnic and religious mobilisation and the state as epicentre of violence. The paper concludes with a brief look ahead to 2015.     

影响新疆人口安全发展的外在性因素分析

人口安全是关系到人口自身发展的关键问题,也是社会安全的重要基础。本文从自然资源的支撑能力、生态环境的承载能力、社会经济的保障能力等方面,深入分析了影响新疆人口安全发展的外在性因素,并提出了人口安全发展的建议,以期为新疆制定未来的人口发展政策提供参考。     

发挥图书馆在军校素质教育中的作用

提高军校学员的综合素质,实施素质教育,其任务不仅是文化的传递和能力的培养,而要在传授知识、发展能力的基础上,着重培养学员的人文精神和科学素养.文章论述了图书馆在加强军校素质教育中的作用、功能以及具体措旌.     

对新疆高校校园网建设的思考与探索

随着新疆高饺的校园网建设逐渐由硬件基础建设阶段转入软件和资源建设阶段,本文就新疆高校校园网建设的现状及出现的一些问题做了探讨和分析,并对如何加强高校校园网建设,充实网络教学资源,强化校园网知识培训,提高师生应用能力等一系列问题提出了建议,以期为新疆高校的信息化建设提供一些借鉴。     

试论信息技术在院校实战化训练中的应用

依托信息技术开展实战化训练,培养能打胜仗的优秀人才,是实现我军院校转型的一项重要任务。文章分析了信息技术在院校实战化训练中的应用思路,提出了信息技术在实战化训练中的应用模式,并从教学条件、教员队伍和运行机制方面提出了对策思考。     

《国防科技》2020年发表文献和建设情况浅析

国防科技是具有基础性、引领性的战略工程,期刊聚焦于这一领域特色鲜明、使命艰巨.本文主要基于CNKI数据库和万方数据库,检索《国防科技》2020年发表的全部论文,对每篇论文的标题、作者、工作机构、基金项目和下载量等文献计量指标进行统计分析;同时,对本年度开展的质量建设相关工作进行回顾性定性阐述,旨在为2021年办刊工作提...     

案例教学在建筑防火课程中的应用

案例教学是以学生为主体,教师为主导的一种创新教学法。在《建筑防火》课程中尝试开展案例教学法,以培养学生的实践能力和创新能力。     

Investment in the reduction of uncertainties in just-in-time purchasing systems

When the uncertainties of supply caused by lead-time variability, natural disasters, or other reasons are not considered as given, but as manageable, a company invests to reduce these uncertainties to save a company's operating cost. This article examines economic trade-offs of investments directed toward the reduction of uncertainties. Two models are presented. The first introduces the ability of a purchaser to reduce the variance of the lead time of its supplier. The second model adds the ability of the purchaser to not only influence the variance of its supplier's lead time, but to influence the proportion of defective units produced by the supplier. This article develops explicit solutions for jointly choosing optimal variances for both lead time and proportion of defective units within a reorder-point model. Two cases are considered; defective rate is independent of lead time, or defective rate depends on lead time. © 1994 John Wiley & Sons, Inc.