共查询到16条相似文献,搜索用时 62 毫秒
1.
2.
基于有限格蕴涵代数的格值命题逻辑语义系统 总被引:2,自引:0,他引:2
以有限格蕴涵代数作为逻辑系统的真值域,在其上建立了基于有限格蕴涵代数的格值命题逻辑语义系统,研究了在A水平上系统的赋值和公式的可满足性等基本定义,证明了系统“有效性”的可判定性并给出了判定算法。 相似文献
3.
分析了模糊系统与神经网络系统的相同及相异性。在此基础上研究了模糊逻辑与神经网络技术协作系统的结构和实现技术,并着重研究了模糊控制器的神经网络实现技术及改善神经网络学习特性的模糊控制技术。 相似文献
5.
胡谋 《上海铁道大学学报》1996,17(2):3-9
介绍了多值逻辑领域国际学术活动的动态;分析了多值与模糊逻辑研究的最新进展,并着重介绍了多值逻辑与模糊逻辑在软计算、VLSI及ULSI、通用逻辑机及数字系统的设计与测试自动化方面的应用;展望了我国多值逻辑与模糊逻辑研究的前景。 相似文献
6.
以有限格蕴涵代数为真值域,建立了基于有限格蕴涵代数的格值命题逻辑系统;采用公理化的方法,给出了该系统在A水平上的语法导出、证明和协调性等基本定义,并证明了系统的可靠性定理、协调性定理、弱完备性定理和弱演绎定理. 相似文献
7.
关于格蕴涵代数模糊滤子的一个注记 总被引:1,自引:1,他引:1
在格蕴涵代数基本结构基础上进一步研究了格蕴涵代数的模糊滤子的性质,指出了模糊滤子可以诱导出格蕴涵代数的一簇同余关系,并研究了这簇同余关系的代数结构及灾些同余关系所诱导的商代数之间的同态映射。 相似文献
8.
刘心 《大连交通大学学报》2007,28(4):10-13
在扰动模糊逻辑命题及其算子的基础上,定义了扰动模糊逻辑算子组的概念,讨论了扰动模糊逻辑算子组的性质.从而使经典模糊逻辑的概念及性质得到进一步的推广,同时也揭示了在这种由一维到二维的推广中存在的问题.最后,从代数观点研究了扰动模糊逻辑算子组与经典模糊逻辑算子组之间的同态关系. 相似文献
9.
LIU Xin 《大连铁道学院学报》2007,(4)
在扰动模糊逻辑命题及其算子的基础上,定义了扰动模糊逻辑算子组的概念,讨论了扰动模糊逻辑算子组的性质.从而使经典模糊逻辑的概念及性质得到进一步的推广,同时也揭示了在这种由一维到二维的推广中存在的问题.最后,从代数观点研究了扰动模糊逻辑算子组与经典模糊逻辑算子组之间的同态关系. 相似文献
10.
一种新的容错控制方法 总被引:1,自引:1,他引:0
本文提出了一种新的容错控制方法,故障检测由神经网络构成,而容错控制器则采用模糊逻辑进行设计。该方法对难于精确建模的对象和过程特别适用,且也能在一定程度上适用于非线性对象,仿真结果表明了该方法的有效性。 相似文献
11.
赋值格中一种混合运算的性质和应用 总被引:3,自引:0,他引:3
研究了R0-代数、格蕴涵代数和基本逻辑代数;讨论了一般赋值格中一种混合运算的性质,特别是对这种混合运算在R0-代数中的性质进行了讨论,并应用它建立了R0-代数中的一种滤子,得到了一些结果,为R0-代数的研究和一般赋值格的研究提供了可借鉴的方法和帮助。 相似文献
12.
在格值命题逻辑系统LP(X)中引入时态算子E(曾经)和F(将会)以及它们的对偶算子H(曾经总是)和G(将会总是),建立了一个以时轴为语境的格值时态命题逻辑系统LTP(X),讨论了LTP(X)与时间相关的一系列性质及时态词的重叠问题,证明了MP语义规则和HS语义规则在该系统中成立。 相似文献
13.
异常情况下交叉口信号模糊逻辑控制 总被引:1,自引:0,他引:1
建立异常情况下信号模糊逻辑控制模型,并建立决策行为,保证在正常及异常情况下最佳地控制交通流,使达到流量最大、延误最小。针对不考虑异常情况时交叉口模糊逻辑控制模型、考虑异常情况时模型及1个一般控制模型三者输出的平均延误差别仿真比较,结果表明本文提出的模型能有效缩短平均延误时间,改进交通信号配时。 相似文献
14.
高云波 《兰州交通大学学报》2014,(6):27-32
基于GSM-R的CTCS-3级列控系统中,越区切换是保证列车运行的安全、提高运营质量的关键技术之一.在系统分析GSM-R通信网络在越区切换中的信号传输过程以及每个过程时延的基础上,提出了基于提高运营时间的两种改良建议.重点研究了一种基于模糊逻辑技术的改进快速切换算法,并通过具体数据分析了算法性能.研究表明,此算法可以大大降低切换时延且不会增加运营时间,是一种适合CTCS-3级列控系统的较好切换算法. 相似文献
15.
公路隧道通风系统的前馈式智能模糊控制 总被引:8,自引:0,他引:8
将模糊逻辑应用于长大公路隧道通风系统的前馈式控制中,以有效地节约电能,解决传统控制法中存在的时滞性和风机启动频繁等问题.介绍了前馈式智能模糊控制系统的构成,对模糊控制器(FLC)进行了详细设计,并对前馈式智能模糊控制系统进行了仿真测试.测试结果表明,与普通后馈控制法相比,在相同条件下该系统可以降低能源消耗,延长风机使用寿命. 相似文献
16.
清除时间是高速公路交通事件持续时间中的一部分,与事件影响范围密切相关.通过对某高速公路事件数据及交警执勤记录进行分析,提出了救援车辆的清除时间新定义,该定义与事件持续时间有更强的相关性.随后采用含自适应算法的TSK模糊逻辑推理方法,通过对基于事件数据的人工神经网络训练,建立了交通事件清除时间的预测模型,并讨论了模型的适... 相似文献