首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 46 毫秒
1.
模糊格蕴涵代数   总被引:14,自引:4,他引:14  
本文将模糊集合率应用于格蕴涵代数,给出了模糊格蕴涵代数的概念,并讨论了它们的一些基本性质。  相似文献   

2.
关于格蕴涵代数的几点注记   总被引:2,自引:2,他引:0  
给出了一般(2,1,0,0)型代数(L,→^*0,1)成为格蕴涵代数的充要条件,证明了在有限链及非全序四元格上只有一种格蕴涵代数,且不存在非全序五元格蕴涵代数,为进一步讨论由语言真值构成的格蕴函代数的结构提供了条件。  相似文献   

3.
粗糙集代数与格蕴涵代数   总被引:1,自引:1,他引:1  
讨论粗糙集代数与格蕴涵代数的关系以及由粗糙集代数构造格蕴涵代数的方法.借助近似代数上的原子及同余关系,证明了在适当选取蕴涵算子及余运算之后,粗糙集代数就成为格蕴涵代数。  相似文献   

4.
关于N(2,2,0)代数   总被引:26,自引:0,他引:26  
本文定义了一种新的(2,2,0)型代数(S,*,Δ,0),简称为N(2,2,0)代数。研究了它的基本性质;初步探讨了关于Δ运算幂零和*运算幂等的N(2,2,0)代数的特性;证明了:Δ运算幂零时,(S,Δ,0)构成一个结合的BCI-代数;*运算幂等时,(S,*,Δ,0)合一问题是不可判定的。  相似文献   

5.
格蕴涵代数的单性与周期性   总被引:2,自引:0,他引:2  
讨论了格蕴涵代数的单性和周期性,并研究了这两种性质之间的关系,同时给出了格蕴涵代数具有单性的几个断定方法,得出了一个重要结论;如果有限的单格蕴涵代数中存在对偶原子,则一定唯一。  相似文献   

6.
基于有限格蕴涵代数的格值命题逻辑语义系统   总被引:2,自引:0,他引:2  
以有限格蕴涵代数作为逻辑系统的真值域,在其上建立了基于有限格蕴涵代数的格值命题逻辑语义系统,研究了在A水平上系统的赋值和公式的可满足性等基本定义,证明了系统“有效性”的可判定性并给出了判定算法。  相似文献   

7.
讨论有关格蕴函代数结构的模型论性质,证明了形式化格蕴函数代数理论T保子模型,保模型链之并、保模型同态、理论T不是完备的,也不是模型完备的,因此不存在内在Skolem函数。另外,文中借助于超滤概念提出了格蕴函代数簇的超积及格蕴函代数中模糊子集的模糊超积,并进而研究了模糊滤子、模糊关联滤子及模糊子格蕴涵代数的相应性质。  相似文献   

8.
格蕴涵代数   总被引:173,自引:17,他引:156  
本文将格与蕴涵代数结合在一起,建立了格蕴涵代数,并讨论了它的一些基本性质, 为从语义的角度研究格值逻辑系统奠定了必要的基础.   相似文献   

9.
关于格蕴涵代数模糊滤子的一个注记   总被引:1,自引:1,他引:1  
在格蕴涵代数基本结构基础上进一步研究了格蕴涵代数的模糊滤子的性质,指出了模糊滤子可以诱导出格蕴涵代数的一簇同余关系,并研究了这簇同余关系的代数结构及灾些同余关系所诱导的商代数之间的同态映射。  相似文献   

10.
BCK—代数的添零扩张   总被引:1,自引:0,他引:1  
针对扩张的一种方式-添零扩张进行研究,讨论了添零扩张后的BCK-代数与原BKC-代数在关联性,正关联性,有条件等性质上的联系,并用定理的形式给出了一些重要结论。利用这些结论,能很方便地从低阶BCK-代数的已知性质来推断高阶BCK-代数的性质。  相似文献   

11.
在内陆地区借助专用装具模拟海上浮动目标进行射击训练,从而有效地提高现役部队官兵和预备役指战员的实战技能。浮动靶标的研发成功地实现了这一预想。  相似文献   

12.
长逢沟隧道为一座左、右线分离的四车道高速公路长隧道,地质情况复杂,围岩软弱破碎,总体较差,Ⅲ级围岩仅占32.86%,Ⅳ、Ⅴ级围岩占67.14%,且穿越3个大断裂带,埋深较浅.根据新奥法施工原理及隧道施工实际情况,在施工过程中严格地、系统地采用监控量测技术指导施工,以现场监控的围岩观察、拱顶下沉、水平收敛、地表下沉等数据...  相似文献   

13.
结合山区地形,按照"以人为本"和"安全、环保、舒适、和谐"的新理念,对典型路段的路线方案进行优化设计、比选分析,最终选择最佳路线方案。  相似文献   

14.
具体介绍了掺加硫酸钠的几种半刚性基层材料的选择和试件成型的方法,以及室内无侧限抗压强度试验的方法和步骤,得出了在最佳含水量下的几种含硫酸盐的半刚性基层材料无侧限抗压强度的回归方程。从试验结果可以得出掺加硫酸钠能显著增强半刚性基层材料的无侧限抗压强度,且含盐量不宜过大;在硫酸盐渍土中,在一定温度条件下,石灰含量、粉煤灰含量、初始干密度、冻融循环次数、含盐量等会对无侧限抗压强度的大小产生影响。  相似文献   

15.
通过对现场失稳岩质边坡的调查,简述了边坡存在的隐患,对其进行了失稳机理分析,根据工程特点设定了治理目标及治理方案,并简要阐述了施工工程布置方案,对类似的工程有一定的指导作用。  相似文献   

16.
水泥稳定碎石配合比设计方法的研究   总被引:1,自引:0,他引:1  
水泥稳定碎石在我国公路工程中有着广泛的应用,对比分析了两种不同的水泥稳定碎石配合比设计方法,以成型原理、试件最大干密度、试件强度为切入点,充分证明了室内采用振动压实法对提高半刚性基层的路用性能有明显的作用,最后结合试验路工程,总结了水泥稳定碎石振动压实法的施工工艺。  相似文献   

17.
王繁高速公路太安岭隧道涌水量预测与评价   总被引:1,自引:1,他引:0  
以太安岭隧道为例,利用地下水动力学方法对隧道开挖的涌水量进行了预测,预测结果表明,隧道全线属于弱富水段,根据预测结果提出了隧道施工建议。  相似文献   

18.
通过室内试验对水泥稳定冷再生混合料的无侧限抗压强度、抗压回弹模量、劈裂强度、抗冻性能进行了系统的研究,同时研究了水泥剂量、旧料掺加比例、温度对水泥稳定再生混合料的影响.研究表明,水泥剂量为5%时,冷再生材料的强度和其他路用性能指标均满足规范的要求.  相似文献   

19.
分析了旧水泥混凝土路面板产生裂缝的原因及破坏类型,对实体工程裂缝进行调查分析,介绍了在旧路加铺改造中采用的针对轻、中、重裂缝的处治方法与施工工艺,通过实体工程应用对其使用效果进行了评价。  相似文献   

20.
以某高速公路隧道施工监控为例,详细介绍了隧道监控量测必测项目,如周边位移及拱顶下沉量测数据处理方法及在工程施工中的实际应用,并提出了相关处置意见,及处置后的效果,以供参考。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号