A Survey Of Software Dependability

This paper presents on overview of the issues in precisely defining, specifying and evaluating the dependability of software, particularly in the context of computer controlled process systems. Dependability is intended to be a generic term embodying various quality factors and is useful for both software and hardware. While the developments in quality assurance and reliability theories have proceeded mostly in independent directions for hardware and software systems, we present here the case for developing a unified framework of dependability—a facet of operational effectiveness of modern technological systems, and develop a hierarchical systems model helpful in clarifying this view. In the second half of the paper, we survey the models and methods available for measuring and improving software reliability. The nature of software “bugs”, the failure history of the software system in the various phases of its lifecycle, the reliability growth in the development phase, estimation of the number of errors remaining in the operational phase, and the complexity of the debugging process have all been considered to varying degrees of detail. We also discuss the notion of software fault-tolerance, methods of achieving the same, and the status of other measures of software dependability such as maintainability, availability and safety.

Stability of Fe3+ -VO defect pairs in polycrystalline Pb(Ti,Zr)O3

The intensity of the EPR signal with g = 5.985 arising from a ferric ion â oxygen vacancy defect pair (Fe3+ â VO) in PbTiO3, varies with the extent of PbO nonstoichiometry at constant Fe3+ content due to an increased oxygen vacancy concentration. In PZT solid solutions, the signal intensity decreases with an increase in Zr. A lower intensity is also noticed for Fe3+ â VO signals in PbZrO3. This behaviour is explained on the basis of PbO nonstoichiometry arising from independent Pb- and O-vacancies as well as the randomly distributed crystallographic shear (CS) plane defects. The contribution to PbO nonstoichiometry from CS planes is larger in high zirconium compositions of PZT.

A Note on the Genericity of Simultaneous Stabilizability and Pole Assignability

n this paper we study the genericity of simultaneous stabilizability, simultaneous strong stabilizability, and simultaneous pole assignability, in linear multivariable systems. The main results of the paper had been previously established by Ghosh and Byrnes using state-space methods. In contrast, the proofs in the present paper are based on input-output arguments, and are much simpler to follow, especially in the case of simultaneous and simultaneous strong stabilizability. Moreover, the input-output methods used here suggest computationally reliable algorithms for solving these two types of problems. In addition to the main results, we also prove some lemmas on generic greatest common divisors which are of independent interest.

Unsteady Incompressible Two-Dimensional and Axisymmetric Turbulent Boundary Layer Flows

The unsteady turbulent incompressible boundary-layer flow over two-dimensional and axisymmetric bodies with pressure gradient has been studied. An eddy-viscosity model has been used to model the Reynolds shear stress. The unsteadiness is due to variations in the free stream velocity with time. The nonlinear partial differential equation with three independent variables governing the flow has been solved using Keller's Box method. The results indicate that the free stram velocity distribution exerts strong influence on the boundary-layer characteristics. The point of zero skin friction is found to move upstream as time increases.

M. bovis BCG induced expression of COX-2 involves nitric oxide-dependent and -independent signaling pathways

In a multifaceted immunity to mycobacterial infection, induced expression of cyclooxygenase-2 (COX-2) by Mycobacterium bovis bacillus Calmette-Guerin (BCG) may act as an important influencing factor for the effective host immunity. We here demonstrate that M. bovis BCG-triggered TLR2-dependent signaling leads to COX-2 and PGE2 expression in vitro in macrophages and in vivo in mice. Further, the presence of PGE2 could be demonstrated in sera or cerebrospinal fluid of tuberculosis patients. The induced COX-2 expression in macrophages is dependent on NF-kappa B activation, which is mediated by inducible NO synthase (iNOS)/NO-dependent participation of the members of Notch1-PI-3K signaling cascades as well as iNOS-independent activation of ERK1/2 and p38 MAPKs. Inhibition of iNOS activity abrogated the M. bovis BCG ability to trigger the generation of Notch1 intracellular domain (NICD), a marker for Notch1 signaling activation, as well as activation of the PI-3K signaling cascade. On the contrary, treatment of macrophages with 3-morpholinosydnonimine, a NO donor, resulted in a rapid increase in generation of NICD, activation of PI-3K pathway, as well as the expression of COX-2. Stable expression of NICD in RAW 264.7 macrophages resulted in augmented expression of COX-2. Further, signaling perturbations suggested the involvement of the cross-talk of Notch1 with members with the PI-3K signaling cascade. These results implicate the dichotomous nature of TLR2 signaling during M. bovis BCG-triggered expression of COX-2. In this perspective, we propose the involvement of iNOS/NO as one of the obligatory, early, proximal signaling events during M. bovis BCG-induced COX-2 expression in macrophages.

The credit risk(+) model with general sector correlations

We consider an enhancement of the credit risk+ model to incorporate correlations between sectors. We model the sector default rates as linear combinations of a common set of independent variables that represent macro-economic variables or risk factors. We also derive the formula for exact VaR contributions at the obligor level.

Fast Accurate Transient Stability Simulations

The paper describes a Simultaneous Implicit (SI) approach for transient stability simulations based on an iterative technique using traingularised admittance matrix [1]. The reduced saliency of generator in the subtransient state is taken advantage of to speed up the algorithm. Accordingly, generator differential equations, except rotor swing, contain voltage proportional to fluxes in the main field, dampers and a hypothetical winding representing deep flowing eddy currents, as state variables. The simulation results are validated by comparison with two independent methods viz. Runge-Kutta simulation for a simplified system and a method based on modelling damper windings using conventional induction motor theory.

Trehalose Toxicity in Cuscuta reflexa - Sucrose Content Decreases In Shoot Tips Upon Trehalose Feeding

Trehalose, an alpha,alpha-diglucoside, induced a rapid blackening and death of shoot tips of Cuscuta reflexa (dodder) cultured in vitro. The onset of toxic symptom was delayed if any of the several sugars which support the in vitro growth of Cuscuta was supplied with trehalose. The rate of trehalose uptake or its accumulation in the tissue was not affected by sugar cofeeding. The levels of total and reducing sugars declined appreciably in the trehalose-fed shoot tip explants compared to control tissue cultured in absence of a carbon source. This was not due to an increased rate of respiration of the trehalose-treated tissue. In shoot tips cultured in presence of both trehalose and sucrose, the decline in total and reducing sugars was curtailed. There was a marked fall in the level of sucrose; and invertase activity was higher in trehalose-fed shoot tips. The incorporation of label from [14C]glucose into sucrose in the shoot tip explant was reduced as early as 12 h of trehalose feeding. The results suggest that increased utilization of sucrose as well as an inhibition of its synthesis contribute to the drastic fall in the sucrose content upon trehalose feeding.

Axisymmetric melting of a long cylinder due to an infinite flux

By employing a new embedding technique, a short-time analytical solution for the axisymmetric melting of a long cylinder due to an infinite flux is presented in this paper. The sufficient condition for starting the instantaneous melting of the cylinder has been derived. The melt is removed as soon as it is formed. The method of solution is simple and straightforward and consists of assuming fictitious initial temperature for some fictitious extension of the actual region.

CSSI-PRO: a method for secondary structure type editing, assignment and estimation in proteins using linear combination of backbone chemical shifts

Estimation of secondary structure in polypeptides is important for studying their structure, folding and dynamics. In NMR spectroscopy, such information is generally obtained after sequence specific resonance assignments are completed. We present here a new methodology for assignment of secondary structure type to spin systems in proteins directly from NMR spectra, without prior knowledge of resonance assignments. The methodology, named Combination of Shifts for Secondary Structure Identification in Proteins (CSSI-PRO), involves detection of specific linear combination of backbone H-1(alpha) and C-13' chemical shifts in a two-dimensional (2D) NMR experiment based on G-matrix Fourier transform (GFT) NMR spectroscopy. Such linear combinations of shifts facilitate editing of residues belonging to alpha-helical/beta-strand regions into distinct spectral regions nearly independent of the amino acid type, thereby allowing the estimation of overall secondary structure content of the protein. Comparison of the predicted secondary structure content with those estimated based on their respective 3D structures and/or the method of Chemical Shift Index for 237 proteins gives a correlation of more than 90% and an overall rmsd of 7.0%, which is comparable to other biophysical techniques used for structural characterization of proteins. Taken together, this methodology has a wide range of applications in NMR spectroscopy such as rapid protein structure determination, monitoring conformational changes in protein-folding/ligand-binding studies and automated resonance assignment.

Recognition And Top-Down Generation Of Beta-Acyclic Database Schemes

Database schemes can be viewed as hypergraphs with individual relation schemes corresponding to the edges of a hypergraph. Under this setting, a new class of "acyclic" database schemes was recently introduced and was shown to have a claim to a number of desirable properties. However, unlike the case of ordinary undirected graphs, there are several unequivalent notions of acyclicity of hypergraphs. Of special interest among these are agr-, beta-, and gamma-, degrees of acyclicity, each characterizing an equivalence class of desirable properties for database schemes, represented as hypergraphs. In this paper, two complementary approaches to designing beta-acyclic database schemes have been presented. For the first part, a new notion called "independent cycle" is introduced. Based on this, a criterion for beta-acyclicity is developed and is shown equivalent to the existing definitions of beta-acyclicity. From this and the concept of the dual of a hypergraph, an efficient algorithm for testing beta-acyclicity is developed. As for the second part, a procedure is evolved for top-down generation of beta-acyclic schemes and its correctness is established. Finally, extensions and applications of ideas are described.

Determination of baryon magnetic moments from QCD sum rules

The magnetic moment μB of a baryon B with quark content (aab) is written as μB=4ea(1+δB)eħ/2cMB, where ea is the charge of the quark of flavor type a. The experimental values of δB have a simple pattern and have a natural explanation within QCD. Using the ratio method, the QCD sum rules are analyzed and the values of δB are computed. We find good agreement with data (≊10%) for the nucleons and the Σ multiplet while for the cascade the agreement is not as good. In our analysis we have incorporated additional terms in the operator-product expansion as compared to previous authors. We also clarify some points of disagreement between the previous authors. External-field-induced correlations describing the magnetic properties of the vacuum are estimated from the baryon magnetic-moment sum rules themselves as well as by independent spectral representations and the results are contrasted.

Non-Destructive Method to Estimate the Moisture Content in Bread using Multi-Channel Electrical Impedance Spectroscopy

Bread undergoes several physicochemical changes during storage that results in a rapid loss of freshness. These changes depend on moisture content present in bread product. An instrument based on electrical impedance spectroscopy technique is developed to estimate moisture content of bread at different zones using designed multi-channel ring electrodes. A dedicated AT89S52 microcontroller and associated peripherals are employed for hardware. A constant current is applied across bread loaf through central pair of electrodes and developed potential across different zones of bread loaf are measured using remaining four ring electrode pairs. These measured values of voltage and current are used to measure the impedance at each zone. Electrical impedance behavior of the bread loaf at crust and crumb is investigated during storage. A linear relationship is observed between the measured impedance and moisture content present in crust and crumb of bread loaf during storage of 120 hours.

Description of ring puckering of furanose: An analytical approach

An analytical approach for the description of the ring puckerings from the endocyclic ring torsion angles of a five-membered saturated ring is given. This description is independent of any reference conformation. For the description, a revised notation for the endocyclic ring torsion angles has been suggested. The application of this method to the furanose ring is described in detail.

Unsteady nonsimilar compressible laminar two-dimensional and axisymmetric boundary-layer flows

Unsteady nonsimilar laminar compressibletwo-dimensional and axisymmetric boundarylayer flows have been studied when external velocity varies arbitrarily with time and the flow is nonhomentropic. The governing nonlinear partial differential equations with three independent variables have been solved using an implicit finite difference scheme with quasilinearization technique from the origin to the point of zero skin-friction. The results have been obtained for (i) an accelerating stream and (ii) a fluctuating stream. The skin friction responds to the fluctuations in the free stream more compared to the heat transfer. It is observed that Mach number and hot wall cause the point of zero skin friction to occur earlier whereas cold wall delays it.