共查询到20条相似文献,搜索用时 125 毫秒
1.
格蕴涵代数的拓扑结构 总被引:1,自引:1,他引:1
给出了格蕴涵代数中弱滤子的概念,对弱滤子的性质和结构进行了研究,证明了格蕴涵代数中全体弱滤子构成一个拓扑结构,格蕴涵代数之间的蕴涵同构是相应拓扑结构之间的拓扑映射。 相似文献
2.
3.
关于格蕴涵代数模糊滤子的一个注记 总被引:1,自引:1,他引:1
在格蕴涵代数基本结构基础上进一步研究了格蕴涵代数的模糊滤子的性质,指出了模糊滤子可以诱导出格蕴涵代数的一簇同余关系,并研究了这簇同余关系的代数结构及灾些同余关系所诱导的商代数之间的同态映射。 相似文献
4.
格蕴涵代数的单性与周期性 总被引:2,自引:0,他引:2
讨论了格蕴涵代数的单性和周期性,并研究了这两种性质之间的关系,同时给出了格蕴涵代数具有单性的几个断定方法,得出了一个重要结论;如果有限的单格蕴涵代数中存在对偶原子,则一定唯一。 相似文献
5.
讨论有关格蕴函代数结构的模型论性质,证明了形式化格蕴函数代数理论T保子模型,保模型链之并、保模型同态、理论T不是完备的,也不是模型完备的,因此不存在内在Skolem函数。另外,文中借助于超滤概念提出了格蕴函代数簇的超积及格蕴函代数中模糊子集的模糊超积,并进而研究了模糊滤子、模糊关联滤子及模糊子格蕴涵代数的相应性质。 相似文献
6.
赋值格中一种混合运算的性质和应用 总被引:3,自引:0,他引:3
研究了R0-代数、格蕴涵代数和基本逻辑代数;讨论了一般赋值格中一种混合运算的性质,特别是对这种混合运算在R0-代数中的性质进行了讨论,并应用它建立了R0-代数中的一种滤子,得到了一些结果,为R0-代数的研究和一般赋值格的研究提供了可借鉴的方法和帮助。 相似文献
7.
基于一般的剩余格,引进了正则滤子的概念,给出了正则滤子的一些特征刻画,并且建立了正则滤子与其它一些特殊滤子(G-滤子、MV-滤子、Boolean滤子)之间的内在联系.证明了一个剩余格为正则剩余格当且仅当它的每个MP滤子是正则滤子. 相似文献
8.
格蕴涵代数中的格蕴涵代数方程 总被引:3,自引:0,他引:3
根据逻辑代数方程理论,提出了格蕴涵代数方程的概念.讨论了格蕴涵代数L中的几种基本类型的一元格蕴涵代数方程,给出了方程的可解性判别条件.在此基础之上,证明了方程的解集构成L的凸子格. 相似文献
9.
关于格蕴涵代数的几点注记 总被引:2,自引:2,他引:0
给出了一般(2,1,0,0)型代数(L,→^*0,1)成为格蕴涵代数的充要条件,证明了在有限链及非全序四元格上只有一种格蕴涵代数,且不存在非全序五元格蕴涵代数,为进一步讨论由语言真值构成的格蕴函代数的结构提供了条件。 相似文献
11.
在内陆地区借助专用装具模拟海上浮动目标进行射击训练,从而有效地提高现役部队官兵和预备役指战员的实战技能。浮动靶标的研发成功地实现了这一预想。 相似文献
12.
王繁高速公路太安岭隧道涌水量预测与评价 总被引:1,自引:1,他引:0
以太安岭隧道为例,利用地下水动力学方法对隧道开挖的涌水量进行了预测,预测结果表明,隧道全线属于弱富水段,根据预测结果提出了隧道施工建议。 相似文献
13.
通过室内试验对水泥稳定冷再生混合料的无侧限抗压强度、抗压回弹模量、劈裂强度、抗冻性能进行了系统的研究,同时研究了水泥剂量、旧料掺加比例、温度对水泥稳定再生混合料的影响.研究表明,水泥剂量为5%时,冷再生材料的强度和其他路用性能指标均满足规范的要求. 相似文献
14.
结合山区地形,按照"以人为本"和"安全、环保、舒适、和谐"的新理念,对典型路段的路线方案进行优化设计、比选分析,最终选择最佳路线方案。 相似文献
15.
具体介绍了掺加硫酸钠的几种半刚性基层材料的选择和试件成型的方法,以及室内无侧限抗压强度试验的方法和步骤,得出了在最佳含水量下的几种含硫酸盐的半刚性基层材料无侧限抗压强度的回归方程。从试验结果可以得出掺加硫酸钠能显著增强半刚性基层材料的无侧限抗压强度,且含盐量不宜过大;在硫酸盐渍土中,在一定温度条件下,石灰含量、粉煤灰含量、初始干密度、冻融循环次数、含盐量等会对无侧限抗压强度的大小产生影响。 相似文献
16.
分析了旧水泥混凝土路面板产生裂缝的原因及破坏类型,对实体工程裂缝进行调查分析,介绍了在旧路加铺改造中采用的针对轻、中、重裂缝的处治方法与施工工艺,通过实体工程应用对其使用效果进行了评价。 相似文献
17.
阐述了刚构—连续组合体系桥梁桥墩的刚度对结构变形和内力状态的影响,结合高薄壁墩的特点,对仁义河特大桥桥墩刚度设计和结构体系的适应性进行分析研究,为同类型桥梁的设计提供借鉴。 相似文献
18.
19.
基于质量行为与实体质量有着较好的相关性,提出了公路建设质量行为评价指标,并鉴于质量行为评价的模糊性,采用层次分析和模糊综合评价方法对建设过程中的质量行为进行了分析,实现了建设质量行为的科学准确评价,最后依据评价结果对工程建设的监督方式做了初探,从而实现公路工程政府监督的差别化和动态化。 相似文献
20.
通过对五盂高速公路上跨石太高铁太行山隧道安全性进行分析,提出一些对计算跨越隧道的思路和想法,供大家参考和探讨。 相似文献