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

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

对策理论的防空作战决策级融合模型

随着防空C3I系统的发展,防空作战决策的过程较以往更为自动化,用于生成各种作战辅助决策方案的计算机模型也具备随着作战环境改变所表现出一定的自适应调整的特征.影响防空作战决策结果正确性的因素众多,表现这些因素的信息有些是冲突的,为得到更为准确、有效的决策方案,各类冲突信息的处理成为防空作战的核心问题.构造了一种在冲突信息环境下基于对策理论的融合模型,以对策理论的相关算法实现了融合中心各类信息的交互决策.实践表明,这一融合模型能有效地解决防空作战决策中各类信息的综合处理问题,具有一定的实用价值.     

论消防出警的交通肇事与义务冲突

消防出警时存在着尽快赶赴现场与确保交通安全的义务冲突,如果因超速行车造成严重后果时,可以以义务冲突作为免责的理由,而不能对行为人以交通肇事罪论处。     

俄乌冲突对南海局势的影响与中国应对

迄今,俄乌冲突已持续一年有余,战火不仅给俄乌两国和周边地区造成破坏,其影响也在不断外溢,引起南海局势的变化。针对俄乌冲突,南海各声索国的立场不一。俄乌冲突对南海局势的影响体现在外交政策、双边贸易和能源开发等方面。为应对南海局势变化带来的冲击,我国有必要在多方面采取应对措施,维护海洋利益。     

俄乌冲突中的航空弹药弹目匹配及毁伤效果分析

系统梳理、归纳了俄乌冲突中的俄空射巡航导弹、高超声速导弹、反辐射导弹、反坦克导弹以及制导与非制导炸弹等航空弹药概况及其作战使用情况;结合俄乌冲突战场实际,按照不同目标类型,重点对工业设施、军事设施以及兵器装备等目标打击的武器弹药选择以及毁伤效果进行了梳理与分析;最后从弹目匹配选择、用弹量选择与储备以及高尖端航空弹药研制与作战使用等方面给出了几点启示与建议,以期为武器作战使用、任务规划、毁伤方案制定等提供一定的参考与借鉴。     

基于不可信证据源与冲突重分配的证据合成方法

针对D-S证据理论在高冲突下失效的问题,在比较修正原始证据源和重新分配冲突两种方法的基础上,提出一种新的合成规则,新方法用可信度修正证据的同时,把全局冲突分为两部分,并依据"全局冲突在全局分配、局部冲突在局部分配"的原则对冲突进行细化分配。通过仿真分析,并与其他方法比较,新的合成方法能更好地融合冲突证据,收敛速度快,具有较强的抗干扰能力。     

基于多源冲突数据聚类的态势估计方法

传统调和式态势估计方法在面对多源冲突数据时融合效果不佳。为此,提出一种基于冲突数据聚类的非调和式态势估计方法。首先利用迭代自组织数据聚类方法(ISODATA)对多源冲突数据进行聚类,然后利用频度和可信度对数据簇的重要性进行评估,最后得到态势估计结果。仿真结果表明,与传统态势估计方法相比,所提方法在融合多源冲突数据时能够得到可信度较高的态势估计结果。     

论《寒夜》人物性格的矛盾冲突

一九八0年四月,巴金在访问日本东京时的一次讲话中说：“我的生活中充满矛盾,我的作品里也是这样。爱与憎的冲突、思想和行为的冲突、理智与感情的冲突、理想与现实的冲突……这一切织成一个网,掩盖了我的全部生活、全部作品。我的每一篇作品都是我追求光明的呼声。”这是作家巴金对自己生活和创作的深刻概括。