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.

Aspects of tautomerism. 7. Study of keto participation in alkaline hydrolysis of normal esters of .gamma.-keto acids

Study of the alkaline hydrolysis of a number of variously substituted normal o-benzoylbenzoic esters has been reported. Although carbonyl-assisted hydrolysis is the general rule, in compounds containing strongly electron-donating groups, the ester function is directly attacked. The cause of rate enhancement in carbonyl-assisted hydrolysis and in greater detail the case of 6-substituted derivatives are discussed. It is shown that the carbonyl-assisted hydrolyses are characterized by decreased sensitivity to leaving-group structure. The implications of this result are pointed out.

Two forms of Pf1 Inovirus: X-ray diffraction studies on a structural phase transition and a calculated libration normal mode of the asymmetric unit

Inovirus is a helical array of alpha-helical protein asymmetric units surrounding a DNA core. X-ray fibre diffraction studies show that the Pf1 species of Inovirus can undergo a reversible temperature-induced transition between two similar structural forms having slightly different virion helix parameters. Molecular models of the two forms show no evidence for altered interactions between the protein and either the solvent or the viral DNA; but there are significant differences in the shape and orientation of the protein asymmetric unit, related to the changes in the virion parameters. Normal modes involving libration of whole asymmetric units are in a frequency range with appreciable entropy of libration, and the structural transition may be related to changes in libration.

Analysis of reflection characteristics of a normal incidence plane wave on resonant sound absorbers: A finite element approach

Resonant sound absorbers are used widely as anechoic coatings in underwater applications. In this paper a finite element scheme based on the Galerkin technique is used to analyze the reflection characteristics of the resonant absorber when insonified by a normal incidence plane wave. A waveguide theory coupled with an impedance matching condition in the fluid is used to model the problem. It is shown in this paper that the fluid medium encompassing the absorber can be modeled as an elastic medium with equivalent Lamé constants. Quarter symmetry conditions within the periodic unit cell are exploited. The finite element results are compared with analytical results, and with results published elsewhere in the literature. It is shown in the process that meshing of the fluid domain can be obviated if the transmission coefficients or reflection coefficients only are desired as is often the case. Finally, some design curves for thin resonant absorbers with water closure are presented in this paper.

Two forms of PF1 INOVIRUS: X-ray diffraction studies on a structural phase transition and a calculated libration normal mode of the assymetric unit

Inovirus is a helical array of agr-helical protein asymmetric units surrounding a DNA core. X-ray fibre diffraction studies show that the Pf1 species of Inovirus can undergo a reversible temperature-induced transition between two similar structural forms having slightly different virion helix parameters. Molecular models of the two forms show no evidence for altered interactions between the protein and either the solvent or the viral DNA; but there are significant differences in the shape and orientation of the protein asymmetric unit, related to the changes in the virion parameters. Normal modes involving libration of whole asymmetric units are in a frequency range with appreciable entropy of libration, and the structural transition may be related to changes in libration.

Normal mode sound propagation in an ocean with random narrow-band surface waves

Normal mode sound propagation in an isovelocity ocean with random narrow-band surface waves is considered, assuming the root-mean-square wave height to be small compared to the acoustic wavelength. Nonresonant interaction among the normal modes is studied straightforward perturbation technique. The more interesting case of resonant interaction is investigated using the method of multiple scales to obtain a pair of stochastic coupled amplitude equations which are solved using the Peano-Baker expansion technique. Equations for the spatial evolution of the first and second moments of the mode amplitudes are also derived and solved. It is shown that, irrespective of the initial conditions, the mean values of the mode amplitudes tend to zero asymptotically with increasing range, the mean-square amplitudes tend towards a state of equipartition of energy, and the total energy of the modes is conserved.

Chloroplastic glutamine synthetase from normal and water stressed safflower (Carthamus tinctorius L.) leaves

The chloroplastic isoform of glutamine synthetase (GS(2), EC 6.3.1.2) from normal and water stressed safflower (Carthamus tinctorius L. cv.A-300) leaves has been purified to apparent electrophoretic homogeneity by a procedure involving anion-exchange, hydrophobic and size-exclusion chromatography followed by electroelution of the protein from preparative polyacrylamide gels. The observed molecular weight of the native protein varied from 305-330 kDa depending on the sizing column employed. The native protein is composed of 44 kDa subunits. Under conditions of saturating ammonium and at ATP levels of 0.1-10 mM, double-reciprocal plots with respect to glutamate are biphasic and concave downward at high concentrations of the varied substrate for normal enzyme but are linear for enzyme from water-stressed plants. Under subsaturating ATP levels, K-Glu is over 18-fold lower for enzyme from stressed leaves. The K-m, (ATP) varies with Mg2+ levels in the assay mixture. Double-reciprocal plots of initial velocity with respect to ATP at changing fixed levels of NH4+ are linear for normal enzyme but are curved upwards for enzyme from stressed leaves. Initial velocity data of 1/v vs. 1/ammonium for the enzyme from both the sources are non-linear (curved upwards) when ATP is saturating. At subsaturating ATP levels, the data are linear for normal enzyme but are still non-linear for the enzyme from stressed leaves. The results obtained suggest positively cooperative binding of NH4+ A V-max(/2) value of 3.6 mM for Mg2+ was obtained at 5 mM ATP. The isoelectric point of the native protein from normal and stressed leaves was determined to be, respectively, 5.6 and 6.1. The mixed competitive and competitive inhibitors, methionine sulfoximine and ADP and K-i values of 0.086 mM (0.017 for the enzyme from stressed leaves) and 2.15 mM (1.70 for the enzyme from stressed leaves), respectively. Enzyme from stressed leaves is not inhibited by 5 mM proline. The observed kinetic constants of GS(2) from normal and water stressed safflower seedlings are discussed in relation to the known water-stress tolerance of this crop plant.

Reaction of normal and pseudo 2-formylbenzenesulfonyl chlorides with amines:experimental and theoretical studies on the structure of 2-formyl benzenesulfonamides in solid, solution and gas phases

The reaction of 2-formylbenzenesulfonyl chloride 1 and its pseudo isomer 2 with primary amines give either the corresponding sulfonamido Schiff bases or the corresponding 2-formylbenzenesulfonamide depending on the concentration of the amine used. The derivatives exist as an equilibrium mixture of the corresponding sulfonamide and 2-alkyl-3-hydroxy(or 3-aminoalkyl)-benzisothiazole-1,1-dioxide. Spectroscopic studies suggest that 2-formylbenzenesulfonamides exist as benzisothiazole-1,1-dioxides in the solid state, as a mixture of 2-formylbenzenesulfonamide and the corresponding benzisothiazole-1,1-dioxide in solution and as 2-formyl-benzenesulfonamides in the gas phase.

Normal state tunneling conductance of perovskite oxides: Implications for high-Tc superconductors

We have investigated tunneling conductances in disordered, normally conducting perovskite oxides close to the metal�insulator transition. We show that the normal state tunneling conductance of perovskite oxides can be cast in a general form G(V) = G0[1 + curly logical orV/V*curly logical orn] with 1?n?0.5 and where V* is an intrinsic energy scale. The exponent n graduall y increases from 0.5 to 1 as the metal-insulator (M-I) transition is approached. In the high-Tc Bi(2212) cuprates, the normally observed, linear G(V)(n=1) can be made sub-linear (n<1) by substitution of Ca with Y. From the similarity of the linear conductances, we suggest proximity to the M-I transition as a likely cause for this G(V)logical or, bar below V dependence. In systems showing linear conductances (nreverse similar, equals1), we find that ?G/?Vreverse similar, equalsG?0 with ?reverse similar, equals 1 and the intrinsic energy scale V*reverse similar, equals25�75 meV in the different oxides investigated.

The effect of preaging on the delayed aging of Al-7Si-0.3Mg

Al-7Si-0.3Mg is a commonly used commercial casting alloy because of its excellent castability combined with good mechanical properties. The post-casting heat treatment is one factor that affects the mechanical properties; during heat treat ment, a delay between solutionizing and artificial aging (delayed aging) leads to a reduction in hardness, ultimate tensile strength, and yield strength in the alloy. The investigation reported here was aimed at understanding the extent to which the harmful effect of delayed aging on hardness/strength can be nullified. The results obtained were explained using Pashley's kinetic model.

Regarding the effect of aging heat treatment on the failure behaviour of a SiC reinforced Al based metal matrix composite

In the present study, 6061 Al metallic matrix was reinforced by 12.2 wt% df SiC particulates using liquid metallurgy route. The composite material thus obtained was extruded and characterized in the as-solutionized and peak aged conditions in order to delineate the effect of aging associated precipitation of secondary phases on the tensile fracture behavior of the composite samples. The results' of microstructural characterization studies carried out using scanning electron microscope revealed the increased presence of precipitated secondary phases in the metallic matrix and a more pronounced interfacial segregation of alloying elements in case of peak aged samples when compared to the as-solutionized samples. The results of the fractographic studies conducted on the as-solutionized samples revealed that the failure was dominated by the SiC particulates cracking while for the peak aged samples the fracture surface revealed a comparatively more pronounced SiC/6061 Al debonding and reduced SiC particulates cracking. This change in the failure behavior was rationalized in terms of embrittlement of the interfacial region brought about by the aging heat treatment and is correlated, in addition, with the mechanical properties of the composite samples in as-solutionized and peak aged conditions.

Epitaxial LaNiO3 thin films: A normal metal barrier for SNS junction

Epitaxial LaNiO3 thin films have been grown on SrTiO3 and several other substrates by pulsed laser deposition. The films are observed to be metallic down to 15 K, and the temperature dependence of resistivity is similar to that of bulk LaNiO3. Epitaxial, c-axis oriented YBa2Cu3O7-x films with good superconducting properties have been grown on the LaNiO3 (100) films. I-V characteristics of the YBa2Cu3O7-x-LaNiO3 junction are linear, indicating ohmic contact between them.