定点DSP的开发实践

本文阐述了在定点DSP芯片的开发过程中如何进行数据处理特别是实数处理以及开发过程中要注意的一些问题。     

基于三次B样条的机翼气动隐身优化设计

应用参数化三次B样条对机翼进行了参数化建模,在自动几何生成基础上,应用面元法与物理光学法对机翼气动性能与隐身性能进行分析,利用遗传算法进行气动隐身多学科多目标优化,建立了一套适用于总体设计阶段的机翼气动/隐身设计方法,这种方法简单、快捷、适应性强,可方便地对机翼进行优化设计,同时也可用于其它翼面类部件的气动隐身优化设计.     

顺序图的形式化方法描述

UML是一种可视化的图形语言,已成为面向对象方法中事实上的工业标准,得到了广泛应用.但是UML缺乏精确的语义描述,不便于使用工具对其进行分析和验证.形式化B方法基于严格的数学理论,按照抽象机的方式理解系统.为了使UML表达的语义更加明确,同时发挥形式化方法的优势,采用B方法对UML中的顺序图进行描述.     

基于马尔可夫链的空间站推进1553B通信系统可靠性分析

推进功能的正常实现为空间站长期在轨运行提供重要保障。1553B通信系统作为推进功能的重要组成部分,承担着推进系统与外界进行数据交互的任务,其可靠性设计至关重要。为提高1553B通信系统可靠性,分别对包含数据隔离芯片在内的远程终端及其处理器进行双余度冗余设计。通过建立故障树对1553B通信系统可靠性进行分析,并引入平均无故障时间、可靠度等定量指标,基于马尔可夫链建立可靠性模型进行定量计算。结果表明,1553B通信系统平均无故障时间增加1.947倍,可靠度增长3.89%,故障概率则下降超98%,由此验证了双余度冗余设计能够有效地提升1553B通信系统的可靠性。     

PCS7-400H冗余控制在KM6水平舱中的应用

为满足载人航天人-舱-服出舱活动试验任务的需要,提高系统的可靠性,KM6载人航天器空间环境模拟设备的水平舱测控系统采用SIMATIC PCS7冗余集散控制系统的方式,对所有关键环节包括控制计算机、CPU、电源、网络、I/O模块等都进行了冗余备份。文章较详细地介绍了PCS7-400H冗余功能在测控系统中的实现及测量原理,并在KM6水平舱中的实际运用中,大大地增加了系统运行的可靠性和稳定性。     

适用于机载飞控系统的操作系统选型研究

新型机载飞控软件综合了更多的应用功能,需配备合适的操作系统作为基础.根据新型机载飞控软件开发需求,对操作系统和配套开发工具的要求进行讨论,形成相应的评估表.同时对国内外在飞控上有应用的4个操作系统进行分析评估,选出最适合目标机载飞控软件的操作系统.     

浅谈农作物基因工程

农作物生物技术在世界范围内取得了飞速发展，成功地培育出了一批优质高产的新品种。农作物基因工程的研究及应用对解决人类目前所面临的粮食安全、环境恶化、资源匮乏等问题具有重大作用。本文主要对农作物基因工程的发展现状及发展方向进行了综述。     

RASC雷达模拟机故障检测

叙述了ＲＡＳＣ雷达模拟机的组成结构及对系统故障检测的一般方法。该方法对其它计算机系统及模拟机系统的故障检测有可取之处。     

振动流化床干燥性能的研究

以玉米为研究对象，研究了振动流化床的干燥性能，建立了干燥速度与操作参数之间关系的数学模型，用单因素分析了各操作参数对干燥速度的影响，并提出了获得较高干燥速度的最佳振动强度公式，模型的计算值与实测值能较好吻合。     

飞行器参数辨识方法与应用研究

研究了非线性连续－离散系统极大似然估计方法的实现及其在飞行器气动参数辨识中的应用问题，首先给出了递推计算灵敏度算法的构成，初始摄动的选择和初值的计算，继而导出了不需矩阵求逆运算的递推算式。最后结合飞行器的气动参数估计来说明算法的具体实现。