Informal and formal requirements specification languages: bridgingthe gap

The differences between informal and formal requirements specification languages are noted, and the issue of bridging the gap between them is discussed. Using structured analysis (SA) and the Vienna development method (VDM) as surrogates for informal and formal languages, respectively, two approaches are presented for integrating the two. The first approach uses the SA model of a system to guide the analyst's understanding of the system and the development of the VDM specifications. The second approach proposes a rule-based method for generating VDM specifications from a set of corresponding SA specifications. The two approaches are illustrated through a simplified payroll system case. The issues that emerge from the use of the two approaches are reported     

Development of nano indium tin oxide (ITO) grains by alkaline hydrolysis of In(III) and Sn(IV) salts

Indium tin oxide (ITO) nano powders of different compositions (In: Sn = 90: 10, 70: 30 and 50: 50) were prepared by heat treatment (300-450°C) of mixed hydroxides of In(III) and Sn(IV). The hydroxides were obtained by the reaction of aq. NH₃ with mixed aq. solutions of In(NO₃)₃ and SnCl₄. FTIR and TG/DTA studies revealed that powders existed as In(OH)₃H₂O—SnO₃H₂H₂O in the solid state and then they transformed to In₂O₃—SnO₂ via some metastable intermediates after 300°C. Cubic phase of In₂O₃ was identified by XRD for the oxides up to 30% of Sn. Particle size measurements of the solid dispersed in acetone and SEM study for microstructure showed that the oxides were in the nano range (55-75 nm) whereas the size range determined from Debye-Scherrer equation were 11–24 nm.     

Stability and throughput analysis of unslotted CDMA‐ALOHA with finite number of users and code sharing

We consider a system comprising a finite number of nodes, with infinite packet buffers, that use unslotted ALOHA with Code Division Multiple Access (CDMA) to share a channel for transmitting packetised data. We propose a simple model for packet transmission and retransmission at each node, and show that saturation throughput in this model yields a sufficient condition for the stability of the packet buffers; we interpret this as the capacity of the access method. We calculate and compare the capacities of CDMA‐ALOHA (with and without code sharing) and TDMA‐ALOHA; we also consider carrier sensing and collision detection versions of these protocols. In each case, saturation throughput can be obtained via analysis of a continuous time Markov chain. Our results show how saturation throughput degrades with code‐sharing. Finally, we also present some simulation results for mean packet delay. Our work is motivated by optical CDMA in which “chips” can be optically generated, and hence the achievable chip rate can exceed the achievable TDMA bit rate which is limited by electronics. Code sharing may be useful in the optical CDMA context as it reduces the number of optical correlators at the receivers. Our throughput results help to quantify by how much the CDMA chip rate should exceed the TDMA bit rate so that CDMA‐ALOHA yields better capacity than TDMA‐ALOHA. This revised version was published online in June 2006 with corrections to the Cover Date.     

Effect of gravity on visco-elastic surface waves in solids involving time rate of strain and stress of first order

The aim of the present paper is to study the effect of gravity on visco-elastic surface waves in solids. The wave velocity equations are deduced from Biot’s theory of initial stress on the assumption that gravity creates a type of initial stress — hydrostatic in nature. Resulting equations are used to investigate surface waves of the Rayleigh, Love and Stoneley types. Results are in good agreement with corresponding classical results when gravity and viscosity are neglected.     

Effect of Nb doping on structural and electric properties of PZT (65/35) ceramic

The aim of this study is to determine the effect of Nb⁵⁺ doping on PZT (65/35) based bulk materials in their structure, micro structure and electrical properties. The Nb content was chosen 0-9 mole%. These materials were prepared by conventional mixed oxide method. X ray diffraction studies suggest the compound to be of rhombohedral perovskite phase. Excess addition of Nb result in pyrochlore and fluorite phase develops in PZT (65/35) sample. Detailed studies of dielectric constant as a function of temperature (40degC to 500degC) and frequency (100 Hz to 1 MHz) suggest that the compounds undergo diffuse type of phase transition. Maximum dielectric constant and resistivity were found to be strongly dependent on doping and measuring frequencies. Using complex impedance analysis micro structural parameters such as bulk and grain boundary resistance, bulk charge carrier concentration and relaxation time were determined     

A novel scheme for protection of power semiconductor devicesagainst short circuit faults

Power semiconductor devices find wide application in modern power electronic converters. Protection of these devices against overload/short circuit conditions is of paramount importance. Present day protection topologies employing different circuits have invariably one main drawback in that the fault current reaches the set value before action is initiated to trip the system. This poses a severe stress on the device. Hence an adequate safety margin has to be necessarily provided to prevent excessive device stresses and care has to be taken to see that the device is operated well within its safe operating areas. The present paper proposes a method wherein the slope or rate of rise of the fault current is detected and once the slope exceeds the set reference, action is initiated to trip the system much before the fault current reaches dangerous levels. The method provides a fast means of detection of overload and short circuit currents and can be conveniently adopted for the protection of devices in power transistor/IGBT based inverters against short circuited load conditions or shoot through faults. The possible reduction of stresses in the power devices are also highlighted