一种基于混合覆盖矩阵的pairwise测试用例生成方法

测试用例集的生成是组合测试的一个关键问题,但是使用完全组合覆盖生成测试用例集是NP完全问题.对偶覆盖要求测试用例集至少覆盖输入参数的每一个取值对.该类方法在测试代价和效率方面进行了很好的折中,一直受到广泛关注.基于混合覆盖矩阵,提出了一种pairwise覆盖的测试用例生成方法.实例分析表明,该方法具有生成的测试用例较少、时间消耗小等特点.     

多段压裂水平井不均匀产油试井模型

针对某条或多条裂缝产油量较小或不产油这一问题,运用Green函数、Newman乘积方法和叠加原理,建立多段压裂水平井不均匀产油试井模型,将裂缝内流动划分为远离井筒的变质量线性流和靠近井筒的径向流表征裂缝有限导流,利用Stehfest数值反演得到考虑井筒存储和表皮效应的实空间井底压力解,绘制典型图版,并分析不均匀产油和裂缝参数对井底压力的影响。结果表明:多段压裂水平井均匀产油和不均匀产油的压力和压力导数特征差异明显;两端裂缝产油量越大,压裂裂缝间距越大,裂缝半长越小,裂缝呈纺锤形分布时,缝间干扰越小,早期径向流越明显,在系统拟径向流之前出现一个新平台。与试井软件Saphir中的经典多级压裂水平井数值模型对比,结果证明了提出的模型的正确性。     

一种基于需求规约的谓词测试用例生成方法

软件失效多数由其包含的谓词引发.本文针对特定的故障模型,提出一种基于需求规约的谓词测试用例生成方法.该方法从需求规约中提取出因果图,再将因果图转换为谓词,再由BRO算法生成测试约束集,最后将生成测试用例集.实例分析表明,方法能有效生成测试用例集,并满足相应的测试谓词准则.     

铜类卡宾催化乙烯环丙烷化反应途径的密度泛函研究

运用密度泛函B3LYP方法研究了过渡金属铜类卡宾与乙烯的环丙烷化反应机理，对3种不同铜的SS试剂CH3CuCHCl2，ClCuCH2Cl及CH3CuCHI2分别与CH2CH2反应的各反应物、中间体、过渡态、产物构型的全部结构几何参数进行了优化，用内禀反应坐标（IRC）计算和频率分析法，对过渡态进行了确定和验证．结果表明，CH3CuCHCl2和CH3CuCHl2与CH2CH2环丙烷化反应按亚甲基转移机理和卡宾金属化机理都可以进行，与锂类卡宾的反应机理相同，而ClCuCH2Cl与CH2CH2环丙烷化反应则更容易按卡宾金属化机理进行。     

基于无线传感网络与模糊控制的精细灌溉系统设计

基于在农田灌溉中,由于灌溉面积较大、数据实时传输较难,以及数据过多等特点,设计了一种建立在无线传感网络与模糊控制基础上的农田自动灌溉节水系统.该系统可以综合运用无线传感器的数据处理与无线数据的传输功能,对农田自动化灌溉做到实时有效的监控与管理,从根本上提升整个系统的自动化程度.系统主要采用的结构组图是星型式的,其运行的机理就是在每一个检测区域都装有ZigBee网络节点,实时的将获取的检测数据传入测控系统,在数据上实现统一的传输与处理;每一个区域的无线传感器都实时持续地处理区域内土壤湿度的变化,及时将数据向接收端传输,接收端再根据接收到的数据进行存储、处理与显示,对自动化灌溉系统进行控制,做到有效的节水与灌溉.根据已有的数据表明,该系统在运行过程中是比较稳定的,数据的传输也比较稳定,且在传输过程中很少发生数据的丢失,同时具有可应用范围广、可普及性强等特点,是进行自动化节水的有效手段.     

基于冲量自修正的间歇式沥青混合料动态配料系统

本文提出了一种高精度间歇式沥青混合料搅拌设备配料系统,配料过程采用冲量自动修正技术保证搅拌设备石料配置的精度,采用沥青二次称量控制技术控制沥青混合料的油石比,解决了传统间歇式沥青混合料搅拌设备存在的配比精度低、响应速度慢及性能不稳定等问题.该系统使用PLC作为主控制器,上位监控软件利用OPC技术与PLC进行通讯以实现数据采集和远程控制.使用情况表明,该系统运行稳定,完全满足沥青混合料配料的精度和速度要求.     

铜卡宾CH3CuCX2(X=F、Cl、Br和I)与乙烯反应的密度泛函研究

目的为了提高和发展选择性方法生产新的活性试剂。方法用密度泛函B3LYP方法研究了过渡金属铜卡宾与乙烯的环丙烷化反应的机理。结果对4种不同铜的SS试剂CH3CuCX2(X=F、Cl、Br和I)分别和CH2CH2反应的各反应物,中间体,过渡态和产物构型的全部结构几何参数进行了优化,并用内禀反应坐标(IRC)计算和频率分析方法,对过渡态进行了验证。结论结果表明:CH3CuCX2(X=F、Cl、Br和I)与CH2CH2环丙烷化反应可能按通道A和B进行,只是按通道B进行更容易一些。     

基于S3C44B0X处理器触摸屏接口的设计与测试

在分析触摸屏嵌入式系统工作原理的基础上,选择了基于ARM架构的以Samsung公司的S3C44B0X处理器为核心的博创科技UP-NETARM3000开发板作为开发平台,以μC/OS-Ⅱ作为嵌入式操作系统,为了加速程序开发的进程,提出了一种边写程序边用Petri网描述的方法,实现了一个计算器应用实例,并进行了测试.