一种Web应用测试生成与约简方法

软件测试是保证软件质量的一种重要手段,而复杂的Web应用对测试提出了新的要求.提出一种Web应用测试生成与约简方法,该方法对Web应用导航进行形式建模,使用模型检验导航安全性质所输出的反例分化模型,然后根据分化模型产生测试序列,依据Web应用的特性对测试序列集进行约简.实例演示表明该方法的有效性.     

探析隐性教育在大学生民族精神教育中的运用

隐性教育是一种重要的教育方式,相对于显性教育,它具有自己独特的优势。当今大学生民族精神教育,虽以显性教育为主导,但隐性教育的重要地位越来越凸显,其作用已不能忽视。在大学生民族精神教育效果不显著的背景下,将隐性教育渗透到网络平台、课堂教学、校园文化建设、大学生社会实践中去,有助于提高大学生民族精神教育的实效性。     

基于UML与三层架构的远程教育系统设计与实现

利用统一建模语言,并结合当前较为成熟的三层架构,设计并实现了远程教育系统。说明了如何利用UML来完成系统的分析与设计,并以此为指导,在三层架构的基础上完成系统各功能模块的代码实现。本系统三层架构的搭建是通过freemarker标签来构建视图层,采用Hibernate完成数据库的访问操作,使用SpringMVC来完成架构的整合。这种UML建模与架构结合的开发方式在Web系统开发中有较强的通用性。     

不压井作业技术在庆深气田高压气井中的应用——以徐深1-1井为例

常规气井压井作业,压井液污染堵塞地层,气井产能损失大。不压井作业技术是通过使用油管堵塞工具对井下管柱进行内封堵,在确保管柱封堵有效的前提下,利用防喷器组来控制油套环形空间的压力,然后依靠不压井作业机的液压举升系统和卡瓦系统,进行带压起下管柱等井下作业。由于不使用压井液,不会对地层造成污染。介绍了不压井作业设备的结构、工作原理、基本作业程序,并以庆深气田徐深1-1井为例,分析了高压气井不压井作业的施工要点和关键技术。提出了相应对策。本次作业使该井增产效果显著,对同类高压气井增产具有一定的借鉴意义。     

柴达木盆地西部小梁山油田试水前景

柴达木盆地西部小梁山地区油田底层水,既富含我国紧缺的钾资源,又含有锂、硼、铷、铯、碘和溴等多种稀有元素,所合成分附加值高,特别适合综合利用.为了明确小梁山油田地层水中钾、锂、硼、铷、铯、碘和溴等多种稀有元素的含量,2011年8月9日,青海油田公司第一支钾盐试采队伍正式成立,利用XJ-250修井机做为动力设备,对地层进行射孔后进行放喷、抽汲作业,从而得出地层水产量,并投入小梁山油田地层水中提取钾盐的先导性试验之中.通过试水作业,发现试水具有一定的前景,为今后钾盐的大规模开采提前做好必要的技术储备.     

一种新型纳米复合清洁压裂液的研究与应用

研发了一种新型表面活性剂,与助表面活性剂组成复合表面活性剂体系(VES-M)。优选了疏水缔合高分子聚合物(HMPAM)和纳米材料颗粒ZnO,形成纳米复合清洁压裂液体系,具有表面活性剂用量低、添加剂种类少的特点。室内试验表明,与常规黏弹性表面活性剂清洁压裂液相比,该体系具有更好的耐温性能及耐剪切性能,较好的降滤失性、黏弹性及携砂性;且破胶彻底、速度快,破胶后无残渣,岩心伤害率仅为9.3%。2014年在苏里格气田东二区进行现场应用,试气无阻流量均值约为其相同地质条件邻井的2.0倍,为致密气藏低伤害高效改造提供了一条有效途径。     

智能控制系统智能水平评价的软件系统

在“一种智能控制系统智能水平的评价方法”提出方法的基础上,提出一种新的评价算法,并设计开发出智能控制系统智能水平评价的软件系统。给出了系统的功能模块设计、数据库设计等,最后列举了两个模拟评价的例子。     

AutoCAD二次开发技术在带传动设计中的应用

带传动的设计过程是一种比较典型的机械零件设计过程,以此为切入,比较了几种常用的AutoCAD开发工具的特点,在此基础上阐述了基于VBA的AutoCAD二次开发技术的开发思路及关键技术,介绍了如何使用抛物线插值算法进行参数选择,以及带传动的参数计算的实现方法与基本步骤,重点从用户设置、绘制线条、剖面的填充及标注尺寸四个部分说明了带轮示意图与结构图绘制的实现过程,同时提出了若干带传动设计过程中常见问题的解决方法,最后在带传动设计的实例中对智能化设计与参数化绘图的可操作性进行了验证.     

"五王"钻井液在陕北地区的应用

文章介绍了“五王”钻井液的配方优选与现场技术措施。陕北地区的应用结果表明,该钻井液抑制性强,能满足该区地层对钻井液性能的要求,减少了井下事故的发生,经济效益和社会效益良好。     

电信网管应用程序间通信方式的研究

应用程序间通信(Inter-application communication IAC)是指在计算机系统中不同程序进程进行有效的数据交换和信息交互的技术,它是实现软件协同工作和软件系统集成的基础.在分析电信网管计算机应用需求的基础上,给出了电信网管的应用程序间的通信模型,研究了应用程序间的通信方式,通信消息的类型、结构及不同的传播模式,并给出了一种消息表达方式和实现方法.