本文介绍了给定的Banach空间上的有界线性算子构成的双参数C0半群的定义,讨论了Banach空间上的有界线性算子构成双参数C0半群的条件。本文介绍了范数连续性并证明了相关性质,结合范数连续性,研究了双参数C0半群的微积分性质。结合单参数半群的相关性质,本文进一步对双参数C0半群的有界性进行相关了研究。本文介绍了双参数C0半群的无穷小生成元的概念,并对双参数C0半群的无穷小生成元的性质进行了研究。进一步,结合双参数C0半群的无穷小生成元的概念,介绍了无穷小生成元的预解式的概念,并对其性质进行了介绍。为了研究双参数C0半群和双参数C0半群的无穷小生成元二者之间的相互决定关系,相应条件下的Hille-Yosida定理被证明。　　本文介绍了给定的Banach空间上的有界线性算子构成的双参数半群的条件,给出了一个有关双参数半群的有界性质的新概念。在此基础之上,研究了双参数半群的连续性质。本文介绍了双参数半群的预解算子的定义,并讨论了双参数半群预解算子的有界性。同时,文中介绍了双参数半群的无穷小算子的概念,并讨论了双参数半群的无穷小算子和微分算子之间的关系。进一步,讨论了双参数半群和马尔可夫过程之间的决定关系,并研究了拟时齐性质。