逻辑代数的集合图方法

本文提出了一种新的逻辑代数分析方法，集合图法。它兼具代数法与图解法的功能，与传统的卡诺图法相比，具有一些独到的特点。     

Banach空间中一类强非线性发展方程的反周期解

本文讨论一类强非线性发展方程的反周期解的存在性。针对一大类既含有单调非线性算子又含有非单调非线性算子的发展方程。我们巧妙地结合单调算子理论与Leray-Schauder不动点理论，证明了其反周期解的存在性。最后，举例说明理论结果在2m阶拟线性抛物型方向的时间反周期问题中的应用。     

泛Loeb可测集的S-饱和性

在 K-饱和的非标准模型中,研究了泛 Loeb 可测集 m(A),pns(~*X),cpt(~*X),fin(~*X),ns(~*X)的 S-饱和性.当 A 是紧致 Hausdorff 空间 X 的子集时,得到了 st~(-1)(A)是标准集的充分条件.     

关于非平凡的黎斯算子

讨论一般巴拿赫空间上非紧的黎斯算子存在问题,说明各经典巴拿赫空间上确有这种非平凡的黎斯算子,给出一类空间,其上的根算子理想与严格奇异算子理想是不重合的。     

一类带限制集值型投入产出方程的存在性定理

引入了一类带限制的集值型投入产出方程.通过利用某些非线性分析方法,得到了一些存在及连续相依性结果.     

不相干算子和强不相干算子的刻画

用算子代数和矩阵论的方法研究不相干量子运算和严格不相干量子运算所对应的kraus算子分解. 首先, 给出有界线性算子是不相干算子的等价条件及不相干算子的具体形式, 并给出用不相干算子刻画不相干量子运算的方法; 其次, 给出强不相干算子的具体形式及用强不相干算子刻画严格不相干量子运算的方法, 并给出严格不相干量子运算与不相干量子运算的关系.     

面近正则外平面地图的色计数函数

首先给出了不可分离面近正则(除根面外,其它每个面的次均是常数k,其中k≥3)外平面地图的色数、根面次和边数3个参数的色计数函数所满足的方程,并给出了它的显式表达式.然后,给出了可分离面近正则外平面地图的色数、根面次和边数3个参数的色计数函数所满足的方程.     

基于概念图的超文本网页学习适应性机制研究

从概念图和超文本结构特点的相似性出发,分析了超文本网页的自适应方式和机制结构,提出适应性超文本链接的路径分类,对适应性超文本网页的结构设计提出了一些可行的建议.     

采动区建筑物损害的鉴定方法

文章根据开采沉陷的理论 ,提出了在采动损害鉴定时可以采用的鉴定方法。     

一维非线性映象新模型的分叉,窗口和混沌研究

本文针对几个一维非线性映象自已设计的新例子，分析了其中的混沌运动，获得了新的特点，目的是更加完善混沌运动机理，有助于其它混沌现象的研究．