面向对象的虚拟组织集成建模方法

提出了一种适应虚拟组织业务过程动态变化的虚拟组织集成建模方法(VOIM,Virtual Organization Integrated modeling),该方法集标准化面向对象的建模语言(UML,Unified Modeling Language)、功能建模集成化定义方法(IDEF0,Integration Definition for Function Modeling)和事件驱动过程链(EPC,Event-driven Process Chain)为一体,以弥补单一方法的不足,适合复杂系统特别是虚拟组织的建模,其中:IDEF0对虚拟组织的功能建模,EPC对功能视图进行细化,UML通过实体映射关系把虚拟组织模型的各个视图有机结合起来,有利于实现系统的模块化和模型的重用;同时对建模过程中UML到EPC之间的转换方法进行了研究.最后对模型进行了形式化描述,从而使VOIM具备严格定义的抽象语法和语义,为模型的验证和仿真提供了良好的基础.     

面向领域的仿真设计建模工具SIMDEMO

讨论了面向领域的仿真设计建模工具SIMDEMO的设计和实现.基于透明性、正交性、层次性的视图分解原理,对处于不同阶段、面向不同用户、涉及不同方面的系统模型采用多视图进行分解,建立了以多视图为核心理念的系统协同建模方法,给出了该建模方法下建模所需遵循的过程指导.针对领域模型描述、表示以及操作等多个方面对工具重构的需求,研究得到了基于元对象反射模型的工具架构;架构具有良好适应性,使得工具重构更灵活、简捷.对SIMDEMO的功能结构进行了简介,给出了系统实现方案.最后,将SIMDEMO与典型同类工具作了比较.     

月面无人自动采样返回飞行程序设计与实现

针对嫦娥五号飞行程序多舱段、多任务、系统控制复杂的设计特点和难点,采用传统的飞行程序设计方法工作量大,状态控制困难,很难满足任务要求。提出了一种新的基于状态转移的方法对飞行程序进行系统建模,首先将整个飞行过程分解成若干模块状态机;然后针对每个模块状态机的功能划分为状态触发器、评估器、执行器和确认器,并分别开展建模设计;最后通过状态触发器和确认器将各个功能模块进行连接,形成整个飞行程序的有限状态机描述。相比传统方法,该方法具有通用性、可扩展性和可复用性等特点,对于规范飞行程序设计,描述复杂的飞行任务过程有很大的优势。采用该方法对嫦娥五号飞行程序进行了建模和设计,并给出了典型飞行过程的设计结果。在轨飞行试验结果表明,该方法可以满足飞行任务的要求,确保了嫦娥五号在轨飞行控制任务圆满成功。     

基于模型的民机验证需求捕获及应用技术

针对当前验证工作顶层规划性不强、研制单位与承试单位接口不清晰、验证活动充分性不确定等问题,基于系统工程的民机研制过程,结合验证场景建模,形成以验证需求为核心的验证工作技术流程。承接产品设计需求,开展验证场景利益关联方识别、验证场景活动建模及时序建模研究;定义验证需求的内涵要素,基于模型开展验证需求捕获,形成设计需求到验证方法到验证需求的映射追溯;在此基础上,研究基于验证场景模型的验证计划及验证程序定义方法。结合某型飞机起落架系统案例,形成一套从设计需求到验证需求再到验证程序的完整技术方法。所提技术方法能够充分保证从产品设计需求到验证活动开展的完整追溯,有效促进民机研制验证过程与产品研制有机融合,为民机研制早期对验证活动的规划提供重要借鉴。     

某型无人机数据通信系统设计与实现CSCD

为了实现无人机系统的飞行操纵和机载任务设备控制,设计了数据通信系统。介绍了系统基本工作原理和主要功能组成,并对数据通信系统的功能要求和技术指标进行了分析,按照基本功能单元,对系统软硬件进行了模块化、组合化设计。飞行试验表明该设计达到了系统技术指标要求,满足系统对数据通信系统的功能性要求。     

基于AFDX网络的飞行管理仿真系统

系统建模与数字仿真是大型客机飞行管理系统研发的重要阶段.初步建立了基于航空电子全双工交换式以太网(AFDX,Avionics Full-Duplex Switched Ethernet)的飞行管理系统分布式实时仿真系统模型.对飞行计划、飞行导引、轨迹预测、性能计算、综合导航、导航数据库、综合显示等核心功能进行了分析建模和算法开发.并在此基础上对飞行管理计算机、综合导航系统、自动飞行系统等仿真子系统进行了设计,在满足实时性要求的前提下,基于AFDX网络与分布式仿真结构实现了对以飞行管理计算机系统为核心的航空电子仿真系统的集成,给出了一种通用的、基于AFDX网络的飞行管理系统分布式仿真框架.仿真系统的运行结果证明:基于AFDX网络的分布式仿真结构能够有效满足实时性要求,提高网络通信性能.      

空间杂光对交会对接光学成像敏感器影响分析

CCD光学成像敏感器是交会对接最后靠拢段的关键测量敏感器,其在轨工作时,太阳和地球杂光可能会进入相机视场,影响敏感器的正常测量.提出通过杂光建模分析和地面杂光试验验证相结合的方法,评估和验证空间杂光对光学成像敏感器测量的影响,确定相机遮光罩设计指标要求,给出理论分析、地面及飞行试验结果.     

UML在航天器姿态与轨道控制应用软件需求建模中的应用

简要介绍了UML语言及其建模技术,描述了航天器姿态与轨道控制系统应用软件的组件构成与接口,并分析了组件间的依赖关系;针对航天器姿态与轨道控制应用软件的需求,对其功能需求和非功能需求进行分析研究;建立的软件需求模型实例体现了UML建模技术的特点和优势。     

基于VC++/GL Studio的通用飞行组合虚拟仪表设计及实现

为了满足某无人机半实物仿真系统视景显示需要,针对视景界面复杂、显示数据种类多、实时性和流畅性要求高的特点,设计了基于GL Studio的组合虚拟仪表界面。详细介绍了组合虚拟仪表设计和实现过程,并通过VC++平台实现了网络通信和数据驱动仪表显示功能。仿真系统实际应用表明：该飞行组合仪表工作性能可靠,人机界面友好,具有良好的可重构性,满足不同无人机飞行仿真系统和飞行训练系统使用需求。     

基于VC++/GL Studio的通用飞行组合虚拟仪表设计及实现

为了满足某无人机半实物仿真系统视景显示需要,针对视景界面复杂、显示数据种类多、实时性和流畅性要求高的特点,设计了基于GL Studio的组合虚拟仪表界面。详细介绍了组合虚拟仪表设计和实现过程,并通过VC++平台实现了网络通信和数据驱动仪表显示功能。仿真系统实际应用表明:该飞行组合仪表工作性能可靠,人机界面友好,具有良好的可重构性,满足不同无人机飞行仿真系统和飞行训练系统使用需求。     

基于公理设计的产品可靠性要求实现方法

针对可靠性设计要求难以系统、全面落实到产品设计方案的问题,提出了一种基于公理设计的产品可靠性要求实现方法.首先,应用公理设计原理进行产品初步设计,从而确定其功能需求,并针对各项功能的保持要求进一步扩展功能保持需求（扩展的功能保持需求构成功能保持域,该域包含于功能域）,进而系统导出参数化的可靠性设计方案;其次,根据功能保持需求扩展或优化设计参数,构建考虑可靠性设计要求的域映射模型,并给出应用独立公理进行方案评价的方法.同时,以温度传感器设计为例贯穿全文,验证了所提出方法的可行性和有效性.      

垂直起降固定翼无人机串联混电系统优化设计

针对垂直起降固定翼无人机的动力需求特点，提出了一种专用于该类无人机的串联混电系统(S-HES)优化设计方法。首先，建立了旋翼、固定翼及转换模式下的垂直起降固定翼无人机的功率需求模型和基于串联混电系统功率传递路径的混电功率解算方程，给出了计及功率约束、能量约束及电池充电的电池质量解算方法，并在大量统计数据的基础上建立了其他混电部件质量解算方程。其次，使用威兰氏线法建立了考虑发动机工作点变化的燃油消耗模型。使用柯西变异粒子群算法基于各物理数学模型在飞行剖面内的各个飞行阶段展开混电控制参数优化，从而完成垂直起降固定翼无人机的顶层设计要求向串联混电系统最佳供电策略、设计功率及质量分配方案的转化。在城市货运和山区货运2种应用场景下对所提方法进行了验证。最后，分析了优化设计结果对于不同飞行阶段性能要求的敏感性。研究结果表明:所提方法可较好地捕捉垂直起降固定翼无人机任务剖面的调整及各飞行阶段的性能要求变化对串联混电系统优化设计结果的显著影响，对垂直起降固定翼无人机的各类应用场景均具有较好的适应性。      

某型无人机半实物仿真系统设计与实现

针对无人机系统的研发和试验需要,设计研制了无人机半实物仿真系统。仿真系统采用传感器仿真和动力学/运动学建模,实现了对无人机系统的总体设计,验证了飞行控制软件的可靠性和控制率的正确性。     

基于同步仿真的卫星姿轨控软件验证方法

传统的仿真系统一般采用Matlab/Simulink进行建模,Simulink模型可以在仿真环境下模拟真实环境下的系统架构和动态数据交互,也可以动态模拟真实目标机的运行。在Simulink建模体系对目标机系统的仿真中,其自身的时钟步长和数据流处理逻辑,可能与真实物理环境要求的系统有一定的出入,不能完全模拟目标机的内部ALU逻辑和真实外围设备工作行为,从而造成一定程度的失真,影响仿真效果。提出了基于同步仿真的卫星姿轨控软件验证方法,包含虚拟目标机能够实现对真实物理目标机运行功能的完全模拟,结合协同仿真组件和Simulink模型对各个子系统单元的动态建模仿真,全面验证软件的功能,增加了卫星控制软件的可靠性和安全性。     

可重复使用空间飞行器的飞行控制

分析了空间飞行器飞行控制系统要解决的问题,空间飞行器的发展过程,各类空间飞行器飞行控制系统设计目的和主要特点,可重复使用的发射飞行器飞控系统的主要设计要求,在设计要求的确定,飞行控制律设计和飞行控制系统设计中要解决的关键技术.      

基于磁滞电机的无人机舵回路设计CSCD

舵回路是无人机飞行控制系统中的一个重要环节。飞行控制系统通过舵回路控制无人机的角运动,从而实现对无人机的操纵使其稳定飞行。基于某型号磁滞电机和"田口"三次设计方法,分析了位置反馈和速度反馈对舵回路的影响,确定了其取值范围,设计了某型号无人机舵回路,并进行了仿真试验,试验结果表明,该设计是可行的。     

现代战斗机的飞行试验

根据近几年新机飞行试验的工程实践,结合国外飞行试验的经验,叙述了现代战斗机飞行试验的特点,包括飞行试验的架次和周期,机载测试和地面实时监控,地面支持设施,它机试飞和组织管理;由于电传操纵显得更为突出的飞行试验技术,包括飞控系统稳定裕度、颤振和气动伺服弹性(ASE)、人机闭环飞行品质和大迎角试飞技术,提出了国内飞行试验工作方面目前存在的若干问题.      

民机横航向静稳定性适航符合性数学仿真评估

针对适航标准对民机横航向静稳定性的要求,提出了一种基于人机闭环数学仿真计算的适航符合性评估方法。根据适航条款的要求提出了量化评估指标,建立了飞机系统模型和驾驶员操纵模型,以实现定常直线侧滑飞行等的特定飞行任务的人机闭环数学仿真,并依据数学仿真结果和评估指标对飞机的横航向静稳定性做出评估。运用此方法完成了某型民机设计方案的适航符合性评估,并较准确地确定了飞机横航向2个静稳定导数的合理取值范围。该方法可应用于民机的概念方案设计,计算结果可为飞行试验提供理论参考。     

基于有限状态机的操作系统需求层形式化验证

操作系统是航天器必备的基本软件，操作系统的可靠性和安全性直接关系航天型号任务的成败.虽然目前已采用多种手段对操作系统进行可靠性和安全性保障，但仍存在不能完全排除缺陷的情况，因此对空间操作系统开展形式化验证研究势在必行.需求层验证是操作系统形式化验证的一部分，本文在分析操作系统需求的基础上，采用有限状态机在操作系统需求层进行形式化描述，并针对应用在某航天器上的SpaceOS2在需求层进行了建模，相应地在定理证明工具Coq中进行了描述建模；然后定义了六条操作系统应满足的全局性质并进行了形式化描述，给出了系统模型满足这些性质的机器可检查的证明.证明结果表明采用有限状态机方法对操作系统需求层进行形式化验证是可行的，为进一步全面形式化验证奠定了基础.     

基于LQ/RHO多回路技术的变体飞机控制器设计

为了确保变体飞机在变体过程中的飞行稳定性,提出了一种多回路控制器设计方案.采用线性二次(LQ,Linear Quadratic)输出反馈方法进行内回路控制器设计,确保在机翼固定状态下飞行稳定性.在变体过程中,用一不确定项来描述变体过程中存在的干扰噪声和未建模的动态特性.采用基于参考模型的滚动时域优化(RHO,Receding Horizon Optimal)方法进行外回路修正控制器设计.仿真结果表明:实际系统的输出响应较好地跟随参考模型的输出,不受变体速率的影响,满足实时性和鲁棒性的要求.