可组合仿真模型的语义形式描述及组合判定方法

如何判定仿真组件之间是否可组合是组合仿真中的关键问题之一.建立了组合判定问题的参考模型,基于Hoare逻辑给出仿真模型语义的描述方法,并以此为基础通过构造模型语义之间的组合匹配规则,从组合相容性及可替换性两个方面刻画模型的可组合性质.形成语义层次的组合判定方法;对组合相容性与可替换性质之间的关系进行了分析.     

双频去相关单历元动态解算整周模糊度研究

针对GPS实时动态精密相对定位应用背景,提出一种整周模糊度实时求解方法。采用宽巷组合载波相位双差、伪距双差观测信息建立观测模型;对浮点模糊度协方差阵进行一次Cholesky分解,构造了浮点转换矩阵,使浮点模糊度完全去相关;推导确定整周模糊度的搜索空间;利用最小残差平方和搜索准则,确定单历元整周模糊度,并用OVT检验方法,对不同历元得到的整周模糊度进行一致性检验。结果表明,观测量误差均方差取值对整周模糊度搜索空间和成功率有较大影响,附加OVT检验的双频去相关单历元动态解算整周模糊度方法正确可行。     

多媒体会议系统中视频图像的组合

在多媒体会议系统中，同时显示多方会议参加者的动态图像，是提高现有的多媒体会议系统性能的重要方向之一。本文全面地讨论了多个视频图像的组合方式、策略和方法，提出了视频图像重迭级的概念和按视频图像重迭级组合图像的算法，从网络传输数据量和图像组合工作量两方面，分析比较了各种图像组合方式的性能。     

面向多最优解组合优化问题的决策求解算法

针对具有固定物品总和、多最优解特征的组合优化问题,以固定总和实数子集问题和购买鸡翅问题为例,给出了这类多最优解组合优化问题的形式化表示。在分析枚举等经典算法基础上,提出了基于整数状态表示和实数状态表示的0-1决策递归搜索多最优解动态规划算法。针对该算法在最优解数量较大时,时间复杂度趋向O(mⁿ)的问题,提出了基于相同决策路径合并和基于0-x决策的两种改进算法。实验中两种改进算法的计算时间基本符合与O(nb+nm)的正比关系,表明对于这类多最优解组合优化问题具有良好的求解性能。     

基于优选RFID观测值的GPS/RFID组合定位方法

在典型的城市环境中,单一GPS定位模式已很难满足连续定位的要求,采用GPS和其他非LOS(Line of Sight,视线矢量)定位方法(如RFID定位方法)进行组合可实现弱信号或无导航信号环境下的定位.针对GPS/RFID组合定位系统中全选RFID观测值所带来的较高的计算复杂度的问题,提出了一种在加权观测值条件下使组合定位误差最小的RFID观测值优选方法.实测实验结果表明,采用这种优选RFID观测值的GPS/RFID组合定位系统可改善在GPS信号受遮挡条件下的GDOP值,有效提高单一卫星导航定位系统的定位可用性和定位精度,并大大降低了系统的计算复杂度.     

空间引力波探测无拖曳技术现状与趋势

航天器无拖曳控制是实现引力波空间探测科学平台超静超稳运行的核心关键技术之一。目前,国内外各研究机构对航天器系统的动力学与控制进行了深入研究,并针对不同的探测频段需求提出了不同的探测任务。根据探测任务进行了航天器编队设计与控制的详细介绍和分析,对涉及的无拖曳与姿态控制、高精度惯性传感器与执行机构等原理和理论方法进行了深入的剖析。针对现已开展的空间引力波探测无拖曳航天器在轨飞行的演示验证整体情况进行详述和分析。在此基础上,提出后续开展相关研究中亟待解决的关键问题,指出未来无拖曳航天器系统动力学与控制的研究热点和趋势。     

GPS/INS全组合制导火箭弹姿态仿真研究

建立了状态变量为15维的组合系统动态方程,对运用GPS姿态测量系统的GPS/INS组合导航系统进行了分析,得出了增加不同种类的外部导航信息观测量将有效提高惯导系统误差修正能力的结论.应用卡尔曼滤波方法对GPS姿态测量系统信息对惯性导航系统的误差修正能力进行了仿真.仿真结果表明,GPS姿态信息的引入可以大大提高制导火箭弹的航向测量精度,能较好地改善INS的导航性能.     

基于层次分析法的军队油料消耗组合预测模型

在军队油料消耗预测中以直线趋势外推预测法、季节指数预测法和灰色预测法构成组合预测模型,以此为基础引入层次分析法来确定各自权重,按各项预测的重要程度求出组合预测结果。组合预测结果精度较高,并且通过对该组合预测模型中的判断矩阵灵活调整,从而可得到一组适合对应单位的油料消耗组合预测权系数,具有良好通用性,在部队中具有较好的推广价值。     

仿真模型的语法可组合问题及组合判定

层次化特征是仿真可组合问题的本质特征之一,首先介绍了仿真可组合问题的基本概念,提出多层次的组合参考模型,以此引出语法层次的可组合问题,进而从命名、顺序及复杂类型匹配三个方面刻画了语法层次仿真模型的组合失配现象.为解决组合失配问题,建立了三类变换条件下的类型等价及子类型匹配关系,并以此为基础构建了语法层次组合相容性及可替换性的判定规则.