A Variational Calculation of TE and TM Cutoff Wavenumbers in Circular Eccentric Guides by Conformal Mapping

The cutoff wavenumbers of higher order modes in circular eccentric guides are computed with the variational analysis combined with a conformal mapping. A conformal mapping is applied to the variational formulation, and the variational equation is solved by the finite-element method. Numerical results for TE and TM cutoff wavenumbers are presented for different distances between the centers and ratio of the radii. Comparisons with numerical results found in the literature validate the presented method

Studies on Thermodynamics and No-hair Theorem in Black hole Spacetime

Department of Physics, Cochin University of Science and Technology

Isolation of a pathogenic strain of Vibrio alginolyticus from necrotic larvae of Macrobrachium rosenbergii (de Man)

Giant freshwater prawn, Macrobrachium rosenbergii (de Man), is an important commercial species with considerable export value, ideal for cultivation under low saline conditions and in freshwater zones (Kurup 1994). However, despite more than a decade of research on its larval production systems, vibriosis still hampers seed production resulting in high mortality rates. Among the different species of vibrios, Vibrio alginolyticus has been isolated frequently from diseased shrimp as the aetiological agent of vibriosis and has been described as a principal pathogen of both penaeids and nonpenaeids (Lightner 1988; Baticados, Cruz-Lacierda, de la Cruz, Duremdez-Fernandez, Gacutan, Lavilla- Pitogo & Lio-Po 1990; Mohney, Lightner & Bell 1994; Lee, Yu, Chen, Yang & Liu 1996). Vibrio fluvialis, V. alginolyticus, V. cholerae non-O1 (Fujioka & Greco 1984), Aeromonas liquifaciens and V. anguillarum (Colorni 1985) have been isolated from the larvae of M. rosenbergii. A profound relationship between the abundance of members of the family Vibrionaceae and larval mortality (Singh 1990) and the predominance of Vibrio in eggs, larvae and post-larvae of M. rosenbergii (Hameed, Rahaman, Alagan & Yoganandhan 2003) was reported. The present paper reports the isolation, characterization, pathogenicity and antibiotic sensitivity of V. alginolyticus associated with M. rosenbergii larvae during an occurrence of severe mass mortality at the ninth larval stage.

Modeling of ALFA Programs Using PVS Theorem Prover

In Safety critical software failure can have a high price. Such software should be free of errors before it is put into operation. Application of formal methods in the Software Development Life Cycle helps to ensure that the software for safety critical missions are ultra reliable. PVS theorem prover, a formal method tool, can be used for the formal verification of software in ADA Language for Flight Software Application (ALFA.). This paper describes the modeling of ALFA programs for PVS theorem prover. An ALFA2PVS translator is developed which automatically converts the software in ALFA to PVS specification. By this approach the software can be verified formally with respect to underflow/overflow errors and divide by zero conditions without the actual execution of the code.

Modeling of ALFA Programs Using PVS Theorem Prover

In Safety critical software failure can have a high price. Such software should be free of errors before it is put into operation. Application of formal methods in the Software Development Life Cycle helps to ensure that the software for safety critical missions are ultra reliable. PVS theorem prover, a formal method tool, can be used for the formal verification of software in ADA Language for Flight Software Application (ALFA.). This paper describes the modeling of ALFA programs for PVS theorem prover. An ALFA2PVS translator is developed which automatically converts the software in ALFA to PVS specification. By this approach the software can be verified formally with respect to underflow/overflow errors and divide by zero conditions without the actual execution of the code