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     

Neural-Net Analysis of the Plasticity of ÉP-450 Ferrite–Martensite Steel with Different Alloying Element Concentrations

The results of a computational experiment with a neural-net model simulating the effect of the chemical composition on the plastic properties of ÉP-450 steel are presented. It is shown that computer-aided development of reactor steel with prescribed properties is, in principle, possible.     

SVBR-75/100 Multipurpose Modular Low-Power Fast Reactor with Lead–Bismuth Coolant

The results of development work on the SVBR-75/100 modular fast reactor cooled by lead–bismuth coolant are presented. The design is based on the experience gained operating reactors in nuclear-powered submarines. The SVBR-75/100 reactor is inherently safe because of its low power, the chemical inertness and high boiling point of the lead–bismuth coolant, and the integrated basin-type arrangement of the first-loop equipment. This eliminates the conflict between the safety and economic requirements that is characteristic of conventional-type reactors. The lower power makes it possible to build the reactor in a factory and deliver the reactor using any form of transportation to the nuclear power plant site. All safety systems operate passively. Most of these systems are used as normal-operating systems. This creates conditions for multipurpose applications of such reactor modules in developed and developing countries.     

Reliability of the Coolant Flow Rate Measuring System at the Ignalina Nuclear Power Plant

Age assessment and control of the reliability of the coolant flow-rate measurement system of the RBMK-1500 reactor at the Ignalina nuclear power plant are examined. A statistical analysis is made of the data obtained from measurements of the techanical characteristics of SHADR-32M flow meters. A mathematical model of the aging of flow meters and reliability estimates is constructed. A strategy is developed for replacing SHADR; this strategy makes it possible to support the required relaibility of the entire coolant flow-rate measurement system.     

Mechanism of the skeletal isomerisation of linear butenes over ferrierite: analysis of side reactions

An investigation of the effect of reaction conditions on product distribution in the skeletal isomerisation reaction of linear butenes has been carried out. The main reaction routes over ferrierite have been identified. Beside the main product isobutene, major by-product formation occurs. The unwanted reactions include dimerisation of butene to form octenes, hydrogen transfer yielding small amounts of saturated C₃ and C₄ hydrocarbons and disproportionation producing propene and pentenes. The most abundant by-products were pentene and propene, though these were not formed in equimolar amounts as could be expected. Oligomerisation experiments of propene over ferrierite produced large amounts of butene and pentene, revealing the presence of adsorbed nonene. The cracking of this surface species to hexene and propene is the most likely reaction route for the excess propene formation. This additional path to propene formation operates mainly at temperatures above 623 K.     

Ozonation of CI Reactive Black 5 using rotating packed bed and stirred tank reactor

This study investigates the ozonation of CI Reactive Black 5 (RB5) by using the rotating packed bed (RPB) and completely stirred tank reactor (CSTR) as ozone contactors. The RPB, which provides high gravitational force by adjusting the rotational speed, was employed as a novel ozone contactor. The same ozone dosage was separately introduced into either the RPB or the CSTR for the investigation, while the experimental solution was continuously circulated within the apparatus consisting of the RPB and CSTR. The decolorization and mineralization efficiencies of RB5 in the course of ozonation are compared for these two methods. Moreover, the dissolved and off‐gas ozone concentrations were simultaneously monitored for the further analysis. As a result, the ozone mass transfer rate per unit volume of the RPB was significantly higher because of its higher mass transfer coefficient and gas–liquid concentration driving force. Furthermore, ozonation kinetics was found to be independent of the gravitational magnitude of an ozone gas–liquid contactor. Therefore, the results suggest employing RPBs as ozone‐contacting devices with the advantage of volume reduction. The experimental results, which can be used for further modeling of the ozonation process in the RPB, also show the requirement of correct design for the RPB. Consequently, the present study is useful for the understanding of practical application of RPBs. Copyright © 2004 Society of Chemical Industry