【摘 要】
：
本文在满足线性序和消去律的BL-代数上,讨论当论域无限时,in f-→合成关系方程的解集.首先从单个方程出发,提出了可达解和不可达解的概念,讨论了极大解与它们的关系.对于不可
论文部分内容阅读
本文在满足线性序和消去律的BL-代数上,讨论当论域无限时,in f-→合成关系方程的解集.首先从单个方程出发,提出了可达解和不可达解的概念,讨论了极大解与它们的关系.对于不可达解部分,给出了方程的解结构特点;对于可达解部分,找出了所有的极大解,并对方程的每个可达解都能找到一个相应的极大解.在围绕系数分类刻画了构成方程组的单个方程解的结构之后,讨论方程组与单个方程的解之间的关系,以及方程组的极大解问题,最后给出了方程组求极大解的算法.
其他文献
在很多工程应用领域里，人们常常会遇到热传导方程的逆时问题．所谓逆时问题就是由某一时刻的温度场来求该时刻以前的温度分布。由于该问题是不适定的，求解此问题就需要利用正则化
本文运用广义的Riccati方程代换法研究了三个非线性偏微分方程的精确解,得到了新的结果,包括双曲函数解,三角函数解,有理解.
第二章和第三章中分别研究了Chaffee-Infant
本文考虑表整数为一个素数与一个素数的k次幂之和的问题,即n=p1+pk2.
令Hk表示集合{n|2|n,n≠1(mod P)对所有P＞2,P-1|k},Ek(X)表示Hk∩[1,X]中不能表为一个素数与一个素
重心有理插值具有计算量小和数值稳定性好等优点，成为逼近领域新的研究热点.鉴于插值节点的选择对插值函数的逼近性质具有重要影响，本文构造了一类新的插值节点——仿射节点，并
关于拟变分包含问题,本文给出了在Hilbert空间中,关于多值极大单调映象和α-逆强单调映象和非扩张映象的一个强收敛定理,推广了张石生等人的结果.关于广义混合平衡问题与无限
支持向量机(SVM)是由Vapnik提出的基于统计学习理论的一种分类方法,使低维特征空间经过一种非线性转换得到一个高维特征空间,最优分类超平面即可在转变到这个新的空间中求解,
功能梯度材料是非均匀复合材料，在微观细节上具有逐渐变化的连续梯度性质。工程上一些特殊用途的功能梯度材料往往表现出令人满意的作用。功能梯度材料在航空、航天等领域具有
通信始终贯穿于人类的生产生活中，1948年，美国应用数学家Shannon发表了“通信的数学理论”，它宣告了一个全新的应用数学分支-信息论与编码理论的诞生.在编码理论中，计算码的权重
本文讨论了两类时滞神经网络模型的稳定性.第二章讨论了一类含连续分布时滞的随机Hopfield神经网络模型的几乎必然指数稳定性和p阶矩指数稳定性问题.借助创建Lyapunov函数和
首先，本文研究了Criminisi算法，针对Criminisi算法在修复图像的过程中可能会出现偏差延续的缺陷，提出了改进的算法。本文在Criminisi算法计算优先权的时只考虑数据项和置信度项