基于EFSM模型的可执行回归测试数据生成方法

基于扩展有限状态机(extened finite state machine, EFSM)的回归测试过程中，传统的可执行测试数据生成方法由于没有充分利用软件变更信息，在对模型分支错误进行检测时效率较低。为此，提出了一种基于EFSM模型融合的可执行回归测试数据生成方法，制定规则对软件变更前后的模型进行融合，将程序变量作为符号对融合模型中所需覆盖的测试序列进行遍历，结合软件变更信息生成变量约束表达式组并求解得到最终的回归测试用例。实验结果表明：该方法在分支错误检测率、可执行比例、稳定性和测试效率等方面具有一定的优势。     

那场地震影响了我的人生

唐山大地震过去30年了。然而,作为一名唐山籍的军人,唐山大地震在我心中留下永不磨灭的印记;唐山抗震精神一直影响着我,感动着我,激励着我,也可以说,唐山大地震改变了我的人生追求。那年,我是一名“上山下乡”的知青,在唐山地区迁西县农村插队。地震发生的第二天,当得知震中就在唐山时,我和十几名家住唐山市区的知青就赶到了唐山。当时市区内惨不忍睹,断坦残壁,哀声遍野。用老百姓的话说,“唐山没了,唐山平了……”当时,整个唐山市区连一座完整的楼房都没有了。没有电,没有水,没有粮食,有的只是一片漆黑,一片混乱。我们听到的是老百姓的哭喊声、呻吟声、求救声。我们看到的是一辆辆军车载着解放军朝城区开进,一群群解放军战士在废墟中抢救灾民。解放军战士冒着余震的危险,竭尽全力抢救废墟下面的灾民。他们没有救灾工具,就凭着自己的双手,不停地扒,不停地挖,不停地抬,不停地搬,有的战士十指都血肉模糊了;由于连续几天奋战,有的战士累倒在救灾现场;由于衣服、帐篷、粮食、药品等物资都极为紧缺,解放军战士把这些都分发给灾区群众,而他们自己却忍饥挨饿,露宿街头……我们看到,有解被军战士的地方,受灾群众就像见到了救星,就像见到了亲人。凡解放军所到处,人群中总是响起“毛主席万岁!共产党万岁!解放军万岁!”的呼喊声。可以说,见不到解放军,灾民就看不到希望。解放军就像黑暗中的光亮,给灾区带来了     

富 BaCO3对YBCO超导样品的超导性能的影响

为提高123相高温超导材料的临界电流密度Jc,本文从改变样品的用料配方、革新制备工艺等方面做了一些尝试和研究.在生成约 10 g123相超导样品正常配比的基础上,分别多加了5mg到100mg不等的BaCO3,采用固相反应法制备了超导体块材.通过比较各样品的超导转变温度Tc、超导转变宽度ΔT、临界电流密度Jc、扫描电镜照片和X-Ray衍射谱图,可以得出:富BaCO3123相超导体的超导转变温度Tc均大于90K;ΔT=1～3K;20mg的富BaCO3有利于123相的形成;一定量富BaCO3的加入对提高123相超导材料的临界电流密度Jc很有利.     

美军如何借助民用力量开展基地级维修

基地级维修是美军维修体系中一个非常重要的环节。主要任务是对装备进行重大的修复、彻底检修或改进;生产制造零部件;提供技术支持和测试等。美军共有17个基地级维修机构,其中陆军5个、空军5个、海军7个(3个航空维修基地、4个舰船维修基地)。这些基地负责对美军53000辆战车、514000辆轮式车辆、372艘舰船和17300架飞机实施维修保障。国防部每年花费将近130～140亿美元用于基地级维修。毫无疑问,基地级维修在美军装备保障中     

银川市森林分类区划界定操作技术规程论述

森林分类区划是全面推进林业分类经营改革的基础工作,从社会经济可持续发展对林业生态和经济的两大需求,通过在林业用地内进行公益林和商品林分类经营区划,为构筑林业“两大体系”的基本框架,促进林业实行“两个根本性转变”,为初步建立起既适应社会主义市场经济,又反映林业特点的林业经济体制奠定基础。 一、森林分类区划界定的任务 区划界定的主要任务是按森林的主要功能划分为公益林和商品林的两大类型,把划定的公益林和商品林的林种类型落实到山头地快。要做到:权属     

夜歼U-2建奇功——汪林谈从一次夜战破解“13系统”之谜

1964年10月16日,我国第一颗原子弹在西部地区爆炸成功,它极大地鼓舞了热爱和平的广大人民。而敌国中央情报局急于获取情报,两个月内指派空军出动U—2飞机11架次窜入大陆侦察,特别是对我原工业区兰州、包头的侦察活动更加频繁。此前,我地空导弹部队由于缺少抗干扰战法,已出现了三次战斗失利。为了打好击落敌机的歼灭战,经过研究分析发现,多     

军工上市公司资本结构与绩效关系的实证研究

通过对军工上市公司资本结构与公司绩效关系的实证研究,发现军工上市公司存在着股权融资偏好,资本结构的选择对公司业绩会产生消极影响。对此,应该通过调整负债水平发挥债务融资的治理效应、股权适度分散实现大股东联盟治理、完善军工上市公司治理结构等方式来调整军工上市公司资本结构,提高公司绩效。     

尾空泡对水下航行体流体阻尼力影响数值研究

针对航行体尾空泡对流体阻尼力影响问题,结合动坐标系技术和空泡多相流数值模拟方法,通过求解雷诺平均的NS方程组,进行了阻尼力计算研究。通过与试验数据对比,表明该方法具有较好的精度。数值计算研究表明,尾空泡会削弱航行体尾部压力的不对称性,使航行体尾部流体阻尼力减小。当尾空泡增加到一定尺寸时,流体阻尼力减小幅度逐渐趋缓,同时尾空泡也改变了流体阻尼力随攻角的变化趋势。研究充分表明了航行体流体力设计中考虑尾空泡影响的必要性。     

尾空泡对水下航行体流体阻尼力影响数值计算分析

针对航行体尾空泡对流体阻尼力影响的问题,结合动坐标系技术和空泡多相流数值模拟方法,通过求解雷诺平均的纳维-斯托克斯方程组,进行阻尼力计算研究。试验数据对比结果表明,该方法具有较好的精度。数值计算研究表明,尾空泡会削弱航行体尾部压力的不对称性,使航行体尾部流体阻尼力减小。当尾空泡增加到一定尺寸时,流体阻尼力减小的幅度逐渐趋缓,同时尾空泡也改变了流体阻尼力随攻角的变化趋势。研究充分表明了航行体流体力设计中考虑尾空泡影响的必要性。     

基于层次分析法的坦克电台通信效能评估

坦克电台通信效能评估是检验电磁环境下坦克电台战术技术水平、适应复杂电磁环境下作战运用、发现电磁环境下坦克电台通信运用存在问题的重要途径。针对坦克电台通信效能评估的复杂性,运用层次分析法(AHP),确立了坦克电台通信效能评估指标集,构建了一种三层结构的指标体系,给出了通信效能评估模型与算法,实现了通过实验数据采集来定量分析坦克电台的通信效能。结合实例,通过分析采集各性能指标的实验数据,得出坦克电台通信的最佳方案,为复杂电磁环境下坦克分队作战训练提供依据。