语境形式化,formalization of context,音标,读音,翻译,英文例句,英语词典

您的位置：首页 -> 词典 -> 语境形式化

1) formalization of context 点击朗读

语境形式化

2) formal language 点击朗读

形式化语言

In the light of the characteristic of chemical science this paper the describes the constitution of the types of chemical science language, which are the natural language, the professional mark language and the formal language, and discusses the inter-relationship and functions of these languages in the development of chemical science.

本文以化学科学的特征,论述了构成化学科学语言的类型有自然语言、专业符号语言及形式化语言,并阐述了几种语言类型的相互关系及其在化学科学理论发展中的作用。

However,the formal specifications written by formal languages are not easy to read and understand,and there is still not an effective tool for the automatic testing based on formal specifications.

鉴于此,提出一种新的方法将支持面向对象开发的形式化语言所描述的软件规范自动地转化为系统级状态机,从而改善其可读性与可理解性。

A classfication and a system model of formal analyses is given,and three classes of formal analysis methods(based on reasoning,based on attack,based on proof)and formal languages used in formal analyses are commented in details.

综述目前安全协议形式化分析的理论与方法 ,包括安全协议的分类与模型 ,安全协议形式化分析的 3种典型方法 (基于推理的结构性方法 ,基于攻击的结构性方法 ,基于证明的结构性方法 ) ,安全协议分析的形式化语言 ,安全协议设计的形式化方法 ,以及安全协议形式化分析面临的挑

更多例句>>

3) formal semantics 点击朗读

形式化语义

It discribes the weaving process between aspects and core components, as well as the weaving process between aspects themselves in statecharts, and then uses the formal semantics of process algebra to describe extended statecharts.

本文利用UML的扩展机制将方面加入状态图中,描述了状态图中的方面与核心组件以及方面之间的编织,然后利用进程代数的形式化语义描述了扩展后的UML状态图,克服了扩展UML描述状态图的缺乏形式化动态语义,不利于对模型进行形式化验证和证明的缺点。

However,UML does not have a formal semantics,so it could not fulfill the needs of the protocol in precise.

但是,UML缺乏形式化语义,因此不能满足协议精确性的要求。

0 sequence diagram and state diagram,the formal semantics of UML 2. 点击朗读

0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML2。

更多例句>>

4) formal semantic 点击朗读

形式化语义

例句>>

5) formal syntax 点击朗读

形式化语法

This paper defines formal syntax of. 点击朗读

本文定义了顺序图的形式化语法,采用线性时序逻辑给出了顺序图的语义描述,并通过实例分析,对模型的某条性质进行了证明,为模型做进一步分析和验证提供了基础。

6) phonetic formation 点击朗读

语音形式化

补充资料：公理化方法(见公理化和形式化)

公理化方法(见公理化和形式化)
axiomatical method

　　gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。

参考词条

形式化逻辑语言语言形式变化语言的形式变化形式化精确语义形式化语言Object-Z 形式化语言模型半形式化语言

口语化形式隐形语境形式化语义分析形式化语义描述形式化描述语言

说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
	您的位置：首页 -> 词典 -> 语境形式化 1) formalization of context 语境形式化 2) formal language 形式化语言 1. In the light of the characteristic of chemical science this paper the describes the constitution of the types of chemical science language, which are the natural language, the professional mark language and the formal language, and discusses the inter-relationship and functions of these languages in the development of chemical science. 本文以化学科学的特征,论述了构成化学科学语言的类型有自然语言、专业符号语言及形式化语言,并阐述了几种语言类型的相互关系及其在化学科学理论发展中的作用。 2. However,the formal specifications written by formal languages are not easy to read and understand,and there is still not an effective tool for the automatic testing based on formal specifications. 鉴于此,提出一种新的方法将支持面向对象开发的形式化语言所描述的软件规范自动地转化为系统级状态机,从而改善其可读性与可理解性。 3. A classfication and a system model of formal analyses is given,and three classes of formal analysis methods(based on reasoning,based on attack,based on proof)and formal languages used in formal analyses are commented in details. 综述目前安全协议形式化分析的理论与方法 ,包括安全协议的分类与模型 ,安全协议形式化分析的 3种典型方法 (基于推理的结构性方法 ,基于攻击的结构性方法 ,基于证明的结构性方法 ) ,安全协议分析的形式化语言 ,安全协议设计的形式化方法 ,以及安全协议形式化分析面临的挑更多例句>> 3) formal semantics 形式化语义 1. It discribes the weaving process between aspects and core components, as well as the weaving process between aspects themselves in statecharts, and then uses the formal semantics of process algebra to describe extended statecharts. 本文利用UML的扩展机制将方面加入状态图中,描述了状态图中的方面与核心组件以及方面之间的编织,然后利用进程代数的形式化语义描述了扩展后的UML状态图,克服了扩展UML描述状态图的缺乏形式化动态语义,不利于对模型进行形式化验证和证明的缺点。 2. However,UML does not have a formal semantics,so it could not fulfill the needs of the protocol in precise. 但是,UML缺乏形式化语义,因此不能满足协议精确性的要求。 3. 0 sequence diagram and state diagram,the formal semantics of UML 2. 0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML2。更多例句>> 4) formal semantic 形式化语义例句>> 5) formal syntax 形式化语法 1. This paper defines formal syntax of. 本文定义了顺序图的形式化语法,采用线性时序逻辑给出了顺序图的语义描述,并通过实例分析,对模型的某条性质进行了证明,为模型做进一步分析和验证提供了基础。 6) phonetic formation 语音形式化补充资料：公理化方法(见公理化和形式化) 公理化方法(见公理化和形式化) axiomatical method 　　gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理　　说明：补充资料仅用于学习参考，请勿用于其它任何用途。参考词条形式化逻辑语言语言形式变化语言的形式变化形式化精确语义形式化语言Object-Z 形式化语言模型半形式化语言

©2011 dictall.com