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).     

High training set size reduction by space partitioning and prototype abstraction

Instance-based learning methods like the nearest neighbour classifier generally suffer from the indiscriminate storage of all training instances, resulting in large memory requirements and slow execution speed. In this paper, new training set size reduction methods based on prototype generation and space partitioning are proposed. Experimental results show that the new algorithms achieve a very high reduction rate with still an important classification accuracy.     

Adaptive switching supervisory control of nonlinear systems with no prior knowledge of noise bounds

The problem of controlling nonlinear noisy systems affected by parametric uncertainties is approached via the introduction of a supervisor which, whenever needed, switches on, in feedback to the plant, a controller selected from a finite set of predesigned controllers. A Lyapunov-based falsification criterion allows one to ensure robust stability in the presence of uncertain constant parameters and exogenous bounded disturbances. Simulations are discussed in order to illustrate the merits of the proposed algorithms.     

钛精矿回转窑直接还原过程结圈可能性的探讨

通过煤种，入窑球冷态强度和还原过程强度，以及钛精矿与煤灰混合物的软化温度等分析探讨了钛精矿预热球团回转窑直接还原产生结圈的可能性，获得了可以避免结圈的结论。     

New two‐dimensional slope limiters for discontinuous Galerkin methods on arbitrary meshes

In this paper, we introduce an extension of Van Leer's slope limiter for two‐dimensional discontinuous Galerkin (DG) methods on arbitrary unstructured quadrangular or triangular grids. The aim is to construct a non‐oscillatory shock capturing DG method for the approximation of hyperbolic conservative laws without adding excessive numerical dispersion. Unlike some splitting techniques that are limited to linear approximations on rectangular grids, in this work, the solution is approximated by means of piecewise quadratic functions. The main idea of this new reconstructing and limiting technique follows a well‐known approach where local maximum principle regions are defined by enforcing some constraints on the reconstruction of the solution. Numerical comparisons with some existing slope limiters on structured as well as on unstructured meshes show a superior accuracy of our proposed slope limiters. Copyright © 2004 John Wiley & Sons, Ltd.     

A Theoretical Framework for Core Material Properties Identification in Cellular Solids using Novelty Detection

Abstract:  This paper presents a novelty detection-based technique to identify core material properties of honeycombs and cellular structures. A numerical model (finite element) representing full scale and/or reduced size of the cellular solid is used to generate transmissibilities between topological homologous points at cells in different locations. In order to make the procedure robust against noise, these transmissibilities are artificially corrupted. This step is representative of a series of experimentally obtained measurements which automatically return information relating to the size and shape of data noise along with the mean measurement. The next stage, both in this paper and in the proposal for the experimental approach, is to generate several further sets of transmissibilities from the finite element model; the only difference being that the core material properties are altered from the original values. A novelty detection framework is then adopted to find a similarity measure between each of these 'test' transmissibilities and the original set thereby identifying the material properties. Although this work is concerned with identifying only one material property, the methodology extends to identifying several properties.     

Studies of elemental distributions within discrete coal macerals: Use of secondary ion mass spectrometry and X-ray photoelectron spectroscopy

Secondary ion mass spectrometry has been used to measure qualitatively the distributions of many trace and minor elements within some well-characterized coal macerals: vitrinite, fusinite and exinite. Complementary information was obtained by using X-ray photoelectron spectroscopy. Within the vitrinite specimens studied, a widely-dispersed largely inorganic aluminosilicate phase was identified, which contained a number of other trace elements. By contrast, within the organic-rich phase of this macerai, titanium was detected in a very even distribution; this suggests that some titanium may be bonded in an organic complex. The fusinite was shown to contain elevated concentrations of calcium, magnesium and fluorine, dispersed over a large portion of the maceral. The high fluorine content could be identified as an organo-fluoro compound using XPS. Exinite was found to contain lower concentrations of most elements, compared to other macerals. The organic composition of this maceral was significantly different from that of surrounding macerals; this could be seen from the enhanced emission of the C₂H₂-secondary ion and images of this ion thus clearly outlined the position of such macerals.     

Product Evaluation Knowledge Acquisition Based on Rough Sets

1 Introduction Acquiring knowledge is constantly encountered in the mechanical product evaluation process, such as during setting up evaluation index system and determining evaluation knowledge. The most useful expression form of knowledge is production rule whenever concerning the field knowledge or decision knowledge. How to effectively acquire and express the knowledge becomes the issue that the evaluation work must solve at first. One of an important application of the rough set theory is …     

珠钢不锈钢冶炼技术探讨

本文阐述了不锈钢冶炼的关键技术，为生产准备提供帮助。     

Strengthening of Preloaded RC Beams Using Hybrid Carbon Sheets

Reinforced concrete (RC) beams subject to service loads of 40 or 60% of steel yielding were strengthened using hybrid continuous carbon fiber sheets. The hybrid systems were made of high-strength and high-modulus carbon sheets, and compared with systems using only high-strength carbon. It was found that the use of high-modulus carbon sheets in hybrid systems could increase the yielding load, the flexural stiffness, the postyielding ductility, and reduce the crack opening in concrete. The slope changes on load-deflection curves at steel yielding are not noticeable in hybrid systems. The tensile strains developed in hybrid sheets after the fracture of high-modulus carbon are higher in magnitude and distributed in a larger area, leading to an ultimate carbon fracture with concrete crushing. These unique features are attributed to the high stiffness and low ultimate tensile strain of the high-modulus carbon fibers which stiffen the structures, avoid or delay the fiber-reinforced polymer debonding, and facilitate the deformability during their subsequent breakdown.