系统语言

general recursion theorem

一般递回定理

"通用分时系统","general purpose time-sharing system" | "一般递回定理","general recursion theorem" | "通用递回应用与算法语言","general recursive applicative and algorithmic language"

rewind

倒

Erlang 语言不要求类型声明,但是是"类型安全"(type safe)的,意思是不能以在atEof 状态的时候,我们可以关闭文件或回倒(rewind)文件,所有其他任何PLITS 系统都是建立在模块(module)和消息(message)这两种的实现.

runtime

动态

的问题,其后则执行动态(runtime)检查,并排除强类型(stronglytyped)语言例如C 的优点是允许链结器(linker)了解类型系统并重复执行许多一种指针(pointer)模型,能排除发生内存被

safeness

安全性

在服务组合的验证上存在缺陷.而Petri网作为一种模型描述语言,尤其适合并发系统的描述.因此,使用Petri网对OWL-S流程模型进行建模,通过将工作流信息转化为Petri网描述,从而时OWL-S流程模型进行安全性(safeness)和活性(liveness)检验,

scheduler

调度程序

在Java语言的多线程系统中,"调度程序"(scheduler)用来调度线程,处理器资源是按时间片分配的,每个线程被赋予一个优先级,采用"抢占式"(preemptive)调度方式.为使低优先级线程能够有机会运行,较高优先级线程可以不时进入"睡眠"(sleep)状态.线程的优先级如果相同,

SCLC SCCP ConnectionLess Control

信令连接控制部分的无连接控制

SCL System Control Language 系统控制语言 | SCLC SCCP ConnectionLess Control 信令连接控制部分的无连接控制 | SCLK Simplified CLocK 简化的时钟

Servers

服务端

系统采用C/S模式开发,客户端(Clients)和服务端(Servers)通过互联网进行通信连接. 基于J2EE的客户端程序主要提供Java语言学习的编程环境和实战练习服务. 基于J2EE的服务器端程序主要提供用户管理服务、文件服务和逻辑检错服务,

set theoretical definition

集合理论定义

"集合系统,集系","set systems" | "集合理论定义","set theoretical definition" | "集合理论语言","set theoretical language"

American Sign Language

美国手语

引入"美国手语"(American Sign Language)系统,贯穿于整个学习计划中,并融汇视觉、声音和动作,加强课堂中英语单词和词组学习. 研究表明,在学习过程中通过手势来表达自己意愿的孩子,能更快地开拓他们的语言技能,并更有效地记住新单词*.

signal

信号

最后,"信号"(signal) 可以说是更容易被发现的相异点了 (在其他语言被称作事件). 这当然是因为 GObject 最早被设计用在 GUI 工具箱上. 的确,有许多为面向对象语言所设计的信号函式库,但 GObject 被内建在物件系统里. 因此,

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