红星地区沙三段火成岩储集层气测录井解释评价方法

辽河盆地红星地区在沙三中亚段发育的不同期次的火成岩储集层,在近年来出现了高产油流井。但由于该套储集层岩性致密坚硬,裂缝发育不均,且油质较轻,现场气测录井资料很难区分油水层,对以往的试油井资料进行分析也可以看出,该火成岩储集层的气测全烃值异常幅度与产能响应关系不明显,这给解释评价带来了很大的难度。为了提高解释符合率,从气测录井的烃组分和派生参数特征分析入手,通过研究该地区沙三段火成岩储集层的气测全烃值、组分含量、含油性特征与油气产能的关系,提出了基于火成岩气测录井相关参数C_2/C_3及其与W_h和B_h关系的解释标准,并在H-15、H-11等6口井的验证中取得成功,解释符合率达85%以上。该解释标准对红星地区火成岩油气层的解释评价具有一定的指导意义。     

并发系统中谓词行为图的行为时序逻辑表达

行为时序逻辑(TLA)组合时序逻辑与行为逻辑, 可以对并发系统进行描述与验证, 它引入动作和行为的概念, 使得系统和属性可用它的规约公式表示, 但存在用TLA描述复杂系统时TLA公式复杂且难以理解的不足。类似于状态转移图, 对于并发转移可以用谓词行为图进行图形化表示, 谓词行为图与行为时序逻辑规约具有相同的表达能力。介绍行为时序逻辑的语法、语义及简单推理规则, 用一个简单的实例说明使用谓词行为图去描述并发转移系统的有效性, 并用系统规约的TLA公式对谓词行为图表达能力进行证明, 表明两者具有等价性, 为描述和分析并发转换系统提供了一种可行的方法。     

改进的定性形状表示中凹处同异侧判断方法

指出了Cohn定性形状表示法中凹处同侧判断存在的两种不足之处,给出改进的同侧谓词SameSide*。基于SameSide*,提出一种基于凹处变换的同异侧判断方法CTS,并给出其ADL算法描述。通过实例说明使用方法CTS判断凹处的同异侧关系,能够解决Cohn原方法中存在的不足,能得到符合人们直观认知的判断结果,在一定程度上提高了定性形状表示的合理性和准确性。     

“存在”是否谓词浅析

＂存在是不是谓词＂的争论由来已久,主要集中于三种结论：一是以弗雷格、罗素等逻辑学家为代表,认为＂存在＂不是谓词,而是量词。二是皮尔士等人结合精致的自然语言分析,认为＂存在＂在某些特殊情况下可以充当逻辑谓词,因此它是一种特殊的谓词。三是自由逻辑学家认为＂存在＂是谓词。     

一阶逻辑公式相对真度的计算形式

对二值谓词逻辑中一阶公式关于有限解释的相对真度定义进行了简化,给出其计算形式。指出一阶非闭逻辑公式的相对真度只与其中自由出现的变元有关,而非只与其中的自由变元有关;证明可以增加公式中出现的变元个数,而不会改变公式的相对真度,从而可以依据相对真度的计算形式横向研究公式间的相对真度问题。     

一类对称插值

为了解决一类非多项式插值问题,定义了n阶对称插值基函数的概念,通过它将求解非多项式的插值问题转换为求解多项式的插值问题.由于要求对称条件,这种转换过程具有良好的可操作性.这种非多项式插值问题能够用于最大似然估计量的估计.     

方块苗文动态构造方法的形式化描述

针对如何在计算机中生成和显示方块苗文的问题,提出了一种方块苗文动态构造方法,给出了该方法的基本原理,定义了实现方块苗文动态构造所需要的操作符,并以谓词规则的形式对方块苗文动态构造变换操作进行了描述。该方法仅需存储方块苗文构件及独体字的显现字符,通过对显现字符进行上下组合、左右组合、侧围组合来实现方块苗文的动态构造,为方块苗文字库中字形构件提取及合体字自动生成技术提供了重要支持。     

中介谓词逻辑一种改进的语义解释及λ-归结

潘给出的中介谓词逻辑系统MF的无穷值语义解释,不同于MF的其他任何语义解释。但在该无穷值语义解释下,“当A fuz时~A真”这种情况并未得到反映,并且该解释在模糊知识推理中必须作适当的修改才能更符合客观思维。给出了中介谓词逻辑系统MF一种真值域为（0,1－λ）[∪]（1－λ,λ）[∪]（λ,1）（λ[∈]（0.5,1））的无穷值语义解释,重新定义了MF的文字,提出了一种新的MF的λ-归结原理,证明了其完备性。该解释进一步表明用中介逻辑作为模糊知识的表示与推理的工具是可行的。