区间值模糊集合的表现定理

针对区间值模糊集合，给出了2类区间值集合套的定义，得到了2个区间值模糊集合的表现定理。     

一类非线性系统的次谐波分枝问题

研究了具有周期外力的非线性系统的解产生不同的次谐波分枝的参数范围，并且指出了无穷多次谐波分枝是如何与smale马蹄型混沌解共存的．     

5S技术与测绘的结合

介绍了全球定位系统(GPS)、数字摄影测量系统(DPS)、遥感技术(RS)、地理信息系统(GIS)和专家系统(ES)5大现代技术(简称5S)的内容及特点，简述了5S技术的相互结合给遥感到给学科带来的技术革命及发展前景。     

采场模糊渗流定解问题的可表示性

采空区气体模糊渗流问题由模糊偏微分方程所描述，模糊微分方程是未知函数及其导数与已知模糊函数或者模糊常数的条件等式。方程解的模糊性是由已知模糊函数或模糊常数所引起的。当已知函数或常数为区间值函数或区间数时，相应的方程为区间微分方程，由于模糊函数或模糊数的截集为区间值函数或区间数，通常，模糊微分方程的解是利用模糊函数或模糊数截集所对应的区间微分方程解通过表现定理给出。由于模糊微分方程的解必须是模糊函数，如果通过表现定理给出的模糊微分方程方程的解是模糊函数，则称方程的解是可表示的，本文在给出模糊微分方程解的可表示定义同时给出了解的可表示判定条件，并且证明了有采空区气体模糊渗流定解问题的可表示性。     

退化C0半群的扰动

讨论多值线性算子A生成的退化C0半群在线性算子B下的扰动问题，在退化C0半群的生成定理的基础上，本文对于B为单值有界，相对A有界，以及B为多值线性算子的情况分别给出了A在B下的扰动A B生成退化C0半群的条件。     

奇非线性多调和方程的整体正解

证明了具有奇性的一类非线性多调和方程在R^n(n≥3)上的整体正解的存在性和多解性，用两个具体的例子说明定理的应用．     

左Yetter-Drinfeld模范畴中的双Frobenius代数

考虑左Yetter—Drinfeld模范畴中的双Frobenius代数(A，φ，t，Ψ)．证明了左Yetter—Dfinfeld模范畴中的双Frobenius代数(A，φ，t，Ψ)的对偶(A，t，φ，Ψ*)也是左Yetter—Drinfeld模范畴中的双Frobenius代数．给出了右积分φ∈∫A^r,t∈∫A^r,模函数α和模元g的模和余模结构，也给出了Yetter—Drinfeld模范畴中的双Frobenius代数的Radford的对极Ψ^4公式．     

两类四次系统的相图

 用微分方程定性分析方法和分支方法研究两类四次系统.参数空间被划分,两类系统的相图都被分成3类,具体相图被给出,数值模拟进一步验证了理论结果的正确性.     

一类平面三次多项式系统的赤道极限环分支

研究了一类平面三次多项式系统赤道极限环分支问题,给出了易于计算的系统赤道环量的代数递推公式.同时,计算了一类三次系统的前6个赤道环量,得到了系统在赤道邻域的可积性条件及在赤道附近存在5个极限环的系数条件,给出了一个平面三次系统在赤道附近分支出5个极限环的计算实例,并在不构造Poincare环域的情况下,指出了极限环存在的位置.     

集群系统的单一系统映像研究

提出了一种集群网络服务器单一系统映像的结构，即Glosim系统．该系统在操作系统内核层通过修改与IPC对象、进程信号相关的系统调用，提供全局系统映像服务，支持全局IPC对象，包括消息队列、信号量及共享内存，同时引入全局工作进程概念，透明地提供SSI服务，并与LVS和SIOS配合，实现了集群系统的高性能单一系统映像．