马巧云
- 作品数：24 被引量：46H指数：4
- 供职机构：西安文理学院更多>>
- 发文基金：国家自然科学基金西安市科技计划项目更多>>
- 相关领域：理学文化科学更多>>
- 基于L~*系统的一种非单调推理系统被引量：4
- 2004年
- 研究了非单调优先推理系统P和累积单调推理系统CM,以及模糊命题演算的形式演绎系统L ,在L 系统中定义了后承关系｜～:A｜～B当且仅当A2├B,证明了在L 系统中的这种后承关系满足累积单调推理系统CM,非单调优先推理系统P的全部规则,但这种后承关系不满足单调推理系统M的逆否律规则,从而在L 系统中建立了一个介于非单调推理系统和单调推理系统之间的逻辑系统.这为两种系统的理论研究建立一个桥梁以及为模糊控制提供了一种新的思路.
- 吴洪博马巧云
- 关键词：P系统模糊逻辑
- 模糊命题演算系统的一个新的等价形式被引量：1
- 2010年
- 在模糊逻辑系统L^＊中,P∧Q是﹁（﹁P∨﹁Q）的简写,连接词∧与连接词﹁,∨,→的关系应由L^＊中的公理体系决定。本文通过在L^＊中增加适当公理使得连接词∧与﹁,∨,→具备所需的特殊关系,得到的主要结论是：在L^＊中增加公理L^＊9b：（（（A→C）∨（B→C））→（A∧B→C））,同时放弃约定＂P∧Q是﹁（﹁P∨﹁Q）的简写＂,所得的系统L0^＊与L^＊等价。
- 马巧云吴洪博
- 关键词：模糊逻辑命题演算等价形式
- 多值逻辑公式间的伪距离的Boole函数表示
- 2015年
- 利用逻辑公式的Boole函数表示,给出了m元n值逻辑公式的真度和公式间伪距离的等价定义,说明了这种定义与原有的概率形式的定义等价,得到了公式间的伪距离的一些简单性质。
- 马巧云吴洪博
- 关键词：真度伪距离
- 三角余模与BCK-代数
- 2006年
- 以左连续三角模及其伴随蕴涵算子→为出发点,给出了强三角模的概念,并推导出了强三角模对应的三角余模及其伴随算子*,给出了强BCK-代数的概念,并讨论了它们之间的关系.主要结果是:(1)([0,1];*,0)是BCK-代数;(2)定义于[0,1]上的强BCK-代数中的二元运算可以诱导出一个三角余模R且是三角余模R的伴随算子.
- 李岩马巧云吴洪博
- 关键词：三角模左连续BCK代数
- n元经典逻辑度量空间中的平移变换被引量：2
- 2013年
- 利用模2的加法运算和逻辑公式的向量表示构造了n元经典逻辑度量空间中的平移变换。得到了平移变换的一些简单性质,证明了平移变换保持非运算,但不保持交、并、蕴涵运算;得到了逻辑理论的发散度、有限理论的相容度在平移变换之下不变的结论。证明了平移变换之集构成一个群;在经典逻辑度量空间中以公式类中公式的真度为范数,进一步证明了(Fn(S)ρ)关于该范数可以构成次范整线性空间。
- 马巧云
- 关键词：平移变换次范整线性空间
- ￡~*-Lindenbaum代数中的商理想
- 2010年
- 利用F(S)中运算的定义给出了F(S)关于逻辑等价(可证等价)～所得的商代数F(S)/～中的运算,在F(S)/～中定义了商理想,讨论了商理想的性质,得到了F(S)/～中的商理想都有形如<┐D(Γ)>的形式.
- 马巧云吴洪博
- 公式与理论的最近距离和最远距离及在近似推理中的应用
- 2018年
- 本文引入了公式与有限理论之间的最近距离和最远距离,讨论了公式与有限理论之间的最近距离和最远距离的一些简单性质;得到了当有限理论Γ中有根A,且公式B满足一定条件时,公式B与理论Γ之间的最近距离就是ρ(A,B)。基于最近距离和最远距离,给出了逻辑系统L中的可能Γ-结论的定义,并讨论了逻辑系统L中相应的近似推理。
- 马巧云吴洪博
- 逻辑系统L_n*中一类特殊公式的Σ_Γ-真度
- 2016年
- 在模糊命题系统Ln^＊中,利用公式A的原子公式集SA与有限理论Γ的原子公式集SΓ之间的关系,讨论了公式A的ΣΓ-真度,给出了当SΓSA和SA∩SΓ=Φ时τΓ（A）的简单表示形式。利用这些结论,给出了当SΓSA时ΣΓ-真度的一些性质的简单证明。
- 马巧云
- 逻辑系统H_t中的约束算法
- 2010年
- 定义了多值逻辑系统Ht中的约束度,在Ht中讨论了满足(A(x)→B(y))→(A*(x)→B*(y))≤α的B*(y)(A*(x))存在的条件,得到了Ht中的的全蕴涵α-FMP和α-FMT问题的上确界与下确界公式:B*(y)=inf[A*(x)∧(A(x)→B(y))]∧,αy∈Y;A*(x)=sup[B*(y)∨(t-(A(x)→B(y)))]∨(t-)α,x∈X.证明了全蕴涵α-FMP和α-FMT问题的最大解和最小解的存在性定理.
- 马巧云王国俊
- 广义Fibonacci数列的通项被引量：13
- 2004年
- 著名的Fibonacci数列{Fn},其中F0=F1=1,Fn+1=Fn+Fn-1,(n=1,2,…),在许多实际问题中都有着极其广泛的应用.Fibonacci数列通项的得出方法多种多样.在文献[2]用生成函数的方法得出了Fibonacci数列通项的基础上,将Fibonacci数列由各项取自然数推广至各项取任意实数,得到广义Fibonacci数列,其中R0=a,R1=b,Rn+1=uRn+vRn-1(n=1,2,…).其中a,b,u,v∈R.并用生成函数的方法得出推广后的广义Fibonacci数列的通项.希望这种方法可应用在求有关递推数列的通项中.
- 马巧云
- 关键词：FIBONACCI数列通项生成函数
