实时数据驱动的交会对接仿真平台设计与实现

航天器地面综合测试时,为了在测试数据显示基础上,动态展示航天器交会对接过程,验证交会对接飞行方案的正确性,为航天员手控交会对接训练提供支持,设计航天器交会对接仿真系统,给出交会对接仿真平台设计架构。通过对航天器建模、虚拟场景装配、模型驱动方法、阳照区/阴影区绘制、姿态和星下点轨迹计算方法研究,开发实现航天器交会对接仿真平台。平台由实时测试数据驱动,在航天器地面静态测试下,可以实时显示航天器三维飞行状态及星下点轨迹。目前,仿真平台已经应用于航天器地面综合测试过程中,同时,平台可以扩展支持航天器在轨飞行动态展示,丰富了航天器测试和监视手段,具有较高工程应用价值。     

载人飞船交会对接半物理仿真试验环境研究

航天器交会对接 (Rendezvous and Docking,RVD) 是载人空间飞行中一项十分重要的技术.由于风险、成本、技术难度都很大,必须在地面进行充分的试验,其中最主要的是GNC系统交会对接半物理仿真试验.此试验需要一系列高精度大型设备支持,尤其是模拟追踪飞船和目标航天器轨道运动和姿态运动的9自由度运动模拟器更是规模大、技术复杂、耗资大的设备.本文在深入调查和研究的基础上对交会对接半物理试验设备进行了讨论.     

GRASP建模与仿真可视化环境的设计与实现

该文首先引入GRASP建模与仿真方法,分析了GRASP建模与仿真原系统的一些不足,简要介绍了为解决这些不足而进行可视化环境开发的设计思路。然后从软件的体系结构、功能实现等角度,重点阐述了GRASP建模与仿真可视化环境的详细设计与实现过程。最后采用一个预防性维修过程进行实例研究。     

基于虚拟现实的空间人控交会对接仿真实验系统

该文将虚拟现实技术应用于航天领域，采用建模软件MultiGenCreator进行视影建模＋虚拟现实软件Vega驱动的方案，构建了一套空间人控交会对接仿真实验系统，并介绍了其系统设计，系统构成及关键技术。     

基于面向对象的RVD仿真系统的分析与设计

在面向对象方法学的指导下，分析设计了交会对接(RVD)仿真系统的总体框架，给出了此软件系统的对象模型、动态模型和功能模型，并对这一框架进行了初步的实现。这一仿真框架可以有效地保证软件的稳定性、可重用性和较好的可维护性，是建立大型RVD仿真系统的基础。     

作战仿真中的人机干预问题研究

从作战仿真中人在环与人不在环仿真样式对人机干预需求分析人手,对作战仿真人机干预的内涵、功能要素、系统架构等方面进行了研究,对可干预模型建模、作战仿真引擎、人机干预界面等方面进行了设计,给出了完整的解决框架,并为后续系统的设计与实现奠定了基础.     

空间对接仿真试验台对接机构测控系统设计

为实现空间两飞行器的交会对接,需要对空间交会对接过程进行仿真调试。为此,构建空间对接半实物仿真试验台,克服无实物仿真环境的局限性,再现2个空间飞行器的交会对接过程。提出对接机构测控系统设计方案,描述其软件结构和控制流程,建立对接机构测控模型,通过RT-LAB实时仿真平台将模型下载到测控计算机上运行,实现对接机构传感器信号的采集和运动控制。试验结果表明,该系统模型能够模拟飞行器的交会对接过程,具有较好的实时性,系统运行稳定、可靠。     

用于手控交会仿真的多通道立体显示系统

手控交会是实现交会对接的一个重要手段,为了提高手控对接的成功率,展开手控交会的仿真研究是很有必要的。传统的手控仿真都是基于平面十字靶标进行的,场景单一,沉浸感不强。基于立体视觉展开手控仿真研究,实现了基于OpenGL的立体图像生成方法,建立了双通道立体显示系统,并展开了一系列手控仿真实验。实验结果表明基于立体场景的手控交会对接训练有较高的成功率。     

目标特性在导弹引战配合仿真中的应用

目标特性在导弹引战配合仿真研究中占据十分重要的地位.对目标的运动、几何、散射、结构和易损等特性在仿真系统中的应用进行了全面系统的研究,建立了目标特性的几何与数学模型.介绍了目标运动特性在坐标转换矩阵和引信最佳延迟时间设计中的应用;目标几何与散射特性在目标探测和识别中的应用;以及目标结构和易损特性在目标毁伤评估中的应用等.通过仿真实例,说明了目标特性在导弹引战配合仿真中的具体应用情况.对于建立类似的弹目交会仿真系统具有一定的借鉴意义.     

航天器时间触发系统时钟同步算法的仿真分析

时间触发技术已经逐步应用于航天器导航制导与控制(GNC)系统的信息体系结构设计中,由于时间触发技术使用了经典的Welch-Lynch分布式时钟同步算法[1]因此在工程应用中存在固有的系统级时钟定向漂移问题[2].针对上述问题,提出了一种使用单一精确时钟对全系统进行整体时钟校时的方案,根据分布式系统工作时序的特点,使用同步误差的算法解决了单一节点无法修正整个分布式系统参数的问题,使系统可以在有限偏差范围内不断调整时钟相位,避免了系统级的时间误差累计.使用形式化方法对算法进行了有界性和收敛性证明,并在Matlab/Simulink平台中对基于时间触发体系结构的GNC系统进行了数学建模和仿真,仿真结果表明GNC系统内所有节点的时钟偏差收敛且有界,满足实际使用需求.     

多技术系统基于VHDL-AMS的统一建模与仿真技术研究

机电一体化系统设计要求跨领域的统一建模与仿真，多刚体动力学是其中的一个难点．通常的做法是采用动力学专用软件建模，求得DAEs形式的运动方程后再转化为集成环境中的统一建模语言．首先基于广义基尔霍夫网络理论，提出了基于端口的多技术系统集成组件，并采用VHDL—AMS混合系统建模语言进行描述．为了更有效的集成多刚体动力学，通过选取参考基作为端点，构造了计算多刚体系统动力学的广义基尔霍夫网络模型，具体阐述了基本组件的VHDL-AMS行为模型，从而将多刚体系统纳入基于VHDL—AMS的集成设计和仿真环境中．最后用一个实例进行了具体说明．     

喷泉景观的造型设计与模型研究

在分析现有喷泉模拟的基础上，针对喷泉造型的研究相对较少的问题，进行了喷泉造型设计并建模。运用多种数学曲线、曲面方程建立了复杂特殊的喷泉造型模型，并分析喷泉粒子的运动特性建立了喷泉运动模型。采用Visual Studio为编程工具，结合OpenGL技术渲染场景，在Windows XP环境下开发了基于粒子系统的喷泉模拟系统，仿真效果真实。     

Integrated modeling, finite-element analysis, and engineering design for thin-shell structures using subdivision

Many engineering design applications require geometric modeling and mechanical simulation of thin flexible structures, such as those found in the automotive and aerospace industries. Traditionally, geometric modeling, mechanical simulation, and engineering design are treated as separate modules requiring different methods and representations. Due to the incompatibility of the involved representations the transition from geometric modeling to mechanical simulation, as well as in the opposite direction, requires substantial effort. However, for engineering design purposes efficient transition between geometric modeling and mechanical simulation is essential. We propose the use of subdivision surfaces as a common foundation for modeling, simulation, and design in a unified framework. Subdivision surfaces provide a flexible and efficient tool for arbitrary topology free-form surface modeling, avoiding many of the problems inherent in traditional spline patch based approaches. The underlying basis functions are also ideally suited for a finite-element treatment of the so-called thin-shell equations, which describe the mechanical behavior of the modeled structures. The resulting solvers are highly scalable, providing an efficient computational foundation for design exploration and optimization. We demonstrate our claims with several design examples, showing the versatility and high accuracy of the proposed method.     

一种适用于POP工艺GNC模块的测试系统设计

高可靠性POP工艺的GNC模块,创新采用了无框架结构,以三维互连为层规划准则,集成了信息处理组件和多种传感器,通过三维堆叠实现了立体互连,形成具有多种外设接口的正交立体集成结构的导航制导通信模块;由于其高集成度和小型化的特点而大大增加了测试难度;采用主从协同系统设计方法,构建了一种针对小型化航天电子产品的新型测试系统,测试系统硬件部分采用通用化、标准化设计,实现对产品在特殊环境条件下的测试;软件架构采用分层构件化设计,将单元测试和专项测试相结合,对产品各项功能和性能实行独立测试;经实际应用满足了对GNC产品的测试需求,该测试系统功能齐全,操作简单,利于总体维护及系统级调试,是对GNC模块可测性、可算性的巨大提升。     

基于时间抽象状态机的AADL模型验证

提出了一种基于时间抽象状态机(timed abstract state machine,简称TASM)的AADL(architecture analysis and design language)模型验证方法.分别给出了AADL子集和TASM的抽象语法,并基于语义函数和类ML的元语言形式定义转换规则.在此基础上,基于AADL开源建模环境OSATE(open source AADL tool environment)设计并实现了AADL模型验证与分析工具AADL2TASM,并基于航天器导航、制导与控制系统(guidance,navigation and control)进行了实例性验证.     

基于网络化的航天器智能GNC系统体系架构研究

智能化的导航制导与控制系统(GNC)是提高航天器在轨自主运行能力及其智能性的关键分系统。本文从航天器GNC系统智能化的意义、智能GNC的基本特征、智能等级划分、国内外航天器智能信息系统研究现状等方面进行了介绍,结合国内航天器GNC系统研究现状,提出了下一代基于时间触发以太网(TTE)技术的航天器智能GNC系统体系架构,指出了需要研究的主要内容及关键技术,为航天器智能GNC系统的发展提供技术参考。     

Modeling group structures in pedestrian crowd simulation

Grouping is a common phenomenon in pedestrian crowds and plays important roles in affecting crowd behavior. Group modeling is still an open challenging problem and has not been incorporated by existing crowd simulation models. Motivated by the need of group modeling for crowd behavior simulation, this paper presents a unified and well-defined framework for modeling the structure aspect of different groups in pedestrian crowds. Both intra-group structure and inter-group relationships are considered and their effects on the crowd behavior are modeled. Based on this framework, an agent-based crowd simulation system is developed and crowd behavior simulations using two different group structures are presented. The simulation results show that the developed framework allows different group structures to be easily modeled. Besides, different group sizes, intra-group structures and inter-group relationships can have significant impacts on crowd behaviors.     

DoMAIns: Domain-based modeling for Ambient Intelligence

Ambient Intelligence and Smart Home Automation systems are currently emerging as feasible and ready to exploit solutions to support more intelligent features inside future and current homes. Thanks to increased availability of off-the-shelf components and to relatively easy to implement solutions we are experiencing a steady evolution of households, causing an ever-increasing users’ awareness of the capabilities of such innovative environments. To foster effective adoption of Smart Home Automation technologies in our home environments, traditional architectural and plant design must be complemented by sound design methodologies and tools, supporting the whole environment design cycle, including for example modeling, simulation and emulation, as well as, when feasible, formal model-checking and verification. Several research efforts have already addressed the design of expressive modeling tools, mostly based on Semantic Web technologies, as well as of suitable platforms for adding interoperation and rule-based intelligence to home environments. This paper proposes a new modeling methodology designed to fit the different phases of Intelligent Environments design, with a particular focus on validation and verification of the whole system. Carefully designed separation of modeled entities permits to exploit the DoMAIns framework during all phases of the environment design, from early abstract conception to the final in-field deployment. The DoMAIns design methodology is applied to a sample use case that involves comprehensive modeling and simulation of a Bank Security Booth, including the environment, the control algorithms, the automation devices and the user. Results show that the approach is feasible and that can easily handle different types of environment modeling, required in the different design phases, and for each of them it may support simulation, emulation, or other verification techniques.     

一种快速的广义噪声聚类算法

为解决广义噪声聚类（GNC）算法非常依赖参数和在运行GNC算法前必须运行FCM算法以便计算参数的缺点,在GNC的目标函数和可能聚类算法（PCA）基础上,提出一种快速的广义噪声聚类（FGNC）算法。FGNC算法通过一种非参数化方法计算GNC目标函数中的参数,因而FGNC算法不依赖参数并且聚类速度快于GNC算法。对人工含噪声数据集和两个实际数据集进行仿真实验,实验结果表明FGNC算法能很好地处理含噪声数据,具有聚类中心更接近真实聚类中心,聚类准确性高,聚类时间少的优良性能。     

基于NetLogo平台的HIV治疗模型

很多建模方法已经被报告用于HIV治疗.在HIV,免疫细胞和药物之间,展示了多间隔的相互作用,不能被很好地理解,从而不能被很好地建模.本文通过自主计算建模来理解HIV感染的动态性和治疗.为了验证治疗策略,我们设计并实现一个基于NetLogo平台的原型系统.当前的仿真结果表明经典的HIV三阶段动态性感染在NetLogo平台中被基本再现.