共查询到20条相似文献,搜索用时 15 毫秒
1.
基础L*系统的一种扩张——Lukasiewicz系统 总被引:12,自引:1,他引:11
研究模糊命题演算的形式演绎系统 L *和 Lukasiewicz命题演算系统 Lu,提出基础系统L *—— BL *系统 ,证明 BL *系统的一种扩张与 Lukasiewicz系统之间的等价性 ,从而为 L *系统和BL *系统提供了一个应用实例。 相似文献
2.
3.
4.
基础模糊命题演算系统BL*是一个和基础命题演算系统BL相对独立的命题演算系统。命题演算系统L*是系统BL*的扩张,但不是系统BL的扩张。通过对系统BL*及其它模糊命题演算系统的研究,本文对BL*系统进行了修正,进一步改进了BL*系统中的公理体系。 相似文献
5.
对一类有广泛应用的活动边界域上非线性抛物型分布参数系统进行建模。采用将系统转化为固定域系统或转化为集中参数系统的方法,从理论上分析了系统的基本特征,得出控制变量存在两个临界值,大者区分边界活动与否,小者区分边界活动后会自动停止与否。将平面、柱面和球面的一维系统表述成统一形式,通过计算机仿真研究了系统开环控制和闭环反馈控制的动态特性,数值结果与理论结果一致。计算机仿真表明系统是适定的、稳定的,而且是可测的和可控的。 相似文献
6.
拓扑系统的紧性和分离性 总被引:1,自引:0,他引:1
考察拓扑系统的两种紧性——空间式紧和locale式紧,给出紧性的若干刻画,讨论了两种紧性的相互关系,证明了拓扑系统的两种紧性都是拓扑空间紧性的良好推广,说明了紧拓扑系统的闭子拓扑系统、有限和系统以及积系统仍是紧拓扑系统。最后在拓扑系统中考察了紧性加强分离性的问题,得到了紧,(强)T2拓扑系统为(强)T3,(强)T4拓扑系统等结论,并用理想收敛刻画了拓扑系统的强T2分离性。 相似文献
7.
8.
9.
分别对Lukasiewicz逻辑系统中的公理在R0系统和G(o)del系统中的真度大小、R0系统逻辑系统中的公理在Lukasiewicz系统和中G(o)del系统的真度大小和G(o)del逻辑系统中的公理在R0系统和Lukasiewicz系统中的真度大小进行了计算和分析,从真度方面研究和分析了常用逻辑系统之间的关系. 相似文献
10.
机械制造系统生产水平的综合评价 总被引:1,自引:0,他引:1
运用数理统计和模糊数学的某些概念,本文提出了一种评价机械制造系统生产水平的新方法,机械制造系统可以用模糊变换器来描述,这个模糊变换器比较客观和全面地揭示机械制造系统的内在规律。借助这个模糊变换器来综合评价机械制造系统具有很大的理论和实践价值,并为机械制造系统论奠定新的基础。无心磨削系统的实验研究证明了本文基本观点的正确性。 相似文献
11.
12.
13.
二型模糊系统研究与应用 总被引:9,自引:0,他引:9
简单介绍模糊系统和二型模糊系统发展,概述二型模糊系统的应用范围、条件和组成,比较详细的介绍了二型模糊集合基础理论,按照二型模糊系统的组成模块描述模糊器,规则库,推理引擎,降型器,精确器的表达式和推导过程,最后还总结了二型模糊系统现阶段存在的不足和可能发展方向。 相似文献
14.
15.
基础J^*系统的一种扩张—Lukasiewicz系统 总被引:4,自引:3,他引:1
研究模糊命题演算的形式演绎系统J^*和Lukasiewicz命题演算系统Lu,提出基础系统J^*-BJ^*系统,证明BJ^*系统的一种扩张与Lukasiewicz系统之间的等价性,从而为J^*系统和BJ^*系统提供了一个应用实例。 相似文献
16.
17.
18.
复杂系统的一般数学框架(Ⅰ) 总被引:2,自引:0,他引:2
复杂系统的基本和最简单的结构就是网络.根据这一思想,本系列论文拟发展一套处理复杂系统的新数学框架.本文详细论述了系统的概念、一般描述方法:系统=(硬部,软部,环境)和局整关系,包括子系统、元素与系统的关系和系统与系统的关系;给出了系统运算的基本法则;简要论述了系统的软、硬部之间的诱导转化. 相似文献
19.