The reporting time problem: Integration of intelligence with verification

This article is a theoretic study of the following problem in verification: Mobile units under control of an agent, whom we call the HIDER, travel on a known transportation network and must at the conclusion of their itinerary report locations at fixed time intervals to a monitoring authority, whom we call the SEEKER. The purpose of this reporting requirement is to verify that illegal units do not infiltrate the network from sources under the control of the HIDER. We assume that the SEEKER has an independent intelligence-gathering capability which gives sightings of both legal and illegal units. The purpose of this article is to quantify the advantage of frequent over infrequent reporting. © 1992 John Wiley & Sons, Inc.     

Northwest corner and banded matrix approximations to a Markov chain

In this paper, we consider approximations to discrete time Markov chains with countably infinite state spaces. We provide a simple, direct proof for the convergence of certain probabilistic quantities when one uses a northwest corner or a banded matrix approximation to the original probability transition matrix. © 1999 John Wiley & Sons, Inc. Naval Research Logistics 46: 187–197, 1999     

剧场建筑造型的个性与内涵表达

剧场建筑形象地位突出,文化内涵丰富,是城市发展和建设的标志性建筑之一。在其造型的创作上,鲜明的个性和内涵表达可以充分体现城市的文化风貌和艺术特质。从演出类型、传统文化、地域特色、政治需求四个方面分析了剧场建筑个性与内涵的出发点,探讨了其个性与内涵的表达原则,并结合实例分析,认为几何元素的综合运用、自然形态的提炼转化、建筑文化思潮的多元表达是体现剧场建筑个性与内涵的主要表达方法。     

导弹武器维修保障装备规模优化

维修保障装备是在信息化条件下的导弹武器保持良好技术状态的关键组成部分。首先阐述了维修保障装备的概念,对维修保障装备体系结构进行了描述;然后立足于系统动力学理论,建立了考虑攻防对抗的维修保障装备规模优化SD模型,深入开展了维修保障装备配置仿真分析,得出了一些有意义的结论,并验证了模型及方法的有效性。     

某小型武器稳定系统的建模及仿真

针对某小型武器稳定系统稳定精度差的问题,构建了其控制系统的数学模型,通过仿真施加试验台架扰动信号,对现系统采用的传统PID控制器进行仿真计算,得到其动态稳定精度,并把得到的和定型试验稳定精度数据对应的外扰模拟信号作为改造后系统的标准扰动输入,对线性自抗扰控制器进行了比对仿真研究.仿真结果表明,系统采用线性自抗扰控制器具有响应速度快、稳定精度高、抗扰能力强的优点.这一方法得到的仿真结果和实车具有较高一致性,可以有效解决实车参数调试困难的问题.     

Optimal number of minimal repairs before replacement of a system subject to shocks

A system is subject to shocks that arrive according to a nonhomogeneous Poisson process. As shocks occur a system has two types of failures. Type 1 failure (minor failure) is removed by a minimal repair, whereas type 2 failure (catastrophic failure) is removed by replacement. The probability of a type 2 failure is permitted to depend on the number of shocks since the last replacement. A system is replaced at the times of type 2 failure or at the nth type 1 failure, whichever comes first. The optimal policy is to select n* to minimize the expected cost per unit time for an infinite time span. A numerical example is given to illustrate the method. © 1996 John Wiley & Sons, Inc.     

V-调频信号抗移频干扰的方法研究

简单介绍了V-调频信号的时频特点,以及V-调频信号对距离-速度二维信息的测量。研究了移频干扰对V-调频信号的干扰效果。针对移频干扰,利用V-调频信号的脉压特点,提出了一种抗移频干扰的方法,通过该方法,能够从受到移频干扰的V-调频信号的回波中获得单个运动目标的距离和速度信息。最后,通过仿真验证了这一结论。     

防空体系中的光电对抗技术

为了有效对抗精确制导武器,在防空体系中大力发展光电对抗技术具有十分重要的意义。简述了防空体系中可以采用的几种光电对抗技术。     

基于OSG的地形多分辨率四叉树模型

针对大地形数据量庞大的特点,建立了地形多分辨率四叉树模型,构建了该模型的存储结构,即采用大数据文件加索引文件的形式进行存储,采用该存储结构可快速读取到需求数据,并阐述了数字高程模型(Digital Ele-vation Model,DEM)数据和纹理数据的存储步骤;设计了数据的并行多线程调度机制,该调度机制采用共享内存策略实现同步,确保了信息处理高效、有序地执行.结果表明:该模型在OSG中能够按需快速加载地形数据,实现高效渲染.     

一种长时长混合通信信号的分离重建方法

对于无线通信系统中的长时长混合通信信号,接收机是将其分成多个时间段依次进行接收分离的。但是分离中固有的不确定性会使得相邻时间段分离出的各路信号在序号、相位和幅度上不完全相同,这将导致相邻时间段分离出的各路信号不能正确相连接,合成各路完整的接收信号。文章针对这种信号在进行分段处理时因分离不确定性引起的问题,提出了一种分离重建方法,并通过MATLAB仿真试验验证了该方法的有效性。理论分析和仿真试验表明:与文献[9]中基于估计混合矩阵列向量相关性方法相比,该方法在一定条件下具有更好的性能。