基于类成员后向切片的面向对象程序回归测试

程序切片是一种重要的程序分析方法,类成员级粒度的切片技术目前仅仅有Tip提出的类层次切片技术.Tip提出的类层次切片技术其分析基础是Rossie-Friedman的类层次框架,但主要用于面向对象程序的优化,并不适用于回归测试.本文基于Rossie-Friedman的类层次框架提出类成员后向切片方法,并提出一个覆盖类的方法一级的回归测试策略.     

山沟春意浓

春天来了!山沟春意浓,山沟春色美。 春天吹着口哨,迈着轻盈的脚步,唱着吉祥的歌谣,光临湖南红宇机械厂了,我们在此享受着春天的幸福,感到无此喜悦。     

基于虚拟现实技术的空天作战效能评估研究

首先介绍了空天作战效能评估的常用方法,然后结合虚拟现实技术,提出了一种利用虚拟现实技术对空天作战效能进行评估的新方法,该方法将作战效能评估与虚拟现实技术相结合,总结了在虚拟现实条件下进行空天作战效能评估的指标体系,并对空天作战虚拟现实效能评估系统进行了研究,结果表明该方法具有快速、高效、准确和直观等优点,能够使传统的作战效能评估更加形象、直观.     

完善军队院校教育转型政策制度初探

第十五次全军院校会议明确提出院校建设实施教育转型重大任务。针对当前军队院校教育转型中普遍面临的困难和问题,必须加大制度创新力度,完善任职教育学员“选、调、训、用”,师资“引、留、训”,教学与保障等政策制度,为军队院校顺利完成教育转型提供可靠的制度保障。     

泊头市开展国防教育注重从娃娃抓起

清明节前夕,河北省泊头市人武部联合市宣传部、教育局和市国防教育办公室等单位,在泊头市"军屯惨案"烈士陵园开展了"勿忘国耻、少年向上、强我中华"主题教育活动,全市13所小学共400余名学生参加.活动中,同学们通过向烈士敬献花圈、进行集体默哀、认真聆听军屯村支部书记讲述"军屯惨案"的经过、为纪念碑扫墓并一同瞻仰军屯惨案纪念馆等方式,加深了对爱国主义精神的进一步理解和认识,纷纷表示要珍惜今天来之不易的幸福生活,努力学习,掌握本领,长大要为祖国多做贡献.     

弹道导弹飞行时间偏差修正方法北大核心

为实现弹道导弹精确时间协同作战,需要对出现的飞行时间偏差进行控制。根据摄动理论将飞行时间偏差在末修段预定点展开成速度和位置的线性形式,建立修正飞行时间偏差所需速度增量方程组,求出修正所需速度增量、推力作用时间和方向,利用末修发动机对飞行时间偏差进行修正。仿真计算表明:该方法可有效修正导弹飞行时间偏差。     

云南临沧地区召开议军会 积极探索新时期国防后备力量建设的特点规律

最近,中共云南临沧地委组织召开议军会,积极探索国防后备力量建设的特点和规律,以此加快民兵工作改革和发展。他们强调指出了四个方面的问题: 一、以十五大精神为指导,把握探索特点规律的方向。会议强调要注重处理好三个关系:一是和平及发展的时代主题与加强国防和军队建设的关系,二是国防和军队建设与经济建设的关系,三是建设精干的常备部队与加强后备力量建设     

深入学习《邓小平文选》 全面促进民兵、预备役部队建设

作者在一次民兵、预备役部队学习《邓小平文选》汇报座谈会上的讲话。作者在总结1994年民兵、预备役部队学习《邓小平文选》经验的基础上提出,在新形势下,要把学习《邓小平文选》,用建设有中国特色社会主义理论武装头脑,作为民兵、预备役部队政治工作的头等大事来抓;要着眼民兵、预备役部队实际,探索适合基层特点的方法,把学习《邓小平文选》搞得更加扎实;要切实加强领导,狠抓落实,使民兵、预备役部队学习《邓小平文选》活动深入持久地开展下去。     

破除“顶峰意识”

诗人汪国真讲过,"没有比脚更长的路,没有比人更高的山"。人类血液里流淌着一种不安分的元素——征服欲,它驱动人类跨越地球上任何高山,淋漓尽致地展现勇气、能力和进取精神。很多人有了"山高人为峰"的情怀,把登上山顶的人看成至高无上的顶峰,在工作生活中则延伸表现为一种"顶峰意识"。