浅谈折中思想在英语课堂教学中的应用

英语教学中传统的语法翻译法教学和交际法两种教学法单独使用时都存在其各自的弊端,本文将推出更加行之有效的教学方法——折中主义教学法(综合教学法),并对其优点,灵活性等方面进行论述。     

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

图论在解决运筹学、网络理论、控制论等领域的问题中显示出优越性。特别是最短路径问题被广泛的应用在工程、运输等方面，尤其在运筹学模型中最短路径问题已是不可缺少的一种方法。因此就其运算解法进行了编译，并用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个梯度分量的联合网格化方法,利用各个梯度分量与引力位在波数域中的关系重构了引力位，实现了重力和重力梯度数据的再计算，从而实现了网格处理。通过模型数据和实测数据，验证了该方法在插值异常分辨率和位置准确性上具有优势。     

基于随机文法的多功能雷达识别方法

 针对多功能雷达采用复杂体制而造成的辐射源不能正确识别问题,提出了一种基于随机文法(SG)的辐射源识别算法。该算法基于多功能雷达的句法模型,将威胁数据库中的多功能雷达文法分为随机正则文法(SRG)和随机上下文无关文法(SCFG)两种情况,并分别构造随机有限自动机(SFA)和随机下推自动机(SPDA)对测量辐射源进行识别。仿真实验表明,该方法不仅能识别出多功能雷达辐射源的型号及模式,而且能识别出雷达辐射源的功能状态,并进而推断出雷达辐射源的威胁等级。