Analysis of the Datagram Congestion Control Protocol’s connection management procedures using the sweep-line method

State space explosion is a key problem in the analysis of finite state systems. The sweep-line method is a state exploration method which uses a notion of progress to allow states to be deleted from memory when they are no longer required. This reduces the peak number of states that need to be stored, while still exploring the full state space. The technique shows promise but has never achieved reductions greater than about a factor of 10 in the number of states stored in memory for industrially relevant examples. This paper discusses sweep-line analysis of the connection management procedures of a new Internet standard, the Datagram Congestion Control Protocol (DCCP). As the intuitive approaches to sweep-line analysis are not effective, we introduce new variables to track progress. This creates further state explosion. However, when used with the sweep-line, the peak number of states is reduced by over two orders of magnitude compared with the original. Importantly, this allows DCCP to be analysed for larger parameter values. Somsak Vanit-Anunchai was partially supported by an Australian Research Council Discovery Grant (DP0559927) and Suranaree University of Technology. Guy Edward Gallasch was supported by an Australian Research Council Discovery Grant (DP0559927).     

Real-time measurement of pointing action by using DSP

This paper presents an approach of measuring in real-time the vector of finger that is pointing to an object. DSP is used in the operation processing unit in order to do the real-time processing. The steps include the extraction of flesh-colored regions from an image, the labeling of the flesh-colored regions, and the detection of two characteristic positions on the finger so that the direction that the finger is pointing at will be calculated. The entire process takes about 29 msec, which makes it possible to have the frame rate of 34 fps. With this frame rate, this measurement approach is considered real-time and promising to be merged into other application systems. This work was presented in part at the 13th International Symposium on Artificial Life and Robotics, Oita, Japan, January 31–February 2, 2008     

偏高岭土的研究现状及展望

简要介绍了偏高岭土的反应机理和在国内外的研究现状。同时对偏高岭土的研究进行了展望 ,提出因麦特林水泥原料丰富 ,污染小 ,加工简单 ,性能优越 ,其应用前景广阔 ,应对其加强研究。     

Traveling-wave piezoelectric linear motor Part I: the stator design.

A new type of piezoelectric linear motor incorporating a traveling wave has been developed. The linear motor is comprised of a stator and a carriage. The stator design, which consists of a meander-line structure and gear teeth mounted on the meander-line structure, is the focus of this article. The meander-line structure is constructed with bimorph actuators arranged in a line. These actuators are driven by two phased sets of alternating current (ac) in order to generate a traveling wave. The traveling wave is transferred to the gear teeth, by which the carriage is driven. Modeling of the stator is derived by use of a strain energy method. The performance of various materials is evaluated by analytical and experimental methods. The analytical and the experimental results are quite approximate. Modal analysis is investigated using ANSYS. Appropriate modes associated with ultrasonic levels of resonant frequency are selected to obtain desired motion and to enhance the output performance. Surface speed for various applied input voltage are studied and indicate a nearly linear relationship. The stator in combination with the carriage makes up the linear motor.     

Object data MODEL = object-oriented + semantic models

The term ‘object-oriented database’ has been used to refer to different characteristics and mechanisms supported by semantic databases and (behaviorally) object-oriented ones. While this indicates the current confusion due to the lack of a common model, it also suggests the potential desirability of combining these two kinds of modeling facilities into the same nutshell. This paper summarizes from these two paradigms the features common to both, the features influenced/adopted by each other, and the features which are presented in one paradigm but missing from the other. After a brief analysis and discussion of these features, we conclude this paper by proposing our major theme: a complete object data model should take the union of the facilities offered by these two kinds of models.     

承钢棒材连轧线计算机控制系统

主要介绍了承钢棒材连轧线计算机控制系统，其中包括了系统的硬件配置，控制功能及控制说明。