半明確系統模態