可分组设计是组合设计理论中一个基本而重要的研究课题．设v，λ为正整数且K，M为给定的正整数集．一个三元组（（?）），其中（?）为一个v元集，（?）构成（?）的一个划分．（?）的元素叫做区组，（?）的元素叫做组．若满足：（i）对任意B∈（?），都有|B|∈K；（ii）对任意G∈（?），都有|G|∈M；（iii）对任意B∈（?）与任意G∈（?），都有|B∩G|≤1；（iv）（?）中任意一对属于不同组的元素恰好包含在λ个区组中，则称（（?））为一个可分组设计，记作GD（K，λ，M；v）．若K={K₁^*，K₂,...，K_n}，则表示可分组设计中至少存在一个长为K₁的区组．本文主要讨论组型为g^t的{3，4^*}-GDD存在性问题．全文共分四个章节：第一章介绍有关区组设计的基本概念和定理．第二章通过给出构造方法并引用已知的结果，解决{3，4^*}-PBD的存在性问题，即{3，4^*}-PBD存在的充分必要条件为v≡0，1（mod 3），v≥4且v≠6，7，9．第三章研究组型为g^t的{3，4^*}-GDD，给出一系列的构造方法和结果，基本解决了其存在性问题，即组型为g^t的{3，4^*}-GDD存在的必要条件也是充分的，除去（g，t）∈{（1，6），（1，7），（1，9），（2，4）}不存在，以及可能的t=6且g≡1，5（mod 6）．第四章结论以及对一些问题的探讨．