论文部分内容阅读
基于交易中件的客户／服务器系统是一种典型的分布式事务处理系统，深入研究这种系统的一般模型，有助于深刻理解这种软件的特征与性质，有助于提高系统的正确性和可靠性。文章根据该系统的同象模型对它的主要“构件”和“操作”的功能进行抽象的分析；并用规范语言Ｚ对这种体系结构的模型进行了系统的形式化描述。
基于交易中间件的客户 /服务器系统的形式描述
【摘 要】
：
基于交易中件的客户／服务器系统是一种典型的分布式事务处理系统，深入研究这种系统的一般模型，有助于深刻理解这种软件的特征与性质，有助于提高系统的正确性和可靠性。文章根据该
【机 构】
：
北京大学
【出 处】
：
微电子学与计算机
【发表日期】
：
2000年5期
其他文献
作文是学生语文综合素质的体现，然而在小学语文教学过程中，有许多学生害怕写作文。为了使学生消除对写作的恐惧心理，使他们愿意写作、乐于写作，在作文教学过程中，教师要从培养学生
本文利用计及表面电荷的柱面结电场分布表达式，并根据场限环优化条件，首次建立了单场限环表面电荷效应优化模型，得到了考虑表面电荷效应后，优化单场限环结构击穿电压以及优化环间
在实时控制应用的微计算中，常常需要进行遥测输出接口的设计，这是微机应用中的一具重要问题。本文从逻辑设计的角度讨论遥测输出接口的设计及实现方法。
高血压脑出血是老年人致死、致残的主要疾病之一，由于意识障碍，长时间卧床及老龄等原因继发的肺部感染往往是患者晚期死亡的重要原因。痰热清注射液由熊胆粉、山羊角、金银花、
学生写作的功利心理指学生以作文的实际功效——由评判体系所决定的评判值的高低为写作准则的一种规定在先的心理。由于功利心理的驱使,学生写作的动机过多地受到外部因素的
本文研究了用无质量分析的离子注入机进行95keV(N2~+,N~+)注入、高温退火和薄层外延获得的SOI(Silicon on Insulator)材料的结构与电学性质。结果表明,离子注入剂量是影响Si_
目的:观察应用参麦注射液治疗烧伤休克的临床疗效.方法:将34例烧伤休克患者随机分为治疗组18例和对照组16例.两组患者常规治疗相同,治疗组加用参麦注射液.观察两组患者治疗后
本文首先概括地介绍了体硅，ＳＯＩ纵向双极晶体管和横向双极晶体管的各自特点，并重要地阐述了ＳＯＩ横向双极晶体管的发展；其次，对各种ＳＯＩ横向双极晶体管的结构与性能分析研究；最后，我们认为ＳＯＩ横向双
目的:探讨丹参肠内营养对危重患者肠道的保护作用.方法:将2003年11月-2004年8月收住本院重症监护治疗病房(ICU)的60例患者随机分为两组.丹参组30例,平均年龄(51.50±0.98