产品快速配置系统关键技术研究

为了掌握产品快速配置系统的关键技术,提出了基于本体的产品族实例配置方法.该方法定义了客户需求本体模型、产品族实例本体模型及映射框架,描述了二者间的映射流程及相关映射算法.最终以减速机产品为实例,进一步说明基于本体的产品配置流程.     

CCSDS空间包在MOIMS领域中的应用

为了适应未来航天任务的发展,构建以服务为导向的、开放的、可重用的航天器任务操作系统,分析了CCSDS(Consultative Committee for Space Data Systems,空间数据系统咨询委员会)中MOIMS (Mission Operations and Information Management System,任务操作及信息管理系统)领域的任务操作服务框架的原理、层次结构及优点,对任务操作相关的通用服务、功能服务、COM(Common Object Model,通用对象模型)及MAL(Message Abstraction Layer,消息抽象层)对服务的抽象化描述方法进行了研究.MAL向任务操作相关的服务提供了通用的服务模型框架,所有服务均可用MAL消息格式进行规范化的描述,在此基础上建立了MAL消息格式与CCSDS空间包的映射关系,从而以CCSDS空间包为信息栽体实现了航天器与地面系统间的任务操作通信,可以作为以服务为导向的任务操作系统实际工程应用的参考.     

基于遗传算法的军事物流运输计划

针对军事物流运输中车辆装载和车辆路径的组合问题进行研究,建立车辆装载和车辆路径组合问题的目标优化模型。通过改进遗传算法对模型求解,得到了较为满意的结果,可以在满足多车型多品种货物配送约束的条件下,实现运输车辆最少、车辆满载率高、车辆运输路径最短的目标。     

基于改进差分进化算法的舰面保障作业优化

舰载机舰面保障作业调度效能是制约航母编队综合作战能力的重要因素。首先,分析了舰面保障作业流程约束和资源约束,以最小化舰面保障作业完工时间为目标函数,建立了舰面保障作业调度优化模型。其次,设计改进差分进化算法用于模型求解,算法采用基于作业开始时间改进的随机键编码方式和并行变异算子结构,以提高算法搜索效率。最后,进行了仿真试验,验证了模型和算法的有效性,并进一步研究了并行变异算子结构对算法 性能的影响。     

导弹技术准备网络作业流程优化

通过对多枚导弹技术准备网络作业流程进行分析,建立可靠的数学模型。基于该模型将提高技术准备能力的问题转化为一种寻求最优解运筹学问题,并以两枚导弹网络作业流程的优化分析为实例,阐述了求解该优化分析方法的基本过程。     

基于ATML标准的ATS软件建模技术

论述了国外ATML标准体系结构和构成ATML标准所有子模型的描述方法,提出了在现有ATS软件平台基础上,实现兼容ATML标准所需的建模流程设计、模型识别及模型运行流程设计等技术途径,为实现ATS软件平台的通用性、开放性及武器装备各种维护级别的测试资源的共享奠定了技术基础。     

基于模型的航空发动机系统安全性研究

在分析概括传统系统安全性分析的基础上,提出了一种基于模型的航空发动机系统安全性评估流程和分析方法,其从航空发动机系统自身特点出发,统一安全性分析和发动机性能设计模型,实现安全性设计和性能设计之间的平衡交互,以保证安全性分析结果的一致性、完整性和客观性.经概括,该流程方法所需突破 的3个关键技术有:①失效模式的描述方法;②关键影响因素的分级和定位方法;③安全性分析验证方法.      

基于MFBD的多级多层系统修复性维修过程建模与仿真

由于装备复杂程度的提高以及维修过程的不确定性,对复杂可修系统修复性维修(CM)过程的分析一般基于概念模型进行仿真.通过建立随机的维修功能框图(MFBD),考虑装备测试性设计对维修过程的影响,建立了支持多级多层(MIME)维修活动的仿真模型,同时该模型也支持维修活动间复杂层次及逻辑关系的描述.给出了考虑资源等待时间的复杂可修系统的平均修复时间仿真计算方法,建立了复杂可修系统的修复性维修过程仿真应用案例.通过对测试性设计参数等不同影响因素的调整进行敏感性分析,验证了模型的正确性和适用性.     

多中心无人机集群维修保障任务分配优化研究

针对多中心无人机集群维修保障任务分配问题,分析无人机集群维修保障任务的约束条件,以最小化无人机等待时间、保障人员的等待时间为目标函数,并考虑保障人员的工作公平性建立无人机集群维修保障任务分配模型,通过人工蜂群算法进行优化求解。算例表明：模型与以飞行距离最短为目标的先到先服务模型相比,无人机准备时长减少了0.8%,保障人员等待时长减少了21.0%,保障总时长减少了4.3%,提高了无人机维修保障的敏捷性,实现了人员工作的均衡分布,验证了模型和算法的可行性。     

基于任务单元模型的研发流程验证

为了解决研发流程设计与需求的不一致性问题,提出了一种基于任务单元模型和线性时序逻辑的研发流程验证方法.方法应用任务单元模型分解研发流程,采用Promela语言描述模型,线性时序逻辑表示抽象的研发过程规则,通过模型检测器Spin完成验证工作,从而实现了对流程正确性的判断.     

Modeling and control for cooperative transport of a slung fluid container using quadrotors

In this paper, dynamic modeling and control problem for transfer of a sloshing liquid container suspended through rigid massless links from a team of quadrotors are investigated. By the proposed solution, pose of the slung container and fluid sloshing modes are stabilized appropriately. Dynamics of the container-liquid-quadrotors system is modeled by Euler-Lagrange method. Fluid slosh dynamics is included using multi-mass-spring model. According to derived model, a proper control law is designed for a system with three or more quadrotors. Implementing the proposed control law, quadrotors can control pose of the container, directions of the links and liquid sloshing modes simultaneously. Stability of closed loop system of tracking errors and sloshing modes are demonstrated using a theory of singularly perturbed systems and Lyapunov stability theorem. Also, the capability of the proposed feedback control laws in solving a formerly organized transport problem of a liquid filled container has been demonstrated in simulations. Moreover, priority of the proposed control scheme to an existing slung load controller in the literature is demonstrated.     

大型运输机全寿命成本模型分析

大型运输机的发展,对于国民经济及国防事业发展具有重要的意义。由于研制大型运输机发展人力、财力投入大,使用周期长,因而,早期研制阶段进行全寿命成本模型分析对于研制方案的优选、提高竞争水平具有重要影响。本文从大型运输机概念设计中对经济性分析的需求出发,结合我国国情,探讨了大型运输机全寿命成本模型的建立方法。     

中国航空运输生产函数和成本函数的实证研究

从本质上讲,生产函数反映了生产过程中投入要素的数量与产出量之间的技术关系。定义决定中国航空运输产出量的关键要素为航空运输飞机占用资本、飞行员的飞行驾驶劳动和航空油料消耗,利用C—D生产函数,以中国航空运输总周转量表示产出,以运输飞机数量、正驾驶飞行员人数和航空油料消耗量表示投入,利用1990--2005年中国航空运输生产的相关数据资料,进行模型估计。同时,以生产函数为基础构建航空运输的成本函数,并通过生产函数和成本函数分析中国航空运输生产包括规模经济性在内的一些重要特征。     

军用航空燃气涡轮发动机包装运输设计研究

为了有效防止损伤和环境腐蚀,需要对军用航空燃气涡轮发动机进行良好地包装运输设计。重点分析研究美国发动机的包装运输设计,包括规范与标准、运输装置与运输方式、运输车运输、运输罐运输、托架运输等。简要介绍中国的发动机包装运输设计,比较美国与中国的发动机包装运输设计。提出借鉴美国设计完善和改进中国战斗机发动机包装运输设计的建议。     

基于拉格朗日拟序结构的局部激励流动分离控制有效性分析方法

从流体输运角度提出了用于局部周期激励流动分离控制有效性研究的数值分析方法。基于有限时间不变流形理论建立用于非定常流动的流体输运分析方法,并采用数值方法从非定常流场中提取得到吸引拉格朗日拟序结构（LCSs）和排斥LCSs描述流体输运行为。通过对局部周期激励的流动分离控制规律的研究,结果表明存在三种与激励频率相关的影响翼型气动特性的流体输运模式,其中在锁频激励下吸引LCSs在前缘形成的尖楔结构有效增强主流与分离区流体的物质交换,减小翼面流动分离区的面积,显著提高翼型升力。     

复合材料发射箱箱体加工技术研究

针对某型号武器复合材料发射箱箱体机加工过程中由于工件刚度差、易变形,导致的加工尺寸超差及质量缺陷(如毛刺、分层、崩边)等问题,开展发射箱机械加工技术研究和工艺优化。实验结果表明:通过合理设计发射箱装夹定位方式,优化加工刀具及工艺参数,能够实现对加工缺陷的有效控制,保证产品加工质量;通过对箱体不同工序、工步进行优化,统筹安排管理,将发射箱单件加工时间从100 h降到46 h,生产效率提高54%,大幅降低了生产成本。     

内蒙古阿拉善盟民航客运需求分析与预测

阿拉善盟地形地貌复杂,陆路交通不便,计划建设民用机场,以拉动地区经济发展,因此,需要对阿盟航空运输需求进行预测。由于缺乏历史数据,提出横向对比建模分析方法,对阿盟未来的航空运输需求进行预测,模型可靠性已经过现有运营机场的数据验证,研究成果可为阿盟建设民用机场、开通航线的相关决策提供参考。     

片间综合化互连时间触发通信调度方法

未来先进的分布式综合化航空电子系统需要实现跨越计算体系结构的信息综合,对微小型智能器件间的综合化互连提出要求。通过构建一种具有开放式接口的芯片间综合化互连结构,提出一种相应的时间触发（TT）通信调度方法。首先建立片间综合化互连模型和时间触发流量传输模型,给出负载均衡的选径方法;随后依据传输路径中各级节点各流量的发送时间偏移量计算流量传输的等待时间可行值,利用遗传算法优化调整各芯片发送端口的调度表相位,更新各流量在发送端口的时间偏移量,缩短最坏情况下的最大等待时间,得到具有全局优化意义的时间触发调度表。与使用Yices等SMT形式化求解器的TT调度表生成方法相比,本方法不会出现长时间不停机而无法判定的问题,且不论对于对称或非对称结构,案例研究表明本方法的可调度规模至少增加30%。此外,以流量传输等待时间占周期的比例作为归一化的传输延迟度量,与既有的基于特征任务的调度方法相比,案例研究表明本方法得到的传输延迟最多仅为后者的2%。     

Differential GPS in a real time land vehicle environment-satellitebased Van Carrier Location System

The handling of containers in terminals requires, in particular in the application of “chaotic storekeeping”, optimal logistic organization-supported by technical and innovative methods. In this manner, it is possible to guarantee that the existing resources are used at maximal cost and time efficiency. The satellite supported DGPS location system represents a substantial contribution to this problem, which determines the container location during the pick-up and set-down phases in the decimeter range and transmits this information via data telemetry link to the central control office. This allows the realization of a fully automatic administration of the container storage facility, as well as integration into the company's data radio link and terminal control     

国产民用运输类飞机障碍物限重计算模型优化研究

航空公司使用多年的某国产民用飞机性能软件,在障碍物限重计算准确性方面虽能获得较满意的结果,但计算时间较长。分析该软件所用计算模型计算效率较低的原因,通过对比采用最小改平高和采用最大改平高两种模型的计算结果和计算效率,建立优化模型,计算不同障碍物、不同风速条件下,优化模型与原模型的障碍物限重、改平高度和计算时间,并进行比较分析。结果表明：两种模型的障碍物限重和改平高度计算结果基本相同;无障碍物时,不论有风无风,采用最小改平高的优化模型相对采用最大改平高的原模型均可减少计算时间25%;有障碍物时,无风情况下,采用最小改平高的优化模型可减少计算时间78% 以上,有风时,则可减少计算时间75% 以上。采用最小改平高的模型可以兼顾准确性和高效性。