本文对巴拿赫空间中微分包含的解及其性质进行了研究。文章分为五个部分： 第一章讨论如下半线性微分包含解的存在性本章中用到的主要工具是非紧性测度理论，半线性微分方程理论以及多值分析理论。在1．1节中介绍了有关它们的一些基本知识。1．2节给出主要结论，即适度解的存在性，延拓性以及整体存在性。 第二章主要处理如下具无穷时滞非线性微分包含积分解的存在性以及对初值的连续依赖性这里A是一m-增生算子并且-A生成一等度连续半群，F是一多值映射，B是一抽象的相空间，X<*>是一致凸的巴拿赫空间。 第三章致力于研究如下半线性非局部问题适度解的存在性其中A是一强连续有界线性算子族{T(t)，t∈[o，b)}的无穷小生成元，f：[0，b]XX→X是一Caratheodory型映射，g：C(O，6；X)→X是一连续映射。 第四章我们讨论如下非线性发展包含积分解的弱收敛以及强收敛性其中{A(t)：t≥0)是一族m-增生算子，是一强可测多值映射。 第五章考虑如下限制非线性微分包含解集的拓扑结构本章利用并改进[6]中的方法，在对D的适当假设以及切锥条件下，证明了上述限制微分包含的解集是一R<,δ>集，并利用此结论讨论了非线性微分包含的周期解。