共查询到19条相似文献,搜索用时 80 毫秒
1.
研究了模糊命题演算的形式演绎系统(£)*.对其中的演绎定理进行了详细讨论,得到了在一定条件下的(£)*系统中的演绎定理:设A,B∈F(S),若|-(q→-p ∨ p)∨q→A,Г(£)F(S),则Г|-A→B当且仅当Г∪{A}|-B.将(£)*系统中的模糊演绎定理进行了改进,进一步说明了(£)*系统所具有的良好性质.同时,在本文定理的证明中进一步体现了(£)*系统中的公理L10在模糊命题演算形式演绎系统中的作用,为模糊命题演算的形式演绎系统的研究,特别是L10的应用研究提供了一种新的思路和方法. 相似文献
2.
研究了模糊命题演算的形式演绎系统L^*,对其中的演绎定理进行了详细讨论,得到了在一定条件下的L^*系统中的演绎定理:设A,B∈F(S),若|-(q→p∨p)∨q→A,Γ包含于F(S),则|-A→B当且仅当rU{A}|-B,将L^*系统中的模糊演绎定理进行了改进,进一步说明了L^*系统所具有的良好性质.同时,在本文定理的证明中进一步体现了L^*系统中的公理L10在模糊命题演算形式演绎系统中的作用,为模糊命题演算的形式演绎系统的研究,特别是L10的应用研究提供了一种新的思路和方法。 相似文献
3.
4.
杨晓斌 《淄博学院学报(自然科学与工程版)》2001,3(1):12-15
本在模糊命题逻辑演绎系统的基础上,引入了模糊意义下的一阶逻辑的相关概念,建立了模糊一阶(谓词)逻辑的准形式演绎系统。并且证明了相应的可靠性定理。 相似文献
5.
裴道武 《四川大学学报(自然科学版)》2001,38(3):340-345
从语义和语法两个方面将形式演绎系统f层次化,得到f的一个扩张,从而增强了系统f的表达能力,使之能更有效地应用于模糊系统的研究,。 相似文献
6.
裴道武 《四川大学学报(自然科学版)》2001,(3)
从语义和语法两个方面将形式演绎系统L 层次化 ,得到L 的一个扩张 ,从而增强了系统L 的表达能力 ,使之能更有效地应用于模糊系统的研究 . 相似文献
7.
陈有何 《江汉大学学报(自然科学版)》1988,(1)
<正> 设k是用不带等词的可数一阶语言L表述的形式演绎系统,作为形式系统,k是纯粹的语法对象,其中的推演(deduction)出现为无意义的仅仅遵循一定语法规则的公式演算形态,但在本质上,k是逻辑演绎系统,应该满足逻辑语义学的要求:k的公理模式提供的公理应是逻辑有效的,k的推演规则应是保真的,k中的推演应是演绎另一方面,演绎理论也不可能绝对孤立地构造自身的系统,它与归纳理论也有不可分割的联系,本文主要目的就是基于这种关系与联系改进Henkin对Godel完全性定理的证明。 相似文献
8.
通过结合一阶谓词演算系统理论,对模糊一阶谓词演算系统理论做了初步的探讨。结合实例给出了模糊满足的概念及其相关概念;并用实例的分析说明了这些概念的必要性和可行性;在此基础上给出在模糊满足下项的代入定理。 相似文献
9.
10.
模糊技术在入侵检测系统中的应用研究综述 总被引:2,自引:0,他引:2
网络安全其本身就是一个模糊的概念,把模糊技术引入入侵检测系统中是改善入侵检测系统性能的一个新尝试。文中首先从数据挖掘和特征提取、基于模糊推理的数据分析、模糊规则库的自适应性更新以及支持响应回卷的模糊默认逻辑推理的应用等几个方面探讨了国内外模糊技术在该领域中的研究成果,并在此基础上进一步分析了目前模糊入侵检测发展中的不足和将来的发展方向。 相似文献
11.
在给出了指数形复数模糊集合的定义及讨论了其运算性质的基础上 ,运用模糊集合和复模糊集合的基本理论 ,给出了指数形复模糊集合的分解定理 ,该定理研究讨论了指数形复模糊集合与指数形普通复集合之间的关系 ,是联系指数形普通复集合与指数形复模糊集合的桥梁 相似文献
12.
周勤 《济南大学学报(自然科学版)》1998,(2)
以平均值定理为基础,获得蕴含在正值连续函数矩阵中的一种不等式形式,从而拓宽和增强了平均值定理的应用范围和能力。通过举例表明,不等式可通过构造相关矩阵来进行明了地证明,而所有的正值连续函数矩阵又都可构造出相应的不等式。 相似文献
13.
文章利用 k阶 Stein函数理论 ,通过减弱 m(x)所满足的条件 ,得到了一个改进的 Mihlin- H(o^)rmander乘子定理. 相似文献
14.
15.
本文研究了模糊聚类方法,针对模糊C-均值(Fuzzy C-means Method,FCM)算法的不足,提出新的初始化算法方法,将其应于模糊聚类数目的初始化,结合近似K中心对FCM算法进行改进。实验表明,改进后的FCM算法要有效避免了聚类结果的局部最优,有较好的抗噪能力,从而提高模糊聚类性能和可靠性。 相似文献
16.
罗东 《信阳师范学院学报(自然科学版)》1996,9(3):232-235
本文在对模糊综合评判模型进行分析的基础上,引进了一种广义模糊算子,得到广义算子下的模糊综合评判模型。并给出这种模型在学生量化管理中的应用。由于信息利用率较高,评判结果较为精细,从而有铲地克服了传统的模糊综合知识更新的判模型存在的缺陷。 相似文献
18.
线性化的Clohessey-Whiltshire(C-W)方程描述相对运动虽然方便,但是精度不高,为了解决这一问题,提出了一种C-W方程的改进形式。首先基于C-W方程的推导,分析了在对中心引力取近似的过程中导致原方程不准确的数学原因和物理现象;然后通过对简化部分的数量级进行分析和比较,将原推导过程中忽略掉的部分重要内容重新予以考虑,并运用数学变换将新加入的内容合并转化,最终给出了一组非齐次线性常系数微分方程,在不增加计算复杂度的情况下提高了精度。仿真验证表明该方程在圆轨道下相对于C-W方程精度改善很多,小椭圆轨道下也消除了C-W方程的长期误差。 相似文献
19.