基于时滞兰彻斯特战斗模型的现代攻防对抗?

针对现代攻防对抗研究的复杂性,在分析已有的现代战争模型的基础上,充分考虑时间因素在作战中的影响,建立了反映双方对抗态势的时滞兰彻斯特战斗模型,并借助Matlab?Simulink工具箱,对模型进行了数值仿真实验。仿真结果表明：时间因素在现代攻防对抗中占据越来越重要的地位。最后依据所得结论,分别探讨了攻防双方为取得最佳战绩应当采取的对策,为武器装备发展规划、现代作战决策与军事练兵提供一定的理论指导。     

VLMC控制流软件可靠性度量方法

针对现有软件可靠性模型普遍不适用于实际软件的问题,分析了软件内部模块间控制转移机理,通过分离入口模块,提取一阶控制转移概率矩阵;弱化内部模块与出口模块间差异,重构二阶以上转移概率矩阵,在改进Cheung模型的基础上建立一个更符合软件实际的可靠性度量模型。针对变阶依赖（ VLMC）控制转移导致的可靠性度量难问题,通过对导致复杂依赖的多入多出模块进行节点扩展,将VLMC控制流转化为Markov链,利用所建立的软件可靠性模型对VLMC控制流软件进行可靠性度量。研究利用演绎推理对所建立模型进行了正确性形式化证明。最后给出了方法的实例验证。     

兵团重点项目:助力实现“两个力争、两个率先”目标

正主持人语:3月初以来,今年列入兵团十大建设领域、将重点推进的33项工程相继开复工。据悉,今年,兵团计划全社会固定资产投资1870亿元,包括33个重点项目计划投资1328亿元,占年度投资计划的71%。保障性住房、工业、服务业、能源基础重点建设项目投入资金超过百亿元,工业重点项目投资达到400亿元。中央新疆工作座谈会召开以来,兵团紧紧抓住大建设、大开放、大发展的历史性机遇,陆续实施了一批投资额大、关联度高、带动作用强的重大项目,并初步取     

爱洒北泉镇

正金奖银奖不如老百姓的夸奖。对于八师石河子总场、北泉镇医院外妇科的医护人员来说,他们最看重的不是奖状和荣誉证书,而是患者和家属的评价和口碑。3月3日,笔者来到石河子总场、北泉镇医院外妇科,正碰上妇科主任孙玉香在为一名年轻的孕妇作孕期常规体检。孙玉香所在的妇产科只有4名医生3名护士,在他们的心中,只有产妇和新生儿的平安。2012年11月的一天,朱家庄37岁的     

社区“男保姆”

正在一师四团托峰社区,流传着这样一句顺口溜:男保姆,不简单,为你去跑腿,为你做事情。讲文明,讲奉献,人人以他为榜样,社区服务大发展!顺口溜里的"男保姆"说的就是该社区党支部书记——王冰洁。被社区居民称作"男保姆",王冰洁很高兴,"社区杂七杂八的事太多,要是不能     

开车送儿上大学

正我叫吴胜勇,在九师一七团医院工作,1968年出生的我,对兵团的快速发展和巨大变化有深刻认识。我的儿子吴小东现在是大连民族学院的一名大二学生,8月25日要返校,儿子想让我开车送他到乌鲁木齐,可是我拿到驾照时间不长,跑长途有些为难,最后,我答应送他到一七团去乌鲁木齐的必经之路——铁厂沟,到那里再转车。为此,他还不太乐意,其实,他并没有体会到,现在的生活有多么幸福。我的父亲吴炳忠是1959年参军的,1964年复员后,响应国家号召,支援新疆建     

新时代高校构建“大思政课”育人体系的实践路径

“大思政课”建设是推动新时代思想政治理论课程高质量发展的重要手段。进一步构建“大思政课”育人体系,必须坚持守正和创新,在全面理解“大思政课”深刻内涵的基础上坚守思想政治理论课课堂教学主渠道,坚持促进多主体合作育人,以建立“家校社”联动机制为目标基础,以落实立德树人根本任务为导向。在思政小课堂和社会大课堂之间建立桥梁,促进“大思政课”育人体系构建的实践路径的实现。     

基于HLA的地空导弹指控模型仿真

基于HLA标准开发仿真系统已成为分布式仿真系统实施的一个热点。对基于HLA标准的地空导弹指控模型仿真进行了探讨,并分析了给出的HLA模型。此种方法可有效地提高系统的开放性、重用性和可扩展性,为地空导弹武器系统仿真提供了新手段,对于其它武器系统的建模与仿真也具有参考价值。     

地面防空火力配系方案评估模型

地面防空火力配系方案的选择,是防空兵火力配系的关键环节,其合理与否,直接关系到作战效能的发挥和防空作战的成败。根据防空作战的实际,提出了地面防空火力配系方案评估的准则,在对评估准则的建模要素进行分析的基础上,构建了每个准则的计算模型,并给出了评估模型的计算方法,提供了模型应用的一般程序。     

多武器系统的火力分配模型

目前对于单一兵器火力分配问题的解决方法比较成熟,然而由于在现代防空作战中,经常是多种类型的兵器联合进行防空,故需要对多种不同类型的兵器的火力分配问题进行探讨。这里针对多种不同类型的兵器毁伤多个目标的问题,建立了数学模型,进行了深入的探讨。按照模型的特殊性,定义了映射、邻域和连通的概念;同时针对模型,将遗传模拟退火算法进行了一定的修改,并利用此算法对模型进行了最优化求解。最后,实例的计算结果表明该算法对于模型的求解具有较好的收敛性。