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.

Splittings of free groups, normal forms and partitions of ends

Splittings of a free group correspond to embedded spheres in the 3-manifold M = # (k) S (2) x S (1). These can be represented in a normal form due to Hatcher. In this paper, we determine the normal form in terms of crossings of partitions of ends corresponding to normal spheres, using a graph of trees representation for normal forms. In particular, we give a constructive proof of a criterion determining when a conjugacy class in pi (2)(M) can be represented by an embedded sphere.

Algebraic Cryptanalysis of CTRU Cryptosystem

CTRU, a public key cryptosystem was proposed by Gaborit, Ohler and Sole. It is analogue of NTRU, the ring of integers replaced by the ring of polynomials $\mathbb{F}_2[T]$ . It attracted attention as the attacks based on either LLL algorithm or the Chinese Remainder Theorem are avoided on it, which is most common on NTRU. In this paper we presents a polynomial-time algorithm that breaks CTRU for all recommended parameter choices that were derived to make CTRU secure against popov normal form attack. The paper shows if we ascertain the constraints for perfect decryption then either plaintext or private key can be achieved by polynomial time linear algebra attack.

Elastic behaviour of matter under very high pressures - Uniform compression

In order to study the elastic behaviour of matter when subjected to very large pressures, such as occur for example in the interior of the earth, and to provide an explanation for phenomena like earthquakes, it is essential to be able to calculate the values of the elastic constants of a substance under a state of large initial stress in terms of the elastic constants of a natural or stress-free state. An attempt has been made in this paper to derive expressions for these quantities for a substance of cubic symmetry on the basis of non-linear theory of elasticity and including up to cubic powers of the strain components in the strain energy function. A simple method of deriving them directly from the energy function itself has been indicated for any general case and the same has been applied to the case of hydrostatic compression. The notion of an effective elastic energy-the energy require to effect an infinitesimal deformation over a state of finite strain-has been introduced, the coefficients in this expression being the effective elastic constants. A separation of this effective energy function into normal co-ordinates has been given for the particular case of cubic symmetry and it has been pointed out, that when any of such coefficients in this normal form becomes negative, elastic instability will set in, with associated release of energy.

Solution concepts in two-person multicriteria games

In this paper, we propose new solution concepts for multicriteria games and compare them with existing ones. The general setting is that of two-person finite games in normal form (matrix games) with pure and mixed strategy sets for the players. The notions of efficiency (Pareto optimality), security levels, and response strategies have all been used in defining solutions ranging from equilibrium points to Pareto saddle points. Methods for obtaining strategies that yield Pareto security levels to the players or Pareto saddle points to the game, when they exist, are presented. Finally, we study games with more than two qualitative outcomes such as combat games. Using the notion of guaranteed outcomes, we obtain saddle-point solutions in mixed strategies for a number of cases. Examples illustrating the concepts, methods, and solutions are included.

An integer arithmetic method to compute generalized matrix inverse and solve linear equations exactly

An algorithm that uses integer arithmetic is suggested. It transforms anm ×n matrix to a diagonal form (of the structure of Smith Normal Form). Then it computes a reflexive generalized inverse of the matrix exactly and hence solves a system of linear equations error-free.

Geosphere laminations in free groups

We construct for free groups, which are codimension one analogues of geodesic laminations on surfaces. Other analogues that have been constructed by several authors are dimension-one instead of codimension-one. Our main result is that the space of such laminations is compact. This in turn is based on the result that crossing, in the sense of Scott-Swarup, is an open condition. Our construction is based on Hatcher's normal form for spheres in the model manifold.

Sequences that adopt non-B-DNA conformation in form V DNA as probed by enzymic methylation

pBR322 form V DNA is a highly torsionally strained molecule with a linking number of zero. We have used sequence- specific DNA methylases as probes for B-DNA in this molecule, exploiting the inability of methylases to methylate single-stranded DNA and Z-DNA, both of which are known to occur in form V DNA. Some sequences in form V DNA were shown to be totally in the B-form, others were totally in an altered, unmethylatable conformation, while still other sites appeared to exist partly in altered and partly in normal B-conformation. Some potential Z-forming sequences (alternating pyrimidine/purine) of less than seven base-pairs were not in the Z conformation in form V DNA, whereas others did adopt an altered structure, indicating a modulating influence of flanking sequences. Furthermore, regions of imperfect alternating pyrimidine/purine structure were sometimes capable of adopting an altered structure. In addition, some regions of altered structure had no apparent Z-forming sequences, nor were they in polypurine stretches, which have also been proposed to form left-handed DNA. These non-B-DNA conformations may represent novel left-handed helical structures or sequences that become single stranded under torsional strain. Long regions of either altered (unmethylatable) DNA or B-DNA were not always observed. In fact, one region showed three transitions between B-like DNA and altered structure within 26 base-pairs.

Analysis of a thick plate with a circular hole resting on a smooth rigid bed and subjected to axisymmetric normal load

A solution for the stresses and displacements in an radially infinite thick plate having a circular hole, one face of which resting on a smooth rigid bed and the other face subjected to axisymmetric normal loading is given. The solution is obtained in terms of Fourier-Bessel series and integral for the Love's stress function. Numerical results are presented for one particular ratio of thickness of plate to the hole radius and loading. It is also shown that the Poisson's ratio has a predominant effect on certain stresses and displacements. The solution would be useful in the stress analysis of bolted joints.Eine Lösung für die Spannungen und Verschiebungen in einer radial, unendlich ausgedehnten, dicken Platte mit einem kreisförmigen Loch, wobei eine Seite auf einer ebenen, starren Unterlage aufliegt, die andere Seite durch eine achsensymmetrische Vertikallast belastet ist, wird angegeben. Die Lösung wird in Form von Fourier-Bessel-Reihen und Integralen der Loveschen Spannungsfunktion angegeben. Numerische Ergebnisse werden für ein bestimmtes Verhältnis der Plattendicke zum Lochradius sowie zur Belastung angegeben. Es wird auch gezeigt, daß das Poisssonsche Verhältnis einen besonderen Einfluß auf bestimmte Spannungen und Verschiebungen hat. Die Lösung ist anwendbar für die Spannungsermittlung von Bolzenverbindungen.

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.

Population inversions behind normal shock waves in CO2‐N2‐He mixtures seeded with solid particles: Further results

The analysis of propagation of a normal shock wave in CO2‐N2‐He or H2 or H2O system seeded with solid particles is presented. The variation of translational and vibrational temperatures of gas phase and the particle temperatures in the relaxation zone behind the shock front are given in graphical form. These results show that the peak value of population inversion and the width of the inversion zone are highest for He catalyst and lowest for H2O catalyst.

Riemann shock tube: 1D normal shocks in air, simulations and experiments

This paper presents numerical simulation of the evolution of one-dimensional normal shocks, their propagation, reflection and interaction in air using a single diaphragm Riemann shock tube and validate them using experimental results. Mathematical model is derived for one-dimensional compressible flow of viscous and conducting medium. Dimensionless form of the mathematical model is used to construct space-time finite element processes based on minimization of the space-time residual functional. The space-time local approximation functions for space-time p-version hierarchical finite elements are considered in higher order GRAPHICS] spaces that permit desired order of global differentiability of local approximations in space and time. The resulting algebraic systems from this approach yield unconditionally positive-definite coefficient matrices, hence ensure unique numerical solution. The evolution is computed for a space-time strip corresponding to a time increment Delta t and then time march to obtain the evolution up to any desired value of time. Numerical studies are designed using recently invented hand-driven shock tube (Reddy tube) parameters, high/low side density and pressure values, high- and low-pressure side shock tube lengths, so that numerically computed results can be compared with actual experimental measurements.

Intramolecular hydrogen bond: Can it be part of the basis set of valence internal coordinates in normal mode analysis?

It has been shown earlier1] that the relaxed force constants (RFCs) could be used as a measure of bond strength only when the bonds form a part of the complete valence internal coordinates (VIC) basis. However, if the bond is not a part of the complete VIC basis, its RFC is not necessarily a measure of bond strength. Sometimes, it is possible to have a complete VIC basis that does not contain the intramolecular hydrogen bond (IMHB) as part of the basis. This means the RFC of IMHB is not necessarily a measure of bond strength. However, we know that IMHB is a weak bond and hence its RFC has to be a measure of bond strength. We resolve this problem of IMHB not being part of the complete basis by postulating `equivalent' basis sets where IMHB is part of the basis at least in one of the equivalent sets of VIC. As long as a given IMHB appears in one of the equivalent complete VIC basis sets, its RFC could be used as a measure of bond strength parameter.

Behavior of Brick-Mortar Interfaces in FRP-Strengthened Masonry Assemblages under Normal Loading and Shear Loading

Determination of shear strength of brick-mortar bed joint is critical to overcome the sliding-shear or joint-shear failure in masonry. In the recent past, researchers have attempted to enhance the shear strength and deformation capacity of brick-mortar bed joints by gluing fiber-reinforced polymer (FRP) composite across the bed joint. FRP composites offer several advantages like high strength-to-weight ratio, and ease of application in terms of labor, time, and reduced curing period. Furthermore, FRP composites are desirable for strengthening old masonry buildings having heritage value because of its minimal interference with the existing architecture. A majority of earlier studies on shear strengthening of masonry available in the literature adopted masonry having the ratio of modulus of elasticity of masonry unit (Emu) to modulus of elasticity of mortar (Em) greater than one. Information related to shear behavior of FRP glued masonry composed of masonry units having Young's modulus lower than mortar is limited. Hence the present study is focused on characterizing the interfacial behavior of brick-mortar bed joint of masonry assemblages composed of solid burnt clay bricks and cement-sand mortar (E-mu/E-m ratio less than one), strengthened with FRP composites. Masonry triplets and prisms with bed joint inclined to loading axis (0 degrees, 30 degrees, 45 degrees, 60 degrees and 90 degrees) are employed in this study. Glass and carbon FRP composites composed of bidirectional FRP fabric with equal density in both directions are used for strengthening masonry. Masonry triplets are glued with glass and carbon FRP composites in two configurations: (1) both faces of the triplet specimens are fully glued with GFRP composites; and (2) both faces of the triplet specimens are glued with GFRP and CFRP composites in strip form. The performance of masonry assemblages strengthened with FRP composites is assessed in terms of gain in shear strength, shear displacement, and postpeak behavior for various configurations and types of FRP composites considered. A semianalytical model is proposed for the prediction of shear strength of masonry bed joints glued with FRP composites. A composite failure envelope consisting of a Coulomb friction model and a compression cap is obtained for unreinforced masonry and GFRP-strengthened masonry based on the test results of masonry triplets and masonry prisms with bed joints having various inclinations to the loading (C) 2015 American Society of Civil Engineers.

Shock propagation in gas dynamics: explicit form of higher order compatibility conditions

With the use of tensor analysis and the method of singular surfaces, an infinite system of equations can be derived to study the propagation of curved shocks of arbitrary strength in gas dynamics. The first three of these have been explicitly given here. This system is further reduced to one involving scalars only. The choice of dependent variables in the infinite system is quite important, it leads to coefficients free from singularities for all values of the shock strength.