系统语言

inconsistent

不一致的

一个WFF集为不一致的 (inconsistent) 当且仅当它并不是一致的--没有任何真值赋与可令集内的每一WFF同时为真. 逻辑系统有许多种. 不同的逻辑系统采用的人工语言也不同. 例如,谓词逻辑除包括语句逻辑的语汇外,还包括谓词 (predicates),

induction hypothesis

归纳假设

就是循环不变量或归纳假设(induction hypothesis). 20世纪70年代后期,霍尔又深入研究了运行在不同的机器上的若干个程序之间如何互相通信、互相交换数据的问题,实现了面向分布式系统的程序设计语言CSP. 在该语言中,一个并发系统由若干并行运行的顺序进程组成,

migration

移动

洛克希德公司打算创建一套"移动(migration)"系统,这套系统可以将任何文件灵活地转换成易读取的格式,比如可扩展标记语言(XML)格式. 在未来无论技术如何改变,这些文件依旧可以被解读.

nr : Nauru

瑙鲁(域名)

NLSI NaturalLanguageSupport 自然语言支持系统(多指语音识别系统) | NR Nauru 瑙鲁(域名) | NACC NavalAuxiliaryCommunicationCenter 海军辅助通讯中心(美国)

PLO ProgrammedLocalOscillator

程控本地振荡器

PLANIT ProgrammedLANguageEnquirySystem 程控语言询问系统 | PLO ProgrammedLocalOscillator 程控本地振荡器 | PLB ProgrammedLogicforAutomaticTeachingOperation 自动教学编程逻辑,Plato计算机辅助教学系统

retail

零售版

百度首发Windows 7 Pro 简体中文专业版 正版序列号 Cdkey ,是正式零售 版(Retail)序列号,您可以激活任一语言版本的Windows 7 Pro 专业版(32位系统和64位系统序列号通用) ,本序列号既可以网络激活又可以电话激活.

scenario

剧本

以往用自然语言来描述对系统的需求,即把预期的人与系统之间的交互编写成"剧本"( Scenario)来描述这种功能需求. 但是这样的做法没有统一的格式,缺乏描述的形式化,随意性大,常常容易产生理解上的含混和不准确性.

speech synthesis

言语合成

这种机器首先离不开言语合成(speech synthesis)和识别. 机器的语言输出称作合成言语. 言语识别系统中使用了叫做语音导航器(navigator)的基本程序,计算机依此执行记忆中原已储存的简单口头指令. 听音(dictation)系统比此更复杂,

tabulation character

制表字符 (责任编辑:admin)

tabulating system 制表系统 | tabulating-system-oriented language 面向制表系统的语言 | tabulation character 制表字符 (责任编辑:admin)

textile

织物

"文本"在英语里是text,在词源上与编织物(textile)有关系,"文本"也可以说是一种编织体. 作为术语的"文本",指的是具有层次结构的能指系统,"能指"有多种,不同的"文本"由完全不同的"能指系统"构成,文学、应用文的文本用语言文字作为能指.

tram stop：(有轨)电车车站

post 邮局 | tram-stop(有轨)电车车站 | zebra-crossing 斑马线

Jaish-e-Mohammad,JEM：穆罕默德军

16. 乌兹别克斯坦伊斯兰运动Islamic Movement of Uzbekistan,IMU | 17. 穆罕默德军Jaish-e-Mohammad,JEM | 18. 伊斯兰祈祷团Jemaah Islamiya Organization,JI