汉字信息处理技术的发展趋势

本文讨论了中文信息处理技术发展中的几个问题,特别是关于中文信息处理系统的体系结构方式问题。这些问题是与用户密切相关的。     

数字化装甲营作战仿真实验室的支撑软件设计

介绍了数字化装甲营作战仿真实验室的支撑软件组成、结构和功能.军事指挥人员(建模人员)利用支撑软件按照自己的意图,快速制定作战想定,兵力、兵器部署的系统模型,通过系统模型的运行,实现战斗进程的逼真模拟,实施人在环、部分实装在环的装甲兵分队作战指挥对抗演习和实验,完成装甲兵分队的战术和技术训练任务,为装甲兵部队作战理论研究,人员训练,装备作战效能评估,技术保障研究和院校各专业技术人才培养提供高技术的软件平台,并且快速确定系统模型的可信度指标,为上级机关决策的合理化提供有力的支持.     

玻璃镜破坏痕迹的试验研究

本文根据一种玻璃镜的破坏试验结果,结合普通平板玻璃的有关物理性质,对玻璃镜的破坏痕迹进行了实用性的研究。认为玻璃镜的破坏痕迹不仅与造成破坏的原因有关,而且还与破坏时的条件有关。从而为分析火灾现场情况,了解火灾的各种因素提供了理论依据,为尽快查明火灾原因起指导作用。     

Minimizing the false alarm rate in systems with transient abnormality

We consider a stochastic partially observable system that can switch between a normal state and a transient abnormal state before entering a persistent abnormal state. Only the persistent abnormal state requires alarms. The transient and persistent abnormal states may be similar in appearance, which can result in excess false alarms. We propose a partially observable Markov decision process model to minimize the false alarm rate, subject to a given upper bound on the expected alarm delay time. The cost parameter is treated as the Lagrange multiplier, which can be estimated from the bound of the alarm delay. We show that the optimal policy has a control‐limit structure on the probability of persistent abnormality, and derive closed‐form bounds for the control limit and present an algorithm to specify the Lagrange multiplier. We also study a specialized model where the transient and persistent abnormal states have the same observation distribution, in which case an intuitive “watchful‐waiting” policy is optimal. © 2016 Wiley Periodicals, Inc. Naval Research Logistics 63: 320–334, 2016     

CON/SLK due date assignment and scheduling on a single machine with two agents

We consider scheduling problems involving two agents (agents A and B), each having a set of jobs that compete for the use of a common machine to process their respective jobs. The due dates of the A‐jobs are decision variables, which are determined by using the common (CON) or slack (SLK) due date assignment methods. Each agent wants to minimize a certain performance criterion depending on the completion times of its jobs only. Under each due date assignment method, the criterion of agent A is always the same, namely an integrated criterion consisting of the due date assignment cost and the weighted number of tardy jobs. Several different criteria are considered for agent B, including the maxima of regular functions (associated with each job), the total (weighted) completion time, and the weighted number of tardy jobs. The overall objective is to minimize the performance criterion of agent A, while keeping the objective value of agent B no greater than a given limit. We analyze the computational complexity, and devise polynomial or pseudo‐polynomial dynamic programming algorithms for the considered problems. We also convert, if viable, any of the devised pseudopolynomial dynamic programming algorithms into a fully polynomial‐time approximation scheme. © 2016 Wiley Periodicals, Inc. Naval Research Logistics 63: 416–429, 2016     

武警部队在执勤中对非法小型无人机防范问题探究

小型无人机的装备使用可以大大提高武警部队遂行任务中的侦查能力,但不法分子也同样在利用无人机对执勤目标进行监视和窃密,甚至利用无人机进行袭击和破坏。维护执勤目标安全稳定是武警部队的神圣职责,在执勤中防范和打击非法无人机,防止其进行袭击和破坏是一个值得研究的新课题。文章提出了"硬打击""软打击"防御无人机方法,研究表明,装备呈多样性,智能化和一体化趋势。     

大型稀疏线性代数迭代库在YH 机上的高效实现

本文讨论了大型稀疏线性代数方程组的迭代算法、加速方法、存贮技术及并行算法。结合向量机特点,采取有效程序优化措施,开发研制了标量和向量库程序。在ＹＨ系列机上试算结果表明：大型稀疏线性代数向量迭代库比标量迭代库速度有较大提高。当Ｎ≥１００时,在ＹＨ─１机上加速比约２～８;在ＹＨ─２机上约２～７;当迭代次数增加时,加速比提高更明显;库中共轭梯度（ＣＧ）加速方法能有效地加快收敛,可减少迭代次数一半以上。     

部分参数不确定线性系统的鲁棒控制

本文研究了部分参数不确定的线性系统在有界能量噪声作用下的控制问题,即参数鲁棒性控制问题。具有准确模型的飞机在不准确气动参数信息条件下的飞行控制就是一个典型例子。我们先把它简化为一个带正参数的Ｈ∞控制问题,然后采用Ｊ无损分解方法,推导了调节问题的可解性条件和动态反馈控制器的全部显式通解。     

用逆滤波基音同步分析提取声门波的方法

根据语音研究的要求,提出一种运用逆滤波基音同步分析提取声门波的方法,此方法可以比较准确地提取声门波。文中讨论了这种方法的原理、实现及其结果。     

语义树方法及其可靠性和完备性

Ａｎｄｒｅｗｓ在《ＡｎＩｎｔｒｏｄｕｃｔｉｏｎｔｏＭａｔｈｅｍａｔｉｃａｌＬｏｇｉｃａｎｄＴｙｐｅＴｈｅｏｒｙ：ＴｏＴｒｕｔｈＴｈｒｏｕｇｈＰｒｏｏｆ》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法,但其中关于语义树方法的可靠性和完备性定理（３２０１）及其证明是错误的。本文通过例子指出并纠正了这一错误,同时对修正后的可靠性和完备性定理给出了详细的证明。