基于分支限界搜索框架的测试用例自动生成

作为软件测试领域的一个基本问题和热点问题,面向路径的测试用例自动生成有着特殊的重要意义.面向路径的测试用例生成本质上是一个约束满足问题,并通过搜索算法求解.着眼于提升搜索算法的效率,本文提出了一种新的智能算法,将分支限界和爬山法进行了有机的整合,分支限界作为全局搜索算法,而爬山法作为局部搜索算法,发挥各自的优势来对测试用例的解空间进行搜索.     

烧煤矸石在混凝土中的应用

探讨用烧煤矸石细粉作为混凝土矿物掺合料,烧煤矸石细粉部分取代水泥对混凝土流动性、强度和抗硫酸盐侵蚀性的影响。结果表明:用烧煤矸石代替部分水泥掺入到混凝土中配制高强混凝土是可行的,在 10%～30%掺量范围内,随着烧煤矸石掺量的增加的抗硫酸盐侵蚀性增强,同时可获得较满意的抗压强度。     

以石碑岭煤矸石为原料制取硫酸铝的研究

本文是为开发煤矸石新用途所作的一种研究。选用的原料为长春石碑岭产煤矸石。其所含的Ａｌ＿２Ｏ＿３经与Ｈ＿２ＳＯ＿４作用可变成重要化工原料硫酸铝［１］。实验结果表明，采用本报告提出的流程，以煤矸右为原料，可以制得Ａｌ＿２Ｏ＿３含量为１０％～１１．３％的硫酸铝，这与工业硫酸铝国家标准相接近。因此，这种利用煤矸石的新途径是可行的。     

A FORMAL SYSTEMS APPROACH TO SOLVER DESIGN—HILL CLIMBING METHOD WITH PUSH DOWN STACK

This paper presents a formal approach to design of a solver of an intelligent managementinformation system and its implementation. The approach implies set theoretic modeling based on thegeneral systems concepts and implementation in the extProlog. There are research efforts which attack(optimization)problems using the set theory and logics.Furthermore, they use logic programming languages for their implementation. Although their methodslook quite similar to the approach of this paper, there are clear differences between them. This paper isinterested in exploration of the solving system rather than algorithms. The paper first presents a design and implementation procedure of a solver. Then, classificationof problems is discussed. The least structured class of the classification is the target of this paper. Adata mining system is an example of the class. Formal theories are derived for the design procedure assuming the least structured case. A solvingstrategy,which is called a hill climbing method with a     

江苏北部山丘区植被内部差异研究

从植物区系及植物群落上比较研究苏北山丘区植被内部差异,并从气候,岩性,土壤等差异上探讨植被内部差异形成的原因,研究表明,苏北山丘区植被植物区系差异不明显,但在东西方向上植物群系有明显差异,岩性,土壤是造成这种差异的主导因素,但气候因素也起一定作用。     

矿区煤矸石对周围农田玉米作物污染研究

文章通过对比焦作矿区演马矿矸石堆放场新鲜矸石和风化矸石中重金属和有机污染物质量分数,说明矸石中有毒有害物质在自然因素下会迁移或淋滤出来。对矸石堆周围农田中玉米进行重金属和苯并(a)芘质量分数检测,结果说明,矸石堆周围农田玉米中Pb、Cu、Zn、苯并(a)芘检出率均为100%,Cr为97.11%;检测物质均有超标,其中Pb超标率高达78.26%,苯并(a)芘达15.56%;大量的煤矸石随意堆放在矿区四周,不仅破坏周围生态环境,也会造成二次资源的浪费,应加强煤炭行业清洁生产和循环经济的推行工作。     

水泥稳定煤矸石路面基层补充定额编制

为了能有效控制水泥稳定煤矸石混合料的造价,填补陕西省现行公路工程定额中的缺项,以水泥稳定煤矸石路面基层工程项目为依托,研究了水泥稳定煤矸石路面基层技术特点及施工工艺,合理划分补充定额子目,实测了施工过程中的工作内容及人、材、机的消耗量定额,运用拉依达准则和线性插值法识别并修正实测数据中的粗大误差,计算汇总,编制出水泥稳定煤矸石路面基层补充定额,并进行成果测算分析。结果表明,编制的补充定额均处于合理水平,可作为水泥稳定煤矸石路面基层施工的计价依据。研究成果可为陕西省乃至全国范围内水泥稳定煤矸石路面基层项目的预算定额编制提供依据。     

煤矸石烧结砖项目的综合评价

通过对煤矸石烧结砖项目的市场情况、建设规模和经济效益的分析评价,提出了煤矸石综合利用的途径.     

煤矸石在淮北东外环路路基施工中的应用

作者根据在安徽淮北市煤矿塌陷区修筑高等级公路时采用煤矸石进行路基填筑的施工实践,分析了利用煤矸石作公路路基填料的可行性,并对煤矸石路基的具体填筑方法和施工过程作了较详细的介绍,阐述了煤矸石填筑路基的经济社会效益和发展前景。     

煤矸石及其自燃风化土中可培养细菌的分离与解磷抗镉特性

采用平板涂布分离法，从抚顺西露天煤矿内排土场煤矸石风化土(MF)及煤矸石自燃风化土(MZ)中分离纯化出3株细菌，标记为MF2，MZ1和MZ2.利用16S rRNA基因序列检测，结合细菌形态与生理生化特征对其进行种属鉴定与分类，其中菌株MF2为类节杆菌属(Paenarthrobacter sp.)细菌，MZ1为抗辐射不动杆菌(Acinetobacter radioresistens)，MZ2为拟蕈状芽孢杆菌(Bacillus paramycoides).分别考察了菌株的解磷能力和对重金属Cd²⁺的耐受性.结果发现:3株细菌的最大解磷能力依次为MF2(72h，71.76mg·L^-1)>MZ2(96h，55.48mg·L^-1)>MZ1(120h，5.79mg·L^-1)，对Cd²⁺的最大耐受剂量排序为MZ2(100mg·L^-1)>MZ1(50mg·L^-1)>MF2(10mg·L^-1)，其中拟蕈状芽孢杆菌MZ2既具有较强的解磷能力，同时对重金属Cd²⁺又有较高的耐受性.