二阶微分包含的边值问题及其应用

在可分的Banach空间中,讨论了一类二阶微分包含的边值问题和一类反馈控制问题.结合不动点定理,对解的存在性和状态控制对的存在性分别给出了充分性条件.     

概率论与随机过程中的泛函分析

本书是作者于2000年秋至2001年春在休斯顿大学、瑞斯大学为研究生所作的“概率论与随机过程中的泛函分析方法”专题系列讲座内容组成的，主要包含Hilbert空间、Banach空间、弱拓扑、Banach代数和有界算子半群理论等。此外该书还提供了许多例子和练习，既可以用作教学参考书，又便于读者自学。     

EBJ-120TP型掘进机的推广使用及改进

介绍了EBJ—120TP型掘进机在杜儿坪矿的使用情况,提出了EBJ—120TP型掘进机的改进建议及维护保养措施。     

钢—混凝土组合梁的研究与发展

文章对钢—混凝土组合梁的研究和发展进行了分析,并介绍了有关钢—混凝土组合梁的研究方法及值得进一步研究的问题。     

与年龄相关的非线性时变种群系统的L2(Q)-解

本文讨论与年龄相关的非线性时变种群系统（P）的l^2（Q）－解，为进一步研究种群系统的最优控制问题提供了必要的理论基础．     

基于形态特征的芒果树L系统建模及其可视化

树木是虚拟森林景观的重要要素,也是自然景观可视化中较难建模与表达的要素之一.传统的树木建模方法无法用简单规律描述形态复杂的树木,且生成的树木往往也忽略生物学意义.因此限制了其实用性.针对这些问题提出了一种能较为全面反映生物学形态结构特征的L系统树木建模方法,并以热带水果种类之一的芒果树为模型对该方法进行了初步的设计与实现,结果表明这种方法能生成植物学形态特征的、具有不同树龄的三维逼真芒果树.     

英语存在句There的认知研究

本文从认知角度对英语存在句There进行研究,试图揭示其本质特征。通过运用舞台模型结合射体——界标和弹子球模型来探究英语存在句中There的意义构建过程。     

从形式语义学的角度看汉语时态算子对正极项的允准

极性敏感现象是语言的一种共性。本文通过对汉语中的时态副词的研究,证明了时态副词也是一种正极项,并验证了Ginnakidou所提出的真实性算子对极性敏感项的允准的假说同样适用于解释汉语中的正极项的分布。     

板几何中一类具非对称散射裂变核的迁移算子的谱

研究了板几何中一类具非对称散射裂变核的迁移算子的谱，证明了该算子在右半平面无复本征值和存在有限个具有限代数重数的实离散本征值。     

Stancu-Kantorovich算子在Orlicz空间的逼近阶

研究了Stancu-Kantorovich算子在Orlicz空间的逼近估计