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

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

RBAC系统的权限泄漏问题及分析方法

分析访问控制系统是否存在权限泄漏是评定访问控制系统安全的关键。由此,首先讨论了基于角色的访问控制系统中管理权限的信任委派关系,明确了权限泄漏的定义和基于角色的访问控制系统安全分析的基本含义,形式化描述了两类安全分析实例。然后,运用智能规划技术进行了基于角色的访问控制系统的安全分析,描述了安全分析实例的规划领域模型和规划问题系列的构建过程和规则,设计了相应的安全分析算法,并对分析过程进行了示例说明。     

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

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

含约束的基于模型的诊断系统

在诊断空间中如何选取理想诊断是诊断系统面临的一个重要问题。在实际的诊断过程中,人们会利用限制条件排除不太可能的诊断,或者利用强制条件选取较优的诊断。按照这个思想,作者提出含约束的基于模型的诊断系统,通过增加依赖于应用领域的约束控制诊断空间,这是一种能够融入计算过程的选择诊断的机制,同时作者在系统拓扑结构的基础上给出了选取理想约束的理论依据。     

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

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

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

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

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.     

使用L集合的询问求值

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

利用格论研究缺省推理

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

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

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