油田开采后期抽油机井系统优化设计

本文在对有杆抽油系统进行能耗分析的基础上,对有杆抽油系统在运行过程中的理想状态下、实际生产状态下的各部件能量损失进行对比,分析有杆抽油系统能耗大、效率低的影响因素。根据有杆抽油系统运行特点,提出了提高系统运行效益的途径和措施,并给出了判别方法和评价标准。     

面向方面的实时系统形式化开发方法

实时系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要如面向方面和基于组件的软件工程方法的支持,同时实时系统的可信性要求采用形式化方法来开发实时系统。本文试图建立一种面向方面的实时系统形式化开发方法,这种方法对RT—Z进行了面向方面和面向部件的扩展,并通过实时组件模型在需求和设计阶段提供了对基于部件的系统开发方法(CBSD)和面向方面的系统开发方法(AOSD)的支持。本文给出了面向方面的实时Z(AO—RT—Z)的组件模型的框架结构、语法要求、方面的联结和功能接口和非功能接口的定义,重点讨论并证明了面向方面的实时Z(AO—RT—Z)作为规格描述语言的健全性。     

面向方面分布式系统形式化规格说明语言

分布式系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要面向方面软件工程方法的支持,而形式化方法能保证分布式系统的正确性。本文对分布式规格说明语言Ocsid进行了面向方面的扩展,讨论了面向方面的Ocsid的框架结构、语法要求、方面的联结和功能接口。定义了面向方面的Ocsid规格说明语言中叠加和组合的形式化描述,该形式化描述覆盖了各个精化阶段,使精化体系的各个独立视点被协调地组合,并能形式化地验证规格说明的时态属性和系统行为。本文的工作针对的是分布式系统的形式化规格说明,提出了面向方面Ocsid的形式基础和方面扩展,其基本思想同样适用于更一般的情况。     

应用形式化与实时语言的面向方面方法

面向方面的软件开发方法是在面向对象开发方法的基础上,在AOP的支持下将贯穿系统的横切关注点提取出来,通过联结方式织入系统功能代码中的软件开发方法,该方法降低了软件开发的复杂性,提高了系统的灵活性和可维护性。形式化和实时语言为面向方面方法贯穿于实时软件开发提供了必要的支持,以形式化方法AO-RT-Z和实时语言PEARL为基础,给出了一种面向方面的实时软件开发框架,实现了软件生命周期各个阶段对面向方面的无缝支持,降低了实时软件开发的复杂性,提升了系统的可信度。     

浅谈油田开发的机械化

油田开发的机械化能够保障油田建设、能源供给的基本需要,而提高设备的机械化水平就要从钻井、采油、油气处理和集输机械这几个方面展开。从而实现油田开发设备的机械化、提高油气资源的开发效益。     

基于实时语言和面向方面的形式化开发方法

面向方面方法和实时语言特性应用于实时软件开发工程，将降低实时软件开发的复杂性，而形式化方法将提升系统的可信度。该文提出的一种面向方面的实时软件开发方法AOSDBRTL，它基于经面向方面扩展的形式化方法AO RT Z，在编码阶段应用实时语言PEARL，实现了软件开发各个阶段对面向方面的无缝支持。     

Z实时扩展及基于多视点的应用模式

RT—Z是由Z和经实时扩展的通信顺序进程timed CSP集成的用以描述实时系统的规格说明语言,它将Z对状态描述的优点和timed CsP对时序关系和并发描述的优点相结合,具有强大的描述能力;而基于时序转化系统的Z扩展适合描述系统状态的转化。给出了Z实时扩展的分类原则并从讨论了其应用特点,最后在分析RT—Z的语义集成的基础上提出了Z实时扩展的多视点应用模式。     

基于云平台的智能农业大棚系统

传统的农业生产浪费了大量的人力物力,且存在着“看天吃饭”的现象,这种弊端导致传统农业收成不好。针对这种情况,文中设计基于ZigBee的无线传感网技术,联合物联网云平台和微信小程序,设计了一款价格低廉、低功耗且全自动组网,可远程实时查看环境参数的智慧农业大棚系统。     

面向方面软件重构等价性形式化证明方法

软件重构在不改变程序行为的情况下通过对代码进行小的改进以提升设计,使之更容易理解和维护,面向方面的程序设计是软件开发的新技术,为了有效实施面向方面的软件重构,需要开发者识别面向方面程序的转化规则。然而,由于使用的AOP语言没有形式化的语义定义,难以确认转化和重构的程序运行行为。本文对MCI操作语义的面向方面的扩展使之支持程序的方面特征的描述,定义了两个程序的观测等价,讨论了AspectJ的形式语义模型的建立,在MCI的语义下形式化地精确证明了Add Before-executing编程规则的观测等价性,其基本原理和方法可以适用于其他规则的证明,通过上述工作提出了面向方面重构的程序和它的面向对象程序原型等价性的证明方法。     

集成的Z实时扩展RT-Z及其应用模式

将具有状态描述能力的Z语言和具有实序并发描述能力的其它形式化方法如Timed CCS，Timed CSP相结合大大拓展了其在实时并发系统的中的应用能力，不但可以用于需求描述，也可应用于系统设计。在统一语义的背景下使用多种集成方法，其根本目的是适合应用领域的不同特点，本文以RT—Z为基础提出的基本扩展框架对类似集成工作具有普遍意义，最后结合RT—Z的语义集成的分析提出了并发实时系统开发中的一种基本应用模式。