WISENOM. A formal organic chemical nomenclature system

A formal chemical nomenclature system WISENOM based on a context-free grammar and graph coding is described. The system is unique, unambiguous, easily pronounceable, encodable, and decodable for organic compounds. Being a formal system, every name is provable as a theorem or derivable as a terminal sentence by using the basic axioms and rewrite rules. The syntax in Backus-Naur form, examples of name derivations, and the corresponding derivation trees are provided. Encoding procedures to convert connectivity tables to WISENOM, parsing, and decoding are described.

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.

Resonances, scattering theory, and rigged Hilbert spaces

The problem of decaying states and resonances is examined within the framework of scattering theory in a rigged Hilbert space formalism. The stationary free,''in,'' and ''out'' eigenvectors of formal scattering theory, which have a rigorous setting in rigged Hilbert space, are considered to be analytic functions of the energy eigenvalue. The value of these analytic functions at any point of regularity, real or complex, is an eigenvector with eigenvalue equal to the position of the point. The poles of the eigenvector families give origin to other eigenvectors of the Hamiltonian: the singularities of the ''out'' eigenvector family are the same as those of the continued S matrix, so that resonances are seen as eigenvectors of the Hamiltonian with eigenvalue equal to their location in the complex energy plane. Cauchy theorem then provides for expansions in terms of ''complete'' sets of eigenvectors with complex eigenvalues of the Hamiltonian. Applying such expansions to the survival amplitude of a decaying state, one finds that resonances give discrete contributions with purely exponential time behavior; the background is of course present, but explicitly separated. The resolvent of the Hamiltonian, restricted to the nuclear space appearing in the rigged Hilbert space, can be continued across the absolutely continuous spectrum; the singularities of the continuation are the same as those of the ''out'' eigenvectors. The free, ''in'' and ''out'' eigenvectors with complex eigenvalues and those corresponding to resonances can be approximated by physical vectors in the Hilbert space, as plane waves can. The need for having some further physical information in addition to the specification of the total Hamiltonian is apparent in the proposed framework. The formalism is applied to the Lee–Friedrichs model and to the scattering of a spinless particle by a local central potential. Journal of Mathematical Physics is copyrighted by The American Institute of Physics.

Generalized pencils of rays in statistical wave optics

The recently introduced generalized pencil of Sudarshan which gives an exact ray picture of wave optics is analysed in some situations of interest to wave optics. A relationship between ray dispersion and statistical inhomogeneity of the field is obtained. A paraxial approximation which preserves the rectilinear propagation character of the generalized pencils is presented. Under this approximation the pencils can be computed directly from the field conditions on a plane, without the necessity to compute the cross-spectral density function in the entire space as an intermediate quantity. The paraxial results are illustrated with examples. The pencils are shown to exhibit an interesting scaling behaviour in the far-zone. This scaling leads to a natural generalization of the Fraunhofer range criterion and of the classical van Cittert-Zernike theorem to planar sources of arbitrary state of coherence. The recently derived results of radiometry with partially coherent sources are shown to be simple consequences of this scaling.

Vertical uplift capacity of two interfering horizontal anchors in sand using an upper bound limit analysis

The vertical uplift resistance of two interfering rigid rough strip anchors embedded horizontally in sand at shallow depths has been examined. The analysis is performed by using an upper bound theorem o limit analysis in combination with finite elements and linear programming. It is specified that both the anchors are loaded to failure simultaneously at the same magnitude of the failure load. For different clear spacing (S) between the anchors, the magnitude of the efficiency factor (xi(gamma)) is determined. On account of interference, the magnitude of xi(gamma) is found to reduce continuously with a decrease in the spacing between the anchors. The results from the numerical analysis were found to compare reasonably well with the available theoretical data from the literature.

Grazing management influences the dynamics of populations of Stylosanthes hippocampoides (Oxley fine stem stylo)

This paper describes a study to identify those factors which control the persistence of the Subtropical legume Stylosanthes hippocampoides, formerly S. guianensis cv. Oxley (fine stem stylo). The dynamics of S. hippocampoides populations was recorded in permanent quadrats at 2 stocking rates in a grazing study conducted between 1987 and 1992 in south-eastern Queensland. Density of mature plants fluctuated between 10 and 60 plants/m(2) during the 5 years with the major contributing factors being variations in seedling recruitment and survival, which, in turn, reflected the size of the soil seed bank and seasonal rainfall. Plant density was consistently higher at the lower stocking rate of 1 beast/1.5 ha compared with 1 beast/1 ha; however, the effect of stocking rate was minor compared with fluctuation due to seasonal variation in rainfall. The maximum life span of the original plants exceeded 5 years, while the survival of seedling cohorts was strongly impacted by seasonal rainfall. Total exclosure from grazing during summer increased the size of the soil seed bank although a precise time period during summer was not identified, while grazing at the lower stocking pressure produced the same outcome. It was concluded that the large seasonal variation that occurs in S. hippocampoides density is driven by large seasonal variation in seedling recruitment, which, in turn, is influenced by the size of the soil seed bank.

On the Arrangement of Cliques in Chordal Graphs with respect to the Cuts

A cut (A, B) (where B = V - A) in a graph G = (V, E) is called internal if and only if there exists a vertex x in A that is not adjacent to any vertex in B and there exists a vertex y is an element of B such that it is not adjacent to any vertex in A. In this paper, we present a theorem regarding the arrangement of cliques in a chordal graph with respect to its internal cuts. Our main result is that given any internal cut (A, B) in a chordal graph G, there exists a clique with kappa(G) + vertices (where kappa(G) is the vertex connectivity of G) such that it is (approximately) bisected by the cut (A, B). In fact we give a stronger result: For any internal cut (A, B) of a chordal graph, and for each i, 0 <= i <= kappa(G) + 1 such that vertical bar K-i vertical bar = kappa(G) + 1, vertical bar A boolean AND K-i vertical bar = i and vertical bar B boolean AND K-i vertical bar = kappa(G) + 1 - i. An immediate corollary of the above result is that the number of edges in any internal cut (of a chordal graph) should be Omega(k(2)), where kappa(G) = k. Prompted by this observation, we investigate the size of internal cuts in terms of the vertex connectivity of the chordal graphs. As a corollary, we show that in chordal graphs, if the edge connectivity is strictly less than the minimum degree, then the size of the mincut is at least kappa(G)(kappa(G)+1)/2 where kappa(G) denotes the vertex connectivity. In contrast, in a general graph the size of the mincut can be equal to kappa(G). This result is tight.

Theory of the mixed valent state

After briefly discussing the question of a distinct mixed valent state and theoretical models for it, the area of greatest theoretical success, namely the mixed valent impurity, is reviewed. Applications to spectroscopy, energetics and Hall effect are then putlined. The independent impurity approximation is inadequate for many properties of the bulk system, which depend on lattice coherence. A recent auxiliary or slave boson approach with a simple mean field limit and fluctuation corrections is summarized. Finally the mixed valent semiconductor is discussed as an outstanding problem.

Foldable compatibility matrix for the folding of programmable logic arrays

This paper describes a switching theoretic algorithm for the folding of programmable logic arrays (PLA). The algorithm is valid for both column and row folding, although it has been presented considering only the simple column folding. The pairwise compatibility relations among all the pairs of the columns of the PLA are mapped into a square matrix, called the compatibility matrix of the PLA. A foldable compatibility matrix (FCM), a new concept introduced by the author, is then derived from the compatibility matrix. A new theorem called the folding theorem is then proved. The theorem states that the existence of an m by 2m FCM is both necessary and sufficient to fold 2m columns of the n column PLA (2m ≤ n). Once an FCM is obtained, the ordered pairs of foldable columns and the re-ordering of the rows are readily determined.

The role of catechol-O-methyltransferase (COMT) and the effects of COMT inhibition in brain and in cardiovascular and renal pathophysiology

Catechol-O-methyltransferase (COMT) metabolizes catecholamines such as dopamine (DA), noradrenaline (NA) and adrenaline, which are vital neurotransmitters and hormones that play important roles in the regulation of physiological processes. COMT enzyme has a functional Val158Met polymorphism in humans, which affects the subjects COMT activity. Increasing evidence suggests that this functional polymorphism may play a role in the etiology of various diseases from schizophrenia to cancers. The aim of this project was to provide novel biochemical information on the physiological and especially pathophysiological roles of COMT enzyme as well as the effects of COMT inhibition in the brain and in the cardiovascular and renal system. To assess the roles of COMT and COMT inhibition in pathophysiology, we used four different study designs. The possible beneficial effects of COMT inhibition were studied in double-transgenic rats (dTGRs) harbouring human angiotensinogen and renin genes. Due to angiotensin II (Ang II) overexpression, these animals exhibit severe hypetension, cardiovascular and renal end-organ damage and mortality of approximately 25-40% at the age of 7-weeks. The dTGRs and their Sprague-Dawley controls tissue samples were assessed with light microscopy, immunohistochemistry, reverse transcriptase-polymerase chain reaction (RT-PCR) and high-pressure liquid chromatography (HPLC) to evaluate the tissue damages and the possible protective effects pharmacological intervention with COMT inhibitors. In a second study, the consequence of genetic and pharmacological COMT blockade in blood pressure regulation during normal and high-sodium was elucidated using COMT-deficient mice. The blood pressure and the heart rate were measured using direct radiotelemetric blood pressure surveillance. In a third study, the effects of acute and subchronic COMT inhibition during combined levodopa (L-DOPA) + dopa decarboxylase inhibitor treatment in homocysteine formation was evaluated. Finally, we assessed the COMT enzyme expression, activity and cellular localization in the CNS during inflammation-induced neurodegeneration using Western blotting, HPLC and various enzymatic assays. The effects of pharmacological COMT inhibition on neurodegeneration were also studied. The COMT inhibitor entacapone protected against the Ang II-induced perivascular inflammation, renal damage and cardiovascular mortality in dTGRs. COMT inhibitors reduced the albuminuria by 85% and prevented the cardiovascular mortality completely. Entacapone treatment was shown to ameliorate oxidative stress and inflammation. Furthermore, we established that the genetic and pharmacological COMT enzyme blockade protects against the blood pressure-elevating effects of high sodium intake in mice. These effects were mediated via enhanced renal dopaminergic tone and suggest an important role of COMT enzyme, especially in salt-sensitive hypertension. Entacapone also ameliorated the L-DOPA-induced hyperhomocysteinemia in rats. This is important, since decreased homocysteine levels may decrease the risk of cardiovascular diseases in Parkinson´s disease (PD) patients using L-DOPA. The Lipopolysaccharide (LPS)-induced inflammation and subsequent delayed dopaminergic neurodegeneration were accompanied by up-regulation of COMT expression and activity in microglial cells as well as in perivascular cells. Interestingly, similar perivascular up-regulation of COMT expression in inflamed renal tissue was previously noted in dTGRs. These results suggest that inflammation reactions may up-regulate COMT expression. Furthermore, this increased glial and perivascular COMT activity in the central nervous system (CNS) may decrease the bioavailability of L-DOPA and be related to the motor fluctuation noted during L-DOPA therapy in PD patients.

Coalescence of rigid droplets in a stirred dispersion-II. Band-limited force fluctuations

The coalescence of nearly rigid liquid droplets in a turbulent flow field is viewed as the drainage of a thin film of liquid under the action of a stochastic force representing the effect of turbulence. The force squeezing the drop pair is modelled as a correlated random function of time. The drops are assumed to coalesce once the film thickness becomes smaller than a critical thickness while they are regarded as separated if their distance of separation is larger than a prescribed distance. A semi-analytical solution is derived to determine the coalescence efficiency. The veracity of the solution procedure is established via a Monte-Carlo solution scheme. The model predicts a reversing trend of the dependence of the coalescence efficiency on the drop radii, the film liquid viscosity and the turbulence energy dissipation per unit mass, as the relative fluctuation increases. However, the dependence on physical parameters is weak (especially at high relative fluctuation) so that for the smallest droplets (which are nearly rigid) the coalescence efficiency may be treated as an empirical constant. The predictions of this model are compared with those of a white-noise force model. The results of this paper and those in Muralidhar and Ramkrishna (1986, Ind. Engng Chem. Fundam. 25, 554-56) suggest that dynamic drop deformation is the key factor that influences the coalescence efficiency.

A study on bullock carts. Part 2. Experimental study of forces in a bullock cart

A strain gauge load cell with separate bridges for measurement of the pull and the bending moment in the plane containing the net neck load and pull was developed and fixed in the longitudinal member of an experimental cart. A cart fitted first with pneumatic wheels and then with steel-rimmed wooden wheels was tested on three terrains—tar road, mud road and grassy terrain. Pull vs time and moment vs time records were obtained in each test and analysed. It is found that the bullocks pull the cart rather discontinuously at the low velocities at which these carts normally operate. On the tar road and the grassy terrain, the mean static coefficient of friction is significantly higher for the cart with steelrimmed wooden wheels. The dynamic frictional resistance of the terrain for the cart with steel-rimmed wooden wheels is lower than for the cart with pneumatic wheels so long as the wheels do not dig or sink into the terrain. The fluctuation in the neck load is lower in the cart fitted with pneumatic wheels. Also, the ground-induced low-amplitude high-frequency vibratory load content in the neck load is lower in the cart with pneumatic wheels.

Stresses around two equal circular elastic inclusions in a pressurised cylindrical shell

The stress problem of two equal circular elastic inclusions in a pressurised cylindrical shell has been solved by using single inclusion solutions together with Graf’s addition theorem. The effect of the inter-inclusion distance on the interface stresses in the shell as well as in the inclusion is studied. The results obtained for small values of curvature parameter fi @*=(a*/8Rt) [12(1-v*)]“*, a, R, t being inclusion radius and shell radius and thickness) when compared with the flat-plate results show good agreement. The results obtained in non-dimensional form are presented graphically.

Improvement On Brooks Chromatic Bound For A Class Of Graphs

Brooks' Theorem says that if for a graph G,Δ(G)=n, then G is n-colourable, unless (1) n=2 and G has an odd cycle as a component, or (2) n>2 and Kn+1 is a component of G. In this paper we prove that if a graph G has none of some three graphs (K1,3;K5−e and H) as an induced subgraph and if Δ(G)greater-or-equal, slanted6 and d(G)<Δ(G), then χ(G)<Δ(G). Also we give examples to show that the hypothesis Δ(G)greater-or-equal, slanted6 can not be non-trivially relaxed and the graph K5−e can not be removed from the hypothesis. Moreover, for a graph G with none of K1,3;K5−e and H as an induced subgraph, we verify Borodin and Kostochka's conjecture that if for a graph G,Δ(G)greater-or-equal, slanted9 and d(G)<Δ(G), then χ(G)<Δ(G).

Uncertainty in forest simulators and forest planning systems

The forest simulator is a computerized model for predicting forest growth and future development as well as effects of forest harvests and treatments. The forest planning system is a decision support tool, usually including a forest simulator and an optimisation model, for finding the optimal forest management actions. The information produced by forest simulators and forest planning systems is used for various analytical purposes and in support of decision making. However, the quality and reliability of this information can often be questioned. Natural variation in forest growth and estimation errors in forest inventory, among other things, cause uncertainty in predictions of forest growth and development. This uncertainty stemming from different sources has various undesirable effects. In many cases outcomes of decisions based on uncertain information are something else than desired. The objective of this thesis was to study various sources of uncertainty and their effects in forest simulators and forest planning systems. The study focused on three notable sources of uncertainty: errors in forest growth predictions, errors in forest inventory data, and stochastic fluctuation of timber assortment prices. Effects of uncertainty were studied using two types of forest growth models, individual tree-level models and stand-level models, and with various error simulation methods. New method for simulating more realistic forest inventory errors was introduced and tested. Also, three notable sources of uncertainty were combined and their joint effects on stand-level net present value estimates were simulated. According to the results, the various sources of uncertainty can have distinct effects in different forest growth simulators. The new forest inventory error simulation method proved to produce more realistic errors. The analysis on the joint effects of various sources of uncertainty provided interesting knowledge about uncertainty in forest simulators.