本文回顾了约束哈密顿系统的研究历史，介绍了约束哈密顿系统规范对称性的研究进展。介绍了约束系统量子化的几种方法，主要是正则量子化方法和Faddeev-Senianovic路径积分量子化方法，并综述了其它量子化程序和约束Hamilton系统的对称性。我们详细讨论了Dirac-Bergmann约束计算方法，将约束的矩阵求法与狄拉克求法作比较，讨论了二者等价时的约束计算方法。 我们分别运用Faddeev-Senjanovic和Becchi-Rouet-Stora-Tyutin路径积分量子化方法对超对称电动力学系统进行了量子化。我们构造了体系的规范生成元和BRST生成元，分别得到了场量的规范变换和BRST变换，发现超对称不同场的BRST变换与规范变换存在一定的关系。基于正则系统的Noether定理，我们给出了规范变换的Ward-Takahashi恒等式；并且讨论了正规顶角和传播子的关系。根据约束系统的Faddeev-Senjanovic路径积分量子化方法，我们对超对称任意子系统进行了量子化；根据经典Noether定理，得到了系统的守恒角动量；用量子正则Noether定理讨论了量子守恒角动量，我们发现了系统具有分数自旋性质。 在超对称系统的量子化研究基础上，我们继续探讨超对称在宇宙学和粒子物理中的应用。我们介绍了超对称和R宇称，阐明了超对称在高能标和低能标下是如何破缺的，还综述了中性伴随子(neutralino)宇宙学和引力微子(gravitino)宇宙学；最后我们得到了暗物质的密度比值的表达式，给出了对所有暗物质粒子的Tremaine-Gunn限制。