1.
A Research for the Model of the Adaptive Map Symbol
自适应地图符号模型与原型系统的实现
2.
Adversarial Planning via Symbolic Model Checking;
基于符号模型检测方法的应对规划系统
3.
The Research and Application of Symbolic Model Checking;
基于符号模型检测若干问题的研究及应用
4.
Study and Implementation on Atomicity of e-commerce Protocol Base on Symbolic Model Checking;
基于符号模型检验的电子商务协议原子性的研究与实现
5.
What is Situation Model: Propositional Symbol or Perceptual Symbol;
情境模型的实质:命题符号与知觉符号之争
6.
From "matter-energy Mode" to "Information-symbol Mode"--On the Symbolization Transformation of Human Culture Creature Mode
从“物质能量型”到“信息符号型”——论人类文化创造模式的符号化转换
7.
Research of date access model based on the polynomial algebra
基于多项式符号代数的数据通路模型
8.
Business model framework research based on organization semiotics
基于组织符号学的企业模型框架研究
9.
A New Conceptual Model and It's Describing System of Internet Map Symbol
新型网络地图符号概念模型及其描述体系
10.
A Semiotic Method in Model-Based HCI System Analysis
基于模型的人机交互系统分析的符号学方法
11.
Reasoning and Symbolic Model Checking of Extended Temporal Logics
扩展时序逻辑的推理及符号化模型检验技术
12.
Symbolic Computation on the Soliton Solutions of Some Nonlinear Models
基于计算机符号计算的非线性模型孤子解研究
13.
Researches on Significations Based on Mental Models in Product Design
产品设计中基于心智模型的符号指向研究
14.
SYMBOLIC DERIVATION OF DYNAMICAL MODEL AND SIMULATION OF A DIRECT DRIVE ROBOT
直接驱动机器人动力学模型的符号推导与仿真
15.
Symbolic Model Checking Algorithm for Temporal Epistemic Logic CTL*K
时态认知逻辑CTL*K的符号化模型检查算法
16.
Symbolic Sequence Clustering Regular Similarity Model Based on Data Mining
基于数据挖掘的符号序列聚类相似度量模型
17.
3D Symbol Modeling Base on Direct3D API;
基于Direct3D的三维符号建模
18.
Hadamard Products of Matrices and Sign Patterns;
矩阵的Hadamard积与符号模式