基于Petri网的UML状态迁移策略

分析了统一建模语言(UML,Unified Modeling Language)状态图相关语义,阐述了Petri网基本特征和它所具有的建模事件并发、同步、冲突能力.为得到UML状态图无二义性的、可执行的和可验证的模型,在着色Petri网和层次化Petri网研究成果基础上,研究提出层次着色Petri网(HCPN,Hierarchical Colored Petri Net).HCPN中不同层的着色网CPN通过库所子网或变迁子网相关联.通过实例说明如何借助这些关联从HCPN中的CPN合并得到标注Petri网.标注Petri网可用于指导基于事件驱动的仿真过程,而标注Petri网转换得到的基本Petri网可用来进行特性分析,从而对所描述的UML状态图模型给出合理的评价,有利于建模系统的改进.      

基于逆仿真的直升机机动飞行科目数学模型及其应用

逆仿真可以驱动直升机仿真模型完成预定的机动科目,给出完成该机动的操纵输入规律和飞行状态变量的时间历程,因此建立机动科目数学模型是逆仿真的前提。本文提出了一个较通用的直升机机动科目分段函数描述方法,该方法可以对ADS－33E－PRF规定的大部分任务科目建立逆仿真所需的数学模型。以UH－60A“黑鹰”直升机为例,将以该方法所建立的机动科目“转向目标”、“障碍滑雪”数学模型应用于逆仿真,并依照ADS－33E－PRF的有关指标,根据仿真结果对“黑鹰”直升机驾驶品质的某些方面作出了评价,结果表明,该方法建立的数学模型能够真实有效地描述机动科目。     

飞行仿真中基于嵌入式Qt的CDU仿真模块设计

为了提高飞行仿真中控制显示组件（CDU）的真实度,本文基于嵌入式Linux和Qt,参照真实CDU的显示和按键的特性,使用面向对象的仿真方法建立CDU的页面显示和页面逻辑,实现了CDU的显示输人功能。使用SQLite数据库存储页面标题,上位机处理页面数据,以模块化的思想简化了CDU页面的生成。经实物测试,该方法能方便地生成CDU页面。     

预警飞机任务效能数学模型研究

研究建立实战条件下武器系统可靠性维修性保障性因素综合评价模型,对武器系统可靠性维修性保障性参数指标论证过程中简化分析和减少对仿真技术的使用具有实用意义。通过研究和分析实战条件下的预警飞机使用状况,利用概率方法建立了其作战条件下的任务效能数学模型,为利用解析法进行预警飞机可靠性维修性保障性指标论证提供了可行手段和重要模型,为定量评价可靠性维修性保障性因素对预警飞机作战影响奠定了基础。     

自主多无人机的分散化协同控制

协同前提是无人机(UAV)平台间的通信和信息共享,无人机平台之间信息和计算是高度分布的,无人机平台的运动以及通信拓扑的变化,使得集中式协调控制结构很难实现。以最小通信量为基础的分散协同控制具有可扩展性、异构性和动态可重构性等特点,可靠性和鲁棒性较好。针对多无人机平台分散化协同的特点和要求,建立了集中和分散相结合的多无人机平台协同控制系统结构,集中式任务管理系统主要完成目标分配、通信管理和编队管理功能,分散式协同部分主要实现局部任务规划、协调策略及协调控制等功能。分别以多机协同目标跟踪、多机和多编队一致性协调、多机协同编队控制与重构等多无人机平台分散化协同控制技术为应用对象,探讨了分散化协调机制、策略、控制及其与信息之间关系。给出了部分算法的仿真结果。     

基于作战单元任务成功性的可修复备件优化

在分析作战单元任务及备件保障流程的基础上,在考虑装备系统冷备份和热备份的情况下,基于METRIC模型原理,建立了两级保障体制下的作战单元任务成功性评估模型.以备件购置费用为优化目标函数,作战单元任务成功概率为约束条件,运用边际方法给出了备件优化模型的求解方法.最后,通过实例对该方法进行了分析,优化结果符合作战单元备件配置实际情况,从而为部队装备保障指挥人员在作战单元执行任务前科学制定保障方案提供决策支持.     

Thermosphere density and wind measurements in the equatorial region using a constellation of drag balance nanospacecraft

A mission for in situ thermosphere density and winds measurement is described, based on nanospacecraft equipped with a drag balance instrument (DBI) and a GPS receiver. The mission is based on nanosatellite clusters deployed in three orbital planes. In this study, clusters of 10 nanospacecraft are considered, leading to a mission based on a total of 30 nanospacecraft. The geometry analyzed is a symmetrical one, including an equatorial orbit and two orbits with the same inclination and opposing ascending nodes. The main idea is that, by combining the accurate information on the satellite inertial position and velocity provided by the GPS receiver and the drag acceleration intensity provided by the DBI, due to the orbits’ geometrical configuration, both atmospheric drag and wind can be resolved in a region close to the orbit nodes. Exploiting the Earth oblateness effect, a complete scan of the equatorial regions can be accomplished in the short mission lifetime typical of very low Earth orbit satellites, even in high solar activity peaks, when the expected nanospacecraft lifetime is about 40 days.     

冯·卡门撞击坑物质成分研究

“嫦娥4号”预计在月球背面的冯·卡门（Von Kármán）撞击坑着陆,为近距离研究月球最大和最古老的南极—艾肯（South Pole-Aitken）盆地的形成和演化提供了机会。综合利用多种光谱数据,本研究分析了冯·卡门撞击坑及其周边地区TiO₂和FeO的含量变化,以及铁镁质矿物的分布情况,并推断了其主要的岩石类型。研究结果表明：冯·卡门撞击坑内部贫TiO₂（约1.5~2.5 wt%）富FeO（约12~16 wt%）,主要岩石类型为低钛玄武岩。撞击坑以外的地层则以苏长岩质物质（低钙辉石）为主,并含有约1 wt%的TiO₂和10 wt%的FeO。此外,冯·卡门撞击坑外的南部局fFf), and infilled by low-Ti basalts. The materials outside the crater are dominated by noritic materials (Low-Ca pyroxene) with abundance of TiO₂(~1 wt%)and FeO(~10 wt%). In addition, some plagioclase-rich layers are also exposed on the southern region outside the Von Kármán crater.     

深空探测器自主控制技术综述

深空探测是人类考察、勘探和定居地球外其它天体的第1步,而深空探测器的自主控制技术则是确保深空探测任务成功完成的重要关键技术之一。从"自主导航、自主制导与控制、自主任务规划、自主故障诊断与重构"4个方面对深空探测器自主控制技术的研究现状进行综述,分析了已有的深空探测器自主控制技术存在的问题,并根据深空探测技术发展和任务实施的需求,提出了深空探测器自主控制技术未来研究的发展趋势。     

中国空间引力波探测“太极计划”及“太极1号”在轨测试

我国空间引力波探测"太极计划"将打开中低频段(0.1 mHz～1 Hz)的引力波观测窗口,为人类研究宇宙起源与演化、黑洞起源与演化、引力本质、暗能量和暗物质等提供全新的方法和手段。由于空间引力波探测涉及一系列关键技术,太极计划提出了"单星""双星"和"三星"3步走的发展路线图。目前"单星"计划——"太极1号"发射成功,并圆满完成了第一阶段的在轨测试。本文将简要介绍空间引力波探测的科学价值、国内外背景和关键技术分解,重点对太极计划及其3步走发展规划进行分析,并提出后续工作的一些设想和发展建议。