形式化的的英文

发音:

英文翻译
造句

formalized

的 4次方是 The fourth power of 2 i ...
形式化的能力问题 formal competency questions
非形式化的能力问题 informal competency questions
形式化 formalise; formalisierung; formalization; formalize
形式化的面向对象开发方法 fmoo
使形式化 formalize formalize
形式化测试 formal testing
形式化方法 formal methods
形式化规则 formation rule
形式化阶段 formalization stage
形式化控制 formalized control
形式化模型 formalized model
形式化算法 formalized arithmetic
形式化索引 fomalization index
形式化验证 formal verification
询问形式化 query formation
格式化的 formative
未格式化的 unformatted
仪式化的 solemn
已格式化的 formatted
哈密顿形式化 hamilton formulation
图灵机形式化 turing machine formalization
形式化计算机 formalized computer
形式化群定律 formal group law
公式化的电影 formulaic movies

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

例句与用法

In word processing , a program for producing form letters in which a name and address file is merged with the text file containing the letter
在字（词）处理技术中，用于产生形式化的信件的一种程序，这种信件是把含有姓名和地址的文件与含有信件正文的文件合并而成的。
Firstly , this paper proposes that the - calculus has been regarded as a formal foundation for workflow , furthermore describes workflow patterns by using the - calculus in detail
首先提出以演算作为工作流形式化的基础，然后利用演算对工作流模式进行详细的描述。
Another research area is design process modeling , which supports system conceptual design integration and is the key of integration among multi - tasks and multi - users
在此基础上，提出了sml映射语言，以形式化的方式，使得异构应用间数据模型集成能够以半自动化的方式进行。
Based on the global scenarios specified by use case maps and msc , a formal sdl - based specification of software requirements can be derived from the maps
基于usecasemaps的软件系统全局行为模式，可转换为基于sdl表示的软件需求规约说明，这样的需求规约说明具有形式化的特点。
Extenics is a new subject . formalized tool is used to research the rules and methods of solving non - compatible problems from the point of view of the qualitation and quantification
可拓学是一门新的学科，它是用形式化的工具，从定性和定量两个角度去研究解决矛盾问题的规律和方法。
Although some models have formal mathematical description , there is still some distance between the mathematical description and the basic description of work flow as viewed from the model ability
虽然有的模型具有形式化的数学描述，但从模型能力上距离对工作流的本质描述仍有差距。
In this paper , basing software modeling on petri net , we extend petri net to model software process , taking advantage of its formal basis and its inherent graphic representation
在文中将petri网用作过程建模的基础，扩展了petri网，应用形式化的基础和其图形表示的特点，进行软件过程建模。
It induces the whole developing process in foreign countries into four stages which covers formal brand stage , law brand stage , famous brand stage and commodity brand stage
从整体上将国外品牌的发展过程归纳为四个阶段，即形式化的品牌阶段，法律化的品牌阶段，名牌化的品牌阶段和商品化的品牌阶段。
The apprehension of complex systems from ontology , epistemology and methodology is also stated . and the significance of modeling and simulation in the reaserch of complex systems is emphasized
对基于agent的建模与仿真方法学进行了全面、系统的阐述，并且在这个方法学的框架下，对复杂系统进行了形式化的定义。
Some results obtained in this paper are as follows . xml document model is described by formal method . some rules are provided to guarantee that the described documents are well - formed
本文主要的研究成果有以下几点： 1 )用形式化的方法描述了xml文档模型，并提供了一系列规则来保证模型描述的xml文档的良构性。