二阶线性椭圆型方程组广义解最大模的估计

给出了对角型二阶线性椭圆型方程组广义解唯一性定理成立的充分条件,由此得到了广义解最大模的估计.     

Fuzzy映象的完全广义非线性隐拟变分包含(英文)

通过建立q-一致光滑Banach空间中一类新的涉及Fuzzy映象及广义m-增生映象的完全广义非线性隐-拟变分包含,利用Nadler定理及广义m-增生映象的解算子技巧,构造了新的迭代算法。由该算法得到了q-一致光滑Banach空间中这类完全广义非线性隐-拟变分包含的近似解并证明了该解的存在性。建立了由算法产生的迭代序列,得到了它收敛到变分包含的精确解。     

广义KDV-MKDV方程的精确解

利用直接积分方法将广义KDV-MKDV方程化为一阶变系数非线性常微分方程组,然后用待定系数法确定相应的常数获得了广义KDV-MKDV方程新的精确解;利用先作假设变换后选取试探函数的方法来直接构造广义KDV-MKDV方程新的精确解.     

广义半连续向量值函数与应用

研究广义半连续向量值函数的性质,给出了向量值函数的Pareto问题优化解.最后,给出了广义鞍点存在定理和一类分离函数的向量平衡问题的解.     

一类新的广义变分包含系统及其迭代算法

在Banach空间中介绍了一类新的广义变分包含系统.利用松弛增生映象及预解算子,证明了该广义变分包含系统解的存在性和唯一性,同时也建立了收敛于该唯一解的迭代算法,并给出相应的迭代收敛定理.     

广义KDV方程的准确周期解及相关结论

研究了具高阶非线性项的广义KDV方程的准确周期解的求解问题，利用适当变换求出了当p=1／2，1，2时，广义KDV方程的一类准确周期解，并证明了只有当p=1／2，1，2时，广义KDV方程才有这种周期解。     

用改进的试探函数法求解广义KdV方程

试探函数法求解非线性数学物理中一个非常著名的非线性偏微分方程—广义KdV方程,求得其一般形式的指数函数解,据此不但求得了广义KdV方程的sech2型钟状正则孤波解,而且求得了其csch2型奇异行波解,最后,利用一些熟知的数学关系式,又求得其若干其它显式精确解,包括三角函数型周期波解等。     

广义变分不等式问题解的存在性

在一般凸集约束下提出广义例外簇的概念,并讨论了广义变分不等式问题VI(K,F,g)解的存在性,给出了VI(K,F,g)有解的充分条件.     

广义组合KdV方程与广义组合KdV-Burgers方程孤波解的条件稳定性

讨论了广义组合KdV方程和广义组合KdV Burgers方程的孤波解,在Liapunov意义下的条件稳定性.证明了当行波形式的微小扰动满足一定条件时,这两类方程的精确孤波解具有线性稳定性.     

变系数广义KdV方程的精确解

本文主要研究变系数广义KdV方程的新的精确解．在行波约化,齐次平衡法和Jacobi椭圆函数的基础上,借助Mathematica软件和推广的F-展开法,求出并研究了变系数广义KdV方程的精确解,分析了解的结构,为进一步研究变系数广义KdV方程在自然科学领域的应用提供了理论依据．     

基于广义量词almostall的广义三段论的语篇推理探究

自然语言语篇推理是自然语言信息处理、计算机科学中的知识表示和知识推理的重点与难点内容之一。利用广义量词理论、集合论和模糊逻辑相关知识,可以简洁明了地对包含 al-most all 的广义三段论进行形式化的表示和证明。对此有18个事实可以印证。在广义三段论形式化和有效性研究的基础上,可以探讨由两个及以上的广义三段论嵌套而成的自然语言语篇推理。这些创新性成果和研究方法,将为考察包含其他广义量词的广义三段论的形式化、有效性及其相关语篇推理提供一个简洁合理的数学范式。     

再论Fuzzy矩阵的广义逆

文[1]、[2]与[3]间已就Fuzzy矩阵的广义逆问题进行了一系列的研讨.在此基础上，本文继续给出广义Fuzzy可逆阵的一些性质，并讨论了广义Fuzzy可逆阵的G-逆阵的广义Fuzzy可逆性问题，给出了几个判别定理．     

套代数上的广义φ-导子

证明了套代数上的任意范数连续的线性映射如果对任意的A和幂等元E,F满足δ（EAF）=δ（EA）F＋φ（E）δ（AF）-（E）δ（A）F,则δ是一个广义导子.并由此定理得到了一个映射成为广义φ-导子的充分条件.     

广义量词理论对一阶逻辑的扩展

广义量词理论是一阶逻辑的扩展。该理论已经成为逻辑学和语言学中重要的推理工具之一。广义量词是对来自于一阶逻辑中两个标准量词（全称量词和存在量词）的推广。对一阶逻辑进行扩展的主要原因有二：其一是为了解释亚氏三段论形式以外的大量的有效推理;其二是为了提升一阶逻辑的表达力,使得计算机能够更好地处理自然语言。文章阐述了广义量词理论来自于哪里,是如何得来的。现代谓词逻辑首先通过固定一阶逻辑中的全称量词和存在量词的真值定义,然后把它们的真值定义推广到〈1〉类型的广义量词,之后把〈1〉类型的广义量词的真值定义推广到任意的广义量词。这样就可以把任意的广义量词添加到一阶逻辑中,从而得到表达力更强的逻辑———广义量词理论。     

环F2+uF2上奇长度循环码的广义RT重量谱

受广义Hamming重量启发,并注意到RT重量是Hamming重量的一种推广,提出了环F2+uF2上线性码的广义RT重量和广义RT重量谱的概念,讨论了环F2+uF2上奇长度循环码的广义RT重量谱。由一个线性码可以唯一地决定其剩余码和挠码,反过来,由其剩余码和挠码并不一定能够重构出原来的线性码。但是当该线性码是奇长度循环码的时候,可以用它的剩余码和挠码重构出该循环码。使用这种方法,得到了环F2+uF2上奇长度循环码及其剩余码和挠码的广义RT重量谱之间的关系。     

广义Jordan三角导子

引进广义Jordan三角导子的概念 ,得出 2 -非挠的半素环的广义Jordan三角导子是广义导子的结论 ,从而推广了文 [1 ]、[2 ]中的结论     

完全的广义变分原理在分析动力学中的应用

本文提出并证明了分析动力学中的各级不完全的广义变分原理和一个完全的广义变分原理.文中首次把开关函数应用于变分原理,使论述简洁明了.在这些变分原理中,动力学方程、初始位置条件、终了位置条件和几何约束条件,全部或者部分地不是事先必须满足的,即它们已成为变分原理的自然条件,因此给试函数的设计和分析力学的变分计算提供了一种新的有效的方法.     

凸度量空间中广义压缩的Ishikawa型迭代格式的收敛性

本文研究了凸度量空间中广义压缩的Ｉｓｈｉｋａｗａ型迭代格式的收剑性，推广了文［３］的主要结果。     

环上矩阵的加权Moore-Penrose逆

研究相对于M和N的加权Moore-Penrose逆,得到带有对合反自同构的有单位元的结合环R上的一类可分解矩阵的加权Moore-Penrose逆存在的充分必要条件.当M和N为单位矩阵时,相对于M和N的加权Moore-Penrose逆就是大家熟悉的Moore-Penrose逆.从某种意义上说,相对于M和N的加权Moore-Penrose逆也是相对于M和N的广义Moore- Penrose逆的推广.结论一方面可特殊化到Moore-Penrose逆的情形,另一方面可得到有关A相对于M和N的广义Moore- Penrose逆的结论.     

Hilbert空间中一类拟变分不等式问题

研究了一类新的无穷簇广义集值拟变分不等式问题,利用Nadler定理,得到并构造了逼近解的迭代算法,证明了这类拟变分不等式的解的存在性及该算法产生的迭代序列的收敛性。