线性时序逻辑语言XYZ/E,Sequential Logic XYZ/E,音标,读音,翻译,英文例句,英语词典

您的位置：首页 -> 词典 -> 线性时序逻辑语言XYZ/E

1) Sequential Logic XYZ/E 点击朗读

线性时序逻辑语言XYZ/E

2) temporal logic language XYZ/E 点击朗读

时序逻辑语言XYZ/E

例句>>

3) XYZ/E

XYZ/E语言

4) temporal logic language 点击朗读

时序逻辑语言

XYZ/E is the first executable temporal logic language, which can represent both of the static and dynamic aspects of program.

XYZ/E是世界上第一个可执行的时序逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构,本文采用XYZ/E语言刻画了软件体系结构的基本组件与连接件,并通过对这些组件及连接件进行特定的组合,来表示几种重要的软件体系结构风

The temporal logic language(TLL) XYZ/E can represent both dynamic semantics and static semantic under a unified framework and carry out the smooth transition from abstract specification to execuable program.

时序逻辑语言XYZ/E在统一的形式框架下既能表示静态语义又能表示动态语义,可以实现从抽象描述到可执行程序的平滑过渡。

更多例句>>

5) linear temporal logic 点击朗读

线性时序逻辑

In the proposed scheme,the antecedent of an implication form that may apeare in linear temporal logic formula of program properties was taken as the constrained condition of .

以程序性质的线性时序逻辑公式可能出现的蕴涵式的前件作为条件化的约束条件,通过分析程序符号化执行语义,借助自动定理证明器,对语句的可达性条件进行逻辑推理,删除那些与性质的可满足性无关的语句,以达到程序精简的目的。

Then the linear temporal logic properties . 点击朗读

针对软件体系结构描述语言在分析、验证软件构架动态行为中的不足,采用谓词/变迁(Pr/T)网为软件体系结构动态行为建模,并提出了基于线性时序逻辑的软件体系结构动态行为模型验证方法。

Then,linear temporal logic is proposed to model the specification of CDC designs. 点击朗读

为解决此问题,本文首先提出描述亚稳态现象的等价电路实现,用以在RTL验证中准确体现亚稳态现象的实际影响;然后使用线性时序逻辑对跨时钟域设计进行设计规范的描述;为缓解模型检验的空间爆炸问题,进一步针对跨时钟域设计的特点提出基于输入信号的迁移关系分组策略和基于数学归纳的优化策略。

更多例句>>

6) Linear Temporal Logic(LTL) 点击朗读

线性时序逻辑

Linear Temporal Logic(LTL) is introduced to show the property of security protocol. 点击朗读

验证工具以GSPM模型为基础形式化地描述了安全协议,并引进线性时序逻辑刻画了安全协议的性质,用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。

更多例句>>

补充资料：XYZ/E语言族

XYZ/E语言族
XYZ/E language family

　　XYZ/任yuyanzuxYZ/E语言族(xYZ/Elanguage价”nily)一种系列化的时序逻辑语言族，其中各子语言分别表示不同的程序设计方式或程序范型的语言。X、，Z/E由中国科学院计算技术研究所唐稚松于70年代设计，它的最基本的特征是以一统一的框架既能表示适应诺依曼体系的状态转换机制的命令式语言，又能表示适应逻辑推理特征的直言式公式语言。 XYZ/E有三种控制结构:一种是直接表示状态转换的命令形式，具有这种控制结构的子语言称xYZ/BE(即卫进51。XYZ/E);另一种则是结构化高级语言的语句形式，具有这种控制结构的子语言称为XYZ/SE(即Structur司rulef〔)ml XYZ/E);第三种控制结构则是产生式规则的形式，具有这种控制结构的子语言称为XYZ/PE(即Preductlon rule爪〕nllX、艺/E)。 XYZ/E中也包括了表示各种并发性或不确定性、不同通信方式、不同类型的可重用模块的机制。故在一统一的程序中可包含所有这些机制及相应的各种程序设计方式。它同时还能包含表示多种可视图形程序的语义，而且这些图形与相应的XYZ/E程序可相互自动生成。由可重用模块(过程、进程、包块)与并发通信机制结合而成的程序，由于其结合方式不同，可以构成差异很大的总体结构，其中有些情况是互不相容的。可以区分为三种类型:①非分布式环境下基于对象的程序;②非分布式环境下面向对象的程序;③分布式程序。 XYZ系统是将时序逻辑与软件工程有机结合、基于XYZ/E语言的计算机辅助软件工程(C纪弧)环境。故它构成一正交的二维体系。一维是基于Manna一Pnudi线性时间时序逻辑语言族XYZ/E，另一维是CASE工具集，包括五组工具(交互式验证工具与自动生成工具、记录历史的逐步求精与原型速成工具、结构化设计的可视图形工具、语言转换工具、软件管理工具)，均以XYZ/E表示其语义界面，它们既可独立使用又可根据其输人输出界面语义一致性相互连结组成更复杂的工具。 (柳军飞赵深)
　　

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

参考词条

有穷命题线性时序逻辑教学语言逻辑性语言逻辑逻辑语言 XYZ/ADL语言时序性逻辑开关

线性时序逻辑性质 XYZ/E语育时态逻辑语言命题线性时序逻辑

说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
	您的位置：首页 -> 词典 -> 线性时序逻辑语言XYZ/E 1) Sequential Logic XYZ/E 线性时序逻辑语言XYZ/E 2) temporal logic language XYZ/E 时序逻辑语言XYZ/E 例句>> 3) XYZ/E XYZ/E语言 4) temporal logic language 时序逻辑语言 1. XYZ/E is the first executable temporal logic language, which can represent both of the static and dynamic aspects of program. XYZ/E是世界上第一个可执行的时序逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构,本文采用XYZ/E语言刻画了软件体系结构的基本组件与连接件,并通过对这些组件及连接件进行特定的组合,来表示几种重要的软件体系结构风 2. The temporal logic language(TLL) XYZ/E can represent both dynamic semantics and static semantic under a unified framework and carry out the smooth transition from abstract specification to execuable program. 时序逻辑语言XYZ/E在统一的形式框架下既能表示静态语义又能表示动态语义,可以实现从抽象描述到可执行程序的平滑过渡。更多例句>> 5) linear temporal logic 线性时序逻辑 1. In the proposed scheme,the antecedent of an implication form that may apeare in linear temporal logic formula of program properties was taken as the constrained condition of . 以程序性质的线性时序逻辑公式可能出现的蕴涵式的前件作为条件化的约束条件,通过分析程序符号化执行语义,借助自动定理证明器,对语句的可达性条件进行逻辑推理,删除那些与性质的可满足性无关的语句,以达到程序精简的目的。 2. Then the linear temporal logic properties . 针对软件体系结构描述语言在分析、验证软件构架动态行为中的不足,采用谓词/变迁(Pr/T)网为软件体系结构动态行为建模,并提出了基于线性时序逻辑的软件体系结构动态行为模型验证方法。 3. Then,linear temporal logic is proposed to model the specification of CDC designs. 为解决此问题,本文首先提出描述亚稳态现象的等价电路实现,用以在RTL验证中准确体现亚稳态现象的实际影响;然后使用线性时序逻辑对跨时钟域设计进行设计规范的描述;为缓解模型检验的空间爆炸问题,进一步针对跨时钟域设计的特点提出基于输入信号的迁移关系分组策略和基于数学归纳的优化策略。更多例句>> 6) Linear Temporal Logic(LTL) 线性时序逻辑 1. Linear Temporal Logic(LTL) is introduced to show the property of security protocol. 验证工具以GSPM模型为基础形式化地描述了安全协议,并引进线性时序逻辑刻画了安全协议的性质,用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。更多例句>> 补充资料：XYZ/E语言族 XYZ/E语言族 XYZ/E language family 　　XYZ/任yuyanzuxYZ/E语言族(xYZ/Elanguage价”nily)一种系列化的时序逻辑语言族，其中各子语言分别表示不同的程序设计方式或程序范型的语言。X、，Z/E由中国科学院计算技术研究所唐稚松于70年代设计，它的最基本的特征是以一统一的框架既能表示适应诺依曼体系的状态转换机制的命令式语言，又能表示适应逻辑推理特征的直言式公式语言。 XYZ/E有三种控制结构:一种是直接表示状态转换的命令形式，具有这种控制结构的子语言称xYZ/BE(即卫进51。XYZ/E);另一种则是结构化高级语言的语句形式，具有这种控制结构的子语言称为XYZ/SE(即Structur司rulef〔)ml XYZ/E);第三种控制结构则是产生式规则的形式，具有这种控制结构的子语言称为XYZ/PE(即Preductlon rule爪〕nllX、艺/E)。 XYZ/E中也包括了表示各种并发性或不确定性、不同通信方式、不同类型的可重用模块的机制。故在一统一的程序中可包含所有这些机制及相应的各种程序设计方式。它同时还能包含表示多种可视图形程序的语义，而且这些图形与相应的XYZ/E程序可相互自动生成。由可重用模块(过程、进程、包块)与并发通信机制结合而成的程序，由于其结合方式不同，可以构成差异很大的总体结构，其中有些情况是互不相容的。可以区分为三种类型:①非分布式环境下基于对象的程序;②非分布式环境下面向对象的程序;③分布式程序。 XYZ系统是将时序逻辑与软件工程有机结合、基于XYZ/E语言的计算机辅助软件工程(C纪弧)环境。故它构成一正交的二维体系。一维是基于Manna一Pnudi线性时间时序逻辑语言族XYZ/E，另一维是CASE工具集，包括五组工具(交互式验证工具与自动生成工具、记录历史的逐步求精与原型速成工具、结构化设计的可视图形工具、语言转换工具、软件管理工具)，均以XYZ/E表示其语义界面，它们既可独立使用又可根据其输人输出界面语义一致性相互连结组成更复杂的工具。 (柳军飞赵深) 　　说明：补充资料仅用于学习参考，请勿用于其它任何用途。参考词条有穷命题线性时序逻辑教学语言逻辑性语言逻辑逻辑语言 XYZ/ADL语言时序性逻辑开关

©2011 dictall.com