模型化，Xtext作为一种文本模型化语言和领域特定语言。
Modelling, but in particular, Xtext as a textual modelling language and DSL.
为了把不明确的概念减少到最少――并和多数现代的其它模型语言形成对比――第一个标准化的UML定义是用元模型来指定的。
To minimize ambiguity -- and in contrast to most other modeling languages of the time -- the first standardized definition of UML was specified using a metamodel.
自动化意味着模型(以及后来的模型语言)的不明确和不精密的消除，所以计算机程序能转换并熟练地操纵模型。
Automation implies the elimination of ambiguity and imprecision from models (and, hence, from the modeling language) so that computer programs can transform and manipulate models.
我们过滤掉重复的内容、对数据进行结构化改造，变成统一的对象模型然后使用我们的自然语言处理程序SiLCC，提取关键字和打上标签。
We filter out duplicate content, structure data into a unified object model, and then use our natural language processing program, SiLCC, to extract keywords and apply them as tags.
可以用该模型生成任何潜在类型化的语言。
You could use this model to generate any latently typed language.
后端数据系统建立在一个语言环境模型的基础上-即一个根据“服务于全球化应用程序的语言环境信息”分类的数据系统。
The back-end data system is built on a locale model base — that is, a data system categorized by locale information that serves globalized applications.
尚未进行标准化的（就我所了解的而言）是用来捕获这些模型的3D语言。
What has not been standardized yet (as far as I've been able to see) is a 3D language for capturing these models.
全面的合并，合理化，清晰化各种不同的模型概念:从而导致一种单一化，更加统一化语言的产生。
Overall consolidation, rationalization, and clarifications of various modeling concepts: This resulted in a simplified and more consistent language.
为了根据不同的国家和语言构建单个多维数据集模型，需要将本地化数据存储在不同语言的数据库中，如图8所示。
To build the individual cube model according to the country and language, store localized data in database in different languages, as illustrated in Figure 8.
此抽象及可视化主题可以在数据库模型、XMLschemas和Web服务描述语言(Web Services Description Language,WSDL)文档上应用(参见图3)。
This abstraction and visualization theme continues with database models, XML schemas and Web Services Description Language (WSDL) documents (see Figure 3).
通过APDL语言实现有限元模型的参数化设计，计算出并联机床在工作空间内的刚度分布。
The FEA model was parameterized by APDL language and the stiffness distribution was computed over the workspace.
给出了ERBAC的动态授权管理框架，最后用形式化语言描述了ERBAC模型满足的规则。
This paper first describes the ERBAC mainframe of the management of authorization, and then gives the formal rules that ERBAC model must meet.
UML是面向对象开发中一种通用的、图形化的模型语言，是近代软件工程环境中对象分析和设计的重要工具。
UML is a general and graphic modeling language in object oriented development, also an important tool in analysing objects software engineering environments.
在分词技术、索引技术、结构化查询语言技术的基础上，提出了一个基于XML文档数据库的信息检索系统，这一系统模型主要由分词模块、索引模块及查询模块组成。
This paper puts forward an information retrieval system based on XML documents database on the foundation of segmentation technology, index technology and structured query language technology.
然而由于UML归根结底是一种非形式化的语言，模型的一致性很难保证。
However, UML is at last a semi-formal language, so it's difficult to maintain model consistency.
针对目前自然语言形式化研究中存在的问题，就歧义性、形式化与系统模型等几个基本问题做了进一步的分析与讨论。
Seeing that problem is present in natural language formalization research, this paper tries to make analysis and discuss for few basic problem on ambiguity and formalization and system model.
在做分布式模型时，用多种语言、多类型数据库开发了一可视化系统。
We developed a visual system about distribute model. There are several types database and several languages in this system.
语言是一种描述转换系统相关数据特征的形式化语言，然而不适合建立动态行为的模型。
The Z language is a formal language for specifying data-related characteristics of transformational systems. however, it is not designed to model behaviour.
本文基于提出的智能化der编码模型，使用C语言设计实现了智能化der编码系统。
Base on theory of intelligentize DER system model, the paper design and implement intelligentize DER system using C language.
利用APDL语言对ANSYS软件进行二次开发，建立楔环连接结构的参数化有限元模型。
The parametric finite element model (FEM) of wedged-ring joint structure was established using ANSYS parametric design language (APDL).
基于贝叶斯网络的XML文档查询选择模型：用户输入自然语言描述的查询后，系统根据文档集合的结构将其构造成多个结构化查询。
The query selecting model of XML documents on Bayesian network: After user inputs the natural query, system constructs several structured queries according to the structure of the document collection.
按照参数化原则，建立了参数化的拱坝模型，利用可视化编程语言vb.net，实现了高拱坝体形优化决策系统的可视化设计。
Build the geometric model of arch dam according to the parameterization. Carry the visualization design of decision-making system out by using the visualization program VB. NET.
本文采用线性化技术对陶瓷坯釉配方进行了设计，化分模块，建立数学模型，并用计算机可视化VB语言进行编程。
In this paper, the module of the ceramic batch formula is designed using linearization technology. The models are programmed with Visual Basic (VB) language.
系统采用面向对象的开发方法，用uml建模语言将系统需求模型化，并根据E - R模型分析结果建立后台数据库。
The system is developed by object-oriented method, and modeled by UML. According to E-R model analysis, the background database is established.
介绍了形式化描述语言LOTOS的特性，结合面向对象技术和状态图的理论知识，给出了基于LOTOS的动态模型的形式化方法，并给出了实例说明。
Combined with theory of object oriented technology and state chart, formalization method of dynamic model based on LOTOS is presented. Furthermore, a case is presented to demonstrate this method.
在这个模型的基础上设计了动态实时路径范式和规格化语言的语法。
This paper firstly presents a generic model and specification which are suitable for dynamic distributed real-time subsystems.
对EXPRESS建模语言的核心功能作了概述，并给出了EXPRESS数据模型的一个形式化语义描述。
The primary contents are summarized as follows:An overview of the key functions of the EXPRESS modelling language as well as a formal semantic description of the EXPRESS data model is introduced.
在ANSYS中利用APDL语言实现主轴有限元模型的参数化，并对主轴的结构进行优化设计，求出了主轴优化后的主要结构参数。
The model is parameterized using APDL in ANSYS, the optimum structure of the spindle is designed, and the main structure parameters of the spindle are obtained.
NET语言编制了数学模型的计算程序，开发了可视化人机交互界面。
NET language was used to develop a computer program of Mathematical model which have interactive visualization interface.
NET语言编制了数学模型的计算程序，开发了可视化人机交互界面。
NET language was used to develop a computer program of Mathematical model which have interactive visualization interface.
应用推荐