格蕴涵代数LI-理想的粗糙性

粗糙集的代数分析是粗糙集理论研究的一个重要方向,为了用代数的手段研究粗糙集,将粗糙集理论应用于格蕴涵代数,利用LI-理想诱导的同余关系,引入了格蕴涵代数的上、下粗糙LI-理想的概念,并讨论了粗糙LI-理想的相关性质.     

格值命题逻辑LP(X)中的语义归结方法

为了提高格值命题逻辑LP(X)中的α-归结原理的推理效率,将语义归结策略应用于α-归结原理,讨论了格值命题逻辑LP(X)中的α-语义归结方法,并证明了该方法的可靠性和弱完备性,为基于格值逻辑的归结自动推理提供一定基础。     

格值命题逻辑系统Ln ×2P(X)中广义文字的α-归结性

归结自动推理是人工智能领域的一个重要研究方向.以格蕴涵代数为真值域的格值逻辑中的α-归结方法提供了一种处理带有模糊性和不可比较性信息的自动推理问题的工具,能对格值逻辑系统的α-不可满足子句集给出反驳证明,用α-归结原理证明格值逻辑中广义子句集的α-不可满足性,必须首先研究两个广义文字是否可以进行α-归结.研究了格值逻辑...     

高浅南区NmⅡ和NmⅢ油组高分辨率层序构型及其对储层构型的控制

利用高分辨率层序地层学和储层构型分析法,对基准面变化与曲流河砂体内部建筑结构特征,特别是基准面变化与夹层的发育程度、夹层产状等之间的关系进行深入研究。结果表明:NmⅢ和NmⅡ油组发育3个完整的中期基准面旋回、2个不完整的中期基准面旋回、12个短期基准面旋回和19个超短期基准面旋回;基准面旋回类型可以划分出向上变深和向上变浅两种非对称型,以及以上升半旋回为主的不完全对称型和上升与下降半旋回近于相等的近完全对称型;基准面低时,河道砂体宽而缓、且侧向切割严重,边滩较发育,侧积层倾角小、钻遇频率低;基准面高时,河道窄而深,河道砂体镶嵌在泥岩中呈孤立条带状产出,边滩发育程度低而堤岸亚相较发育,侧积层倾角大、钻遇频率高。     

基于三角模的模糊粗糙集与模糊关系之间的联系

研究了论域上模糊关系与(φ,T)-粗糙集上的近似算子之间的联系;给出了满足一定条件的(φ,T)-粗糙集与特殊模糊关系之间的等价条件;定义了上可定义模糊集合,并证明了它是完备的分配格,同时对其结构进行了刻画．     

含临界非局部项的Schrödinger-Poisson系统解的 存在性

本文研究一类含临界非局部项和在无穷远处消失位势的Schrödinger-Poisson系统的非 平凡解的存在性问题,利用变分方法获得了至少存在一个非平凡解的结果。     

粗糙集代数与R_0-代数

在粗糙集的代数方法研究中,一个重要的方面是从粗糙集的偶序对(<下近似集,上近似集>)表示入手,通过定义偶序对的基本运算,从而构造出相应的粗代数并发现R0-代数能够抽象刻画偶序对的性质。讨论了粗糙集代数与R0-代数的关系以及由粗糙集代数构造R0-代数的方法,借助近似代数上的原子及同余关系,证明了在适当选取蕴涵算子和余运算之后,粗糙集代数就成为R0-代数。     

格值命题逻辑系统LP(X)的语义归结方法

为提高格值逻辑系统中α-归结原理的效率,将语义归结思想和α-归结原理相结合,讨论了格值逻辑系统的α-语义归结方法,并得到了其可靠性和完备性,为基于格值逻辑的归结自动推理算法作了必要的准备。