基于最少谓词思想的可达路径选择

对于结构测试中的不可达路径问题,仅仅使用传统的不可达路径排除方法存在很大的限制性,应用效果一般.积极选择可达路径的思想可有效减少不可达路径的产生.目前,基于最少谓词思想的路径生成方法得到广泛的认可.了解可达路径选择思想后,主要介绍一种基于数据流信息的,具体应用基本程序切片技术来生成可达路径的方法,该方法可生成几乎有最少谓词的路径,有较好效果.     

基于工程设计法的射程优化

射程是弹道导弹的重要性能指标,飞行程序选择对充分发挥导弹运载能力,提高射程具有重要影响。针对此问题,利用工程设计法的实现容易、计算量少的优点,将以飞行程序为设计对象的最优控制泛函问题转化为参数优化问题。在此基础上,建立弹道运动模型和优化模型,并应用粒子群算法进行参数优化,求解最大射程弹道。结果表明,基于工程设计法的射程优化简单可行,利用粒子群算法得到的优化参数对改善射程有显著效果,充分发挥了导弹的运载能力。而运载能力的提高对提高导弹武器的目标覆盖范围起到重要作用。     

“大国长剑”背后的军代表

一个普通人的葬礼,葬礼却不普通。灵堂外,吊唁的人排成几条长龙。工厂规定只有中层领导参加,可班组员工也自发从工厂四面八方赶来,许多人还到他家里吊唁,或在网上设立灵堂……大家沉浸在悲痛之中,无不惋惜地说,"一个这么好的人,怎么说走就走了呢?"2011年7月17日,这位优秀的铸剑者——奚建明,带着对装备事业深深的眷恋,溘然长逝,永远离开了他钟爱的岗位、亲爱的战友、挚爱的亲人。     

基于分离逻辑的程序分析技术

分离逻辑是John C Reynolds和Peter O’Hearn于2000年提出的基于Hoare逻辑分析程序中动态分配内存和指针别名的逻辑理论。首先回顾了分离逻辑系统的理论框架,然后讨论了分离逻辑在程序分析领域中符号执行、形态分析和并发程序分析验证这些领域中的应用成果,最后介绍了分离逻辑在程序分析技术中当前主要的研究方向。     

在数学课堂教学中培养学生的参与意识

课堂教学效果很大程度上取决于学生的参与情况,这就首先要求学生有参与意识.加强学生在课堂教学中的参与意识,使学生真正成为课堂教学的主人,是现代数学教学的趋势.从斯金纳的“程序教学法“,布鲁姆的“掌握教学法“,布鲁纳的“发现法“,到我国育才中学的“八字教学法“,陶行知的“教学做合一原则“,卢仲衡的“自学辅导法“,顾冷沅的“青浦经验“,上海闸北八中的“成功教学经验“,都强调了学生参与的思想和意识.因此,由“应试教育“走向“素质教育“,我们应注意培养学生在课堂教学中参与意识.……     

基于GP的计划生成方法

针对计划生成的计算复杂性和传统遗传算法在求解组合问题时的低效率,结合任务策略提出了一种基于遗传程序设计的计划生成方法。利用业务活动域的任务策略知识来指导遗传操作,减少了完全随机遗传操作造成的无效操作,并且在进化过程中使高阶模式和低阶模式获得共同的进化机会,提高了遗传算法的效率。     

军地“牵手”活动热的冷思考

时下,部队和地方携手举行“牵手”联谊活动,为部队里的大龄未婚军官解决婚恋难题,不失为一项值得推崇的有效举措。但同时也应看到,由于一些部队举行这样的活动缺乏规范的组织程序和制度,加之对参加活动的军官没有进行必要的动员教育,对参加活动的地方女青年也没有必要的条件限制,致使活动的效果并不尽如人意;更有一些单位把它看成是出政绩的好方法,为搞活动而搞活动,这是不应该的。军地“牵手”活动,切忌一哄而上,“热”过了头,应该进行一下冷思考。当前,要使这项活动能够长久有效地开展下去,必须做好以下四个方面的工作。把好参加活动人员…     

从制度上促进党员先进性建设

邓小平在总结我们党几十年革命和建设的经验教训时,深刻阐述了从制度上建党的极端重要性,明确指出:“我们过去发生的各种错误,固然与某些领导人的思想、作风有关,但是组织制度、工作制度方面的问题更重要,这些方面的制度好可以使坏人无法任意横行,制度不好可以使好人无法充分做好事,甚至会走向反面。”在新的历史阶段,加强党的执政能力建设,保持党的整体的先进性,离不开科学完备的制度和体制;保证共产党员个体的先进性,同样要在加强思想教育和党员自身修养的基础上,不断完善和创新制度。只有把倡导什么、反对什么、褒奖什么、惩罚什么,都规…     

美军基层部队安全工作特点分析

随着现代战争样式的更新和武器装备现代化程度不断提高,美军日益重视基层安全工作,制定了一系列条例和规定保障基层部队安全工作开展、规范安全工作程序。     

我国突发公共事件应急管理机制研究

突发公共事件的应急管理是衡量一个国家、地区或城市综合管理能力和文明程度的重要指标之一。在简要介绍我国突发公共事件应急管理体制现状的基础上,重点分析了我国突发公共事件应急管理机制中存在的问题,并有针对性地提出了完善我国突发公共事件应急管理机制的措施,为提高我国突发公共事件的应急管理能力提供借鉴。