模糊模态逻辑系统M?uk中的可达广义重言式

将赋值格取为单位区间并将二元关系R模糊化,研究了模糊模态逻辑系统M?uk,然后 将其赋值格离散化研究了多值模态逻辑系统M?n;证明了在M?n中,对任一可能的赋值α 都存在可达α 重言式;在M?uk中对任一有理数α∈［0,1］都存在可达α重言式;指出了在R₀系统中起关键作用的升级算法对M?n系统已不再适用,并分析了其原因。     

Banach-值HL积分的收敛定理

引入Banach 值HL可积函数序列等度HL可积的概念;利用等度HL可积性定理,证明了Banach 值HL可 积函数序列的一个收敛定理.     

Altman定理的改进及其应用

章利用拓扑度理论进一步改进了Altman定理，得到了凝聚映象和p1-紧映象的一些新不动点，并且将此结果应用于YPhlCOH积分方程，解决了它的解的存在性问题。     

一类周期边值问题解的存在性与唯一性

考虑了一类非线性微分方程周期边值问题，用不动点定理给出了其解存在时参数e，α的取值范围；用压缩映像原理给出了该问题解唯一时参数e，α的取值范围．     

两点边值问题和抛物问题的广义Galerkin方法

主要讨论了两点边值问题和抛物问题的广义Galerkin方法数值模拟．在这里，不用Babuska条件，而是通过定义离散模，利用lax定理，直接证明了解的存在唯一性并且得到最优的L2模误差估计以及H^1模超收敛估计．     

积分第二中值定理的一个一般性结果

利用微积分的有关知识,研究积分第二中值定理＂中间点＂当积分区间长度趋于0时的渐近性,得到了两个结论,推广了已有的结果.     

香港大陆贸易发展与香港工资差距扩大

本文对香港大陆贸易发展对香港工资差距的影响进行经验分析。在赫克希尔-俄林（H-O）模型的理论背景下，根据斯托帕-萨缪尔森（S—S）定理设定模型进行回归分析。研究结果发现，随着两地贸易的发展，香港的工资差距扩大，从而为S—S定理的验证增添了新的经验事实。     

Banach空间一类奇异脉冲微分方程的正解存在性

利用Moench不动点定理,获得了Banach空间中一类具有奇异性的脉冲微分方程边值问题解的存在性,并给出了其在无穷维奇异脉冲微分方程组中的应用．     

利用高等数学方法证明不等式问题探究

主要讨论如何利用高等数学的方法证明不等式的问题,提出了常用的几种方法,并归纳出解题方法和基本思路.     

一维双极粘滞量子流体力学模型解的存在性

研究了一类一维稳态双极半导体方程的粘滞量子流体力学模型.该模型包含关于粒子浓度和电流密度的连续方程以及电势Poisson方程的耦合方程组,其中含有三阶量子修正项和二阶粘滞项.该问题在有界区间(0,1)中讨论,并通过边界条件的假设将原方程组变形为常见的形式,得到原问题的等价问题.用截断方法将等价问题正则化,并得到正则化问题解的先验估计.利用Leray-Schauder不动点定理证明正则化问题解的存在性,最后通过L∞估计证明正则化问题的解即为原问题的解,从而证明了原双极粘滞量子流体力学模型存在稳态解.