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     

Evolving artificial neural network ensembles

Using a coordinated group of simple solvers to tackle a complex problem is not an entirely new idea. Its root could be traced back hundreds of years ago when ancient Chinese suggested a team approach to problem solving. For a long time, engineers have used the divide-and-conquer strategy to decompose a complex problem into simpler sub-problems and then solve them by a group of solvers. However, knowing the best way to divide a complex problem into simpler ones relies heavily on the available domain knowledge. It is often a manual process by an experienced engineer. There have been few automatic divide-and-conquer methods reported in the literature. Fortunately, evolutionary computation provides some of the interesting avenues to automatic divide-and-conquer methods. An in-depth study of such methods reveals that there is a deep underlying connection between evolutionary computation and ANN ensembles. Ideas in one area can be usefully transferred into another in producing effective algorithms. For example, using speciation to create and maintain diversity had inspired the development of negative correlation learning for ANN ensembles, and an in-depth study of diversity in ensembles. This paper will review some of the recent work in evolutionary approaches to designing ANN ensembles.     

Entrainment and musicality in the human system interface

What constitutes our human capacity to engage and be in the same frame of mind as another human? How do we come to share a sense of what ‘looks good’ and what ‘makes sense’? How do we handle differences and come to coexist with them? How do we come to feel that we understand what someone else is experiencing? How are we able to walk in silence with someone familiar and be sharing a peaceful space? All of these aspects are part of human ‘interaction’. In designing interactive technologies designers have endeavoured to explicate, analyse and simulate, our capacity for social adaptation. Their motivations are mixed and include the desires to improve efficiency, improve consumption, to connect people, to make it easier for people to work together, to improve education and learning. In these endeavours to explicate, analyse and simulate, there is a fundamental human capacity that is beyond technology and that facilitates these aspects of being, feeling and thinking with others. That capacity, we suggest, is human entrainment. This is our ability to coordinate the timing of our behaviours and rhythmically synchronise our attentional resources. Expressed within the movements of our bodies and voices, it has a quality that is akin to music. In this paper, disparate domains of research such as pragmatics, social psychology, behaviourism, cognitive science, computational linguistics, gesture, are brought together, and considered in light of the developments in interactive technology, in order to shape a conceptual framework for understanding entrainment in everyday human interaction.     

Cr-Mo solid solutions forced by high-energy ball milling

Mixtures of Cr and Mo elemental powders, with the nominal compositions Cr₂₅Mo₇₅, Cr₅₀Mo₅₀, and Cr₇₅Mo₂₅, are processed by high-energy ball milling at ambient temperature. Milling is observed to force the mixing of the immiscible bcc elements Cr and Mo into solid solutions. The lattice parameter of these solid solutions, measured by X-ray diffraction (XRD), displays the expected positive deviation from Vegard’s law. These deviations are compared to the ones predicted by Eshelby’s inclusion model for dilute alloys. The conventional Williamson-Hall approach is shown to fail to determine the grain size in as-milled samples, probably due to the high density of dislocations. Annealing at 700 °C for 10 hours under argon leads to a large reduction in structural defect density, without inducing any significant decomposition. The mixing measured in Cr-Mo is discussed in the broader context of the mechanical mixing forced by ball milling in moderately immiscible systems.     

Cyclic oxidation response of multiphase niobium-based alloys

Cyclic oxidation tests were performed on multiphase Nb-based alloys containing silicide, Laves, and Nb solid solution phases. In particular, the oxidation resistance of six alloys with various compositions (Nb, Ti, Hf, Cr, Ge, and Si) and microstructures was characterized by thermal cycling from ambient temperature to a peak temperature that ranges from 900 °C to 1400 °C. Weight change data were obtained and the corresponding spalled oxides were collected and identified by X-ray diffraction. The results indicated that Nb-based alloys formed a mixture of CrNbO₄, Nb₂O₅, and Nb₂O₅ · TiO₂, with possibly small amounts of SiO₂ or GeO₂. The oxidation resistance was improved when CrNbO₄ formed instead of Nb₂O₅ and Nb₂O₅ · TiO₂. These results were used to assess the influence of microstructure and composition on the oxidation resistance of multiphase Nb-based alloys.     

分置式牛津型斯特林制冷机的数值分析与实验验证

对分置式牛津型斯特林制冷机进行了数值计算 ,介绍了计算模型考虑到的众多不可逆因素。通过对计算结果与实验结果的对比 ,验证了本文数值计算的准确性 ,说明本文计算模型与数值处理方法是切实可行的     

基于DSP的电力数据采集平台的设计与研究

介绍了一种用于电力系统的数据采集系统.该系统采用数字信号处理器(DSP)和复杂可编程逻辑器件(CPLD)作为核心芯片,给出了主要部分的电路及其原理、功能,系统中使用CPLD实现基本逻辑,使系统有足够的冗余和灵活性,具有可靠性高、可升级等优点.