1990年，Pardoux-Peng(1990)提出了一般形式的非线性倒向随机微分方程,并解决了其解的存在唯一性问题. Peng(1997)通过该方程引入了一类特殊的域流相容的非线性期望一化期望.后来El Karoui-Peng-Quenez(1997)，Chen-Epstein(2002)等发现倒向随机微分方程是解决经济金融问题的有力工具.此后,倒向随机微分方程理论成为随机分析、控制论、金融数学等领域的重要研宄热点之一.本文主要研宄:一般时间区间反射倒向随机微分方程的基本问题一解的存在唯一性及其相关性质；一般时间区间上g-期望的逆问题一满足何种适当条件的域流相容非线性期望是g-期望；倒向随机微分方程的生存性质及其应用.我们围绕以上三个基本问题开展研宄,做了深入探索并获得了相关的系列结果.　　在第二章,我们首先证明了一般时间区间半鞅的单调极限定理：在Brown运动形成的域流框架下,一般时间区间上轨道右连左极的单调半鞅序列的极限依然是右连左极的半鞅.这是我们得到的关键结论之一，以此为工具我们获得了一般区间受限倒向随机微分方程最小&上解的存在性.接着,证明了一般时间区间、障碍Lp-可积、生成元一致连续的一维反射倒向随机微分方程Lp-解的存在唯一性定理;进一步地,说明了若方程的下障碍连续,则其解也连续.而且对不同参数的反射倒向随机微分方程,得到了解的比较定理.本章采用的方法是Peng-Xu(2005)和Peng(1999)中技术的非平凡发展，同时得到的主要结果也是他们结论的非平凡推广.　　在第三章,利用第二章的结论,我们将一维反射倒向随机微分方程-解的存在唯一性定理推广到了生成元随机Lipschitz连续的多维反射倒向随机微分方程.并在一维情形下,通过一个新形式的倒向随机Gronwall不等式,得到了方程解的比较定理.另外，我们也得到了一般区间多维斜反射倒向随机微分方程Lp-解的存在唯一性以及该形式的方程和最优转换问题的联系.进一步,借助于该联系,在生成元g满足一般时间区间版本的Lipschitz条件下,我们去掉了g的每一分量只依赖于变量y的相应分量的假设,通过在一个合适的过程空间中构造压缩映射的办法得到方程LP-解的存在唯一性.我们也说明了如何利用斜反射方程解决允许提前退出的多模式一般最优转换问题.在多维情形下的反射倒向随机微分方程方面,本章的结果与现有的结果（有限时间区间、一致Lipschitz生成元、平方可积参数以及连续下障碍情形）相比有显著进展.　　在第四章,我们对一般区间上的动态相容性非线性算子做了系统研宄,借助第二章的单调极限定理建立了一般区间上右连左极g-上鞅的非线性Doob-Meyer型分解.并解决了g-期望在一般时间区间和Lp-可积框架下的逆问题：如果域流相容非线性期望满足平移不变和受控条件，则它是一个g-期望.该结果是Peng(1999)和Coquet-Hu-Mdmin-Peng(2002)中的结论在一般时间区间和LP-可积框架下的一般化和推广.另外,我们给出了与一致风险度量密切相关的次线性g-期望稳健表示的更一般结果.　　在第五章，我们去掉了Buckdahn-Quincampoix-Rlgcanu(2000)中附加的关于生成元更强可积性和连续性的两个前提假设,在基本条件下给出了多维倒向随机微分方程生成元的表示定理以及其生存性成立的充分必要条件.利用生存性质，我们得到了多维向量空间在两个不同序下（通常的半序和关于单位向量投影的全序）倒向随机微分方程解的比较定理和严格比较定理（据我们所知，该形式的多维严格比较定理是首次得到的).而且也得到了在这两个序下解的反比较定理.另外,我们也获得了一般随机微分方程的生存性成立的充分必要条件和比较定理.