1.
Study and Implementation on Atomicity of e-commerce Protocol Base on Symbolic Model Checking;
基于符号模型检验的电子商务协议原子性的研究与实现
2.
Reasoning and Symbolic Model Checking of Extended Temporal Logics
扩展时序逻辑的推理及符号化模型检验技术
3.
Wilcoxon matched pairs signed rank test
威氏配对符号秩次检验
4.
Adversarial Planning via Symbolic Model Checking;
基于符号模型检测方法的应对规划系统
5.
The Research and Application of Symbolic Model Checking;
基于符号模型检测若干问题的研究及应用
6.
Symbolic Model Checking Algorithm for Temporal Epistemic Logic CTL*K
时态认知逻辑CTL*K的符号化模型检查算法
7.
One of the easiest nonparametric tests to use is the sign test.
最简单的非参数检验是符号检验。
8.
Is inspection and test equipment sufficient to verify material conformance (type & quantity)?
检验及测试设备是否足以验证材料是否符合要求（型号，数量）？
9.
The verification of printed quality of bar code symbol
GB/T14258-1993条码符号印制质量的检验
10.
Wilcoxon paired test
威斯康星配对法/配对符号秩和检验
11.
Sign test method for image median filtering fast computation
图像中值滤波快速计算的符号检验法
12.
What is Situation Model: Propositional Symbol or Perceptual Symbol;
情境模型的实质:命题符号与知觉符号之争
13.
A Modified Bi-Mode Fusion Detection Algorithm Based on Sign Detector
基于符号检测器的修正双模融合检测算法
14.
The Verification of Symbolic Bisimulations in Asymmetric X～≠-Calculus;
非对称X～≠-演算符号互模拟验证
15.
hypothesis testing model
假设检验模型 假设检验模型
16.
hypotheses testing model
假设检验模型假设检验模型
17.
From "matter-energy Mode" to "Information-symbol Mode"--On the Symbolization Transformation of Human Culture Creature Mode
从“物质能量型”到“信息符号型”——论人类文化创造模式的符号化转换
18.
Research of date access model based on the polynomial algebra
基于多项式符号代数的数据通路模型