Inducing sustained oscillations in feedback-linearizable single-input nonlinear systems

The present paper concerns the induction of stable sustained oscillation in feedback-linearizable single-input affine nonlinear dynamical systems via continuous-time state feedback control. The proposed application-oriented control approach is based on the conception of a state feedback controller that ensures the tracking of a limit cycle characterized in terms of the feedback-linearized system. Boundedness and convergence of the closed-loop trajectories are established following the Lyapunov theoretical framework and applying LaSalle׳s stability principle. The proposed approach is demonstrated with computer-simulated control experiments, showing that it ensures the convergence of the state trajectories of the controlled system to a designed limit cycle and that the methodology can, in principle, be applied to any single input feedback linearizable system.     

数字签名技术在解决密钥泄露方面的发展

密钥泄露对数字签名的危害越来越成为人们关注的焦点，该问题很难找到完全彻底的解决办法，只能尽可能减少其危害。对此专家和学者提出了很多新的数字签名机制，这里详细介绍了其中的一些，并指出它们各自的优缺点。针对在SiBIR数字签名机制中由于网络拥塞或攻击者的恶意拦截使得更新信息丢失造成signer和home base不能保持同步的问题，我们提出了超时同步机制。     

Adaptive solutions to the mutual exclusion problem

Summary Algorithms for mutual exclusion that adapt to the current degree of contention are developed. Afilter and a leader election algorithm form the basic building blocks. The algorithms achieve system response times that are independent of the total number of processes and governed instead by the current degree of contention. The final algorithm achieves a constant amortized system response time. Manhoi Choy was born in 1967 in Hong Kong. He received his B.Sc. in Electrical and Electronic Engineerings from the University of Hong Kong in 1989, and his M.Sc. in Computer Science from the University of California at Santa Barbara in 1991. Currently, he is working on his Ph.D. in Computer Science at the University of California at Santa Barbara. His research interests are in the areas of parallel and distributed systems, and distributed algorithms. Ambuj K. Singh is an Assistant Professor in the Department of Computer Science at the University of California, Santa Barbara. He received a Ph.D. in Computer Science from the University of Texas at Austin in 1989, an M.S. in Computer Science from Iowa State University in 1984, and a B.Tech. from the Indian Institute of Technology at Kharagpur in 1982. His research interests are in the areas of adaptive resource allocation, concurrent program development, and distributed shared memory.A preliminary version of the paper appeared in the 12th Annual ACM Symposium on Principles of Distributed ComputingWork supported in part by NSF grants CCR-9008628 and CCR-9223094     

A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol

We present a formal model of asynchronous communication between two digital hardware devices. The model takes the form of a function in the Boyer-Moore logic. The function transforms the signal stream generated by one processor into that consumed by an independently clocked processor, given the phases and rates of the two clocks and the communications delay. The model can be used quantitatively to derive concrete performance bounds on communications at ISO protocol level 1 (physical level). We use the model to show that an 18-bit/cell biphase mark protocol reliably sends messages of arbitrary length between two processors provided the ratio of the clock rates is within 5% of unity.     

实时控制中数字量接口的设计与实现

在实时控制中，数字量接口的设计是微计算机应用的一个重要问题，本文从逻辑设计的角度，讨论计算机数字量接口的设计及实现方法。     

计算器时钟切换及自动关断电路的分析与改进

时钟切换和自动关断是新一代计算器集成电路档器芯片快慢时钟切换电路,详细分析了计算器的两种关断途径,在此基础上设计了一种新的关断电路.给出了这两种电路的仿真结果,证明了改进电路的正确性和高效性.     

MPEG-2解码器中视频、音频同步的实现

本文分析了理想的MPEG－2信源解码器中视频、音频同步实现的关键，给出了实际的解码器中实现视频、音频同步会遇到的问题和解决的方法。实践证明，这些方法是有效的，已用于我们的MPEG-2信源解码器中。     

SFTMP——一个实现软件容错的多处理机系统

多版本软件通过设计相异性实现了软件容错。为了对这种方法进行研究，我们的课题实现了一个三版本软件系统，称之为SFTMP（SoftwareFault－TolerantMultiProcessor）。本文描述了SFTMP的硬件结构和软件执行支持环境，该环境包括同步、表决和监控功能、版本间的通讯及故障的恢复和重构。     

利用光纤数字同步传送网2.048 Mbit/s支路传送高精度标准时间信号

首次提出一种利用光同步数字传送网的2.048Mbit/s信号传送高精度时间编码信号的方法和实验结果。它可以使整个通信网的交换机、计费系统、网管系统、基站控制器等设备实现与UTC的时间同步。目前的实验证明,时间同步的不确定度优于±5μs。