图论中最短路径问题的解法

图论在解决运筹学、网络理论、控制论等领域的问题中显示出优越性。特别是最短路径问题被广泛的应用在工程、运输等方面，尤其在运筹学模型中最短路径问题已是不可缺少的一种方法。因此就其运算解法进行了编译，并用VC 、Madab两种程序完成其算法以寻求较快捷的解法。     

有向图的矩阵表示

本文用定义的方式对有向图中相邻矩阵的概念在含有平行边和自回路两种情形上做了推广，建立了方和有向图之间的一一对应关系。     

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个梯度分量的联合网格化方法,利用各个梯度分量与引力位在波数域中的关系重构了引力位，实现了重力和重力梯度数据的再计算，从而实现了网格处理。通过模型数据和实测数据，验证了该方法在插值异常分辨率和位置准确性上具有优势。     

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

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