1.
Adversarial Planning via Symbolic Model Checking;
基于符号模型检测方法的应对规划系统
2.
The Research and Application of Symbolic Model Checking;
基于符号模型检测若干问题的研究及应用
3.
A Modified Bi-Mode Fusion Detection Algorithm Based on Sign Detector
基于符号检测器的修正双模融合检测算法
4.
Constant Modulus Blind Multi-user Detection Algorithm of Momentum Dithered Signed-error
动量抖动符号误差恒模盲多用户检测算法
5.
Reasoning and Symbolic Model Checking of Extended Temporal Logics
扩展时序逻辑的推理及符号化模型检验技术
6.
Symbolic Model Checking Algorithm for Temporal Epistemic Logic CTL*K
时态认知逻辑CTL*K的符号化模型检查算法
7.
Study on Weak Signal Detection Based on Bi-Stable Langevin Model;
基于双稳态Langevin模型的弱信号检测研究
8.
Is inspection and test equipment sufficient to verify material conformance (type & quantity)?
检验及测试设备是否足以验证材料是否符合要求（型号，数量）？
9.
Study and Implementation on Atomicity of e-commerce Protocol Base on Symbolic Model Checking;
基于符号模型检验的电子商务协议原子性的研究与实现
10.
What is Situation Model: Propositional Symbol or Perceptual Symbol;
情境模型的实质:命题符号与知觉符号之争
11.
Study on Non-Dynamic Stochastic Resonance Model for Optimum Signal Detection;
非动态随机共振最佳信号检测模型的研究
12.
Feature Extraction on AR Model About Ultrasonic Testing of Liquid Signal
基于AR模型对超声检测液位信号的特征提取
13.
Identification and symbols for process measuring and controlling system
过程检测和控制系统用文字代号和图形符号
14.
Weak signal identification based on chaotic nature of symbol-sequence entropy
基于符号序列信息熵混沌特性的微弱信号检测
15.
Code Element Symbol Rate Detection of Digital Signal Based on Wavelet Transform
数字信号基于小波变换的码元符号率检测
16.
Music retrieval based on vowel detection and symbol feature representation
元音检测和最值点符号特征匹配的音乐检索
17.
Effectively Detecting Line Spectrum of Ship-Radiated Noise Using DT-CWT Statistical Model
基于DT-CWT统计模型的舰船噪声信号中线谱信号检测研究
18.
From "matter-energy Mode" to "Information-symbol Mode"--On the Symbolization Transformation of Human Culture Creature Mode
从“物质能量型”到“信息符号型”——论人类文化创造模式的符号化转换