基于模型的方法在软件测试领域的应用与发展

伴随着软件在当今社会中扮演着日益重要的角色,在各类软件或系统的开发过程中,测试变得越来越重要.随着面向对象技术的广泛应用和软件测试自动化的要求,基于模型的测试(MBT)技术逐渐得到了软件开发和测试人员的认可和接受.尽管有许多国内出版物讨论了基于模型的测试技术,但还没有相关技术文章对MBT技术及工具的当前发展进行回顾与总结.文章对当前MBT技术的通用模型、测试用例生成方法、测试目标选择等MBT方法进行回顾,并对基于模型的自动化测试工具、应用实践进行了概述.最后,探讨了MBT技术的未来发展与研究方向.     

大藤峡水利枢纽坝区征地移民安置规划略述

各电站的资源条件不同,安置规划设计方案无统一的模式,原则上要切实可行,据有可操作性,切实保证移民的生活水平不低于搬迁前的生活水平同。由于大藤峡人均耕地面积较少,进行大农业安置困难很大,在国家现有的政策标准范围内,研究出一条可行的大藤峡移民安置方案,是建设参予各方要着力解决的问题。文章略述了该项目征地移民安置规划。     

神农架车沟泥石流应急治理方案剖析

对车沟泥石流的特征进行简介和成因分析,着重阐述二套治理方案的设计条件及工程措施,并从设计思路、施工难度及工程投资三个方面对治理方案进行剖析,对山区泥石流的治理提供了具有参考意义的设计思路。     

制备方法对CuO-CeO_2-ZrO_2催化CO氧化性能的研究

采用溶胶凝胶法和共沉淀法制备了2种不同的Cu O-CeO_2-ZrO_2催化剂,并在不同的温度(400℃,500℃和600℃)下进行焙烧,利用X射线衍射(XRD)、程序升温还原(H2-TPR)技术对所制备的催化剂进行了表征,考察了催化剂的CO氧化性能。研究结果表明,共沉淀法制备的Cu O-CeO_2-ZrO_2催化剂的CO氧化活性明显高于溶胶凝胶法制备的催化剂,共沉淀法制备的催化剂表面高分散Cu O的颗粒较大、活性位最多,当焙烧温度为500℃时,CO完全转化时的温度仅为90℃。     

谈框架梁与填充墙之间渗水、裂缝的防治

在建筑施工过程中,框架梁与填充墙之间经常会发生渗水、裂缝现象,常常为外墙面抹灰带来很多麻烦。尽管采用了多种不同的施工工艺和方法,比如对填充墙上口的斜砖在墙体砌完7天之后再进行砌筑、采用钢丝网等材料防止开裂等措施,但都未能彻底根治渗水、裂缝问题。针对施工过程中建筑物框架梁与填充墙之间渗水、裂缝现象,摸索出了采用钢丝网和PPP多层高分子新型复合防水卷材的新型施工工艺,根本上解决了建筑物框架梁与填充墙之间渗水、裂缝的问题,使外墙面抹灰得以顺利进行。     

油田集输管道腐蚀行为分析

以腐蚀严重的油田集输管道为研究对象,对油田集输管道的腐蚀行为进行分析。在腐蚀严重的管道上制取实验试样,利用X-射线衍射仪测定腐蚀产物的相组成,利用扫描电子显微镜和金相显微镜观察其腐蚀孔周围组织的微观形貌。结果表明,油田集输管道内水样中存在着大量的H2S、Cl-和SO42-,引起腐蚀的主要原因是由于Cl-的存在,而H2S起到了一定的协同作用。油田集输管道腐蚀方式以点蚀为主,并伴有不同程度的均匀腐蚀,腐蚀产物主要以Fe2(SO4)3为主,还有部分Fe3O4、FeCl3和FeS。通过观察确定管道点蚀穿孔部位多在缺陷处产生,因此管道缺陷也是引起腐蚀的重要因素。     

建筑施工安全状况的模糊综合评判

按建设部颁布的《建筑施工安全检查标准》(JGJ59-99)对各因素评分中,存在"一分之差成两级"的不合理现象。为了更合理、科学地对建筑安全状况进行评判,引入了模糊综合评判的评定方法。按照JGJ59-99标准,把建筑安全的内容划分为安全管理、文明施工等十项目指标,并根据模糊综合评判的评判集,得出评判结果,然后按照最大隶属原则理论可得到综合评定的安全等级。通过这种数字化、定量化综合地反映了建筑施工安全状况的实际情况,从而避免了"一分之差成两级"的不合理现象。     

夏甸金矿崩落法隐伏采空区稳定性分析

采空区是金属矿山重大危险源之一。采空区稳定与否是保证矿山企业正常生产的关键因素之一。夏甸金矿于2003年8月20日开始在-363m水平以下部分矿体采用无底柱分段崩落法进行开采,经10余年的开采,目前已开采至-692m水平,崩落法隐伏采空区的稳定性分析至关重要。利用Surpac建立崩落法开采的矿体模型,进行冒落带高度预测,计算得到冒落带最高点为-251m,并采用FLAC~(3D)程序进行数值模拟,按照矿山回采顺序,共划分12次进行开挖,分析了应力、位移与塑性区破坏规律,变形以采空区上方为中心,呈圆形向外扩展,中心的变形为最大,沉降18cm,采空区边界沉降最小,为4cm。地表沉降位移不大,采空区不会塌陷到地表。     

自动回流阀的制作与应用

国家实施“农村人饮安全工程”使农村自来水得到了普及，惠及了千家万户，但地上立杆及水嘴的防冻问题却成了北方农民一个头痛的问题。我国北方气温低，容易结冰，以前推广的自来水由于防冻措施不到位，经常将地上立杆及水嘴冻裂，不仅使农民冬季用水不便，而且也造成了一定的经济损失。鉴于以往的经验教训，在农村人饮安全工程普及过程中，就防冻问题，宜采取两种措施：一是冬季定时供水；二是在立杆处设置1m深的回流井，在回流井内安装一套回流排水装置。冬季当农民用水时，回流井内总阀打开，回流阀关闭，     

欧美汽车用润滑脂现状

列举了国外比较有代表性的润滑脂供应商的14种车用润滑脂产品和3个指标规范，通过分析，总结 欧洲和美国车用润滑脂产品的现状和特点，找出了我国车用润滑脂和国际先进水平的差距和不足。