基于广义量词理论的亚氏三段论

揭示了如何从广义量词理论的角度来理解三段论推理。有效的亚氏三段论可以通过作为广义量词特例的亚氏量词的语义定义加以证明。从亚氏量词的语义性质,比如单调性、对称性可以说明亚氏三段论的有效性。亚氏三段论的可化归性反映了亚氏量词与其三种否定量词的语义性质(比如单调性)之间的可转换性。     

广义单调性与广义凸性

在广义单调性方面做进一步的推广,并建立函数的广义凸性与其梯度向量的广义单调性之间的等价关系.首先,建立F单调映射、F伪单调映射和F拟单调映射概念.其次,利用可微F凸(伪凸、拟凸)函数的梯度等价刻画,结合广义单调映射概念以及微分性质,研究广义凸性与广义单调性的内在联系:在一定条件下,f是K上的F凸函数,当且仅当?f是K上...     

G-伪单调性、G-伪凸性及其应用

研究了两类广义单调映射——G-伪单调映射和强G-伪单调映射.建立了强G-伪单调映射与强G-伪凸函数之间的一个关系,并给出了C-伪单调性与G-伪凸性间的一个充分条件,最后还深入讨论G-伪单调映射在似变分不等式及数学规划中的重要应用.     

矢值Banach序列空间ss(E)的单调性

刻画了赋序列范数的矢值Banach序列空间ss(E)的严格单调性、局部一致单调性和一致单调性,给出了它们的充要条件.主要结果为:①ss(E)是严格单调的当且仅当ss和E是严格单调的;②ss(E)局部一致单调的当且仅当ss和E是局部一致单调的;③ss(E)是一致单调的当且仅当ss和E是一致单调的.     

东方蜜蜂微孢子虫30kD蛋白的LC-MS/MS质谱鉴定及分析

引入了一类新的广义单调性即E-伪单调性和E-拟单调性。通过举例说明了E-伪单调性和E-拟单调性的存在性且区别于伪单调性、拟单调性、E-单调性等其他广义单调性。然后主要研究了E-伪单调映射、E-拟单调映射分别与E-伪凸函数、E-拟凸函数间的等价关系。在此基础上提出了E-变分不等式问题,并讨论了E-伪单调性在其中的重要应用。
     

局中人数目可变时分配原则的广义单调性

研究了局中人数目允许变动时有边支付合作对策的分配原则问题.就局中人的数目允许变动时的分配问题模型作了一个统一的描述;提出了广义单调性的概念,它反映了分配原则在局中人数目允许变动时应该满足的一种合理性要求;给出了一种具体形式的“按劳分配”原则,它在一定程度上反映了按劳分配的基本思想.文中还对“按劳分配”原则的广义单调性进行了讨论.     

E-广义单调性及其在广义变分不等式中的应用

引入了一类新的广义单调性即E-伪单调性和E-拟单调性。通过举例说明了E-伪单调性和E-拟单调性的存在性且区别于伪单调性、拟单调性、E-单调性等其他广义单调性。然后主要研究了E-伪单调映射、E-拟单调映射分别与E-伪凸函数、E-拟凸函数间的等价关系。在此基础上提出了E-变分不等式问题,并讨论了E-伪单调性在其中的重要应用。     

基于散点及边建立数字地面模型的研究及实现

对构筑三角形网格建立数字地面模型进行了研究;给出了基于散点和边三角形网络模型的生成算法和数据结构,并根据这些理论和方法在ＡｕｔｏＣＡＤＲ１４ｆｏｒ ｗｉｎｄｏｗｓ９５环境下,用ＭｉｃｒｏｓｏｆｔＶｉａｓｕａｌＣ／Ｃ＋＋４．２开发研制了建立数字地面模型的应用程序ＡｕｔｏＤＴＭ。     

弱 Orlicz 空间的单调系数及单调性

给出了弱Orlicz空间具有单调性、严格单调性、一致单调性及局部一致单调性的条件,并计算了弱Orlicz空间及该空间中一点的单调系数.     

一类广义向量变分不等式组的存在性定理

作者研究了一类广义向量变分不等式组(GSGVVI)，并在弱C伪单调性和h半连续性的假设下给出了解的存在性定理.本文的结果推广和改进了已有的相关研究成果.     

判定函数单调性的几种方法

本文主要阐述了判定函数单调性的几种方法。对于给出具体函数式的函数,由定义出发,先后给出了利用函数单调性的定义法、利用反函数的单调性、利用基本初等函数的单调性、利用复合函数的单调性、利用kf（x）（k≠0）的单调性、利用倒函数的单调性、利用和函数、积函数的单调性和利用导数来判断函数单调性的方法;对于未给出具体函数式的抽象函数,给出了定义法、逐层判定法及列表法。     

一类变分不等式问题解的存在性定理

研究了一类积集上的广义向量拟类变分不等式问题.定义相对极大Cx-η-伪单调映射,使用集值映射的不动点定理给出了解的存在性定理.     

Ladyzhenskaya模型的低阶三角形有限元方法

对定常Ladyzhenskaya模型提出了一种稳定化有限元法.给出了用低阶三角形元逼近时,有限元解的存在性、唯一性及收敛性的数字分析。     

LF(X)中带广义量词的弱完备性定理

给出了一阶格值逻辑系统LF(X)中带广义量词的L-型模糊集为闭的扩展定义,得到赋值为闭的结果,证明了LF(X)中带广义量词的弱完备性定理.     

Orlicz空间单位球面上一点的一致单调系数和局部一致单调性

文章给出了Orlicz空间单位球面上一点的一致单调系数的表达式;该点为一致单调点的判别法以及空间局部一致单调性的充分必要条件     

具单调性的广义向量拟均衡问题

讨论一类具伪单调性的广义集值向量拟均衡问题,并给出在向量变分不等式与向量优化问题中的应用.     

一阶时滞差分方程周期边值问题和周期解问题的单调迭代法

使用单调迭代法,研究了一阶时滞差分方程周期边值问题和周期解同题解的存在性.首先给出了极大值原理,这是单调迭代法的关键所在;其次给出一阶差分方程周期边值问题的单调迭代法;最后给出一阶时滞差分方程的周期解问题的单调迭代法.从而解决了文中方程解的存在性同题.     

拟单调二元函数的广义平衡问题

针对广义平衡问题,定义了一类较拟单调更弱的弱拟单调二元函数,并讨论了在此单调性条件下广义平衡问题解的存在性条件,并且将结论回归到一般变分不等式的情况得到更广泛的解的存在性定理.     

凸函数的扩充单调性及其在积分上应用

讨论了凸函数的连续性和有界性,定义了扩充单调的概念,以此为基础给出了开区间内和闭区间内凸函数的扩充单调性质,并将该性质应用在可积函数上,得到了一个判断n阶积分的凸性和单调性的方法.     

一类包含松弛Lipschitz算子和松弛单调算子的广义变分不等式

主要利用松弛算子和单调算子性质,先给出松弛Lipschitz算子和松弛单调算子的特有性质,再将变分不等式与非线性方程的一些等价结论,推广到广义变分不等式上,然后利用这些结论,给出一类包含松弛算子和单调算子的广义变分不等式的迭代算法,并证明了算法的可行性.