基于Matlab语言的系统可靠性仿真

Matlab是一种高性能数值计算语言 ,本文用Matlab语言编制系统可靠性仿真程序 ,并给出了具体实例。此方法比其他方法简单有效 ,可适用于复杂系统。     

基于Modelica的载人航天器环热控系统建模仿真

为了给载人航天器乘员营造一个良好的生活工作环境,需要将众多空气环境参数控制在指标范围内。文章结合载人航天器专业知识,基于Modelica统一建模语言建立了一种载人航天器环热控系统仿真分析模型;利用该模型仿真分析了温湿度控制风机取不同转速时,载人航天器空气环境参数随乘员代谢水平的变化趋势。结果表明:在其他参数不变的情况下,温湿度控制风机转速越大,空气温度越低,相对湿度越高;乘员代谢水平变化对空气环境参数有显著影响,通过调节系统运行参数可将各空气参数有效控制在指标范围内。舱体温度与氧分压、二氧化碳分压、舱体相对湿度有密切关系且相互影响,不可单独分析。     

航电系统安全性分析工具设计与研究

随着航电系统综合化程度的不断提高,传统的安全性分析方法过于依赖工程经验,难以保证失效模式的完备性。同时在系统迭代设计的过程中,由于系统的复杂性,会导致安全性分析工作量过大,增加了时间及经济成本。针对上述问题,设计了一种自动化安全性分析工具,基于Sys ML描述语言建立安全性数据模型,采用路径追溯的方法完成故障树自动建模,并对生成的故障树进行共模分析和区域安全性分析。以某系统为例的实验结果表明,该工具能够实现故障树自动建模与分析,提高了安全性分析的效率和完备性。     

无线电陆空通话英语交际能力模型研究

民航无线电陆空通话语言是以英语为载体的一种空地交流的特殊语言。本文在应用语言学的研究成果之上,提出了该语言的交际能力模型,该模型包括语言能力、策略能力、背景知识和心理生理机制四个部分。笔者结合民航陆空通话实际,对模型各个部分进行了分析,重点解析了策略能力在模型中的核心功能。     

空间天气模式集成可视化演示软件设计

空间天气模式集成是空间天气预报业务化的基础, 空间天气模式集成可视化演示软件系统是其中重要的研究内容之一. 空间天气模式种类繁多, 要素多样, 模型复杂, 且各模式可视化形式及方法具有差异性. 本文综合当前中国空间天气模式的特点, 构建了一套空间天气模式集成可视化演示系统. 该系统兼容性好、可扩展性高, 能够集成当前中国空间天气中大多数模式. 讨论了空间数据管理方法, 基于Visual C++ 软件平台和OpenGL可视化软件模块,以动态加载方式初步实现了多个空间天气模式的可视化集成.      

AADL2ECPN模型转换方法及其在IMA上的应用

在综合模块化航空电子（IMA）系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言（AADL）模型到扩展着色Petri 网（ECPN）模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。      

CROMEMCO LISP符号微分程序系统

本文说明了符号微分程序系统的一些特征、功能、设计思想和程序设计技术。 该系统是使用人工智能专用语言LISP写成的,并且已经在CROMEMCO系统Ⅲ微型计算机上正确地运行。文中还给出了在该机器上求出的一些复杂函数的符号微分实例。     

直升机阵风响应缓和控制律设计

本文提出直升机抑制阵风扰动的最优控制律设计方法。优化性能指标要求在阵风扰动下驾驶员处法向过载、飞机姿态变化、以及控制信号能量损耗最小。最终所综合的系统工程实现简便,只需在直升机姿态控制系统基础上增加垂直升降速率反馈通道即可。为跟踪90年代采用高级语言开发飞控应用软件的总趋势,本文使用C语言对优化控制律进行编程。数模混合仿真表明,控制律优化及数字化实现的效果是令人满意的。     

航天器测试语言及其运行平台研究

针对测试序列自动执行程度低影响航天器测试效率的问题,提出了一种可控制流程的 高级语言形式的新型航天器测试语言（STL）,并对其语言执行机构进行研究,设计并实现 了基于插件技术的以解释器为核心的集成开发环境——航天器测试语言运行平台。实践表 明航天器测试语言具有较强的通用性与实用性,该语言运行平台能够有效降低航天器地面测 试强度,节约测试成本,提高测试效率。