航天测控通信系统可靠性分析的Krylov子空间投影算法

基于Markov模型对航天测控通信系统进行可靠性分析的过程中,若系统中测控通信设备数量较多,模型中的状态空间随设备数量呈指数增长,将会导致数值计算困难.提出了一种基于Krylov子空间技术的可靠性分析方法,将大规模问题投影至小规模子空间中,求得问题的近似解.实验结果证明,Krylov子空间方法的计算速度及精度优于Ross方法和前向Euler法(forward Euler method,FEM).     

长效机制带来新变化--农五师先进性教育活动综述

保持共产党员先进性教育活动开展以来,农五师党委十分注重学习效果,找准突出问题,狠抓整改落实,始终坚持“两手抓、两不误、两促进”,努力构建保持共产党员先进性活动的长效机制,全师上下呈现出4种新变化。落实科学发展观有了新思路结合边整边改,师党委进一步完善了“三重一大”工作制度,规范对人、财、物的民主议事制度,重点落实国有企业和事业单位议事规则,集中民智,体现民意,立足本职,着眼创新,明确提出了近一个时期的工作发展思路:一是认真落实科学发展观,制定好农五师国民经济和社会发展“十一五”规划;二是加快经济结构调整步伐,推进…     

基于视景仿真的野营净水车模拟训练系统设计

野营净水车装备研制成本高,如果结合实装训练,存在着数量、场地、安全因素等限制.基于这样的需求,开发基于虚拟现实的野营净水车模拟训练系统.技术实现上,应用视景仿真软件Creator的层次化结构、纹理映射和LOD等技术,建立、管理和优化模型.在Vega中设计仿真程序,通过设计碰撞检测,编辑漫游路径,实现自动漫游和基于鼠标的训练操作,且由于声音、文字效果的加入,使模拟训练更为真实.试验分析,该系统适应性好,克服了实装训练的一系列问题,提高了野营净水车的训练效率.     

基于保障时间窗的油料调拨运输模型

通过引入保障时间窗,同时考虑油料保障的时间约束和运力约束,建立了基于保障开始时间最早,并尽可能满足保障需求量的调度模型。针对问题的多目标性,基于理想点法将初始模型转化为单目标优化模型。采用粒子群算法对模型进行求解,并设计了算法编码和求解步骤。通过算例验证了模型和算法的可行性及有效性。     

多阶段任务系统可靠性分析的ROBDD算法

针对Markov方法分析多阶段任务系统(Phased-Mission System,PMS)可靠性时的状态空间爆炸问题,基于层次化建模思想,建立了PMS任务可靠性的顶层系统二维决策图(Binary Decision Diagram,BDD)模型和底层部件Markov模型。通过分析BDD中的同构节点和冗余节点,提出顶层模型构造过程中的同构节点合并策略和冗余节点删除策略。利用上述节点压缩策略生成简化模型,提高模型构造和存储效率。基于PMS部件排序规则,给出了层次化模型的递归求解方法,该方法的计算复杂度与顶层模型中的节点总数呈线性关系。通过算例分析,对比采用节点压缩策略前后的模型节点数,以及层次化方法与Markov方法的计算结果,验证了简化层次模型的正确性和有效性。     

无线网络中基于地理区域的RBAC模型

针对移动计算环境下访问控制的需求,在传统RBAC模型的基础上引入了地理区域的概念,提出了基于地理区域的RBAC模型.利用目前发展较为成熟的各种位置感知系统,获取访问者的地理位置信息;在地理区域上定义了集合运算,为避免区域的重复定义,提出了最少区域集合的概念;对改进后的模型给出了形式化定义,利用最小区域集合为角色在不同的区域分配权限,并描述了基于地理区域的RBAC模型中实现访问控制的具体步骤.     

“西部-01”演习军需保障的几点做法

2001年7月，我总队投入××××余名官兵参加了由兰州战区组织的“西部-01”演习。各级军需人员着眼实际需要，广开保障渠道，采取灵活多样的保障方式，齐心协力，高标准、高效能、高速度地完成了保障任务。