一种新的硬/软件系统可靠性分析方法

在一种新的软件可靠性分析方法基础上,参考硬件系统的阶段性任务可靠性的建方法,为在对于不可修的计算机系统进行可靠性分析时考虑硬、软件之间复杂的相关作用提出了一套比较全面的解决办法。从而为更准确地评估计算机系统可靠性提供了可能。文中分析了一个飞行控制系统实例。     

基于系统状态分析的软件可靠性测试方法

航天工程类软件由于其应用环境的特殊性,对软件的可靠性和安全性非常重视.但是在航天型号中应用常规软件可靠性测试方法对工程软件进行可靠性评估却存在许多实际困难,本文介绍了一种基于系统状态分析的软件可靠性测试方法,为在航天型号工程类软件中开展可靠性测试提供了一条可实现途径.     

产品UUT诊断策略设计与分析的工程化原则与实践

分析了系统研制中推广应用“被测对象（Unit Under Test,UUT）测试点与诊断策略设计与分析技术”的必要性和重要性。重点介绍了一种对UUT测试点与诊断策略进行书面设计与分析的简便有效的工程化方法,以及在应用中的实践经验与体会。     

空管自动化系统软件可靠性建模分析及评估

由于计算机和信息处理技术在民航、航空航天领域的广泛应用,越来越复杂的软件系统已经大量存在于这些领域的科技工作和实际应用中。如何客观准确地评价这些软件产品的质量,尤其是软件可靠性,就显得非常重要。为了保证我国空中交通管制工作的安全进行,作为指挥枢纽的空管中心必须提供可靠的服务,不能有任何中断与故障发生,这就要求空管自动化系统必须具有绝对高的可靠性。     

静止轨道卫星通信资源-任务匹配分析与建模研究

针对相对有限的静止轨道卫星通信资源与不断增多的通信任务需求之间的矛盾日益突出的问题,通过分析静止轨道卫星通信的特点和工作过程,研究提出了多卫星、多任务通信环境背景下,静止轨道卫星通信资源-任务匹配的约束规则,建立优化调度的目标函数,构建静止轨道卫星通信资源-任务匹配问题的模型,给出解决该问题的基本思路,并进行了实际仿真.为探索静止轨道卫星通信资源的调度管理方法提供了理论依据和基础支撑.     

地球同步轨道卫星多阶段任务可靠性建模

在分析地球同步轨道卫星首次变轨任务剖面的基础上,以模块化的思路进行卫星多阶段任务系统(phased-mission systems,PMS)建模,采用基于二元决策图(binary decision diagram,BDD)的静态多阶段任务可靠性分析方法和基于马尔可夫模型的动态多阶段任务分析方法来计算地球同步轨道卫星转移轨道段首次变轨的可靠性。经与传统非任务剖面可靠性分析方法的计算结果比对可知,基于任务剖面的可靠性建模分析方法可得到较为真实和精细的结果,有助于卫星的轻量化设计和研制效益提高。     

从标准角度分析装备用户技术资料的编制

简介装备用户技术资料的内容,分析美军技术资料标准在体系完整性、内容全面细致性和语言准确性等方面的特点,以及我国装备技术资料标准的现状与不足,根据用户技术资料在部队实际使用中反映出的问题,从标准支撑的角度提出初步的改进建议。     

从意识形态角度分析《牛虻》两中译本间的差异

论文研究比较艾捷尔.丽莲.伏尼契的长篇小说《牛虻》及其由李俍民和庆学先翻译的两个中译本,从中选取具体案例从内容层面上找出他们之间的不同之处。研究发现:翻译受限于一个特定的社会、历史、文化和政治环境中,在这个特定的环境中,社会主流意识形态影响李译本中对某些内容的删节和庆译本中相同内容的在场。     

利用角度和多普勒变化率的有限阶运动目标可观测性分析

针对利用角度和多普勒变化率观测量进行单站无源定位的可观测问题,通过建立可观测分析的等价准则,分析并给出了三维有限阶运动目标在利用角度和多普勒变化率观测量时目标状态可观测的充要条件。推导过程不需要分析非线性系统可观测矩阵或求解非线性微分方程;对于不同阶数的运动也不需要分别进行分析。最后通过仿真验证了分析的结果。     

从航行情报角度分析几起误落跑道、滑行道事故征候

引言 近期发生的几起飞机误落尚未启用的新建跑道、滑行道、快速脱离道事件就其原因分析是多方面的,包括机场、机组、空管的原因,事件的发生有其偶然性,也有其必然性。作者从航行情报的专业角度分析在这几起事故征候中情报资料所应扮演的角色,希望借此提高业内各部门对情报资料的认识及重视程度,杜绝类似不安全事件的再次发生。     

提高武器系统软件可靠性的技术途径

根据国内外软件生产现状及发展趋势，分析了系统软件不可靠的原因，并根据工程实践，阐明了提高武器系统软件可靠性的技术途径。     

硬／软件综合系统可靠性研究进展

本文对计算机硬／软件综合系统的可靠性模型，以及ＦＭＥＣＡ，ＦＴＡ等故障分析技术的研究进展状况进行了一个概述。结合典型模型详细介绍了模型分类、教学处理方式和建模方法，探讨了在硬／软件综合系统可靠性建模中存在的一些特有的问题。     

软件故障树分析实例研究

软件故障树分析(SFTA)是硬件或系统FTA的扩展,可应用于安全性关键软件的验证和可靠性分析.本文首先阐述了SFTA的原理和应用过程,然后介绍了结合某嵌入式软件进行实际应用的过程以及最小割集的生成,并在此基础上提出了对该软件的改进建议.     

虚拟现实技术在航天控制领域的应用

介绍虚拟现实技术的概念以及它的系统结构、应用领域 ,并结合新一代运载火箭设计工作中虚拟现实技术的应用 ,简单介绍了使用MultiGen -Paradigm公司的Vega软件环境进行建模、图形界面、编程的方法 ,并展望了虚拟现实技术在未来航天控制领域内的广泛应用。     

一种开放式模块化星载综合电子系统的设计与实现

为了提升卫星综合电子系统的标准化、通用化设计能力以及智能化、网络化应用水平,本文提出并设计了一种开放式模块化星载综合电子系统,通过了工程型号的实际应用验证。该综合电子系统以层次化的总线体系结构以及通用化的硬件模块、软件构件为基础构建形成一套标准服务功能包,能够根据不同的任务场景按需选装所需的功能单元,显著提升综合电子系统的货架式集成组装研制能力,同时借助统一的信息通信服务网络和软硬件基础组件,为综合电子系统的模块化升级扩展、设备级的功能重构与重组、系统级的故障容忍和恢复能力奠定了坚实的基础,为实现航天器整体的高质量、高效率、效益研制与运行提供了有力的技术支撑。     

软件可靠性修改的Schneidewind增长模型的特性分析

本文对软件可靠性修改的Ｓｃｈｎｅｉｄｅｗｉｎｄ增长模型进行了详细的数值特性分析，剖析了该模型的参数解结构，从而构造了模型参数估计的高效求解算法，并进行了相应的数值实验。     

基于反熔丝型FPGA的有效载荷可重构技术

针对在轨卫星功能维护、扩展和更新的需求,设计一种星载FPGA可重构方法。通过硬件三模冗余、软件三模比对,提高星载信号处理FPGA配置的可靠性;通过地面向卫星配置FPGA发送擦除、写、读指令,实现星载配置数据存储FLASH芯片的擦除、写、读操作,从而实现星载信号处理FPGA的重构,进而可以实现有效载荷功能的在轨更新或升级,减少硬件重复开发,降低成本。     

通用U型机箱控制器CCU-816B

CCU-816B 是一种通用的 CAMAC U 型机箱控制器。本文介绍了 CCU-816B 的构思设想、硬件组成以及软件 CAMAC 设置举例。     

基于马尔科夫再生过程分析阶段任务系统的可靠性

分析阶段任务系统（PMS）的可靠性是一项重要的工作。为了方便分析大部分已有的分析方法都假设阶段持续时间是确定的或者阶段内过程是齐次马尔科夫过程,这些方法不能够分析实际存在的大量一般的PMS。为此本文研究具有随机分布的阶段持续时间和阶段内过程是马尔科夫再生过程（MRGP）的一般PMS的可靠性分析。由于引入MRGP,一般PMS的阶段内活动可以是指数,确定或者其他一般分布。本文首先给出了一个实际有效的5元组模型框架来刻画该类PMS的动态行为,然后利用已有的MRGP分析方法,说明了阶段内条件瞬时状态占有概率矩阵的计算方法。为了避免为整个PMS构造一个巨大的MRGP,在假设阶段边界允许记忆丢失的条件下,本文给出了一个系统可靠性的有效计算方法,该计算方法是两步的分治方法,首先对每个阶段内的MRGP进行分析,然后利用分析结果通过矩阵乘获得系统的可靠度。通过本文给出的方法可以有效的分析一般PMS的可靠性。