A Distributed Routing Method for Dynamic Multicasting

Single point, sender based control does not scale well for multicast delivery. For applications, such as group video or teleconferencing a low total cost multicast tree is required. In this article we present a destination driven algorithm to minimize the total tree cost of multicast tree in a dynamic situation for the whole session duration. In this heuristic approach we considered the staying duration of participants are available at the time of joining. The performance of our algorithm is analyzed through extensive simulation and evaluated against several other existing dynamic multicast routing and also against one well known near optimum heuristic algorithm used for solving Steiner tree problem. We have further tested our algorithm using erroneous information given by the joining participants. Simulation results show that its performance does not degrade that much even when the range of error is considerably high, which proves the robustness of our algorithm.     

Process optimisation in sunflower oil extraction by supercritical CO2

A continuous process for the extraction of sunflower oil using supercritical CO₂, featuring multiple extractors, one oil separator and three cascaded CO₂ recovery vessels operating at different pressures, was devised and studied. For every single equipment of the plant making up the process a mathematical model was built. Experimental tests—consisting in measurements of oil solubility in supercritical CO₂—were carried out in a laboratory-scale apparatus to characterise the behaviour of sunflower oil in the separation from the supercritical fluid. The mathematical model of the whole process was coded in the commercial gPROMS process modelling environment where both its simulation and optimisation—this latter assuming the overall oil production cost as the objective function—were carried out. The process- and economics-related results are discussed and compared with those obtained with traditional and cold-pressing extraction.     

Kinetics of discontinuous precipitation in a Zn-2.5 at % Cu alloy

The morphology and growth kinetics of discontinuous precipitation in a Zn-2.5 at % Cu alloy have been studied in the temperature range 383–583 K by optical and scanning electron microscopy. The precipitate phase has a lamellar morphology, and maintains a statistically constant interlamellar spacing under isothermal growth conditions. The interlamellar spacing increases with an increase in temperature. The isothermal growth kinetics in terms of reaction front migration rate is maximum at 523 K. The upper temperature limit for the occurrence of reaction in this alloy has been predicted to be 643 K. A detailed kinetic analysis of the experimental data using several analytical models has confirmed discontinuous precipitation in this system to be a boundary diffusion controlled reaction, and enabled the determination of the grain boundary chemical diffusivity of Cu in a Zn-rich Zn-Cu alloy in the temperature range studied. The corresponding activation energy values determined in this study, range between 65 to 86 kJ/mol^–1, which compare well with the relevant data in the literature.     

Deductive verification of alternating systems

Alternating systems are models of computer programs whose behavior is governed by the actions of multiple agents with, potentially, different goals. Examples include control systems, resource schedulers, security protocols, auctions and election mechanisms. Proving properties about such systems has emerged as an important new area of study in formal verification, with the development of logical frameworks such as the alternating temporal logic ATL*. Techniques for model checking ATL* over finite-state systems have been well studied, but many important systems are infinite-state and thus their verification requires, either explicitly or implicitly, some form of deductive reasoning. This paper presents a theoretical framework for the analysis of alternating infinite-state systems. It describes models of computation, of various degrees of generality, and alternating-time logics such as ATL* and its variations. It then develops a proof system that allows to prove arbitrary ATL* properties over these infinite-state models. The proof system is shown to be complete relative to validities in the weakest possible assertion language. The paper then derives auxiliary proof rules and verification diagrams techniques and applies them to security protocols, deriving a new formal proof of fairness of a multi-party contract signing protocol where the model of the protocol and of the properties contains both game-theoretic and infinite-state (parameterized) aspects.     

High power GaN‐HEMT SPDT switches for microwave applications

In this article, the design, fabrication, and on‐wafer test of X‐Band and 2–18 GHz wideband high‐power SPDT MMIC switches in AlGaN/GaN technology are presented. The switches have demonstrated state‐of‐the‐art performance and RF fabrication yield better than 65%. Linear and power measurements for different control voltages have been reported and an explanation of the dependence of the power performances on the control voltage is given. In particular, the X‐band switch exhibits a 0.4 dB compression level at 10 GHz when driven by a 38 dBm input signal. The wideband switch shows a compression level of 1 dB at an input drive higher than 38 dBm across the entire bandwidth. © 2009 Wiley Periodicals, Inc. Int J RF and Microwave CAE, 2009.     

Catastrophic Failure of a Steel Chimney in a Lime Plant

Failure analysis of a steel chimney used in a lime plant was carried out. The chimney broke from two different locations during a storm. During the site visit, it was observed that the chimney was dislodged from weld joints. The chimney was made up of hot rolled mild steel plates. Investigations were carried out on the failed chimney plate and welding between plates. The investigation consists of visual observation, chemical analysis, characterization of macro- and microstructures, measurement of hardness, tensile property tests and energy-dispersive spectroscopy (EDS). Calculation of wind load at the location of breakage was also carried out. EDS analysis revealed entrapment of slag inside weld. Overall analysis suggested that the failure took place due to selection of improper reconditioning technique as well as poor workmanship in welding.     

Spectral entropy and spectral shape based pre-quantization for real time speaker identification system

Pre-processing is one of the vital steps for developing robust and efficient recognition system. Better pre-processing not only aid in better data selection but also in significant reduction of computational complexity. Further an efficient frame selection technique can improve the overall performance of the system. Pre-quantization (PQ) is the technique of selecting less number of frames in the pre-processing stage to reduce the computational burden in the post processing stages of speaker identification (SI). In this paper, we develop PQ techniques based on spectral entropy and spectral shape to pick suitable frames containing speaker specific information that varies from frame to frame depending on spoken text and environmental conditions. The attempt is to exploit the statistical properties of distributions of speech frames at the pre-processing stage of speaker recognition. Our aim is not only to reduce the frame rate but also to maintain identification accuracy reasonably high. Further we have also analyzed the robustness of our proposed techniques on noisy utterances. To establish the efficacy of our proposed methods, we used two different databases, POLYCOST (telephone speech) and YOHO (microphone speech).     

Verifying Temporal Properties of Reactive Systems: A STeP Tutorial

We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions of the Bakery Mutual exclusion algorithm for mutual exclusion. We verify the classic two-process algorithm and simple variants, as well as an atomic parameterized version. The methods used include deductive verification rules, verification diagrams, automatic invariant generation, and finite-state model checking and abstraction.