非正弦波SAR的方位向分辨力

为研究非正弦波SAR的方位向分辨力 ,从波束形成的角度分析了非正弦波SAR的方位向聚焦原理 ,导出了基于矩形脉冲和高斯脉冲的合成孔径天线阵列方向图表达式 ,并与常规窄带SAR进行比较 ,指出影响非正弦波SAR方位向分辨力的主要因素为合成孔径长度和信号带宽 ,而与信号载频无关。     

一种基于辩论的协作型CGF分层协商模型

针对作战仿真对人类行为表示(HBR)的准确性要求,建立真实反映战场行为的冲突消解模型是非常重要的.根据已有研究的不足和冲突行为分析,提出了基于辩论的协作型计算机生成兵力(CGF)分层协商模型,在给出相关定义的基础上,研究了冲突下的协商行为过程,实现了基于效用理论的论据强度定量评估算法,算法用于实现首选议题的选取和共同信...     

基于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.     

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;若采取平行搜捕策略,上述因素对其影响大幅下降。可见,该方法综合考虑了目标机动规律、传感器探测规律、导弹搜捕策略,可实现远程反舰导弹机动搜捕概率的解算。     

DSOCC：面向区分服务的拥塞控制

在区分服务(DiffServ)中使用确保转发(AssuredForwarding)进行TCP传输,存在带宽分配不公平问题。已有的工作没有综合考虑订购带宽、报文大小、RTT(RoundTripTime)对TCP性能的影响。为了解决TCP在DiffServ中的公平性问题,提出了面向区分服务的拥塞控制算法DSOCC(DiffServ OrientedCongestionControl)。通过模拟验证了该算法的有效性。     

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

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

21世纪无人机关键技术

无人机因其独特而优异的战术性能,在近几次现代局部战争中得到了越来越广泛的应用,执行的任务也越来越多。从未来无人机的军事需求及其战术性能入手,结合技术发展趋势和发展可行性,对未来无人机发展需要的一些关键技术进行了分析研究,这些关键技术对提高未来无人机的战术性能具有重要作用。     

Optimal inventory control policy for periodic‐review inventory systems with inventory‐level‐dependent demand

We consider a setting in which inventory plays both promotional and service roles; that is, higher inventories not only improve service levels but also stimulate demand by serving as a promotional tool (e.g., as the result of advertising effect by the enhanced product visibility). Specifically, we study the periodic‐review inventory systems in which the demand in each period is uncertain but increases with the inventory level. We investigate the multiperiod model with normal and expediting orders in each period, that is, any shortage will be met through emergency replenishment. Such a model takes the lost sales model as a special case. For the cases without and with fixed order costs, the optimal inventory replenishment policy is shown to be of the base‐stock type and of the (s,S) type, respectively. © 2012 Wiley Periodicals, Inc. Naval Research Logistics, 2012