海上油气田桩基导管架平台设备投资匡算方法探讨

不同类型海上平台的功能及规模不同,设备组成及投资差异也较大,设备投资也是平台投资重要组成部分。通过对不同类型平台相关参数、设备组成及相应投资进行统计,分析不同类型平台的设备投资差异及各类设备投资占比,对影响设备规模及投资变化的关键技术参数进行梳理,并拟合研究其相关性。以EVIEWS软件拟合为基础,对其在渤海油田的适用性和准确性进行分析,尝试对相关参数进行调整以适用于海上平台设备投资匡算,探讨是否有适合于海上平台设备投资的快速计算方法,为快速评价阶段投资匡算提供合理支撑。     

符号模式匹配技术在建筑预算系统中的应用

一、前言建筑工程预算是建筑工程中一项困难而又重要的任务,工作量大,要求高。过去用手工编制,要花费很多时间。一份三千平方米的民用建筑,一个技术人员手编需十五天至二十天,加上工料分析,取费计算等等,需要约一个月,而且容易出错,影响预算的质量,造成人员     

渤海边际储量勘探开发经济评价体系及计算模型建立

基于渤海已开发的边际油田,对上游各专业界面数据进行梳理和总结,考虑油藏类型、钻探深度、依托距离等因素,形成关键数据指标,建立快速经济评价体系和计算模型,得出多因素变动下油田经济效益和储量开发界限。以渤中某边际油田为例,与常规评价值相比,计算模型的各项关键参数平均差异率低于10%,验证模型的可靠性。该模型可满足勘探目标评价、储量目标评价和前期研究的快速评价等阶段的需求,为渤海边际油田开发快速决策提供定量化的经济性支撑。     

利用格论研究缺省推理

本文提出了一组转换规则,使用这组转换规则可以把缺省规则转换成扩展规则,然后使用这些扩展规则去扩展缺省理论的初始逻辑公式集合,在这些扩展规则的基础上,我们提出了缺省格(default lattice)的概念,证明了缺省理论的外延刚好对应于它的缺省格的相容性集合的D-极大值,因此可以使用缺省格求出缺省理论的所有外延.     

均—三氮苯类除草剂的质谱研究

本文报导了五种均一三氮苯类除草剂(敌菌灵、西草净、草净津、扑灭津、杀草净)的EI及CI谱,通过高分辨数据和亚稳跃迁解释了它们的裂解方式。     

使用L集合的询问求值

本文提出了Ｌ集合的概念以及一种新的使用Ｌ集合的一阶数据库询问求值方法。因为这种方法对原数据库只增加一个新字句，所以询问求值的效率大为提高，而且因为可以直接使用Ｌ集合回答对数据库的询问，求值过程比较简单。     

Dialectic operator fuzzy logic

Dialectic operator fuzzy logic (DOFL) is presented which is relevant,paraconsistent and nonmonotonic.DOFL can vividly describe the belief revision in the cognitive process and can infer reasonably well while the knowledge is inconsistent,imprecise or incomplete.     

一阶逻辑中的重写证明算法

本文在布尔代数标准重写系统的基础上,提出了一种把一阶逻辑公式转换成布尔环中等式的方法,并由此建立了一阶逻辑的重写证明算法.这种算法可以充分利用环上的因子分解,证明过程中所产生的中间等式的数量也显著减少,对包含蕴涵符号的一阶逻辑公式尤为便利.     

关于智能诊断中模型的构建和应用

在基于模型的诊断中,模型起着关键性的作用,模型的质量直接影响诊断的准确度和诊断的效率.因此诊断模型也成为人工智能研究青普遍关注的热点问题。长文对基于模型的诊断方法和该领域的最新研究成果做了全面的综述,重点介绍了构建诊断模型方面的研究成果,其中包括分级结构抽象方法、基于状态转换的历程重构方法、依赖于任务的定量抽象方法以及利用过程代数的描述方法等。此外,本文还对诊断模型的构建的研究提出了自己的观点和建议。     

基于与状态无关的激活集的包含派生谓词的规划问题求解

派生谓词是PDDL2．2语言的新特性之一。在2004年的规划大赛IPC-4上，许多规划系统都无法求解包含派生谓词的两个标准竞赛问题。在经典规划中，派生谓词是指不受领域动作直接影响的谓词，它们在当前状态下的真值是在封闭世界假设中由某些基本谓词通过领域公理推导出来的。本文提出一种新的方法来求解包含派生谓词的规划问题，即用与状态无关的激活集来取代派生谓词用于放宽式规划中。