1.
Formal Model Describing Topological Relations Between Spatial Linear Objects in GIS
GIS空间线目标间拓扑关系形式化描述模型
2.
The Research on B Formal Specification of UML Use Case Model
UML用例模型的B形式化描述方法研究
3.
A formal description method for P2P network models
P2P网络模型的形式化描述方法(英文)
4.
A Formal Description of the Simulation Model Based on Pushdown Automator
基于下推自动机的仿真模型形式化描述
5.
Process Model for Multimedia Task Management and its Formal Descriptions
多媒体任务管理中的过程模型及其形式化描述
6.
Rectification and Formal Description of 3D OO-solid Model
三维体元拓扑数据模型的修正及其形式化描述
7.
At last, we formalize MTI cooperation model detailedly.
本文最后对 MTI协作模型的协作策略进行了详细的形式化描述 .
8.
Formal description for architecture model based on feature and category theory
基于特征和范畴理论的体系结构模型形式化描述
9.
A Simulation on the Accuracy of DEM Terrain Representation
数字高程模型地形描述精度量化模拟研究
10.
Research on the formal description of object model for MIS;
管理信息系统对象模型形式描述的研究
11.
Research on the Transformation Method of the Conceptual Model Description Format of Equipment Demonstration Simulation
装备论证仿真概念模型描述形式转换方法研究
12.
The Stduy of Formal Description of Chinese Character Glyph and Application
汉字字形形式化描述方法及应用研究
13.
A Description of Nuclear Triaxiality in the Interacting Boson Model;
IBM模型对原子核三轴形变的描述
14.
Research on Formal Description and Modeling of Chance Discovery;
机会发现的形式描述与形式建模的研究
15.
Beside this,the formalization based on OWL+Dublin Core is provided.
给出基于OWL+Dub lin Core的形式化描述;
16.
Formal Description of Command and Control Relationships;
C2组织指挥控制关系的形式化描述
17.
Study on Frame Description of RDF;
资源描述框架的形式化表示问题研究
18.
A Formal Description of Traffic Signal Based on LTL
基于LTL的交通灯系统形式化描述方法