软件的测试性分析与设计

软件测试是提高软件可靠性的重要手段,但软件测试的代价是巨大的.软件的测试性分析与设计是分析软件测试的复杂性、提高软件测试性的基本方法.提出了软件测试性的基本概念、分析与计算方法,以及软件测试性设计的基本思路.这对于高可靠性软件--特别是武器装备软件的设计具有指导意义.     

提高装备战备完好性的新举措一综合诊断

介绍了国外正在发展的一种提高武器系统战备完好性的新设计与管理思想和采取的措施一综合诊断,对其涵义、特点、实施途径和诊断方案作了简要说明,对综合诊断的权衡方法进行了深入的研究,并开发出了综合诊断权衡辅助程序,指出了在我军开展综合诊断工作的必要性并提供了几点建议.     

ADTA——数据流覆盖测试工具

介绍了基于汇编语言的数据流自动测试工具ADTA(Automatic Dataflow TestFor Assembly     

构筑“现代舰艇医院”

10年前,舰艇装备的“疑难病症”要靠官兵们用手摸、耳听、鼻闻、眼看诊断。今天,则用现代化的测试手段,靠一组组数据监测出准确故障位置,舰艇故障误诊率向零逼近。     

采用VXI总线研制电路板故障诊断系统

利用VXI总线技术研制了电路板故障诊断系统 ,并就其硬件和软件的组成进行了较详细的探讨 ,建立软件核心部分的测试诊断数据库时采用了一种全新的方法———离散事件系统法     

与生活相结合的城市设计--重庆城市空间设计中的问题探讨

以重庆为例深刻剖析当前城市建设中市区高层化、住区封闭化、街道空间程式化所带来的一系列弊端,并在此基础上提出重庆城市中心区设计应遵循"簇群式"生长的空间模式,以延续城市的肌理和文脉;社区空间设计应注重"可居性",弱化城市空间公共性与私密性的矛盾;倡导以人的活动为设计依据的"网络形"街道空间模式,最终认为将城市设计与城市生活相结合是城市焕发活力的有效途径.     

干扰机与无意干扰定位系统设计及初始测试结果

常规干扰机定位设备中有一种是安装在飞机吊舱中的专用电子情报系统（ＥＬＩＮＴ）。这种系统对少数大功率干扰机是有效的,但当威胁是大量低功率、低成本干扰机时无效。低功率ＧＰＳ卫星信号使它特别容易受有意或无意干扰的影响。ＮＡＶＳＹＳ公司利用网络中心方法已经解决了很难干扰机检测及定位问题。在这种方法中数据是通过作为接收干扰机信号的传感器的专用ＧＰＳ接收机设备和常规ＧＰＳ用户设备收集的。这些传感器的数据通过数     

基于反正切函数的测试性分配方法

针对现有主流测试性分配方法存在的分配指标过低和过高等不合理问题,分析认为其根源在于现有方法采用线性分配函数,而该函数不符合测试性指标提升规律,为此,构造了一种基于反正切函数的测试性分配函数,设计故障检测率与故障隔离率指标的分配算法,开展案例应用并与经典故障率分配法和综合加权分配法进行对比分析,结果表明随着分配权重(故障率)的变大,本方法分配指标的增幅逐渐减小,不会出现极低指标和超1指标的不合理情形。     

智能化航天发射系统及其关键技术研究

航天发射技术难度大、系统庞大复杂、可靠性高,是高风险的系统工程。在阐述航天发射及其特点的基础上,剖析了航天智能化测试、发射控制与决策系统,研究了航天发射智能测试与控制的关键技术。研究表明,未来的航天测试发射与控制系统将是高度自主的测试与控制系统,其主要特征是信息化和智能化。     

基于模型的系统级故障诊断与预测推理技术

针对装备状态监控和故障预测推理的需求,提出不同的诊断推理模型。首先,提出了基于二值相关性模型的快速推理算法,采用Vx Works平台对方法进行了验证评估。然后,针对应用过程中存在的时延、故障耦合等现象,提出了动态诊断模型。在此基础上,提出了考虑故障预测的诊断和预测一体化诊断推理模型,对推理运算方法进行了阐述,开发了仿真验证软件。以某卫星电源系统为例进行了验证,结果显示模型具有故障诊断和预测能力,能实现故障诊断和预测的一体化推理。