并发的

Debussy

德布西

在音乐上,德布西(Debussy)首先对传统的音乐技法产生质疑,并发展出独特的创作风格与手法. 在当时,德布西的作品「春」被法国艺术学院指称为带有「印象主义」的色彩,因此,大家便以此名称称呼德布西这种类型的音乐. 然而德布西自己却非常反对这种名称,

fecal fistula

粪瘘

[概述] 粪瘘(fecal fistula)是指生殖器官与肠道之间形成的异常通道. 在妇产科临床中最常见的是直肠阴道瘘. 滞产形成的粪瘘有时并发尿瘘. 此外也可有小肠、结肠阴道瘘. 生殖器官瘘管是一种极为痛苦的损伤性疾病. 由于尿、粪不能自行控制,

Function Chart

功能表图

探讨了一种基于Petri网模型的PLC程序设计方法.该方法利用Petri网的图形性质和对并发事件建模的能力,可简便、直观地构建PLC控制系统程序.该文按照Petri网的设计思想,采用功能表图(Function Chart)的描述构造数学模型,

induction hypothesis

归纳假设

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

latch

闭锁

下面是关于信号量的一个典型例子:闭锁(latch)是指那些一旦获得某个值就再不变化的变量或者条件. 二元闭锁变量或者条件(通常就被成为闭锁)的值只能改变一次,即从其初始化状态到其最终状态. 和闭锁相关的并发控制技术封装在Latch类中,

lei

花环

可爱岛、欧胡岛、摩洛凯岛、茂宜岛、夏威夷岛等各岛上开始有不同的部族定居,并发展出独特的文化. 其中最广为人知的就是草裙舞(hula)、花环(lei)和音乐,还有夏威夷拼布这个比较新近的流行吧!

locking

封锁

2、为解决并发控制带来的问题,通常要采用 封锁 (locking)技术,常用的封锁有:排它型封锁( X封锁) 和共享型封锁( S封锁 )两种. 属性值约束:包括非空值约束( NOT NULL )和基于属性的检查子句( CHECK ) 及域约束子句如 CREAT DOMAIN AGE SMALLINT CHECK (&#118alue>10)全局约束:包括基于元组的检查子句( CHECK )和断言(

magnetohydrodynamics

磁流体力学

来自美国伊利诺州西北大学 McCormick 工程与应用科学学院的 Gregory Ryskin 教授,将磁流体力学(magnetohydrodynamics)的方程式应用到我们海洋的咸水(那能导电)藉此挑战存在已久的常规,并发现在地球主要磁场中的长期变化(secular variation)可能是我们海洋的循环流动所致.

multiplicity

重数

可为communicates关系指定操作(operations)、特性(attributes)和重数(multiplicity). 操作是行动者执行的动作,特性是行动者的特性,重数指行动者的可能并发实例数目. 如果行动者表示一个应用程序,其中某些操作和特性的知识在解决方案上下文中非常珍贵,

theorem proving

定理证明

所采用的主要是定理证明(theorem proving)技术. 80年代初,最大的进展是Pnueli将时态逻辑引入到反应式程序的验证中. 1981年,Clarke等提出了模型检验(Model Checking)方法,实现了对于并发系统的自动验证问题. 然而,

Burnley：班來

SP Group在瑞德奇、伯明翰和班来(Burnley)拥有4座工厂,有650名员工. 该公司营业额逾6000万英镑,已跻身于英国规模最大同时也最具创新的销售点印刷商行列. 而在中国,有非常多的公司都希望享受包括高速打印,印前服务,

Iconium：伊康

后迁都科尼亚(Konya),古称伊康(Iconium),故又称伊康素丹国. 1080~1081年,苏莱曼先后攻克舍马哈、尼德微、安塔基亚,其势力伸展至小亚细亚西北部和爱琴海岸. 1086年,苏莱曼逝世后,其继任者实行分封制,国内公国林立,互相混战,