面向C程序的测试用例自动生成实现

软件测试工具很难达到通用的目标,大多数该类工具都是具体针对某一种或几种程序语言的.对于目前我军常用的程序编写语言开发相应的软件自动测试工具是十分必要的.介绍了一个面向C程序的测试用例自动生成系统,重点阐述了其系统结构的构成以及所采用的一个新的搜索寻优算法.该算法有效地改善了前有算法的一些缺陷,显示出不错的效果.     

线性方程组迭代解法的另类矩阵形式

改进了线性方程组迭代解法的矩阵形式．以最简单的Jacobi迭代法的迭代矩阵为基础,只需经过简单的加减和数乘运算就可得到Seidel和SOR的迭代过程,使得算法新形式的求解过程数学意义非常明确,表达形式也非常简洁,这样不仅便于理解记忆,还非常有利于编程实现。改进后的矩阵迭代形式求解计算量为:Seidel需要大约n2次乘除法．SOR约为2n2次乘除法,且改进后的Seidel迭代法和SOR方法存储空间也较传统形式为少。     

莫言诺奖演讲词“故事化”策略浅析

莫言诺奖演讲词《讲故事的人》最显著的特色之一是从自身的生命感悟、创作经历和审美体验出发,慧眼独具地选取了“故事化”策略。这分别在结构、情感、象征及语言等维度上得以成功体现,从而使该演讲构思巧妙,情深意浓,蕴含深湛,耐人寻味,极具诗意风格,给人以莫大的心灵震撼与深层共鸣。该演讲是了解莫言最直接最鲜活之源。研究它,不仅可透见莫言的演讲特色,还可清楚把握其对自己创作的精彩总结与精神世界的自我剖析,尤其是从“故事化”策略的成功运用中挖掘到其心灵世界、创作历程与精神个性的方方面面。     

Enhancing Political Cohesion in NATO during the 1950s or: How it Learned to Stop Worrying and Love the (Tactical) Bomb

This article argues that the perceived need by NATO to nurture political cohesion within the Alliance during the 1950s resulted in the adoption of strategic concepts that were out-of-step with the military environment in which it was operating. It maintains that the Alliance acquiesced to American leadership on nuclear issues which led to the development of tactical nuclear capabilities at the expense of conventional war-fighting capabilities for the defence of the European Central Front. This resulted in a strategic concept that enhanced political cohesion but was militarily unviable.     

混合攻击机机群在空战中的最优控制策略

研究了混合攻击机机群在对由截击 -歼击机机群组成的敌国土防空系统进行突防过程中的最优控制方法 ,以攻击机的最小突防损失为战效指标 ,给出了其最优控制策略。     

‘Mad Dog?’ Samuel Huntington and the Vietnam War

Harvard professor Samuel P. Huntington has frequently been considered a Vietnam War hawk. His observation that ‘forced-draft urbanization’ might help the United States win the war has come to define his engagement in contemporary strategic debates. This essay argues that both Huntington’s academic work and his private policy advice to the U.S. Government in fact urged a political settlement to the conflict. It argues that in spite of this, Huntington refused to break publicly with the U.S. policy because of his wider concern over what he saw as a crisis of authority in the U.S. foreign policy and governing institutions in the era.     

关于A-增生算子的广义变分包含的Mann-型迭代算法

通过研究A-增生算子的性质,延伸了关于H-增生算子的预解算子概念到新的A-增生算子。通过进一步运用A-增生算子的预解算子技巧,考虑了一类新的关于A-增生算子的广义变分包含,并提出了一种Mann-型迭代算法来逼近此类广义变分包含的解。最后证明了新的一类广义变分包含解的存在性和唯一性,并讨论了由此Mann-型迭代算法产生的迭代序列的收敛特征。     

基于自适应遗传算法的配送型多级库存优化研究

研究了由1个战役仓库、多个战术仓库组成的配送型系统的优化问题,建立了战术仓库使用经济订货批量策略和战役仓库采用4种不同订货策略时的模型,并采用自适应遗传算法实现了模型的求解,实例验证了模型及算法的有效性。     

基于自适应变异粒子群算法的火力分配方法研究

针对最优火力分配的特点,分析了火力分配优化问题的数学模型,设计了一种求解该类问题的自适应变异粒子群算法（Adaptive Mutation Particle Swarm Optimization, AMPSO）。该算法采用十进制编码方法和基于数值运算的个体更新方法;为平衡算法的局部搜索能力和全局收敛性能,设计了一种关键参数自适应调整方法;为增强种群在进化后期的多样性,提出了一种变异策略。仿真结果表明,所提AMPSO算法具有良好的寻优性能,是优化火力分配的一种有效算法。     

增强军校本科学员指挥谋略能力研究——基于计算机兵棋系统

对指挥谋略进行概念分析,确定基于计算机兵棋系统的指挥谋略训练内容;明确计算机兵棋推演的一般步骤和注意事项;以联军2004年11月"破晓"行动为例运用计算机兵棋系统进行指挥谋略训练。研究表明,基于计算机兵棋系统运用战例研究可以成为增强军校本科学员指挥谋略的训练模式。