1) terminal algebra semantics
终端代数语义学
2) algebraic semantics
代数语义
1.
In this paper, the algebraic semantics of Verilog is explored, which is a collection of laws associated with Verilog constructs.
给出了Verilog的代数语义。
2.
In this paper we acquaint the reader first with the algebraic semantics which is corre-sponding to the Kripke’s semantic having nested domaius.
本文首先讨论嵌套论域语义的相应代数语义并由Hughes和Cresswell在[5]中建立的关于具有嵌套论域的正规量词模态系统的关系语义完全性定理推出其相应的代数语义完全性定理:然后对于具有任意可变论域语义的正规系统,我们用Henkin方法给出其关于狭义Kripke语义的关系语义完全性定理,由此通过将关系语义转化为代数语义从而亦推得其代数语义完全性定理。
3) mathematical semantics
数学语义
4) modern semantics
现代语义学
1.
Structural semantics is a new branch of modern semantics which studies the implicational lexical relations:hyponymy,antonym and converseness.
结构语义学是现代语义学中一个新的分支,认为词汇间是有联系的,即有含蓄的语义关系,如下义关系、反义关系、相对关系。
5) terminal definitions
终端定义
1.
In this paper,the author introduces the methods of translating English words in the Oracle software into Chinese,modifying terminal definitions and planning the screen form in relation to the design of users interface.
本文介绍了与Oracle用户界面密切相关的界面文字汉化、终端定义修改和屏幕格式设计方法。
6) Voice terminal
语音终端
1.
The hardware circuit of a VOIP voice terminal is designed and implemented,and several critical technologies,such as the interface between MPC860 and TMS320VC5416 in the implementation of the circuit are analyzed.
设计并实现了一个VO IP语音终端的硬件电路,并对电路实现中几个关键技术(如MPC860与TMS320VC5416的接口等)进行了重点分析。
2.
This paper, combined with related scientific research, mainly develops the implementation of PC-To-Phone voice terminal software based on H.
323的PC到电话语音终端软件的具体实现方法。
3.
VOIP is the key technology of NGN and the VOIP voice terminal is the primary component of VOIP system.
VOIP 是 NGN 的关键技术,VOIP 语音终端是 VOIP 系统的重要组成。
补充资料:终端
终端
terminal
ZhongdUQn终端(ten附inal)参见终端设备。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条