Necessary and sufficient conditions for broadcast consensus protocols

Summary We consider consensus protocols in asynchronous distributed systems that are based on broadcast communication. We show that a necessary and sufficient condition for the existence of a deterministic consensus protocol is delivery of each broadcast message to at least (n+k+1)/2 processes in ann-process system subject tok crash failures with either eventual fair broadcasting or eventual full broadcasting. The broadcast model captures the idea of a broadcast communication medium, such as the Ethernet, in which messages, if delivered, are delivered immediately and in order but not necessarily to all processes. Louise E. Moser received the Ph.D. degree in mathematics from the University of Wisconsin, Madison, in 1970. From 1970 to 1987 she was a professor of mathematics and computer science at California State University, Hayward. In 1987 she moved to the University of California, Santa Barbara, where is currently on the faculty of the Department of Electrical and Computer Engineering. Her current research interests include parallel and distributed systems, network architectures and communication protocols, and formal methods in software engineering. P.M. Melliar-Smith received the Ph.D. degree in computer science from the University of Cambridge, Cambridge, England, in 1987. He was a senior research scientist and program director at SRI International in Menlo Park (1976–1987), senior research associate at the University of Newcastle Upon Tyne (1973–1976), and principal designer for GEC Computers Ltd. in England (1964–1973). He is currently a professor in the Department of Electrical and Computer Engineering at the University of California, Santa Barbara. His research interests include fault-tolerant distributed systems, high-speed communication networks and protocols, and formal specification and verification. Vivek Agrawala received the B.Tech. degree in chemical engineering in 1984 and the M. Tech. degree in computer technology in 1986, both from the Indian Institute of Technology, Delhi, and a Ph.D. in computer science in 1991 from the University of California, Santa Barbara. Since then he has been a Research Scientist at Siemens Corporate Research, Princeton, New Jersey. His major research interests are distributed algorithms, software design methods, and distributed systems.This research was supported by the National Science Foundation, Grant Numbers CCR-8908515 and NCR-9016361. V. Agrawala's current address is Siemens Corporate Research, 755 College Road East, Princeton, NJ 08540, USA     

面向电视台录音采访文字校对软件

在目前的电视台采访和录音中,有大量的文本任务需要使用语音识别软件进行从语音向文字的转换.如今语音识别的准确率虽然已经足够出色,但对于电视台等严谨的专业领域效果一般,其结果还不能完全信任.由于缺少自动有效地对识别结果进行校对的方法,电视台需要花费大量的人力和物力进行人工校对.因此,本文希望设计并开发一个录音采访文字校对软...     

动态会议密钥交换机制的研究

电子会议是网络的一种重要应用形式,而在电子会议中,会议密钥的管理与分发是一个极为重要的问题。近年来出现了一些会议密钥交换机制,并且各有利弊。该文分析了现有会议密钥交换机制的弊端,针对计算机技术的发展趋势提出了三种不同的动态会议密钥交换机制,并分析了它们的安全性和其他性能。     

Query optimization for broadcast database

In a mobile environment, the broadcast paradigm has been recognized as an effective way to disseminate frequently requested information to multiple ‘mobile clients’. In this paper, we show that to query the broadcast database efficiently, database items must be organized over the broadcast channel in a meaningful way, reflecting the semantics of the database being broadcast. We define, for the first time, a cost model called the Semantic Ordering Model for identifying the optimal organization of database items over the broadcast channel. Experimental results are also delineated to illustrate the feasibility of our cost model, using relational and object-oriented databases as examples.     

利用共享内存网络构成分布式实时仿真环境

本文对可复制共享内存网络结构进行了描述．提出了一种利用可复制共享内存网络构成分布交互仿真环境的方案。从这方案可以看出，它可完成一点对多点的通讯协议，并能满足分布交互仿真系统的实时性要求。     

一个支持高性能广播通信的算法设计与实现

开放分布式处理要求分布工系统提供高性能的广播通信手段，以支持网络环境下对象间的合作和数据传输。本文分析了ＴＣＰ／ＩＰ协议族中传输层协议对上述目标支持的局限性，提出一个Ｃｈｅｃｋ报文控制算法，实现了可靠的快速的广播通信机制，获得了较好的性能。对象     

智能建筑的数字化新发展

本文深入分析和探讨了数字化带给智能建筑系统的影响及其发展前景。     

多天线多用户认知系统中基于BD预编码的用户选择方法

在次用户配置的多天线的认知多天线协作反馈系统中,信道方向信息存在量化误差,现有的用户选择方法不能使次用户系统容量最大化,而且增大了对主用户系统的干扰。为了消除量化误差对主次用户系统的影响,提出了一种基于BD预编码的统计独立系数的用户选择方案。分析和仿真结果表明,所提方案在主用户系统干扰受限的条件下有效提升了次用户系统的容量。     

无线传感器网络MAC层节能广播协议

在无线传感器网络中,使节点休眠是一种有效的节能方式。很多较新的MAC协议都采用定期休眠的机制进行节能,如B-MAC、VPCC、X-MAC、A-MAC等。这些协议并未针对广播进行设计,使得发送广播需要消耗较多能量,而且易于发生隐藏节点引起的冲突。提出了适用于休眠传感器网络的节能广播协议。该方法中广播报文以随机间隔进行重传,能够保证异步休眠的节点接收到广播数据;在产生隐藏节点冲突问题时,随机间隔的机制能够使相互干扰的报文较快分离,降低报文冲突的干扰。通过NS-2模拟,验证了广播协议的节能性和高效性。     

分布式系统中合作进程及其同步关系

在分布式系统中,常涉及分布进程间的各种合作关系。分布进程是分布式系统的基本活动实体,其间的合作表现在多个进程为完成某个任务在时间上、空间上以及次序上发生的直接和间接关系。这种关系可能存在于全过程,也可能只存在一段时间。它的一个重要表现就是分布进程之间的同步执行。