顺序图的形式化方法描述

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

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

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

关于波音787飞机蜂窝无线传输的应用分析

海南航空引进的波音787-9机型均选装了蜂窝无线传输模块,但在对该模块进行客户化激活过程中,多次尝试未果,故本文从系统原理入手进行了细致梳理,最终通过对CSM自动发起证书请求这一非常规现象的关注使故障消除。     

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

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

E-6B“水星”通信中继飞机的第一阶段改进

美海军于 2 0 0 4年年中与RockwellCollins公司的政府系统部签订了价值 0 .795亿美元的合同 ,对E 6B“水星”(Mercury)飞机BlockⅠ改进项目进行研制和演示。此项改进将提高E 6B通信系统和机载指挥所的可靠性和可维护性 ,有利于加强该机载指挥所在紧急情况下 ,更安全地承接美战略司令部的核指控任务。改进还将用一体化的开放式系统结构代替现有的封闭式系统结构。具体工具包括对改进部分的设计、研制、安装以及在系统综合实验室和一架生产型飞机样机内对其进行测试。BlockⅠ改进项目涉及安装改进型任务航空电子设备处理机系统 ;数字机载…     

旋转曲面和球面的NURBS表示

本文研究了旋转曲面和球面的ＮＵＲＢＳ表示问题，给出了用ＮＵＲＢＳ曲面表示旋转曲面时，计算其控制顶点和权因子的一般公式。利用球极投影导出了球面片的非退化ＮＵＲＢＳ表示。     

中凸变椭圆活塞靠模的数控磨削技术

介绍了中凸变椭圆活塞靠模的数控磨削技术，详述了数控编程中的数学处理方法。经多年的生产实践证明，这是一种十分有效的加工技术，它对具有轴线的同类高硬度靠模或凸轮加工都是适用的。     

高Ra数自然对流问题的张力样条数值模拟

本文将基于压力泊松方程技术的原参数Ｎ－Ｓ方程的张力样条数值解法推广应用于自然对流问题的数值模拟，提出了自然对流问题一个新的数值模拟方法，对一方内高Ｒａ数自然对流问题的数值模拟表明，结果是令人满意的。