论文部分内容阅读
将形式化方法引入到Galois联络的研究当中,提出了一种基于Galois联络的逻辑系统LGC,给出了其等价形式并证明了完备性定理.由于Galois联络与粗糙集及概念格有着紧密的联系,故本文的结果对概念格及粗糙集的形式化研究有一定的启示作用.
一种基于Galois联络的逻辑及其等价形式
【摘 要】
：
将形式化方法引入到Galois联络的研究当中,提出了一种基于Galois联络的逻辑系统LGC,给出了其等价形式并证明了完备性定理.由于Galois联络与粗糙集及概念格有着紧密的联系,故
【机 构】
：
西安石油大学
【出 处】
：
模糊系统与数学
【发表日期】
：
2004年期
其他文献
新时期的企业政工队伍，不仅要面对国内迅速多变的经济形势，同时还要面对国际复杂多变的政治形势对企业思想政治工作的影响，因此要建立一支高素质的电业企业政工干部队伍就需要加
被征收房屋具有适足住房权保障属性,保障的对象包括被征收房屋所有权人、承租人、居住权人及违章建筑所有人。适足住房权保障原则应当在房屋征收立法中得到体现,应特别禁止非
目前对地下工程开挖引起的土体自由位移场还缺乏充分研究。本文基于对已有研究资料的总结整理，确定开挖引起的邻近土体位移模式；采用三维有限差分方法，将开挖过程以及各影响
线性模型回归系数的一些稳健估计如LMS、LQS、LTS、LTA的应用越来越广泛,然而它们的精确计算依赖于NP难题,在遇到高维大规模数据集时不可能在较短时间内得到精确解.为尽快得
为了降低计算误差和增加噪声鲁棒性,基于简化的残余力向量法RFV(Residual Force Vector),对损伤指标虚拟残余力向量PRFV(Pseudo Residual Force Vector)进行了适当的改进.在
外倾式非对称拱桥是由倾斜的非对称钢拱肋、曲线钢箱梁和倾斜的吊杆共同组成的多元空间结构体系,属于特殊的空间拱桥,受力行为复杂。笔者在总结分析该桥型的力学特点和安装施
讨论了互通立交曲线梁桥钢筋图CAD系统的总体设计及功能设计,从系统的设计目标、设计思想、软件体系架构等几个方面介绍了系统的总体设计,并探讨了各个功能模块的实现。该系
本文建立了外部光注入半导体激光器的同步系统误差方程 ,实现了外部光注入波长 1 31μm分布反馈激光器的两个激光混沌系统的同步 ,其同步误差几乎为零 .成功数值模拟了该同步
针对沥青混合料再生利用中新旧沥青及集料之间的相容性问题,为了保证再生沥青混合料具有良好的路用性能,通过凝胶液相色谱分析试验(Gel-Permeation Chromatography Test,简称