基于数据驱动的自动化测试平台设计

以目前流行的自动化测试框架为基础,以数据驱动测试框架为核心,采用数据驱动脚本技术,在设计自动化测试平台的过程中实现了测试数据与测试脚本的分离.同时借鉴了测试脚本模块化的思想,将测试脚本进行分层次、嵌套管理,完成了基于数据驱动的自动化集成测试平台的设计.     

一株极端耐盐曲霉的分离、 鉴定及生物学特性分析

从晒盐场盐池周边的风干野生植被表面分离筛选到1株极端耐盐菌株CCHA, 通过形态观察及ITS序列分析对菌株进行鉴定, 并对其生物学特性、 耐盐性及金属耐受性进行分析. 研究结果表明: 菌株CCHA与 21株己报道的曲霉属菌株同源性为55.9%~100%; 其生长温度范围为25~45 ℃, 最适温度为35 ℃; 生长pH值范围为2.5~12.0, 最适pH值为5.0~8.0; 生长盐度范围为0~31%, 最适盐度为5%; 对Cu²⁺有较强的耐受性. 鉴定该菌株为曲霉菌（Aspergillus sp.）.     

对我国会计电算化发展的理性思考

会计电算化的发展,要求财务人员关注管理软件的开发利用,保证信息资源的安全性、开放性和共享性。     

关于铁选行业废水循环利用的研究

本文概述了岫岩铁选行业概况,介绍了铁选行业中度水循环利用的可行性,原理和工艺流程等,此技术可以节约大量的水资源具有十分显著的经济效益、环境效益和社会效益,对当前发展循环经济、建立节约型社会具有十分重要的意义.     

钢管混凝土结构研究综述

本文根据国内外对钢管混凝土的研究,介绍了钢管混凝土结构的发展和特点、钢管与混凝土的共同工作、钢管混凝土构件的受力性能及其有关计算理论,并介绍了钢管混凝土在我国的工程应用状况。     

铵盐浸出氧化锌矿动力学的研究

含硅、铁较高的氧化锌矿在NH4Cl-NH3-H2O体系中的溶解过程，遵循核收缩模型的动力学规律，浸出反应的表观活化能为34．57kJ／mol.浸出过程属于混合控制，即表面化学反应与通过不溶硅、铁矿物相的扩散为过程的控制步骤。     

内含肽介导的鼠多瘤病毒样颗粒生产表达和纯化

鼠多瘤病毒样颗粒(VLPs)可由结构蛋白VP1自组装而成,可用于疫苗开发、基因治疗、药物传递和生物材料等方面.针对目前VP1生产中需要凝血酶去除谷胱甘肽S-转移酶(GST)标签,生产成本较高、操作复杂的问题,利用内含肽(intein)自剪切的特征,将内含肽插入到VP1与GST标签之间进行融合表达,表达产物经亲和色谱纯化,并通过改变柱内pH值、温度诱导内含肽剪切,使VP1与GST-intein分离从而获得VP1蛋白,产量为4,mg/(L培养基).纯化的VP1可自组装成与天然鼠多瘤病毒样颗粒一致的VLPs.结果表明,内含肽介导鼠多瘤病毒样颗粒生产纯化流程简单易行,且无需凝血酶参与,大幅降低成本,为VLPs的高效制备奠定了基础.     

图搜索问题算法推导及形式化证明

用非形式化方法解决图搜索问题规模受限,对于一些复杂问题难以保证其正确性.传统的形式化方法推导图搜索问题难以理解且不易于形式化证明,现有形式化方法对这类问题的解决方案较少,在保证可靠性和正确性方面有欠缺.该文通过对图搜索问题的深入研究,开发出一种针对解决图搜索算法的新方法.首先刻画问题的规约,利用循环不变式的递归定义技术给出了开发图搜索问题循环不变式的新策略,在此基础上得到Apla抽象算法程序,并对该算法程序进行了形式化证明,再将已验证的Apla算法程序自动生成C++可执行程序,实现了从抽象的形式规约推演出具体的面向计算机的程序代码的程序精化完整过程.以拓扑排序和广度优先遍历为例对所提方法进行实验,实验结果验证了所提方法的有效性,不仅可以推导和证明已知算法,而且对未知算法的推导也有指导性作用.     

一个离经叛道的殉情者——浅谈《孔雀东南飞》中焦仲卿的性格

焦仲卿作为古典文学史上典型人物形象长廊中富有个性的殉情者,在孝道与爱情的冲突中,他最终选择了为爱情以死抗争的道路,作品令人信服地展现了这位忠贞爱情的殉情者性格的发展历程。