基于数据仓库的装备维修经费综合预算管理信息系统设计

针对我军装备维修经费综合预算管理的内容和特点,提出了以综合预算数据库为基础、以预算分析数据仓库为中心、以操作数据存储为支撑、以联机分析处理和数据挖掘为手段的装备维修经费综合预算管理信息系统的结构模型,阐述了综合预算数据库和预算分析数据仓库设计、预算数据分析与数据挖掘模型构建的基本内容,为装备维修经费综合预算管理信息系统开发提供了新的体系框架。     

基于MDA的MARTE模型形式化转换

非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。     

自适应RWA算法解决WDM网络静态业务规划问题

文章着重研究WDM网络静态规划。在规划中通过动态的、自适应的调整资源的权重,这样就能在规划中使业务主动规避某些资源稀少的路径,在保障网络性能的前提下提高网络的整体业务承载能力。文中利用分别在K短路径上建立辅助图的方法,以自适应权重反映网络资源的利用情况来解决RWA问题,并在K短路径中择优采用路由和波长分配方案。将结果与之前提出的启发算法做了对比,性能较优。另外针对概率模型的波长分配方案中存在的资源利用率不高的特点,做了线性权重自适应方程来调节波长资源的权重,实验结果证明后者对资源的利用率较前者更高。     

一种基于身份签密的卫星网络安全路由协议

文章在分析卫星网络路由协议的基础上,针对现有卫星网络路由缺少安全机制的问题,引入基于身份的签密方案,设计了一种适用于卫星网络的安全路由协议。该协议很好地结合了基于身份密码学以及签密的特点,避免了证书机制复杂的处理过程。分析表明,该协议具有较好的安全性,能够抵御常见的路由攻击,有效地提高了卫星网络路由的安全性。     

基于无证书的卫星网络密钥管理方案

针对现有密钥管理方案不适用于卫星网络的问题,文中设计了一种基于无证书的卫星网络密钥管理方案。利用门限机制实现对主密钥的保护,避免了单点失效问题。引入无证书密码机制,实现安全的私钥更新和会话密钥协商。通过更新申请时刻合法性判断机制,有效地抵御了拥有合法身份的恶意节点发起的拒绝服务攻击。该方案避免了密钥托管问题,而且不需要复杂的双线性对运算。分析表明,该方案满足安全性需求,而且具有较好的效率。     

机载平台野外立体场景弱小变化目标检测

提出了一种针对机载序列图像的野外立体场景弱小变化目标检测新方法。为了补偿平台运动,提出了一种级联图像配准模式,即首先通过生物视觉方法对待检图像进行快速粗配准,然后通过不变系数最小二乘匹配进行精配准;为了补偿图像间的灰度变化,提出了直方图一致性变换方法,该方法不仅可以处理线性灰度变化而且可以处理非线性灰度变化;为了弱化场景立体效应影响,提出分子区的方法,即通过将图像划分为若干子区,各对应子区独立求解仿射参数,使得待检图像不同位置子区可以对应不同几何变换参数。光电吊舱真实图像变化检测实验,证明了文章方法的正确性和有效性。     

贝叶斯网络的编队对地攻击作战效能评估

针对影响编队作战效能的不确定性因素,提出基于灰色模糊贝叶斯网络的作战效能评估模型.该模型首先将不确定性因素分为灰色模糊域和概率域两大类,然后在灰色模糊域使用灰色模糊综合评判对不确定性因素进行评判,并运用可能性概率转换理论将评判结果转换为概率域知识,最后在概率知识域使用贝叶斯网络推理算法得到作战效能评估指标值.实例计算表明,该方法能够较好地量化处理不确定性知识,具有一定的实用性.     

基于协同学的编队协同空战任务决策

基于协同学理论给出了编队协同空战系统的协同学框架;提出了编队协同作战方案的五元组定义,明确了影响系统进程的序参量;基于系统有序度与协同度的概念,构建了协同效能优化模型;以任务冲突检测与消解为依据给出了任务决策的约束条件;最后以二进制粒子群优化算法对此约束优化问题进行了求解.仿真结果表明,以协同学理论描述编队协同任务决策问题是可行的,构建的协同效能模型与任务决策方法在处理编队时序任务决策问题时是有效的.     

多阶段任务系统可靠性并联冗余优化模型

多阶段任务系统是一类普遍存在的复杂系统,研究其可靠性冗余优化对于该类系统设计具有重要的参考价值。针对多阶段任务系统的可靠性并联冗余优化问题,提出了采用冗余故障树和冗余BDD来描述系统冗余结构的方法。给出了冗余模块在多阶段任务系统中的可靠度计算方法,建立了整个冗余多阶段任务系统可靠度计算模型。在此基础上以费用最小为目标,构建多阶段任务系统可靠性冗余优化模型,并应用微粒群算法对模型进行求解。算例验证了模型的合理性及算法的有效性。     

对数正态分布的维修时间均值检验方法

针对许多装备维修时间服从或近似服从对数正态分布,从对数方差已知或未知两种角度,在控制单方或双方风险的基础上,提出了维修时间均值的检验方法,并通过实例验证了检验方法的实用性。