强光注入锁定半导体激光器的理论分析