中美价值观念差异及其对语言文化的影响

本文从中美价值观念的差异出发,探讨差异产生的历史渊源,并举例说明价值观念对各自语言文化产生的影响,以有益于中西方文化的交流。     

基于Abaqus和modeFRONTIER的复合材料结构优化设计方法

复合材料结构优化设计包括几何尺寸、铺层层数和铺层顺序的优化设计,通常采用多级优化技术,将几何尺寸、铺层层数和铺层顺序逐级进行优化。本文使用一个十进制数字表示一个复合材料层合板的铺层顺序,作为铺层顺序的设计变量。将有限元软件Abaqus与优化软件modeFRONTIER集成,采用Python语言编写的铺层顺序的算法,对复合材料结构的几何尺寸、铺层层数和铺层顺序进行同步优化。     

模型驱动的软件构件研制保证水平验证方法

在机载软件架构设计阶段,人们将安全性研制保证水平分配到具体的构件中,确保产品质量。鉴于现代航空软件系统极其复杂,如何从系统角度,检验分配给构件的安全性等级符合系统的一致性目标,是设计阶段需要解决的重要问题。首先,分析了分布式和综合式机载软件系统的架构特点,得出了在安全性分析工作中需要考虑冗余等架构设计的影响的结论。其次,使用系统建模语言(SysML)块图建立带有安全性等级属性的系统静态结构模型,利用矩阵对模型进行精确的形式化转换;制定验证规则,在此基础上给出了验证方法,以验证安全性等级分配的合理性。在验证过程中,将关键信息存储在XML文档中,可为适航性审查提供证据。最后,通过实例分析,验证了该方法的可行性。     

层级优化技术与壁板结构优化研究

为了实现结构优化设计中形状、位置、尺寸等设计变量的解耦,在对现有优化理论及算法分析的基础上,介绍了广义层级优化技术的思路并分析了其优缺点,并基于广义层级优化的思想,提出了基于模型的狭义层级优化技术。对PCL语言参数化自动建模技术进行研究,并结合复杂加筋壁板类结构层级优化算例对狭义层级优化技术进行了验证,优化后减重效果明显。优化过程及结果表明层级优化技术可行,具有工程使用价值。     

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

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

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

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

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

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

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

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

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

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

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

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