2) signal detection/modeling
信号检测建模
4) analog Signal Detector
模拟信号检测器
5) symbolic model checking
符号模型检测
1.
A new symbolic model checking tool was built based on this algorithm.
并且基于该算法开发出新的符号模型检测工具。
6) Symbolic model checking
符号化模型检测
1.
Verifying winning strategy with symbolic model checking;
基于符号化模型检测的对弈必胜策略验证
补充资料：信号
信号
signal
信息的传递需要有适当的物质载体，并需要变换成某种表现形式，信息的物质载体和表现形式称为信号。系统的输入和输出即是信号，故应称输入信号和输出信号。输入信号通过系统被变换成相应的输出信号。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条