基于生命周期理论的军事环境安全策略

探讨了军事环境安全概念,并运用生命周期理论对国家军事环境安全的保障措施和宏观策略进行了初步研讨。军事活动一般可分为计划规划、具体实施和事后评价3个阶段。为了在新形势下更加经济、高效地保障国家军事环境安全,首先要加大军事活动环境影响评价力度、采用对环境破坏小的战法并在军购中推行环境准入制,即尽量从源头上控制重大环境问题出现。考虑到战争的特殊性,需要在战前预先储备必要的生态环境修复技术。     

基于SAT的电路错误定位方法研究进展

随着VLSI芯片复杂度不断增加,功能验证与调试已占到整个芯片设计周期的60%以上。而错误的定位往往消耗大量的时间与精力,因此迫切需要一种高效的方法诊断与定位电路中的错误。针对近年来出现的许多电路错误定位方法,介绍了电路错误诊断方法的分类与工作流程,深入分析了基于SAT的错误定位方法的基本原理;对各种算法进行了概述评论,并简要介绍了在不可满足子式求解方面所做的一些研究工作,而不可满足子式能够显著提高错误定位效率与精度;讨论了电路错误定位技术所面临的主要挑战,并对今后的研究方向进行了展望。     

Disruption management in production planning

We study the problem of recovering a production plan after a disruption, where the disruption may be caused by incidents such as power failure, market change, machine breakdown, supply shortage, worker no‐show, and others. The new recovery plan we seek after has to not only suit the changed environment brought about by the disruption, but also be close to the initial plan so as not to cause too much customer unsatisfaction or inconvenience for current‐stage and downstream operations. For the general‐cost case, we propose a dynamic programming method for the problem. For the convex‐cost case, a general problem which involves both cost and demand disruptions can be solved by considering the cost disruption first and then the demand disruption. We find that a pure demand disruption is easy to handle; and for a pure cost disruption, we propose a greedy method which is provably efficient. Our computational studies also reveal insights that will be helpful to managing disruptions in production planning. © 2005 Wiley Periodicals, Inc. Naval Research Logistics, 2005.     

基于HLA的信息化陆战场多传感器仿真系统研究

多传感器是实现未来信息化陆战场“网络中心战”概念的一组必要的装备系统。着眼于为信息化陆战场信息采集与信息融合等方面项目先期概念技术演示提供仿真平台,提出了多传感器系统模型,重点研究了基于HLA的信息化陆战场多传感器仿真系统的总体框架及其设计,为该仿真系统的建立和仿真实施提供了技术支持。     

虚拟现实技术在军事领域的应用及对未来战争的影响

虚拟现实是一种全新的人—机交互环境,它为人类提供了一种全新的认识世界、改造世界的手段。介绍了虚拟现实的基本概念、特性、分类、构成、虚拟现实技术在军事领域的应用及虚拟现实在未来战争中的影响。     

雷达空间目标识别仿真系统设计

设计了基于雷达观测的空间目标识别仿真系统,分析了主要功能组成、仿真系统技术关键,介绍了ISAR成像技术及雷达空间目标RCS预估系统的组成和方法,仿真实践证明,该系统具有一定的实用价值。     

装甲兵作战仿真系统信息存储与回放

在分析DIS信息结构和数据库的基础上,对基于DIS的装甲兵作战仿真系统信息存储与回放进行了研究,并将其应用于装甲兵作战仿真实验室的建设中,收到了良好的效果.     

NCO相位截断对频域抗干扰性能影响分析

频域抗干扰易于工程实现、窄带干扰抑制性能好,是目前全球卫星导航系统(Global Navigation Satellite System,GNSS)抗干扰接收机中广泛采用的抗干扰算法。频域抗干扰接收机普遍采用数控振荡器(numerically controlled oscillator, NCO)生成本振信号。由于硬件约束,通常需要对NCO进行相位截断。而NCO相位截断是否合理对抗干扰性能影响较大。针对该问题,从NCO相位截断导致的本振杂散着手,从理论上分析其对混频和频域抗干扰环节的影响。在此基础上,给出一种NCO查找表地址位宽的理论计算模型,使得接收机的载噪比损耗接近无NCO相位截断的频域抗干扰接收机。仿真表明,抑制带宽大于100kHz、干信比小于80dBc的窄带干扰时,计算的NCO查找表地址位宽不超过10bit。无NCO相位截断的频域抗干扰接收机相比,采用NCO混频的抗干扰接收机的载噪比损耗最多增加0.6dB。     

基于搜索论的远程反舰导弹搜捕概率建模方法

针对传统捕捉概率模型难以满足远程反舰导弹机动搜捕概率建模计算的问题,提出利用搜索论进行导弹机动搜捕概率计算的建模方法。该方法根据目标机动规律建立其分布概率密度函数,并依据末制导雷达发现目标概率的"倒四次方律"及弹目相对运动轨迹,构建其探测函数,通过求取两者之积的积分实现搜捕概率计算。计算结果显示:若远程反舰导弹不采取机动搜捕策略,目标指示误差增加1km时搜捕概率降低0.47,目标速度增加10节时搜捕概率降低0.3,末制导雷达搜索半径减小50%时搜捕概率降低0.3;若采取平行搜捕策略,上述因素对其影响大幅下降。可见,该方法综合考虑了目标机动规律、传感器探测规律、导弹搜捕策略,可实现远程反舰导弹机动搜捕概率的解算。     

基于任务和角色的分布式工作流安全模型

针对现有基于角色访问控制的缺陷和分布式工作流管理系统的特性,在传统的基于角色的访问控制模型中引入任务集(Tasks)、任务实例集(TaskInstances)和任务上下文(TaskContext)的概念,将传统的user role permission权限赋予结构修改为user role task permission权限赋予结构,建立了基于任务和角色的访问控制模型,给出了其形式化定义。该模型解决了传统的基于角色访问控制中的动态适应性差和最小权限约束假象的问题,用于分布式工作流管理系统,提高了安全性、实用性。