基于自由边控制流图的路径覆盖分析实现方法

针对路径覆盖测试,给出了一般循环结构的一种简化处理方案及把按此方案得到的控制流图转化为自由边控制流图方法,并探讨了基于自由边控制流图进行路径覆盖分析的实现方法和优点。     

孙建峰:从“门外汉”到“武装通”

新疆和静县县委书记、县人武部党委第一书记孙建峰,虽然没有当过兵,却有着军人的胆识和气质。他由一个“门外汉”成为“武装通”,是他对武装工作倾心投入的回报和写照。巴音布鲁克区下辖4个乡5个牧场,总面积2.5万平方公里。它是全国少有的军     

新任干部如何打开局面

(一 )慎烧火 ,先架桥。新任干部要想打开局面 ,必须首先赢得所属官兵的理解、拥护和支持。因此 ,新干部上任后 ,应放下架子 ,走到官兵中去 ,广泛听取意见和建议 ,真正弄清他们在想什么、盼什么、干什么 ,逐步缩短与官兵之间的距离 ,架起与官兵之间的感情之桥 ,激发他们工作的积极性 ,为顺利打开工作局面奠定坚实的群众基础。(二 )少应酬 ,多“充电”。新任干部要想适应未来部队建设的需要 ,仅凭有一股干好工作的热情已远远不够了。所以 ,新任干部应勇于从各种应酬中解脱出来 ,努力学习 ,提高自己。要善于归纳总结 ,坚持在学中干 ,在干中学 ,…     

数据流分析

介绍了数据流测试的几个相关概念,分析了汇编语言和高级语言C中哪些定值-引用关系可以静态确定,哪些必须动态确定,并提出了实现数据流分析的方法.     

软件可靠性评估技术研究

MTBF,初始故障数N,故障暴露率K,一次运行的成功率θ是软件可靠性的基本参数,也是反映软件可靠性的关键因素.在理论分析和工程应用实验基础上,给出了这些参数的计算方法.     

舰空导弹引战配合可视化仿真分析方法

提出了一种更加直观的舰空导弹引战配合分析方法,充分利用飞行试验数据和弹道仿真数据,通过引战配合数学仿真计算和可视化仿真,复现了弹目交会时战斗部破片杀伤目标的过程,并在某型舰空导弹飞行试验引战配合分析中得到了应用.     

重特大火灾灭火救援作战供水保障问题研究

为了更有效的搞好重特大火灾的扑救工作,供水保障成为火场指挥员必须研究的课题和火场必须解决的问题。结合自身基层工作的经验,通过对大量典型案例总结分析,归纳出重特大火灾扑救火场供水保障工作的特点和存在的问题,并从加强水源建设;科学运用供水方法;统一指挥,合理编成;搞好装备保障等四方面提出做好供水保障的具体措施。为消防部队在今后的灭火救援作战供水保障工作中,提供有益的借鉴和思考。     

容错局域网通信功能的设计与实现

本文提出了一种在网络工作站实时通信中实现容错的理论,详细叙述了设计方法,并对其可靠性、实时性、并行性等问题进行了分析.     

容错局域网的理论及设计

本文提出了“容错局域网”的设计思想,并详述了其设计方法.该系统的设计成功,解决了网络实时通信过程中的有关技术问题.     

太极古拳又添新劲旅

闻名中外的陈家沟太极拳,又增添一支新的劲旅——温县陈家沟民兵分队。陈家沟是太极拳的发源地。改革开放以来,先后有20个国家和地区的万余名友好人士,前来投师学艺和参观游览。陈家沟民兵发挥太极武术的优势,为维护社会治安、威慑犯罪分子做出贡献。河