航空机电系统测试性建模与分析新方法

针对航空机电系统测试性设计(DFT)需求,提出基于面向对象的贝叶斯网络(OOBN)与状态-测试关联灵敏度指标的系统测试性建模与分析的新方法。该建模方法能清晰地刻画系统故障与测试间的关联程度,反映复杂系统的层次结构关系。基于信息论的交叉熵原理提出状态-测试关联灵敏度指标,并给出计算方法。该指标反映复杂机电系统测试中的不确定性影响,克服了基于香农熵的测点评判分析方法的缺点,结合测试性建模获得的模型信息进行推理计算,可用于测试性的定量分析。运用该综合分析方法对飞机燃油系统进行测试性建模与分析,结果表明所提出的方法与指标在航空机电系统DFT中具有实用性。     

面向对象开发方法的单元测试研究

简要介绍了面向对象开发方法的单元测试面临的特殊性问题并进行分析,探讨了面向对象单元测试采取的策略和测试用例的设计方法,最后对面向对象单元测试的充分性问题进行了讨论.     

分布实时计算远程操作引用机制研究

传统的面向对象程序设计(OOP)机制由于缺少对面向对象分布实时计算(DRTC)特殊性的计算语义支持,不能很好地支持DRTC应用。解决上述问题的一个有效途径是扩展传统的OOP机制、为DRTC特殊性提供计算语义支持。提出了一个面向对象分布实时计算模型;研究设计了支持该模型的几种实时远程操作引用机制:同步远程操作引用、异步远程操作引用和多复本实时操作引用;并在一个实验分布实时计算系统EDRTCS中进行了实现。     

多介质数据库管理系统NAIMDB——模型与方法

采用面向对象的方法构造数据模型,把命名的线性表定义为简单对象。用表可以嵌套的性质构造复杂的多介质对象。对象分为3个层次,即原子对象,简单对象和复杂对象。简单对象在数据库中有实际的物理存贮;复杂对象在数据库中只存贮它的结构描述,即相应嵌套表的结构描述。     

通用故障诊断专家系统开发工具

介绍一个基于可靠性分析方法的非实时故障诊断专家系统(FDES)的通用开发工具(FDEST),可用于建立各类武器装备和民用产品的故障诊断专家系统,具有很强的推理能力和良好的开放性.文中论述FDEST的逻辑结构、系统功能;基于可靠性分析方法——故障树分析(FTA)的故障诊断推理方法:正、反向动态推理逻辑,支持Bayes(概率)、Mycin(置信度)和Fuzzy(模糊)三种不精确推理算法和四种不同的故障逻辑关系;面向对象与规则相结合、具有很强表达能力的综合知识表达方式,支持多媒体的动态诊断推理解释机制和故障处理方法(文本、图像、语音和视频);应用面向对象技术的软件设计与实现:对象的划分(FDEST对象、知识对象和FDES对象)、对象通讯关系及系统接口等系统的关键技术.      

对象Petri网模型的并发软件仿真技术的研究

并发软件的性能评价是提高软件开发质量的重要手段之一.本文重点讨论了将面向对象与Petri网相结合的思想用于并发软件开发中的系统建模,以及基于对象Petri网(OPN)的并发软件系统的仿真技术,同时,也探讨了实现一个基于OPN的动态仿真工具所面临的关键技术和解决方法.实践结果表明,文中讨论的实现机制与处理方法是有效和可行的.      

一种基于面向对象Petri网的并发程序建模方法

介绍了一种基于面向对象Petri网的并发系统建模方法. 该方法把面向对象技术与Petri网理论相结合, 构成一种面向对象Petri网,可以解决用Petri网建立并发程序模型所遇到的状态爆炸问题,又使得建模系统具有可重用性且易于维护, 是一种具有数学和图形方式相结合的形式化描述.     

Ada层次化并发软件模型的研究

基于对象Petri网,提出了层次化并发软件模型,这种模型在结构上参考了统一建模语言UML的描述机制,并用一种扩展Petri网ECPN分层描述对象的内部状态,以及对象间的相互作用,易于仿真与程序生成.模型的实际应用将有利于保证并发软件,特别是Ada95并发软件的质量,提高开发效率.     

利用Delphi设计开发卫星测控设备远程实时监控子系统

介绍了卫星某频段控制设备远程实时监控系统的总体设计思想,以及利用Ｄｅｌｐｈｉ３ ．０ 开发的具体实现方法,其中涉及了许多Ｄｅｌｐｈｉ 的最新技术。     

南航大图书馆WEB浏览收费系统实现方案

简要介绍了一种 Ｉｎｔｅｒｎｅｔ 浏览收费系统的产生背景、系统方案和技术特点。并讨论了它在图书馆电子信息服务中的作用。