移动机器人PT视觉监控多目标策略与实现

提出了一种多动态目标的监控模型，设计了目标监控优先级的计算方法和动态扫描队列的实现算法。并利用粗糙集理论的约简算法求得最小目标监控规则集，实现了仅利用单个PT(pan-tilt)摄像机对多个动态目标的实时监控。所进行的实际机器人动态环境实验，验证了提出方法的有效性和实用性。通过对实际和计划监控几率的比值分析说明了监控策略的合理性。     

三维工序模型的演进式构建方法

为实现以三维工序模型为核心的三维工艺构建,基于从毛坯模型到最终产品模型的演进过程,对三维工序模型的生成方法进行研究.在制造特征信息模型的基础上,结合基准信息建立了面向工序模型生成的工序信息模型.提出制造特征信息在工序模型中的映射机制,解决该模式下工序模型信息缺失的问题.以工序信息模型为模板,首先定义加工特征基元,然后通过实例化实现工序模型的变换.最后,通过集成工艺决策系统,构建三维工序模型生成系统,为后续工艺尺寸标注和工艺展示提供模型支持.     

视觉辅助遥操作在卫星在轨自维护中的应用

为了克服时延对空间机器人遥操作的影响,提出了利用视觉技术辅助遥操作进行卫星自维护的方法.针对遥操作数据传输滞后的问题,设计并实现了一种基于视觉的共享控制策略,该策略将维护任务分为自由空间控制与自主视觉伺服控制.在自由空间控制阶段,通过3D图形预测仿真以及实时反馈的视频流,提高了遥操作者的视觉临场感.在自主控制阶段,采用冗余特征视觉伺服控制,克服了系统对标定精度的依赖性,从而提高了整个系统的智能化程度.最后,通过对典型的卫星维护任务实例的分析,验证了该方法的有效性.     

可视化系统建模语言及其在MIS开发中的应用

介绍了VSML(Visual System Modeling Language)的描述内容及其原语定义和行为描述,并对新完善的数据库信息处理功能进行了介绍;接着对完善后的VSML的体系结构及其功能进行了较详细的描述;然后以商业管理采购员订货系统模型作为实例,介绍了VSML的应用,最后对VSML及其进一步的研究工作进行了小结.     

代数基本定理的拓扑证明

使用同调群和映射度等工具，给出代数基本定理的两种拓扑证明。     

不可压缩势流绕多段翼型流动的快速迭代解法

利用保角变换计算不可压缩势流绕翼型的流动,具有计算速度快和要求计算机内存小的优点,但主要用于单段翼型问题,而对于多段翼型,尤其是三段和三段以上的翼型则很难应用。本文在单段翼型的保角变换的基础上,提出了一种利用迭代算法计算任意多段翼型的不可压缩势流的绕流问题的方法。本文方法和目前常用的边界元法相比,具有计算速度快的优点。本方法还可进一步推广到考虑无粘流/边界层的迭代计算中。     

Robust image-based coordinated control for spacecraft formation flying

This paper addresses a coordinated control problem for Spacecraft Formation Flying (SFF). The distributed followers are required to track and synchronize with the leader spacecraft. By using the feature points in the two-dimensional image space, an integrated 6-degree-of-freedom dynamic model is formulated for spacecraft relative motion. Without sophisticated three-dimensional reconstruction, image features are directly utilized for the controller design. The proposed image-based controller can drive the follower spacecraft in the desired configuration with respect to the leader when the real-time captured images match their reference counterparts. To improve the precision of the formation configuration, the proposed controller employs a coordinated term to reduce the relative distance errors between followers. The uncertainties in the system dynamics are handled by integrating the adaptive technique into the controller, which increases the robustness of the SFF system. The closed-loop system stability is analyzed using the Lyapunov method and algebraic graph theory. A numerical simulation for a given SFF scenario is performed to evaluate the performance of the controller.     

固体火箭发动机交互式可视化优化设计与分析

为提高固体火箭发动机优化设计和结果分析的效率,提出了一种交互式可视化优化设计与分析方法。以某大型固体火箭发动机设计为例,说明其在固体火箭发动机优化设计和参数敏感性分析中的应用。研究表明,这种方法可使设计人员快速、直观地得到符合总体要求的多组设计方案,简单、有效地进行参数敏感性分析,符合设计人员思维习惯,适合在工程中推广。     

Mission decision-making method of multi-aircraft cooperatively attacking multi-target based on game theoretic framework

Coordinated mission decision-making is one of the core steps to effectively exploit the capabilities of cooperative attack of multiple aircrafts. However, the situational assessment is an essential base to realize the mission decision-making. Therefore, in this paper, we develop a mission decision-making method of multi-aircraft cooperatively attacking multi-target based on situational assessment. We have studied the situational assessment mathematical model based on the Dempster-Shafer (D-S) evidence theory and the mission decision-making mathematical model based on the game theory. The proposed mission decision-making method of antagonized airfight is validated by some simulation examples of a swarm of unmanned combat aerial vehicles (UCAVs) that carry out the mission of the suppressing of enemy air defenses (SEAD).     

Banach空间中的非线性补问题

本文研究Banach空间中非线性补问题解的存在性和唯一性，得到了自反的Banach空间中凸锥上一类严格单调映射的补问题解的存在性和唯一性结果以及自反的Banach空间中局部弱紧闭凸锥上两个非线性算子之差的补问题解的存在性结果。