Performance evaluation of a teletext system

Four parameters are defined to measure the performance of a teletext system, namely, the probability of delivering a message within specified time, the transmission efficiency, the average number of errors per page, and the throughput. Each of them is derived and computational results are presented taking the UK teletext system as an example. These parameters are compared in their ability to characterize the performance of the teletext system     

Rectilinear steiner tree heuristics and minimum spanning tree algorithms using geographic nearest neighbors

We study the application of the geographic nearest neighbor approach to two problems. The first problem is the construction of an approximately minimum length rectilinear Steiner tree for a set ofn points in the plane. For this problem, we introduce a variation of a subgraph of sizeO(n) used by YaO [31] for constructing minimum spanning trees. Using this subgraph, we improve the running times of the heuristics discussed by Bern [6] fromO(n ² log n) toO(n log² n). The second problem is the construction of a rectilinear minimum spanning tree for a set ofn noncrossing line segments in the plane. We present an optimalO(n logn) algorithm for this problem. The rectilinear minimum spanning tree for a set of points can thus be computed optimally without using the Voronoi diagram. This algorithm can also be extended to obtain a rectilinear minimum spanning tree for a set of nonintersecting simple polygons.The results in this paper are a part of Y. C. Yee's Ph.D. thesis done at SUNY at Albany. He was supported in part by NSF Grants IRI-8703430 and CCR-8805782. S. S. Ravi was supported in part by NSF Grants DCI-86-03318 and CCR-89-05296.     

Performance of a non‐load‐bearing steel stud gypsum board wall assembly: Experiments and modelling

A gypsum wall assembly was exposed to an intense real‐scale compartment fire. For the wall assembly, temperatures were measured at the exposed face, within the stud cavity, and at the unexposed face during the fire exposure. Total heat flux gauges were used to measure the temporal variation of the energy incident on the walls, and cameras, both visual and infrared, were used to image the unexposed face of the wall assembly during the fire exposure. The behaviour of the wall assembly under the fire load is discussed as are current model results for a simulation of the fire test. Copyright © 2006 John Wiley & Sons, Ltd.     

A novel technique to prepare LiNbO3 at low temperature

Fresh niobium hydroxide was first precipitated from NbF₅ solution using an aqueous ammonium hydroxide under basic conditions. Then a simple procedure of mixing lithium and niobium hydroxides together and heating at a low temperature (400 °C) produced pure ultrafine single phase LiNbO₃ (LN). In the literature, this is the lowest temperature so far reported on the formation of LN. The phase content and lattice parameters are determined by X-ray diffraction (XRD). The average particle size and morphology were studied by transmission electron microscopy (TEM).     

Copper(II) removal from aqueous solutions by fly ash

The removal of Cu(II) by adsorption on fly ash has been found to be concentration, pH and temperature dependent. The kinetics of adsorption indicates the process to be diffusion controlled. The Langmuir constants have been calculated at different temperatures, and the adsorption has been found to be endothermic (ΔH = 15.652 kcal mol^?1). The maximum removal is observed at pH 8.0, and variation in adsorption with pH has been explained on the basis of surface ionisation and complexation.     

Hydrolysis of Fe(OH)SO4 in the presence of metallic iron

Hydrolysis of Fe(OH)SO₄ was carried out in the presence of metallic iron in order to prevent the formation of iron(III) oxides with strongly bonded sulphate. Under the conditions of the experiment, the products were found to be mixtures of ?-Fe₂O₃ and α-FeOOH. The occluded sulphate, if any, could be easily washed out with water. The hydrolysis reaction passes through an equilibrium state before coming to completion. The entropy with enthalpy of the hydrolysis corresponding to the equilibrium state were found to be 4 e.u. and 0·5 kJ/mol, respectively. The activation energy of the hydrolysis reaction was found to be 21 kJ/mol.     

Corrosion characteristics of aluminium alloy graphite particulate composite in various environments

The present study was aimed at understanding the response of 2014 Al alloy dispersed with graphite particles in various corrosive environments. Marine (sodium chloride) as well as acidic media were selected for the purpose with a view to widen the range of utility of the composite for applications where such environments may be encountered. Studies were also extended to characterize the corrosion resistance of the composite in fresh as well as used lubricating oils to explore the possibilities of using it in bearing, bushing and such other applications. The corrosion behaviour of the base alloy processed under identical conditions was also examined in the above media to see the influence of graphite addition in the alloy. In order to assess the role of the matrix microstructure, the composite as well as the base alloy was subjected to corrosion in heat-treated as well as-cast conditions. It was observed that the specimens suffered from the maximum rate of corrosion in acid, while sodium chloride produced the minimum corrosion rate. Oil in both used and fresh conditions revealed a negligibly small extent of corrosion. The composite was found to show a higher rate of corrosion than the base alloy under identical test conditions. This was attributed to the dispersoid/matrix interfacial corrosion in the case of the graphitic aluminium alloy. Heat treatment of the composite and the base alloy was found to lower the rate of corrosion in the environments tested. Microstructural modifications of the matrix and possible relief of residual stresses were thought to be responsible for the lower rate of corrosion in the heat-treated condition.     

Safety,liveness and fairness in temporal logic

In this paper we present syntactic characterization of temporal formulas that express various properties of interest in the verification of concurrent programs. Such a characterization helps us in choosing the right techniques for proving correctness with respect to these properties. The properties that we consider include safety properties, liveness properties and fairness properties. We also present algorithms for checking if a given temporal formula expresses any of these properties.This work is partly supported by NSF grant CCR-9212183. A preliminary version of this paper appeared in the Fourth ACM Symposium on Principles of Distributed Computing.