R（4，2，n）型图的优美性

本文对R（4，2，n）图的优美性进行了证明，同时就R（4，2，n）图的优美交错性加以讨论。     

基于图禁忌的并行测试任务调度算法

现有算法处理强约束关系的并行测试任务调度问题具有运算时间长、寻优概率低、收敛性差等缺陷,针对这些问题提出了一种基于图禁忌的调度算法.该算法从测试任务间的约束关系人手,利用图论建立测试任务间的关系图,并结合禁忌算法实现并行测试任务的多目标优化调度.算法中将强约束关系的测试任务调度问题与无约束关系的资源配置问题进行分离,提...     

On Embedding a Qualitative Representation in a Two-Dimensional Plane

Abstract

This paper discusses embedding in a two-dimensional plane a symbolic representation for spatial data using the simple objects, points (P), lines (L), circuits (C), and areas (A). We have proposed PLCA as a new framework for a qualitative spatial reasoning. In a PLCA expression, the entire figure is represented in a form in which all the objects are related. We investigate the conditions for two-dimensional realizability of a PLCA expression, and derive the relation that the numbers of objects in a PLCA expression should have. In this process, we use the well-known Euler's formula. We also give an algorithm for drawing the figure of the PLCA expression that satisfies this condition in a two-dimensional plane and prove its correctness. The algorithm generates a quantitative expression from qualitative expression.     

军用油料调运优化中的参数值修改法

编制军用油料调运计划，要涉及众多参数，关系错综复杂，绝大多数情况下难以同时实现所有期望目标，因此有必要对有关参数值进行合理修改。通过建立军用油料调拨运输的二部图，针对二部图，证明了能使发点发量发送完毕的定理，从而得到可对有关参数值进行合理修改的方法，为进一步应用线性规划法优化油料调运计划奠定了基础。该方法原理简单、操作方便，适于计算机编程。     

A novel testability model for health management of heading attitude system

Prognostics and health management (PHM) is very important to guarantee the reliability and safety of aerospace systems, and sensing and test are the precondition of PHM. Integrating design for testability into early design stage of system early design stage is deemed as a fundamental way to improve PHM performance, and testability model is the base of testability analysis and design. This paper discusses a hierarchical model-based approach to testability modeling and analysis for heading attitude system health management. Quantified directed graph, of which the nodes represent components and tests and the directed edges represent fault propagation paths, is used to describe fault-test dependency, and quantitative testability information is assigned to nodes and directed edges. The fault dependencies between nodes can be obtained by functional fault analysis methodology that captures the physical architecture and material flows such as energy, heat, data, and so on. By incorporating physics of failure models into component, the dynamic process of a failing or degrading component can be projected onto system behavior, i.e., system symptoms. Then, the analysis of extended failure modes, mechanisms and effects is utilized to construct fault evolution-test dependency. Using this integrated model, the designers and system analysts can assess the test suite’s fault detectability, fault isolability and fault predictability. And heading attitude system application results show that the proposed model can support testability analysis and design for PHM very well.     

重力和重力梯度基准图构建的多参量联合网格化

高精度、高分辨率的重力及重力梯度基准图是决定潜艇水下辅助导航定位精度的关键因素。我国海洋重力测量目前的主要比例尺为1:1000000，在局部区域可达1:500000，测线间隔分布相对稀疏。传统的网格化插值技术在远离测点位置时容易产生虚假异常，或异常特征发生偏移。构建了全张量重力梯度数据的6个梯度分量的联合网格化方法,利用各个梯度分量与引力位在波数域中的关系重构了引力位，实现了重力和重力梯度数据的再计算，从而实现了网格处理。通过模型数据和实测数据，验证了该方法在插值异常分辨率和位置准确性上具有优势。     

无人机位姿测量的点特征视觉方法

针对无人机在动态环境下快速高精度定位的问题，提出了用单目相机对无人机上的人工特征点进行位姿解算的方法。在无人机上放置一定数量的小型LED灯，并将其作为视觉测量的特征点，并以其中一个点作为原点建立无人机机体坐标系。通过多场景测量确定特征点在机体坐标系下的三维位置，再将三维位置与特征点在图像中的成像位置相匹配，最后使用EpnP算法求解出无人机的位置和姿态。在实验部分，利用三轴移动平台和三维转台，分别对位置解算结果和姿态解算结果进行误差测量。试验结果表明，位置解算误差在2%以下，姿态误差在8%左右。同时，该算法的处理时间在2 ms左右，该算法可以满足无人机对定位的实时性和精度的要求。     

航天器地面实验的相似性分析方法

研究了航天器地面实验的相似性问题,给出了完全相似条件和近似相似度量方法.首先,应用量纲分析法推导了航天器地面实验的完全相似准则,并讨论了相似准则应用上的局限性;然后,在键合图理论的基础上,提出了一种系统状态变量的活性分析方法,并据此构建了实验模型近似相似程度的量化度量函数;最后,分别对轨道绝对运动与相对运动的模拟实验进行了相似性分析,给出了多种不同的非理想约束条件对实验相似性的影响,提出了有效的实验建议.仿真计算表明:所提出的方法可作为实验相似程度的量化判别依据,且快捷有效,对工程实验有重要参考价值.     

基于星上动态指令调度的卫星使用效能提升技术

针对传统任务管理模式采用静态约束指令序列导致卫星使用效能的不足,提出一种基于有向图模型的动态约束自适应任务管理方案。采用面向用户的星地任务控制接口,利用地面仿真和星上实时遥测获取任务运行过程的动态约束参数,星载计算机据此动态生成任务指令序列。针对某高性能光学卫星的仿真试验表明,与传统任务管理模式相比,卫星操作接口复杂度减少88.5%,任务注入效率提升699%,有效载荷数据传输效率提升10%,全球数据获取能力提升11%,对我国区域的实时数据获取能力提升100%。方案对遥感卫星在轨运行管理具有借鉴意义。     

基于骨架图匹配的汉字变形技术

不同时代的汉字变化较大,自动产生它们之间的变形动画是一个具有挑战性的任务.为此尝试使用一个新方法解决该问题.首 先将源汉字和目标汉字分割成对应的部件,然后根据部件的骨架和特征点将其分解为笔画并建立图模型,用笔画路径的相似度进行图模型的匹配来产生对应关系.最后根据匹配的结果为源汉字和目标汉字的轮廓建立同构三角形,并计算插值产生动画.实验当中将新方法的汉字匹配的效果与现有方法进行对比,并展示了所产生的变形动画,结果表明本文所提出的方法可以产生不同时代的汉字间的对应关系,并能生成平滑的变形动画.