我国军事司法立法形式探新

选择适宜的军事司法立法形式 ,是充分发挥军事司法立法作用的重要前提。在分析外军军事司法立法形式的特点和我国军事司法立法形式的不足的基础上 ,提出了制定《统一军事司法法》的建议。     

鱼雷最大航向估计在反鱼雷中的应用

在悬浮式深弹反鱼雷时,若只能根据声纳兵的经验估计鱼雷距离,如何正确估计鱼雷航向角范围就成为正确布放悬浮式深弹的关键.从直航雷的相遇三角形和尾流鱼雷命中目标条件出发,推导出鱼雷相对舰艇的正常提前角,从而确定鱼雷在被发现点的最大航向角范围,为正确投放悬浮式深弹提供了理论依据.     

地方综合性大学师范生专业技能训练模式的构建与实践

专业技能是教师教育专业性的突出体现,它的强弱将直接影响到师范生教育教学实践能力的高低、高校专业人才培养的质量和学生就业竞争力的强弱。地方综合性大学中的师范教育普遍存在着"学术性"与"师范性"的失衡,在师范生专业技能的培养上较为薄弱。本文对此类高校在师范生专业技能训练中存在的问题进行了分析,提出了构建师范生专业技能训练模式的基本原则,并对训练模式的实施提出了意见与建议。     

Scheduling and lot streaming in two‐machine open shops with no‐wait in process

We study the problem of minimizing the makespan in no‐wait two‐machine open shops producing multiple products using lot streaming. In no‐wait open shop scheduling, sublot sizes are necessarily consistent; i.e., they remain the same over all machines. This intractable problem requires finding sublot sizes, a product sequence for each machine, and a machine sequence for each product. We develop a dynamic programming algorithm to generate all the dominant schedule profiles for each product that are required to formulate the open shop problem as a generalized traveling salesman problem. This problem is equivalent to a classical traveling salesman problem with a pseudopolynomial number of cities. We develop and test a computationally efficient heuristic for the open shop problem. Our results indicate that solutions can quickly be found for two machine open shops with up to 50 products. © 2005 Wiley Periodicals, Inc. Naval Research Logistics, 2005     

一种针对基因识别的GHMM简化算法

广义隐Markov模型是计算机基因识别的一种重要模型,它克服了传统隐Markov模型的状态段长成几何分布的缺陷,更加适合于计算机基因识别。其缺点在于计算量大,需要采用有效的简化算法。利用基因的结构特点,在不附加额外限制条件的情况下,提出了一种新的简化算法,其计算复杂度是序列长度的线性函数。对实际生物序列数据的测试结果表明了此简化算法的有效性。     

有限时间热力学研究的一些进展

介绍近年来在不可逆热机理论、回热式燃气轮机循环分析、类热机装置分析和广义热力学优化理论研究中的一些进展 ,并简要阐述其发展方向 .     

地形数据格式转换及其应用

开发了实现从DC格式图形数据文件到DED格式图形数据文件转换的工具软件,并在实际中得到应用.     

Solving partially observable agent‐intruder games with an application to border security problems

In this paper, we introduce partially observable agent‐intruder games (POAIGs). These games model dynamic search games on graphs between security forces (an agent) and an intruder given possible (border) entry points and high value assets that require protection. The agent faces situations with dynamically changing, partially observable information about the state of the intruder and vice versa. The agent may place sensors at selected locations, while the intruder may recruit partners to observe the agent's movement. We formulate the problem as a two‐person zero‐sum game, and develop efficient algorithms to compute each player's optimal strategy. The solution to the game will help the agent choose sensor locations and design patrol routes that can handle imperfect information. First, we prove the existence of ?‐optimal strategies for POAIGs with an infinite time horizon. Second, we introduce a Bayesian approximation algorithm to identify these ?‐optimal strategies using belief functions that incorporate the imperfect information that becomes available during the game. For the solutions of large POAIGs with a finite time horizon, we use a solution method common to extensive form games, namely, the sequence form representation. To illustrate the POAIGs, we present several examples and numerical results.     

基于通用扩张状态观测器的鲁棒飞行控制方法

针对参数不确定、外界干扰与测量噪声情况下飞行控制问题,提出一种基于通用扩张状态观测器的鲁棒飞行控制方法。基于状态相关的Riccati方程控制方法对飞行器俯仰通道非线性模型进行扩展线性化;引入基于通用扩张状态观测器的控制方法,设计干扰补偿增益,实现对外界干扰的估计与补偿;通过在线解算状态相关矩阵及代数黎卡提方程,得出状态反馈增益与干扰补偿增益,实现对飞行器期望攻角的跟踪控制。与已有方法对比表明,所提方法不仅对系统模型不确定性与外界干扰具有较强的鲁棒性,而且在较大测量噪声情况下,其依然能够保证良好的跟踪控制效果,具有较强的工程应用价值。     

基于子阵结构的相控阵MIMO雷达分辨能力分析

在阵元总数一定的情况下,不同的子阵划分方式和布阵间距对不同子阵发射正交波形,子阵内发射相干波形的相控阵-MIMO雷达系统的分辨力的影响,首先通过相控阵-MIMO雷达的信号模型推导出其广义模糊函数,然后以此分析子阵结构对距离、多普勒、方位三维分辨力的影响。仿真结果表明,在阵元总数一定的情况下,子阵越多,系统距离分辨力越高,子阵越大,多普勒分辨力越高,子阵间距满足一定条件才能有较好的系统分辨力。这些结论对相控阵-MIMO雷达子阵结构设计具有指导意义。