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.

Atmospheric survey of pollen of Parthenium hysterophorus

An aerobiological survey to study the incidence and concentration of the pollen of Parthenium hysterophorus was conducted in Bangalore, India for a period of one year. This study indicated that Parthenium pollen was present in the atmosphere in significant amounts eigher as single pollen grains or in the form of clumps during the months of June to August.

Effects of solar radiation pressure and Aerodynamic forces on satelliteattitude Dynamics and their utilization for Control: a survey

The environmcnl exerts an important inJuence on the pefirmance of space systems. A brief rel'iew of mo.s/ of the studies, pre.~ented over the past eightem years, relating to the influence ar7d the possible utilization of thc solar radiation pressure &d aero&namic forces, with particular reference to attitude dynamics and control qf satellites is presented here. The semi-passive stabilizers employing rhese forces show p~qmise of long life, low power and economic sjsfems, which though slower in response, compare we1I wit11 the octiw coi~trollers. It is felt that mud more attention is necessary to the actual implema~tution of these ideas and devices: some of which me quite ingenious und unique.

Regional variation in the composition and structure of mixed-species bird flocks in the Western Ghats and Sri Lanka

Mixed-species bird flocks are attractive models for the investigation of geographical variation in animal communities, as they represent a subset of the avifauna in most forested regions of the world. Yet studies of the regional variation in flock size and the composition of flocks are few, due to the predominance of studies carried out at single study site. Here, we review nine studies of mixed-species flocks conducted at 16 sites along the Western Ghats in India and in Sri Lanka. We find that flock size varies as much within this region as it does globally, with observation time being a confounding variable. Flock composition, however, is predictably related to elevation. Flocks at high elevations (>1200 m) in the Western Ghats strongly resemble flocks at high elevations in the mountain ranges of Sri Lanka in their composition, especially at the family level. We compare these flocks to flocks of other regions and make recommendations on study methodology that can facilitate comparisons across studies.

Prospecting for alternate sources of shikimic acid, a precursor of Tamiflu, a bird-flu drug

Shikimic acid, more commonly known by its anionic form, shikimate, is an important intermediate compound of the ‘shikimate pathway’ in plants and microorganisms1. It is the principal precursor for the synthesis of aromatic amino acids, phenylalanine, tryptophan and tyrosine and other compounds such as alkaloids, phenolics and phenyl propanoids2. It is used extensively as a chiral building block for the synthesis of a number of compounds in both pharmaceutical and cosmetic industries3. In the recent past, the focus on shikimic acid has increased since it is the key precursor for the synthesis of Tamiflu, the only drug against avian flu caused by the H5N1 virus4,5. Shikimic acid is converted to a diethyl ketal intermediate, which is then reduced in two steps to an epoxide that is finally transformed to Tamiflu6.

Pollinator limitation and the effect of breeding systems on plant reproduction in forest fragments

Reproduction of plants in fragmented habitats may be limited because of lower diversity or abundance of pollinators, and/or variation in local plant density. We assessed natural fruit set and pollinator limitation in ten species of woody plants in natural and restored fragments in the Pondicherry region of southern India, to see whether breeding system of plants (self-compatible and self-incompatible) affected fruit set. We tested whether the number of flowering individuals in the fragments affected the fruit set and further examined the adult and sapling densities of self-compatible (SC) and self-incompatible (SI) species. We measured the natural level of fruit set and pollinator limitation (calculated as the difference in fruit set between hand cross-pollinated and naturally pollinated flowers). Our results demonstrate that there was a higher level of pollinator limitation and hence lower levels of natural fruit set in self-incompatible species as compared to self-compatible species. However, the hand cross-pollinated flowers in SC and SI species produced similar levels of fruit set,further indicating that lower fruit set was due to pollinator limitation and not due to lack of cross-compatible individuals in the fragments. There was no significant relation between number of flowering individuals and the levels of natural fruit set, except for two species Derris ovalifolia, Ixora pavetta. In these species the natural fruit set decreased with increasing population size, again indicating pollinator limitation. The adult and sapling densities in self-compatible species were significantly higher than inself-incompatible species. These findings indicate that the low reproductive output in self-incompatible species may eventually lead to lower population sizes. Restoration of pollinator services along with plant species in fragmented habitats is important for the long-term conservation of biodiversity. (C) 2009 Elsevier Masson SAS. All rights reserved.

A preliminary survey of dermatomycoses in Bangalore

Clinical and mycological investigations were made on 225 cases of suspected dermatomycoses. Of these, 102 were microscopically positive. But only 63 were culturally positive, and these are analysed here with regard to clinical patterns and aetiological species, age, sex and occupational incidence and susceptibility to griseofulvin in vitro. As in most other parts of India, Trichophyton rubrum was the dominant species. A high proportion of Epidermophyton floccosum was an unusual feature seen. Of the clinical types, tinea cruris was the most common. The isolates were sensitive to griseofulvin at low concentrations of 1 to 5 μg per ml of agar medium, E. floccosum being the most sensitive.

A Survey on Cascaded Multilevel Inverters

Cascaded multilevel inverters synthesize a medium-voltage output based on a series connection of power cells which use standard low-voltage component configurations. This characteristic allows one to achieve high-quality output voltages and input currents and also outstanding availability due to their intrinsic component redundancy. Due to these features, the cascaded multilevel inverter has been recognized as an important alternative in the medium-voltage inverter market. This paper presents a survey of different topologies, control strategies and modulation techniques used by these inverters. Regenerative and advanced topologies are also discussed. Applications where the mentioned features play a key role are shown. Finally, future developments are addressed.

Relation between part position and kinematic freedom: An expository survey

This paper makes explicit the relation between relative part position and kinematic freedom of the parts which is implicitly available in the literature. An extensive set of representative papers in the areas of assembly and kinematic modelling is reviewed to specifically identify how the ideas in the two areas are related and influencing the development of each other. The papers are categorised by the approaches followed in the specification, representation, and solution of the part relations. It is observed that the extent of the part geometry is not respected in modelling schemes and as a result, the causal flow of events (proximity–contact–mobility) during the assembling process is not realised in the existing modelling paradigms, which are focusing on either the relative positioning problem or the relative motion problem. Though an assembly is a static description of part configuration, achievement of this configuration requires availability of relative motion for bringing parts together during the assembly process. On the other hand, the kinematic freedom of a part depends on the nature of contacting regions with other parts in its static configuration. These two problems are thus related through the contact geometry. The chronology of the approaches that significantly contributed to the development of the subject is also included in the paper.

A survey of wind engineering studies in India

In this paper, the work that has been done in several laboratories and academic institutions in India in the area of wind engineering in the past 20–30 years has been reviewed. Studies on extreme and mean hourly winds, philosophies adopted in model studies in wind tunnels and some of the important results that have been obtained are described. Suggestions for future studies are indicated.

A numerical survey of relativistic rotating neutron star structures using the Hartle-Thorne formalism

A broad numerical survey of relativistic rotating neutron star structures was compiled using an exhaustive list of presently available equation of state models for neutron star matter. The structure parameters (spherical deformations in mass and radii, the moment of inertia and quadrupole moment, oblateness, and free precession) are calculated using the formalism proposed by Hartle and Thorne (1968). The results are discussed in relation to the relevant observational information. Binary pulsar data and X-ray burst sources provide information on the bulk properties of neutron stars, enabling the derivation of constraints that can be put on the structure of neutron stars and equation of state models.

Discrete-Time Controlled Markov Processes with Average Cost Criterion: A Survey

This work is a survey of the average cost control problem for discrete-time Markov processes. The authors have attempted to put together a comprehensive account of the considerable research on this problem over the past three decades. The exposition ranges from finite to Borel state and action spaces and includes a variety of methodologies to find and characterize optimal policies. The authors have included a brief historical perspective of the research efforts in this area and have compiled a substantial yet not exhaustive bibliography. The authors have also identified several important questions that are still open to investigation.

A survey of indian logic from the point of view of computer science

Indian logic has a long history. It somewhat covers the domains of two of the six schools (darsanas) of Indian philosophy, namely, Nyaya and Vaisesika. The generally accepted definition of Indian logic over the ages is the science which ascertains valid knowledge either by means of six senses or by means of the five members of the syllogism. In other words, perception and inference constitute the subject matter of logic. The science of logic evolved in India through three ages: the ancient, the medieval and the modern, spanning almost thirty centuries. Advances in Computer Science, in particular, in Artificial Intelligence have got researchers in these areas interested in the basic problems of language, logic and cognition in the past three decades. In the 1980s, Artificial Intelligence has evolved into knowledge-based and intelligent system design, and the knowledge base and inference engine have become standard subsystems of an intelligent system. One of the important issues in the design of such systems is knowledge acquisition from humans who are experts in a branch of learning (such as medicine or law) and transferring that knowledge to a computing system. The second important issue in such systems is the validation of the knowledge base of the system i.e. ensuring that the knowledge is complete and consistent. It is in this context that comparative study of Indian logic with recent theories of logic, language and knowledge engineering will help the computer scientist understand the deeper implications of the terms and concepts he is currently using and attempting to develop.