基于AADL的机载设备系统可靠性建模

AADL可以描述机栽设备系统的时序需求、任务状态等关键性能特性,已应用于航空、电子自动化、机器人控制等实时系统。提出基于AADL的机载设备系统可靠性建模方法,为该系统模型结构的设计和验证提供了理论依据。采用EMA子语言对AADL描述的机载设备系统进行可靠性建模,给出可靠性模型中的错误模型、错误传播和状态映射规则等子句属性的用法。最后通过一个基于AADL的机载设备可靠性建模实例,验证了所提建模方法的有效性。     

全台压气机试验器性能曲线实时跟踪系统

本文介绍的全台压气机试验器性能曲线实时跟踪系统，是根据排气节气门的变化，进行动态跟踪处理及显示的监控系统，本系统的软件是用ＱＢ４．５快速ＢＡＳＩＣ和汇编两种语言混合编制的，解决了在西方ＤＯＳ下使用国际ＧＢ－２３１２汉字库显示汉字、实时汉字下拉菜单选择、动画跟踪、鼠标器操作修改设计曲线等技术问题。     

某军用语言编译中的地址分配策略

本文所要讨论的是某军用语言的编译系统的一部分。某军用语言的编译是将源语言转化为 U_CODE,再将 U_CODE 翻译成汇编语言。文中主要研究了某军用语言转化为 U_CODE 过程中原数据对象的 U_ 地址表示方法。给出了地址分配策略,解决了某军用语言的部分编译命令,实现了某军用语言中的覆盖说明、表的紧缩、封装等一些高级语言现象。     

PDF文档化IETM应用实例研究

现有的交互式电子技术手册(IETM)解决方案主要有光栅图、电子文档化和数据库三种,它们既有独特之处,又有各自的局限性。本文采用PDF文档化与XML检索功能相结合的方法,设计了某型飞机的IETM系统,降低了纸质资料的转化难度,还保证了高度的交互性和安全性。     

艺本无缰 万山河的新水墨艺

近些年，画家万山河始终把艺术探索的重心．放在对传统艺术向现代的创造性转换这个基本点上，围绕中国水墨画从古典形态转变为现代形态这个时代命题，他主张从精神内涵和艺术语言这两个层面上双向推进。为此．万山河进行了长期的准备，在近10年中行30万里路，几乎跑遍中国的名山大川．横跨亚、欧、美三洲，一心一意地在探新的路上摸索。     

论嵌入式系统设计方法

根据嵌入式系统设计方法的演化和发展，结合设备研制中嵌入式系统的设计方法现状，给出了嵌入式系统软硬件设计的流行方法，以提升设备研制的效率、可靠性和设计水平。     

掌握语言与社会文化的关系,开通社会交往的桥梁

本通过对萨丕尔－－沃尔夫假设的陈述，旨在分析语言与社会化的关系，从而指出正确处理这两的关系可以帮助我们准确地进行社会交往。     

BZ9真空环境模拟器的全过程自动控制设计

文章着重介绍了BZ9设备的自动控制软件的设计思想、方法,可视化高级语言Visual Basic 6.0的应用技巧和实践过程     

星载SAR图像斑点抑制与质量评估系统

结合星载合成孔径雷达(SAR)单视图像斑点噪声抑制技术与质量评估,并基于为科学数据可视化及数学分析提供完备计算环境的IDL(Interactive Data Language)语言,完成了在IDL环境下开发的SAR图像斑点抑制与质量评估系统,获得了高空间分辨率和高辐射分辨率的星载SAR图像.      

基于Web Services的企业应用集成研究

分析了企业应用集成的需求以及Web Services的特点和技术层次,给出了一个基于Web Services技术的企业应用集成框架,并应用到航空制造车间,效果显著。