基本解释[電子、通信與自動控制技術]形式化騐証词组短语短語automatic formalized verification 形似化自動騐証formalized verification更多词组专业释义電子、通信與自動控制技術形式化騐証