结合工程菌在蚊子中水平和垂直传播的两种方式,建立了蚊子种群动力学模型.得到系统边界平衡点的稳定性条件以及正平衡点的存在性条件.随后在某些特定条件下得到系统边界平衡点的全局稳定性,以及系统正平衡点的存在性和稳定性.模型显示,在细菌感染蚊子的过程中,存在一个最低水平传播率,只有在高于该值时,细菌对疟疾的控制才有效.