电路特性仿真软件OrCAD／Pspice的应用

本文通过实例介绍了电路仿真特性软件OrCAD／Pspice在模拟电路、数字电路及数模混合电路几方面的应用。     

基于扩展块的星载软件控制流容错评价方法

空间环境因素引发的星载软件瞬态的控制流错误可能对系统执行效能造成严重影响，为避免容错算法存储开销和执行开销给系统带入过多的计算压力，提出在容错算法开销和所取得的系统的可靠性提升上取得一定折衷，这是星载软件可靠性设计的合理方向。设计了一种适合于弹性添加容错代码的容错方法：扩展块数字签名的控制流检测方法ESCFC（Extend block Signatures for Control Flow Checking）。由空间高能粒子的实验结果和在轨实测结果为系统可靠度建模，提出了算法开销和可靠性效能提升的平衡关系的工程参考和理论依据。定性分析和模拟，充分说明了将该方法运用于航天工程的可行性。     

软件测试的度量方法及其应用

软件测试是找出软件中的错误,它是保证软件质量的关键,软件测试的度量是对影响软件测试的属性所进行的定量测量.本文简述了应用软件测试度量技术时所应具有的基本知识,通过一个实例,介绍并讨论了一种实用的关于软件测试进度安排和软件错误数的度量方法.     

基于目标操作化的多引擎协作体系结构研究

基于目标操作化的域原子操作模型,研究分析了面向应用目标的系统设计与实现的基本问题,通过引入解释引擎,提出了面向目标的形式模型与应用软件设计实现的一体化机制;在系统级应用中间件之上,引入组件服务,提出了一个通过处理操作作业流实现目标的、多个操作服务引擎协作的体系结构,通过构造组件适配器,以满足操作服务引擎对异构组件服务的一致性访问.     

多协议多用户GPS/GSM监控系统网关的设计与实现

在多协议、多用户GPS(Global Position System)/GSM(Global System for Mobile communications)监控系统中,网关的设计对系统的性能、可用性和可扩展性有重要作用.讨论了在网关设计中需要注意的几个关键问题:通过分析不同短消息服务器的接口协议,提出使用协议管理器实现多协议接入;给出了与用户系统的通信指令格式,并分析了地址的转换流程.最后剖析了用多线程方式和消息驱动实现这种系统的优点,并给出了一个具体实现的消息循环流程.实践证明这种设计是可靠高效的.     

管理软件生成器系统CDBAG—4GL

阐述了“管理软件生成器系统CDBAG-4GL”的研制背景、系统组成、逻辑结构、功能及特点;并简要介绍了设计思想、生成原理以及实现技术要点等。“CD-BAG一4GL”已商品化,它可根据用户要求自动生成各类专用的管理信息系统。为应用开发人员和最终用户提供一个一体化的通用的快速开发工具和环境。作为第四代软件开发工具的生成器和第四代语言是提高应用开发效率和质量的有效途径。     

防止Ⅱ型驾驶员诱发振荡技术的研究

许多严重的飞行事故都与由速率限制引起的Ⅱ型PIO有关。针对如何预防PIO，首先介绍了自适应杆增益和软件限制环节的设计原理。然后以某带速率限制的电传飞机为例，运用同一理论，分析采用自适应杆增益和软件限制环节来改善速率限制的不利影响。仿真结果表明，自适应杆增益环节和软件限制环节都能抑制住PIO的发生，但两者组合加入抑制效果更好，飞行品质也能达到满意的程度。     

Cyclotron masers and solar spike bursts

The theory of electron cyclotron maser emission and its application to solar spike bursts are reviewed. By analogy with the Earth's AKR, three sources of free energy are considered: a loss-cone anisotropy, a velocity-space hole, and a trapped distribution. The problem of how the radiation escapes through the second harmonic absorption layer is emphasized. Harmonic emission due to z mode coalescence may operate for some bursts, but the 2–5s delay between hard X-ray bursts and spike bursts suggests that some other mechanisms is required for most spike bursts. A model involving formation of a trapped distribution in low-density regions neighboring the flaring flux tube is considered.     

建立民航维修专家系统的分析

简要介绍了专家系统的原理及构成.分析了“设计民航维修专家系统”的过程,目前加拿大正着手研制的“先进的维修软件系统”的概况.最后提出专家系统需要解决的关键技术问题及发展情况.