容错软件：提高软件可靠性的有效途径

一.引言对于某些安全关键系统(飞机的飞行控制系统)、维修人员不可达系统(人造卫星和宇宙飞船上的某些控制系统)和失效后会造成重大经济损失的系统,对可靠性都提出了很高的要求。对于军用飞机的飞行控制系统而言通常在每次飞行时间为一小时条件下其效率就达到10**(-7)/小时(相当于机械操纵系统水平)。而对于民用飞机的飞行控制系统而言,则要求每次飞行时阀为10小时条件下,其失效率应达到10**(-10)/小时。这样的高可靠性要求,从硬件设计的角度看,目前的工艺水平和元器件水平     

基于16位微计算机的PWM波形生成系统的设计与实现

介绍一种用１６位单片微型计算机ＭＣＳ－９６生成三相ＰＷＭ波形的系统。借助１６位微计算机的优越性能及较高的运算速度和处理精度，从而有可能运用Ｐａｒｋ矢量原理控制逆变器电压矢量的导通规律，使气隙磁通轨迹跟踪十分接近圆形的２４边形。由此设计并生成的三相ＰＷＭ波形接近三相正弦ＰＷＭ水平，大大提高了异步电机调速的精确度和稳定性。该系统同时又是一个灵活的控制系统，可提供各种要求的控制功能。     

MC145146锁相频率合成器及移动通信输频软件的研究

本文介绍了大规模集成销相环ＭＣ１４５１４６的基本工作原理；分析了该锁相环在移动通信中的应用并用Ｃ语言编写出移动通信输频软件。     

基于Matlab的西锐SR20飞机飞行品质监控研究

民航各大航空公司大型运输机都已采用飞行品质监控。通用航空飞机在采用飞行品质监控方面仍然是空白。西锐SR20飞机是一种装载了新型航电设备的小型通用航空飞机。通过运用Matlab软件对该飞机的飞行数据进行仿真分析,初步实现对该飞机的飞行品质监控。     

一种验证特征模型和软件架构可追溯性的方法

基于形式概念分析技术,提出了一种验证特征模型和软件架构之间具有可追溯性的方法。该方法分析了特征的组成,定义了特征模型和软件架构的功能表达式,构造了概念格并提出了两个模型之间的映射规则。与一般的模型可追溯性验证方法相比,该方法更适用于复杂度高的模型,最后通过实例研究说明了方法的有效性。     

组合式空调器计算绘图一体化软件系统设计

论述了暖通空调中的组合式空调器计算绘图一体化软件系统分析、总体设计、结构设计、界面设计及开发平台，并给出了组合式空调器主要功能段的设计计算方法。系统基于Windows平台，采用VC^ 开发工具实现组合式空调器计算绘图一体化。开发的系统应用于企业组合式空调器设计制造，取得了较好的社会效益及经济效益。     

软件无线电的关键技术与发展动态

软件无线电是利用软件来实现无线通信系统中的各种功能的一种通信技术，近年来获得了较大的发展。本文分别介绍软件无线电的关键技术、评价标准和发展过程，并对软件无线电的技术前景做了展望。     

智能电感测微仪的研制

智能电感测微仪是一种新型的长度测量仪器。它既可作为一个独立的测量控制系统,又可方便地与各种计算机通讯,作为大型仪器的显示器和控制器。本文将介绍其模拟信号处理电路、智能系统的硬件与软件设计。     

基于面向对象开发毛皮提花软件

主要介绍了基于面向对象的人造毛皮提花软件设计 ,利用基于面向对象的设计思想解决了图象颜色锐减、图象边界处理、图象滤波、工业用料成分分析及计算、对称画图、利用串行口上下位机图像数据传送以及绘图中的若干问题。本文介绍了软件的主要功能及基于面向对编程下的软件流程图。     

平板阵列隔热瓦几何参数的分析与优化

为了研究缝隙参数对高超声速飞行器表面平板阵列隔热瓦变形的影响,在面积为1 m2的平板上布置不同尺寸的隔热瓦,通过自编的Python语言实现平板阵列隔热瓦缝隙的参数化建模,并利用ISIGHT软件集成ABAQUS对平板阵列隔热瓦的近似模型进行仿真分析,得到缝隙参数的最优设计方案。结果显示：缝隙宽度相较于缝隙间距对隔热瓦间的接触应力影响更大,缝隙宽度越小接触应力越大;缝隙宽度要结合蒙皮温度上限考虑选取,缝隙间距选取隔热瓦边长的1/2即可。