基于维特比算法的无人机航路规划

提出采用隐马可夫模型(HMM)建立无人机飞行中威胁评估模型,利用HMM中维特比(Viterbi)算法实现了对威胁评估,确定无人机飞行中的航路;提出采用快速排序算法改进Viterbi算法的效率;采用三次样条插值修正航路点附近过大尖角。仿真表明：具有自主学习的Viterbi算法可以有效地完成无人机航路规划,改进算法可以更有...     

军用软件自测试实践与分析

随着军用软件规模和数量的不断增长及其在信息能力方面的提升,军用软件质量已成为确保军事工程质量的关键,而推行软件测试以提高军用软件质量更是成为紧迫之举。通过对军用软件自测试现状进行分析,以软件承制方的身份对某军用软件进行自测试,并将测试结果与专业测评机构三方测试的结果做对比分析,论述了军用软件自测试是保证军用软件质量的重要途径和必备手段。     

面向新任务插入的电子侦察卫星任务规划方法

针对电子侦察卫星在执行初始侦察计划的过程中新任务动态到达的情况,以最大化完成任务优先级之和,并使新任务到达后,对原侦察计划调整最小为目标,建立了具有两级优化目标的动态约束满足模型,提出了一种基于启发式规则的动态插入算法,最后通过仿真实例,对模型和算法进行了验证,实验结果表明算法一定程度上能够满足卫星新任务插入后使得原始...     

维修保障装备数量需求分析方法

规模适当的维修保障装备体系既能充分发挥维修保障能力,又不会造成装备冗余.目前在分析维修装备数量需求时,都是以定性分析为主,缺乏必要的定量分析.针对维修保障装备与维修能力满足度之间的不确定关系,利用模糊回归分析求得它们之间的相关函数和自相关函数,并建立线性规划模型,以此优化维修保障装备数量.该方法能在一定程度上定量化模糊...     

基于AHP的应急机动通信系统效能评估

随着应急机动通信在未来空军作战中的作用日益增大,如何具有针对性地建设应急机动通信系统已成为空军关注重点.通过分析应急机动通信系统的活动特点和影响因素,运用层次分析法构建了指标体系模型,并提出各项指标的判别标准,最后结合算例来验证指标选取的合理性.     

Monitoring poisson count data with probability control limits when sample sizes are time varying

This article considers the problem of monitoring Poisson count data when sample sizes are time varying without assuming a priori knowledge of sample sizes. Traditional control charts, whose control limits are often determined before the control charts are activated, are constructed based on perfect knowledge of sample sizes. In practice, however, future sample sizes are often unknown. Making an inappropriate assumption of the distribution function could lead to unexpected performance of the control charts, for example, excessive false alarms in the early runs of the control charts, which would in turn hurt an operator's confidence in valid alarms. To overcome this problem, we propose the use of probability control limits, which are determined based on the realization of sample sizes online. The conditional probability that the charting statistic exceeds the control limit at present given that there has not been a single alarm before can be guaranteed to meet a specified false alarm rate. Simulation studies show that our proposed control chart is able to deliver satisfactory run length performance for any time‐varying sample sizes. The idea presented in this article can be applied to any effective control charts such as the exponentially weighted moving average or cumulative sum chart. © 2013 Wiley Periodicals, Inc. Naval Research Logistics 60: 625–636, 2013     

一种新型的信息网络安全接入认证模型

接入认证是网络安全防护中的第一道屏障,是实施访问控制的基础.通信安全几乎总是开始于身份认证的握手过程,因此,认证机制对于保证整个网络系统的安全性具有十分重要的意义.在深入研究现有的网络接入认证架构基础之上,提出了一种新的通用的网络接入认证模型并详细说明了认证流程,其中,不仅要求用户使用数字证书进行入网认证,更重要的是在其使用网络资源期间,将对其进行持续的刷新认证及网络行为的信任评价,以此确保用户身份的持久可信性并预防潜在的网络攻击.     

螺旋矢量微分方程的推证

介绍了捷联惯导算法中的螺旋矢量算法,推导了螺旋矢量与姿态位置对偶四元数的数学关系,并在此基础上进一步推导证明了螺旋矢量微分方程.结果表明,螺旋矢量微分方程与旋转矢量微分方程具有形式上的一致性.     

恒速偏频激光陀螺系统航向敏感误差的在线标定与补偿

以单轴恒速偏频激光陀螺系统为研究对象,建立了静基座初始对准时系统中标定参数变化误差对航向敏感误差影响的数学模型。为克服外场测试环境下难以分别精确估计各标定参数的限制,提出将安装关系矩阵参数误差对航向敏感误差的作用视为一个整体进行标定;不需要外部基准,即可基于最小二乘算法实现航向敏感误差系数的在线标定。采用标定得到的航向敏感误差系数,利用原理样机进行了在线补偿精度实验测试。实验结果表明,所提出的在线标定与补偿方法能够有效消除航向敏感误差,提高初始对准航向角精度。     

基于呼叫状态的IMS业务触发算法

在IMS会话和和业务控制过程中,随着业务量的增长,S-CSCF面临的负载急剧增加,3GPP原有IMS业务的集中控制方式极易形成性能“瓶颈”,从而影响系统服务质量。为降低会话时延,提高系统性能,本文在研究基于分组的业务触发算法和基于呼叫状态的业务触发算法基础上,提出了一种基于呼叫状态的分组业务触发算法（C-GSTA）,并对其进行性能建模和理论分析。仿真结果表明,在业务种类和业务量增加的情况下,C-GSTA算法能够有效降低S-CSCF与服务器之间的信令流量,提高IMS系统吞吐量,缩短S-CSCF处理时延,改善业务触发性能和网络服务质量。