1) 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在统一的形式框架下既能表示静态语义又能表示动态语义,可以实现从抽象描述到可执行程序的平滑过渡。
3) Sequential Logic XYZ/E
线性时序逻辑语言XYZ/E
4) temporal logic language
时态逻辑语言
1.
XYZ/E is the first executable temporal logic language,which can desribe abstract static semantics and also express programming dynamic semantics.
XYZ/E是世界上第一个可执行的时态逻辑语言 ,它既能描述抽象静态语义 ,又能表示程序的动态语义 ,这一特征恰好适合分层描述软件体系结构 ,文 [1]采用XYZ/E语言刻画了软件体系结构的基本组件与连接件。
2.
XYZ/E is the first executable temporal logic language,which can represent both of the static and dynamic aspects of program.
XYZ/E是世界上第一个可执行的时态逻辑语言 ,它既能描述抽象静态语义 ,又能表示程序的动态语义 ,这一特征恰好适合分层描述软件体系结构。
5) Language Logic
语言逻辑
1.
Syntactic and Semantic Characteristics in Chinese and Studies on Language Logic;
汉语的句法语义特征和语言逻辑研究
2.
modern time s Chinese novels didn t discard the character s reality narration which the ancient novels are good at,but the character of the language logic in the colloquialism classical narration is more outstanding.
现代中国小说没有丢弃古代小说最为擅长的人物关系叙事,但是经典白话叙事中的语言逻辑特征更为突出。
3.
This paper poses a query to three modes of expression in language logic and then puts forward new modes of expression in order to elucidate the rhetoric of "enigmatic discourse" or euphemism, ambiguous clauses and the relation between parole and langue in language logic.
本文对三个语言逻辑的表达式提出质疑,并提出了新的表达式,试图表达语言逻辑中的“隐讳”修辞辞格、歧义句言语与语言关系。
6) logic of language
语言逻辑
1.
This paper analyzes the difference of architecture culture in the west and east from the linguistic point of view and discusses it from three aspects, namely, the element of language, the logic of language and the culture of language.
文章从语言学的角度分析东西方建筑文化方面的一些差异,并且从语言元素、语言逻辑和语言风格三方面对其展开了具体论述。
2.
This article analyzes the influence of this trichotomy on the philosophy and logic of language in detail,and on top of this,illustrates the significance of pragmatics turn in the fields of theoretic.
本文详细分析符号学三分法对语言哲学和语言逻辑的影响,并特别阐明语用学转向对理论语言学、语言哲学和语言逻辑的意义。
补充资料：时序逻辑
时序逻辑
sequential logic
sh}火日luoJ-时序逻辑(sequential logie)输出不但和当前输人的逻辑值有关，而且和在此以前曾经输人过的逻辑值有关的逻辑系统。具有这种逻辑关系的电路，称为时序逻辑电路，简称时序电路。它至少包含一个存储元件。计算机中的寄存器、程序计数器等电路都是时序电路。 时序电路的框图见图1。有组合电路(见组合逻 12份2 22xlxZ翔辑)和存储电路两部分。存储电路是能存储信息的器件，可以是触发器，也可以是有时延的反馈，其作用是保存与过去输人有关的信息。 图中，x:，x:，…，┌─────┐ │组合电路二├──┐└─────┤)价 │┌─────┤ ││存储电路 ├──┘└─────┘ 图1时序电路框图二。是时序电路的外部输人;Z:，Z:，…，2二是它的外部输出;Yl，Y:，…，又是存储电路的输人，yl，yZ，…，多是存储电路的输出，也反馈给组合电路的输人。有如下两个时序函数表达式 Z一关(x:，x:，…，x，;yl，yZ，…，yr)(i一1，Z，…，m) Y=g(xl，￡:，…，二，;夕:，夕:，…，夕。)(i一1，2，…，r) Z、称为输出函数，Y*称为控制函数或激励函数。 时序电路中有一个极为重要的概念是状态，并可分为内部状态和外部状态。内部状态由y，(i一1，2，…，r)给出，外部状态由Z，(乞一1，2，…，m)给出。若单指状态，指的是内部状态。 分类时序电路分为同步时序电路和异步时序电路两大类。异步时序电路又进一步分为脉冲异步时序电路和电平异步时序电路。 (1)同步时序电路。在输人中有一个专门的定时信号(称为时钟)，对状态变量进行瞬时取样来控制电路的动作。它的存储电路用触发器。图2(a)是一个同步时序电路，其中CP是定时信号。同步时序电路的输人可以是脉冲也可以是电平，对研究电路的行为来说，这两者没有差别。描述同步时序电路的逻辑工具是状态表和状态图，见图2(b)和图2(C)。状态表把时序电路的输人、输出、现态(目前状态)、次态(下一状态)用表格形式反映出来，说明输人和输出之间的逻辑关系，并表明状态之间的转移规律。状态图通常由状态表推出，更直观易读。状态图中小圆圈及其内的字母或数字表示状态，如q:状态，有向箭头表示状态转换方向，并在有向线上标注x/Z，表示在二输人情况下输出为Z，如1/o表示输入为“1”，输出为“o，，。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条