Development of a structured program for conversion to prenex normal form

The method of structured programming or program development using a top-down, stepwise refinement technique provides a systematic approach for the development of programs of considerable complexity. The aim of this paper is to present the philosophy of structured programming through a case study of a nonnumeric programming task. The problem of converting a well-formed formula in first-order logic into prenex normal form is considered. The program has been coded in the programming language PASCAL and implemented on a DEC-10 system. The program has about 500 lines of code and comprises 11 procedures.

A computational algorithm for the verification of tautologies in propositional calculus

A computational algorithm (based on Smullyan's analytic tableau method) that varifies whether a given well-formed formula in propositional calculus is a tautology or not has been implemented on a DEC system 10. The stepwise refinement approch of program development used for this implementation forms the subject matter of this paper. The top-down design has resulted in a modular and reliable program package. This computational algoritlhm compares favourably with the algorithm based on the well-known resolution principle used in theorem provers.

Development of an LH receptor assay capable of measuring serum LH/CG in a wide variety of species

The development of a radioreceptor assay (RRA) that can measure serum LH in a variety of species and CG in sera and urine of pregnant women and monkeys is reported. Using sheep luteal membrane as the receptor source and I-125-labelled hLH/hCG as the tracer, dose-response (displacement) curves were obtained using hLH or hCG as standard. The addition of LH-free serum (200 mul per tube) had no affect on the standard displacement curve. The assay is simple, requires less than 90 min to complete and provides reproducible results. The sensitivity of the assay was 0.6 ng hLH per tube and the intra- and interassay variations were 9.6 and 9.8, respectively. Sera obtained from male and female bonnet monkeys (Macaca radiata) and monkey pituitary extract showed parallelism to the standard curve. The concentrations of LH measured correlated with the physiological status of the animals. Sera of rats, rabbits, hamsters, guinea-pigs, sheep and humans showed parallelism to the hLH standard curve indicating the viability of the RRA to measure serum LH of different species. Since the receptors recognize LH and CG, detection of pregnancy in monkeys and women was possible using this assay. The sensitivity of the assay for hCG was 8.7 miu per tube. This RRA could be a convenient alternative to the Leydig cell bioassay for obtaining the LH bioactivity profile of sera and biological fluids.

Development and characterization of monoclonal antibodies against WbSXP-1 for the detection of circulating filarial antigens

The importance of developing effective assays to diagnose, monitor and evaluate human lymphatic filariasis has been emphasized by the World Health Organization. Presently, few immunodiagnostics are available for filarial monitoring programmes. The Wuchereria bancrofti (Wb) SXP-1 parasite protein, with 84% homology to Brugia malayi (Bm) SXP-1, was found to be highly immunogenic. WbSXP-1 is one among the diagnostic candidate molecules that were used for developing a rapid-antibody-flow-through diagnostic kit for filariasis. Studies were initiated with the aim of developing monoclonal antibodies against recombinant WbSXP-1 and prospective applications for the detection of both circulating Wb and Bm antigens in serum samples from infected individuals. The monoclones 1A6C2 of subclass IgG1k, and 2A12F8 of class IgM, specifically detected Wb and Bm microfilaria isolated from patients and did not show cross-reactivity with other filarial recombinant antigens. We anticipate that this work will address the problems faced in the rapid diagnosis of human lymphatic filariasis in endemic areas in developing countries.

Densification and microstructure development in spark plasma sintered WC–6 wt% ZrO2 nanocomposites

In this paper, we report the results of a transmission electron microscopy investigation on WC–6 wt% ZrO2nanocomposite, spark plasma sintered at 1300 °C, for varying times of up to 20 min. The primary aim of this work was to understand the evolution of microstructure during such a sintering process. The investigation revealed the presence of nanocrystalline ZrO2particles (30–50 nm) entrapped within submicron WC grains. In addition, relatively coarser ZrO2(60–100 nm) particles were observed to be either attached to WC grain boundaries or located at WC triple grain junctions. The evidence of the presence of a small amount of W2C, supposed to have been formed due to sintering reaction between WC and ZrO2, is presented here. Detailed structural investigation indicated that ZrO2in the spark plasma sintered nanocomposite adopted an orthorhombic crystal structure, and the possible reasons for o-ZrO2formation are explained. The increase in kinetics of densification due to the addition of ZrO2is believed to be caused by the enhanced diffusion kinetics in the presence of nonstoichiometric nanocrystalline ZrO2.

Transcription factor erect wing (EWG) is involved in indirect flight muscle patterning, development and maintenance in Drosophila

Muscle development is a multistep process which includes myoblast diversification, proliferation, migration, fusion, differentiation and growth. A hierarchical exhibition of myogenic factors is important for dexterous execution of progressive events in muscle formation. EWG (erect wing) is a transcription factor known to have a role in indirect flight muscle development (IFM) in Drosophila. We marked out the precise spatio-temporal expression profile of EWG in the myoblasts, and in the developing muscles. Mutant adult flies null for EWG in myoblasts show variable number of IFM, suggesting that EWG is required for patterning of the IFM. The remnant muscle found in the EWG null flies show proper assembly of the structural proteins, which implies that some myoblasts manage to fuse, develop and differentiate normally indicating that EWG is not required for differentiation program per se. However, when EWG expression is extended beyond its expression window in a wild type background, muscle thinning is observed implying EWG function in protein synthesis inhibition. Mis-expression studies in wing disc myoblasts hinted at its role in myoblast proliferation. We thus conclude that EWG is important for regulating fusion events which in turn decides the IFM pattern. Also IFM in EWG null mutants show clumps containing broken fibres and an altered mitochondrial morphology. The vertebrate homolog of EWG is nuclear respiratory factor1 (NRF1) which is known to have a function in mitochondrial biogenesis and protection against oxidative stress. Gene expression for inner mitochondrial membrane protein, Opa1-like was found to be absent in these mutants. Also, these flies were more sensitive to oxidative stress, indicating a compromised mitochondrial functioning. Our results therefore demonstrate that EWG functions in maintaining muscles’ structural integrity by ensuing proper mitochondrial activity.