Timestamping messages and events in a distributed system using synchronous communication

Determining order relationship between events of a distributed computation is a fundamental problem in distributed systems which has applications in many areas including debugging, visualization, checkpointing and recovery. Fidge/Mattern’s vector-clock mechanism captures the order relationship using a vector of size N in a system consisting of N processes. As a result, it incurs message and space overhead of N integers. Many distributed applications use synchronous messages for communication. It is therefore natural to ask whether it is possible to reduce the timestamping overhead for such applications. In this paper, we present a new approach for timestamping messages and events of a synchronously ordered computation, that is, when processes communicate using synchronous messages. Our approach depends on decomposing edges in the communication topology into mutually disjoint edge groups such that each edge group either forms a star or a triangle. We show that, to accurately capture the order relationship between synchronous messages, it is sufficient to use one component per edge group in the vector instead of one component per process. Timestamps for events are only slightly bigger than timestamps for messages. Many common communication topologies such as ring, grid and hypercube can be decomposed into edge groups, resulting in almost 50% improvement in both space and communication overheads. We prove that the problem of computing an optimal edge decomposition of a communication topology is NP-complete in general. We also present a heuristic algorithm for computing an edge decomposition whose size is within a factor of two of the optimal. We prove that, in the worst case, it is not possible to timestamp messages of a synchronously ordered computation using a vector containing fewer than components when N ≥ 2. Finally, we show that messages in a synchronously ordered computation can always be timestamped in an offline manner using a vector of size at most . An earlier version of this paper appeared in 2002 Proceedings of the IEEE International Conference on Distributed Computing Systems (ICDCS). The author V. K. Garg was supported in part by the NSF Grants ECS-9907213, CCR-9988225, an Engineering Foundation Fellowship. This work was done while the author C. Skawratananond was a Ph.D. student at the University of Texas at Austin.     

A small country in a world of big science a preliminary bibliometric study of science in Singapore

An analysis of 258 papers published from Singapore and covered inScience Citation Index (SCI) 1979 and 1980 indicates that (1) much of R&D in Singapore pertains to medical research, (2) almost all the papers are published in English language periodicals published from the western world, (3) nearly two-thirds of Singapore's publication output is accounted for by the University of Singapore, and (4) by and large papers from Singapore are rarely cited, even if many of them have appeared in journals having impact factor greater than one.     

Estimation of composite damage model parameters using spectral finite element and neural network

A multi-layer perceptron (MLP) network using error back propagation algorithm is employed in this paper to estimate the damage parameters from broad-band spectral data as diagnostic signal. Various existing models of damage in laminated composite and the resulting stiffness degradation are discussed from comparative view-point. Degradation of ply properties can be considered to be one of the damage model parameters while monitoring transverse matrix cracks in cross-ply, splitting in longitudinal ply, and evolution of consecutive stages of damage, such as delaminations and fiber fracture. The stiffness degradation factor, the location and size of the damaged zone in laminated composite beam are considered as damage model parameters in the present paper. Fourier spectral data, which is typical to most of the diagnostic wave measurements, are used as input to the neural network. Since, training the neural network in such case involves many data sets and all of these data are difficult to generate using experiments, a spectral finite element model (SFEM) with embedded degraded zone in laminated composite beam is developed. Numerical simulation using this element is carried out, which shows the nature of temporal signal that are likely to be measured. Analytical studies on the performance of the neural network are presented based on numerically simulated data. Effect of measurement noise on the network performance is also reported.     

A probabilistic language formalism for stochastic discrete-eventsystems

The formalism of probabilistic languages has been introduced for modeling the qualitative behavior of stochastic discrete-event systems. A probabilistic language is a unit interval-valued map over the set of traces of the system satisfying certain consistency constraints. Regular language operators such as choice, concatenation, and Kleene-closure have been defined in the setting of probabilistic languages to allow modeling of complex systems in terms of simpler ones. The set of probabilistic languages is closed under such operators, thus forming an algebra. It also is a complete partial order under a natural ordering in which the operators are continuous. Hence, recursive equations can be solved in this algebra. This is alternatively derived by using the contraction mapping theorem on the set of probabilistic languages which is shown to be a complete metric space. The notion of regularity, i.e., finiteness of automata representation, of probabilistic languages has been defined and it is shown that regularity is preserved under choice, concatenation, and Kleene-closure. We show that this formalism is also useful in describing system performance measures such as completion time, reliability, etc., and present properties to aide their computation     

Effect of propylation on the characteristics of corn starch and variation of properties with different degrees of substitution

Corn starch was modified by propylation with different degree of substitution (DS). DS of four starch modifications were 0.61, 1.56, 2.27, and 2.51. Samples were characterized by FTIR, XRD, TG‐DTA, swelling power, solubility, water binding capacity, and light transmittance. Results of the systematic physico‐chemical characterization of the starch modification in comparison with the native starch have been documented in the article. Results showed that during propylation, the crystalline structure of starch got destroyed and surface of the starch was eroded. Propylated starch (DS 2.51) showed 85% weight loss at temperatures from 300 to 400°C, whereas the native starch underwent similar weight loss (83%) from 250 to 300°C. Swelling power and water binding capacity of native starch (DS 0.0) were 3.09 g/g and 89.8%, respectively. However, in propylated starch at low DS (DS 0.61), swelling power and water binding capacity increased to 10.55 g/g and 136.8% under same conditions. At high DS (DS 2.51), swelling power was similar to native starch at 65°C, whereas solubility and water binding capacity decreased to below that of native starch. Light transmittance of propylated starch with high DS (DS 2.51) increased dramatically compared with native starch. Propylation improved the hydrophobic transformation and thermal stability of starch at high DS. © 2010 Wiley Periodicals, Inc. J Appl Polym Sci, 2011     

Strontium(II) ion uptake on poly(N‐vinyl imidazole)‐based hydrogels

In this article, we report on the extraction of Sr(II) ions from aqueous solution with a series of poly(N‐vinyl imidazole)‐based hydrogels. The hydrogels were synthesized by the crosslinking of N‐vinyl imidazole with four different crosslinkers with γ rays as initiators. The well‐characterized hydrogels were used as Sr(II) sorbents. Sr(II) uptake was determined with a colorimetric method with Rose Bengal anionic dye. Scanning electron microscopy–energy‐dispersive spectroscopy analysis of the Sr(II)‐loaded polymers was recorded to ascertain the uptake of Sr(II) ions. The experimental adsorption values were analyzed with the Freundlich and Temkin equations, and the kinetics of adsorption were investigated with a pseudo‐second‐order sorption kinetic model. The results show that the equilibrium data fit well in the Freundlich isotherm and followed a pseudo‐second‐order kinetic model. © 2011 Wiley Periodicals, Inc. J Appl Polym Sci, 2012     

Durability of YSZ coated Ti2AlC in 1300°C high velocity burner rig tests

A thermal barrier coating (TBC) system survived 500 hours in aggressive, 1300°C burner rig testing. The yttria-stabilized zirconia (7YSZ) TBC was plasma sprayed on an oxidation-resistant Ti₂AlC-type MAX phase and tested in a jet fuel burner at 100 m/s, using 5 hours cycles. No coating spallation or surface recession was observed; Al₂O₃-scale growth produced a slight 2.4 mg/cm² mass gain. The coating surface exhibited craze-cracked colonies of [111]_flourite textured columns, with no visible moisture attack. The 20 μm alumina scale remained intact under the YSZ face, about twice that producing failure for TBC/superalloy systems. TiO₂ nodules, initially formed on the uncoated backside, were removed, and Al₂O₃ was etched through volatile hydroxides formed in water vapor (~10%). Overall, the test indicated exceptional stability of the YSZ/Al₂O₃/Ti₂AlC system under turbine conditions due in large part to close thermal expansion matching.