【摘 要】
：
用合情推理模式定义了 L-知识空间与L-蕴含空间(其中L是具有逆合对应\'的完备格),证明了(K(X,L),?)(即X上的L-知识系统的全体)和(I(X,L),?)(即X上的L-蕰含系统的全体)是彼此同构的完备格,并且具体地给出了它们之间的完备格同构.在此基础上,给出了从L-KSp(即L-知识空间及连续映射的范畴)到L-ISp(即L-蕴含空间及保蕴含映射的范畴)的同构函子.推广了已有的有关知识空间与蕴含空间的关系的结果.
【机 构】
：
惠州学院数学与统计学院,广东惠州 516007;青海师范大学数学与统计学院,青海西宁 810008;陕西师范大学数学与统计学院,陕西西安 710062
论文部分内容阅读
用合情推理模式定义了 L-知识空间与L-蕴含空间(其中L是具有逆合对应\'的完备格),证明了(K(X,L),?)(即X上的L-知识系统的全体)和(I(X,L),?)(即X上的L-蕰含系统的全体)是彼此同构的完备格,并且具体地给出了它们之间的完备格同构.在此基础上,给出了从L-KSp(即L-知识空间及连续映射的范畴)到L-ISp(即L-蕴含空间及保蕴含映射的范畴)的同构函子.推广了已有的有关知识空间与蕴含空间的关系的结果.
其他文献
一些金属材料在承担多轴非比例加载过程时,会产生额外非比例附加强化或软化现象,这一现象往往会导致在评估疲劳寿命时因为材料本构关系的不确定而引起预测结果出现较大误差.因此基于单轴疲劳理论得出的寿命预测模型并不能准确地预测多轴非比例疲劳加载下的材料寿命.针对此问题,本文阐述了非比例附加强化效应产生的原因及结果,结合转动惯量法的理论和塑性增量法,建立了预测多轴低周疲劳加载下循环应力-应变曲线的数值计算模型.利用316L不锈钢试样在5种加载路径下的实验数据对预测结果进行了验证,结果表明该模型具有良好的预测有效性及精
运用犹豫模糊集的方法和原理系统研究非对合剩余格的理想问题.在非对合剩余格中引入了犹豫模糊弱理想、犹豫模糊理想、犹豫模糊Glivenko理想、犹豫模糊MV理想、犹豫模糊Boolean理想、犹豫模糊关联理想、犹豫模糊正关联理想、犹豫模糊素理想和犹豫模糊超理想等多种概念,给出了它们的若干性质和等价刻画.系统讨论了各类理想概念间的相互关系,证明了:(1)在非对合剩余格中,犹豫模糊Boolean理想、犹豫模糊关联理想和犹豫模糊正关联理想等同;(2)在Glivenko代数中,犹豫模糊弱理想、犹豫模糊理想和犹豫模糊Gl
本文首先将软集的参数集赋予了 BE-代数的代数结构,给出了新型软BE-代数的概念;然后利用软集的且、交等运算,研究了它的基本性质;接着提出了两个BE-代数的并代数、两个软集在并代数上的扩展交以及两个软集的合成运算等新概念;研究了新型软BE-代数的软平移及投影等相关性质.此外,利用两个软集的合成运算、软集的水平集以及广义特征函数分别给出了新型软BE-代数的等价刻画.最后给出新型软BE-代数的同态像与原像之间的性质.
本文研究时间尺度上广义Chaplygin系统的Noether对称性的摄动与绝热不变量.给出时间尺度上广义Chaplygin方程和Noether定理;研究小扰动作用下时间尺度上广义Chaplygin系统的Noether对称性的摄动,得到该系统时间尺度上的一类Noether形式的绝热不变量.并举例说明结果的应用.
本文主要研究环中的犹豫模糊粗糙子环理论及其性质.在犹豫模糊粗糙集模型的框架下,提出了由犹豫模糊理想和犹豫模糊粗糙近似算子生成的犹豫模糊近似空间.分析了犹豫模糊粗糙近似算子的基本性质,讨论了犹豫模糊粗糙近似算子与环的犹豫模糊二元运算的一致性.
橡胶沥青复合材料作为一种重要工程建筑材料,其蠕变特性与应力、温度和时间等各种参数有着密切相关的影响.为了深入探讨橡胶沥青复合材料的蠕变性能,本文进行了等温不同应力及等应力不同温度条件下的蠕变实验.将黏塑性元件和经典Burgers模型串联,得到改进的Burgers模型.假定模型中待定参数是与温度、应力相关的函数,从而推导出考虑温度与应力效应的改进的Burgers模型.将实验数据和改进的Burgers模型进行拟合,得到模型的待定材料参数.从而通过橡胶沥青复合材料改进Burgers模型来预测该类材料在不同温度或
本文利用Hankel变换及Copson求解方法,得到了在无穷远处磁荷载以及对称力荷载作用下的无限大压磁材料中,硬币型裂纹在裂纹尖端含有环状力磁双屈服区情况下的相关解析解.本文考虑了磁屈服区尺寸小于、大于、等于力屈服区尺寸的三种情况.结果 表明:屈服区尺寸不仅与外荷载及材料常数相关,更与力磁屈服区尺寸的相对大小有关;其中,较大尺寸的屈服区仅受同性质单一荷载影响,与材料常数无关;而较小尺寸屈服区受力磁两荷载与材料常数共同影响;裂纹张开位移、磁势跳变均沿裂纹面径向增大而减小;裂尖张开位移、裂尖磁势跳变与材料常数
将模糊集间的Camberra距离引入到命题演算系统Ln中,定义了公式间相对于有限理论Γ的Camberra-距离、Camberra-相似度与Camberra-真度,探讨了Ln中公式相对于有限理论Γ的Camberra-真度的性质,为多值命题逻辑系统的研究及模糊推理研究提供了一种新的思路和方法.
以载流导线激发的磁场中轴向运动梁为研究对象,同时考虑外激励力作用,推导出梁的磁弹性非线性振动方程.通过位移函数的设定和伽辽金积分法,将非线性振动方程离散为常微分方程组.采用多尺度法得到系统的近似解析解.应用Matlab和Mathematica软件求解幅频响应方程,并对稳态解进行稳定性判定.通过具体算例得到前两阶假设模态的响应幅值随不同参数的变化规律.结果 发现:系统在内共振条件下发生超谐波共振时,二阶假设模态幅值明显小于一阶;随着外激励的增大,多值解区域范围明显缩小;随着电流强度增加,振动幅值减小,表明载
对Fuzzy蕴涵代数的犹豫模糊滤子问题作进一步深入研究.引入了由Fuzzy蕴涵代数上的一个犹豫模糊集生成的犹豫模糊滤子概念,给出了其基本性质并建立了其表示定理.证明了一个Fuzzy蕴涵代数(X,→,0)的全体犹豫模糊滤子之集HFil(X)在犹豫模糊包含序?H下构成一个分配的连续(代数)格,从而构成一个Frame.