Analytical solution to the zero-inertia problem for surge flow phenomena in nonprismatic channels

Surge flow phenomena. e.g.. as a consequence of a dam failure or a flash flood, represent free boundary problems. ne extending computational domain together with the discontinuities involved renders their numerical solution a cumbersome procedure. This contribution proposes an analytical solution to the problem, It is based on the slightly modified zero-inertia (ZI) differential equations for nonprismatic channels and uses exclusively physical parameters. Employing the concept of a momentum-representative cross section of the moving water body together with a specific relationship for describing the cross sectional geometry leads, after considerable mathematical calculus. to the analytical solution. The hydrodynamic analytical model is free of numerical troubles, easy to run, computationally efficient. and fully satisfies the law of volume conservation. In a first test series, the hydrodynamic analytical ZI model compares very favorably with a full hydrodynamic numerical model in respect to published results of surge flow simulations in different types of prismatic channels. In order to extend these considerations to natural rivers, the accuracy of the analytical model in describing an irregular cross section is investigated and tested successfully. A sensitivity and error analysis reveals the important impact of the hydraulic radius on the velocity of the surge, and this underlines the importance of an adequate description of the topography, The new approach is finally applied to simulate a surge propagating down the irregularly shaped Isar Valley in the Bavarian Alps after a hypothetical dam failure. The straightforward and fully stable computation of the flood hydrograph along the Isar Valley clearly reflects the impact of the strongly varying topographic characteristics on the How phenomenon. Apart from treating surge flow phenomena as a whole, the analytical solution also offers a rigorous alternative to both (a) the approximate Whitham solution, for generating initial values, and (b) the rough volume balance techniques used to model the wave tip in numerical surge flow computations.

Expression, purification, crystallization, and NMR studies of the helicase interaction domain of Escherichia coli DnaG primase

in Escherichia coli, the DnaG primase is the RNA polymerase that synthesizes RNA primers at replication forks. It is composed of three domains, a small N-terminal zinc-binding domain, a larger central domain responsible for RNA synthesis, and a C-terminal domain comprising residues 434-581 [DnaG(434-581)] that interact with the hexameric DnaB helicase. Presumably because of this interaction, it had not been possible previously to express the C-terminal domain in a stably transformed E coli strain. This problem was overcome by expression of DnaG(434-581) under control of tandem bacteriophage gimel-promoters, and the protein was purified in yields of 4-6 mg/L of culture and studied by NMR. A TOCSY spectrum of a 2 mM solution of the protein at pH 7.0, indicated that its structured core comprises residues 444-579. This was consistent with sequence conservation among most-closely related primases. Linewidths in a NOESY spectrum of a 0.5 mM sample in 10 mM phosphate, pH 6.05, 0.1 M NaCl, recorded at 36 degreesC, indicated the protein to be monomeric. Crystals of selenomethionine-substituted DnaG(434-581) obtained by the hanging-drop vapor-diffusion method were body-centered tetragonal, space group I4(1)22, with unit cell parameters a = b 142.2 Angstrom, c = 192.1 Angstrom, and diffracted beyond 2.7 Angstrom resolution with synchrotron radiation. (C) 2003 Elsevier Inc. All rights reserved.

Photochemical Reactions of fac-[Mn(CO)(3)(phen)imidazole](+): Evidence for Long-Lived Radical Species Intermediates

The electronic absorption spectrum of fac[Mn(CO)(3)(phen)imH](+), fac-1 in CH(2)Cl(2) is characterized by a strong absorption band at 378 nm (epsilon(max) = 3200 mol(-1) L cm(-1)). On the basis of quantum mechanical calculations, the visible absorption band has been assigned to ligand-to-ligand charge-transfer (LLCT, im -> phen) and metal-to-ligand charge-transfer (MLCT, Mn -> phen) charge transfer transition. When fac-1 in CH(2)Cl(2) is irradiated with 350 nm continuous light, the absorption features are gradually shifted to represent those of the meridional complex mer-[Mn(CO)(3)(phen)imH](+), mer-1 (lambda(max) = 556 nm). The net photoreaction under these conditions is a photoisomerization, although, the presence of the long-lived radical species was also detected by (1)H NMR and FTIR spectroscopy. 355 nm continuous photolysis of fac-1 in CH(3)CN solution also gives the long-lived intermediate which is readly trapped by metylviologen (MV(2+)) giving rise to the formation of the one-electron reduced methyl viologen (MV(center dot+)). The UV-vis spectra monitored during the slow (45 min) thermal back reaction exhibited isosbestic conversion at 426 nm. On the basis of spectroscopic techniques and quantum mechanical calculations, the role of the radicals produced is analyzed.

The interaction of bothropstoxin-I (Lys49-PLA(2)) with liposome membranes

Bothropstoxin-I (BthTx-I) is a Lys49-PLA(2) from the venom of the snake Bothrops jararacussu, which permeabilizes biological and artificial membranes by a mechanism independent of lipid hydrolysis. This mechanism has been investigated by studying the interaction of nine single tryptophan BthTx-I mutants with negatively charged phospholipid membranes. Changes in the solvent exposure of the tryptophan in each mutant were evaluated comparing the rate of chemical modification (k(mod)) by bromosuccinamide with the maximum intrinsic tryptophan fluorescence emission wavelength (lambda(max)) in buffer and in the presence of 10% DMPA/90% DPPC liposomes. No changes in lambda(max). were observed, whereas k(mod) values for tryptophans at positions 7, 10, 31 and 125 were significantly reduced in the presence of lipids, suggesting that bound phospholipid decreases solvent accessibility at these positions. Since the half-lives of the fluorescence and chemical modification effects differ by at least six orders of magnitude, these results suggest that the bound phospholipid may interact with multiple locations on the protein surface over micro- to millisecond timescales. (C) 2009 Elsevier Ltd. All rights reserved.

Preliminary study of human breast tissue using synchrotron radiation combining WAXS and SAXS techniques

Using synchrotron radiation, we combined simultaneously wide angle X-ray scattering (WAXS) and small angle X-ray scattering (SAXS) techniques to obtain the scattering profiles of normal and neoplastic breast tissu-es samples at the momentum transfer range 6.28 nm(-1) <= Q(=4 pi.sin(theta/2)lambda) <= 50.26 nm(-1) and 0.15 nm(-1) <= Q <= 1.90 nm(-1), respectively. The results obtained show considerable differences between the scattering profiles of these tissues. We verified that the combination of some parameters (ratio between glandular and adipose peak intensity and third-order axial peak intensity) extracted from scattering profiles can be used for identifying breast cancer. (c) 2009 Elsevier Ltd. All rights reserved.

Spring-neap tide-induced beach water table fluctuations in a sloping coastal aquifer

Predictions of water table fluctuations in coastal aquifers are needed for numerous coastal and water resources engineering problems. Most previous investigations have been based on the Boussinesq equation for the case of a vertical beach. In this note an analytical solution based on shallow water expansion for the spring- neap tide- induced water table fluctuations in a coastal aquifer is presented. Unlike most previous investigations, multitidal signals are considered with a sloping coastal aquifer. The new solution is verified by comparing with field observations from Ardeer, Scotland. On the basis of the analytical approximation the influences of higher- order components on water table elevation are examined first. Then, a parametric study has been performed to investigate the effects of the amplitude ratio (lambda), frequency ratio (omega), and phases (delta(1) and delta(2)) on the tide- induced water table fluctuations in a sloping sandy beach.

Novel Treatment Immediately after Myelomeningocele Repair Applying Low-Level Laser Therapy in Newborns: A Pilot Study

Background/Aims: The use of low-level laser therapy (LLLT) in neurosurgery is still hardly disseminated and there are situations in which the effects of this therapeutic tool would be extremely relevant in this medical field. The aim of the present study is to analyze the effect of LLLT on tissue repair after the corrective surgical incision in neonates with myelomeningocele, in an attempt to diminish the incidence of postoperative dehiscences following surgical repair performed immediately after birth. Materials and Methods: Prospective pilot study with 13 patients submitted to surgery at birth who received adjuvant treatment with LLLT (group A). A diode laser CW, lambda = 685 nm, p = 21 mW, was applied punctually along the surgical incision, with 0.19 J delivered per point, accounting for a total of 4-10 J delivered energy per patient, according to the surgical wound area and then compared with the results obtained in 23 patients who underwent surgery without laser therapy (group B). Results: This pilot study disclosed a significant decline in dehiscences of the surgical wounds in neonates who were submitted to LLLT (7.69 vs. 17.39%). Conclusion: This new adjuvant therapeutic modality with LLLT aided the healing of surgical wounds, preventing morbidities, as well as shortening the period of hospital stay, which implies a reduction of costs for patients and for the institution. Copyright (C) 2010 S. Karger AG, Basel

The 2.0 angstrom crystal structure of a pocilloporin at pH 3.5: The structural basis for the linkage between color transition and halide binding

The pocilloporin Rtms5 and an engineered variant Rtms5(H146S) undergo distinct color transitions (from blue to red to yellow to colorless) in a pH-dependent manner. pK(a) values of 4.1 and 3.2 were determined for the blue (absorption lambda(max), 590 nm) to yellow (absorption lambda(max), similar to 453 nm) transitions of Rtms5 and Rtms5H(146). The pK(a) for the blue-yellow transition of Rtms5H(146S) increased by 1.4 U in the presence of 0.1 M KI, whereas the pK(a) for the same transition of Rtms5 was relatively insensitive to added halides. To understand the structural basis for these observations, we have determined to 2.0 A resolution the crystal structure of a yellow form of Rtms5(H146S) at pH 3.5 in the presence of iodide. Iodide was found occupying a pocket in the structure with a pH of 3.5, forming van der Waals contacts with the tyrosyl moiety of the chromophore. Elsewhere, it was determined that this pocket is occupied by a water molecule in the Rtms5(H141S) structure (pH 8.0) and by the side chain of histidine 146 in the wild-type Rtms5 structure. Collectively, our data provide an explanation for the observed linkage between color transitions for Rtms5(H146S) and binding to halides.

The Qu-Prolog unification algorithm: Formalisation and correctness

Qu-Prolog is an extension of Prolog which performs meta-level computations over object languages, such as predicate calculi and lambda-calculi, which have object-level variables, and quantifier or binding symbols creating local scopes for those variables. As in Prolog, the instantiable (meta-level) variables of Qu-Prolog range over object-level terms, and in addition other Qu-Prolog syntax denotes the various components of the object-level syntax, including object-level variables. Further, the meta-level operation of substitution into object-level terms is directly represented by appropriate Qu-Prolog syntax. Again as in Prolog, the driving mechanism in Qu-Prolog computation is a form of unification, but this is substantially more complex than for Prolog because of Qu-Prolog's greater generality, and especially because substitution operations are evaluated during unification. In this paper, the Qu-Prolog unification algorithm is specified, formalised and proved correct. Further, the analysis of the algorithm is carried out in a frame-work which straightforwardly allows the 'completeness' of the algorithm to be proved: though fully explicit answers to unification problems are not always provided, no information is lost in the unification process.

Refining specifications to logic programs

The refinement calculus provides a framework for the stepwise development of imperative programs from specifications. In this paper we study a refinement calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these reduce the overall number of derivation steps. We present a logic programming language extended with specification constructs (including general predicates, assertions, and types and invariants) to form a wide-spectrum language. General predicates allow non-executable properties to be included in specifications. Assertions, types and invariants make assumptions about the intended inputs of a procedure explicit, and can be used during refinement to optimize the constructed logic program. We provide a semantics for the extended logic programming language and derive a set of refinement laws. Finally we apply these to an example derivation.

Electron paramagnetic resonance of Ni(II) doped tris(ethylenediamine)zinc(II) dinitrate

Variable temperature electron paramagnetic resonance spectra of tris(ethylenediamine)zinc(II) dinitrate single crystals doped with NI(II) have been measured. The host crystal undergoes a trigonal to monoclinic phase transition at 146 K. Above the transition temperature the zero field splitting tensor is axially symmetric with D = -0.831 cm(-1) and below it becomes rhombic with D = -0.785 cm(-1), E = -0.088 cm(-1). The low temperature spectrum is characterised by the pattern repeating every 60 degrees when the crystal is rotated about the high temperature c axis. The analysis shows that the Zn(II) site retains a C-2 symmetry axis and that the distortion away from the D-3 site symmetry observed for high temperatures is small, the principal axes being tilted by 2.6 degrees. This implies that the phase transition involves the flipping of the C-C backbone in one of the ethylenediamine ligands of the complex, resulting in a A delta delta delta to Lambda delta delta lambda type conformational change.

Two estimates concerning asymptotics of the minimizations of a Ginzburg-Landau functional

We prove two asymptotical estimates for minimizers of a Ginzburg-Landau functional of the form integral(Omega) [1/2 \del u\(2) + 1/4 epsilon(2) (1 - \u\(2))(2) W (x)] dx.

Quantum Lie algebras, their existence, uniqueness and q-antisymmetry

Quantum Lie algebras are generalizations of Lie algebras which have the quantum parameter h built into their structure. They have been defined concretely as certain submodules L-h(g) of the quantized enveloping algebras U-h(g). On them the quantum Lie product is given by the quantum adjoint action. Here we define for any finite-dimensional simple complex Lie algebra g an abstract quantum Lie algebra g(h) independent of any concrete realization. Its h-dependent structure constants are given in terms of inverse quantum Clebsch-Gordan coefficients. We then show that all concrete quantum Lie algebras L-h(g) are isomorphic to an abstract quantum Lie algebra g(h). In this way we prove two important properties of quantum Lie algebras: 1) all quantum Lie algebras L-h(g) associated to the same g are isomorphic, 2) the quantum Lie product of any Ch(B) is q-antisymmetric. We also describe a construction of L-h(g) which establishes their existence.

Supporting contexts in program refinement

A program can be refined either by transforming the whole program or by refining one of its components. The refinement of a component is, for the main part, independent of the remainder of the program. However, refinement of a component can depend on the context of the component for information about the variables that are in scope and what their types are. The refinement can also take advantage of additional information, such as any precondition the component can assume. The aim of this paper is to introduce a technique, which we call program window inference, to handle such contextual information during derivations in the refinement calculus. The idea is borrowed from a technique, called window inference, for handling context in theorem proving. Window inference is the primary proof paradigm of the Ergo proof editor. This tool has been extended to mechanize refinement using program window inference. (C) 1997 Elsevier Science B.V.