试论高级程序设计语言的设计与评价标准

高级程序设计语言的设计与评价标准是长期以来人们一直关心并争论的问题。我们在分析了数十种很有影响的高级语言的基础上,提出了有关程序设计语言设计与评价标准的十个主要指标。本文首先介绍了各个标准指标的选择依据,并对可靠性、可读性、可维护性、效率、可用性、灵活性、可移植性、自然性、一致性与简洁性进行了详细的讨论,最后给出了一些分析实例。     

持久性在面向对象语言中的扩充

持久性是传统程序设计语言所缺乏的,它是程序设计语言中值得重视的一个要素,面向对象语言是当前表达能力和建模能力最强的一种语言,持久性与面向对象语言的结合将能够提供一个计算建模和数据建模、数据处理和数据管理的一体化语言环境。本文介绍了持久性程序设计的发展及其相关的概念,包括持久性与数据类型的正交性;讨论了持久性与面向对象语言结合中的有关问题,如对象标识及对象指针持久性等问题;同时给出了一个在面向对象语言基础上扩充持久性的实现描述,重点在其组织结构、内外存映射及其工作过程。     

航空飞行英语中的EGP+ESP模式分析

EGP和ESP是应用语言学领域英语教学的两大主流。航空飞行英语应属ESP范畴。随着我国民航业的迅速发展,培养兼顾飞行专业英语和通用英语语言运用能力的职业航空复合型人才是满足学习者自身需求和推动我国民航业与世界接轨、学习国外先进经验和技术的迫切需要。本文分析了EGP和ESP在飞行英语教学中的关系和作用,探索如何将EGP与ESP相结合以达到满足学习者职业需求的目的,分析了EGP+ESP实施中的一些问题。     

基于XML的遥测数据管理

结合XML与关系数据库各自在数据管理上的优势,设计了基于XML的遥测数据管理系统。其中,对遥测数据的存储除了直接XML结构化存储外,还提出了“数据分段”的方法存储大数据量参数,在实际系统运行中表现出很高的数据检索效率。由于XML文档在Internet数据发布上具有先天的优势,系统可直接将未解析的XML文档输出到客户端,因此提高了遥测数据的发布能力。     

基于时间自动机的AADL端到端流的延迟分析

对复杂嵌入式系统的端到端信息流进行延迟分析是一种有效的实时性评估方法.体系结构分析与设计语言(AADL)是描述复杂嵌入式系统的标准语言,其中端到端流描述组件间的通讯.目前针对AADL模型中端到端流的延迟分析,手工方法能够深入剖析流语义,分析精确度高,但耗时且低效;自动化方法虽有较高的效率,但在延迟属性的覆盖度及语义精细度上都远远不足,导致分析结果精确度低.另外,这两类方法多只关注于最坏情况等典型场景,而无法分析不确定因素的影响.本文提出一种基于时间自动机的端到端流延迟分析方法,首先总结端到端流延迟的影响属性,并建立延迟属性的元模型,在此基础上提出面向流延迟分析的时间自动机模型生成方法,通过对时间自动机的仿真实现流延迟的分析.最后通过案例说明了该方法能够正确表达流的传输语义及延迟属性语义,即有足够的表达能力;展示了方法能灵活分析多样交互场景以及随机时间因素,即有灵活的分析能力;另外仿真过程的状态变迁及时间变量变化过程也为改进设计模型提供依据与建议.      

基于不完全语言信息的航天研制项目风险决策

针对航天研制项目风险管理的复杂性,提出了一种基于现代多属性语言决策方法的航天研制项目风险评价模型.给出了不完全语言信息下基于不确定扩展有序加权平均算子的决策方法.将项目风险标度进行了拓展,一方面使得风险度量更加准确;另一方面能够很好地与决策模型中的语言信息合理匹配.以航天研制项目风险决策为例说明了该方法的实用性和有效性,为项目风险评价提供了一种新思路.      

基于MBSE的通用质量特性建模分析技术研究

航空装备的可靠性、安全性、测试性分析在工程应用中存在大量重复性工作,如重复开展 FMEA 等;传统 FMEA 存在很多管理和技术问题,且 GJB/Z 1391—2006 中给出的功能及硬件 FMEA 方法自身也存在一定的技术缺陷,导致 FMEA 应用效果差,甚至很多外场真实故障应用传统 FMEA 是无法分析出来的。本文首先从 MBSE 角度着手,充分融合产品研制流程和通用质量特性的设计分析评估过程,以产品功能作为通用质量特性的输入,基于功能故障逻辑建模分析,对飞控系统功进行案例应用。结果表明：基于 MBSE 的通用质量特性建模分析技术可有效避免重复工作,并能解决“两张皮”问题。     

自动飞行控制计算机通用自动测试平台设计

自动飞行控制计算机故障时飞机自带系统级自检测模块只能将故障定位在自动飞控计算机,地勤人 员需要将整个自动飞行控制计算机返回给供应商进行检测维修,这一过程耗时较长会降低飞机的完好出勤率, 为解决该问题设计通用自动测试平台。通过分析自动飞行控制计算机的外部交联关系确定通用自动测试平台 需要进行仿真的接口及功能模块;通用自动测试技术平台的硬件平台基于通用标准仪器总线架构,软件平台基 于标准自动测试标记语言描述,实现硬件仪器资源的自由扩展和各软件模块的相互独立以及不依赖于硬件和 操作系统的可移植性;根据自动飞行控制计算机的接口、功能及组成架构设计检测自动飞行控制计算机各个功 能模块的测试方法和测试流程,使用自动测试标记语言将其编译成计算机可运行的测试程序集。该平台在试 用中测试效果较好,可以实现故障模块的快速定位,缩短维修时间。     

自动测试标记语言及其应用

自动测试标记语言(ATML)作为信息交换媒介可实现包括测试数据、测试资源数据、诊断数据和历史数据等信息共享。由ATML框架和组件标准组成的ATML系列标准为集成测试数据、测试策略和需求、测试步骤、测试结果管理和测试系统实现规定了整体系统环境。文章介绍了如何在某型装备远程测试维修系统中应用ATML来表示测试信息。自动测试标记语言将极大地促进自动测试技术的发展并具有广阔的应用前景。     

一种基于航天器控制语言的遥控作业操作模式设计

为了更好地满足各种条件下航天器的测控需求,提高中国航天器的测控能力和测控网资源的运行效率,本文提出了一种基于航天器控制语言的遥控作业操作模式。通过分析航天器对测控模式的需求,结合航天器控制语言和测控设备的特点,制定了遥控作业操作模式的设计要求和四个基本要素,给出了工程实现的设计方案。实际应用表明,该模式实现了测控网对航天器的闭环测控,满足了对航天器高效、规范、灵活、准确的测控要求。