A Fibred Tableau Calculus for Modal Logics of Agents

In previous works we showed how to combine propositional multimodal logics using Gabbay's \emph{fibring} methodology. In this paper we extend the above mentioned works by providing a tableau-based proof technique for the combined/fibred logics. To achieve this end we first make a comparison between two types of tableau proof systems, (\emph{graph} $\&$ \emph{path}), with the help of a scenario (The Friend's Puzzle). Having done that we show how to uniformly construct a tableau calculus for the combined logic using Governatori's labelled tableau system \KEM. We conclude with a discussion on \KEM's features.

Interaction between Normative Systems and Cognitive Agents in Temporal Modal Defeasible Logic

While some recent frameworks on cognitive agents addressed the combination of mental attitudes with deontic concepts, they commonly ignore the representation of time. An exception is [1]that manages also some temporal aspects both with respect to cognition and normative provisions. We propose in this paper an extension of the logic presented in [1]with temporal intervals.

Development of a physical and genetic map of the virulent Wolbachia strain wMelPop

We report here the construction of a physical and genetic map of the virulent Wolbachia strain, wMelPop. This map was determined by ordering 28 chromosome fragments that resulted from digestion with the restriction endonucleases FseI, ApaI, SmaI, and AscI and were resolved by pulsed-field gel electrophoresis. Southern hybridization was done with 53 Wolbachia-specific genes as probes in order to determine the relative positions of these restriction fragments and use them to serve as markers. Comparison of the resulting map with the whole genome sequence of the closely related benign Wolbachia strain, wMel, shows that the two genomes are largely conserved in gene organization with the exception of a single inversion in the chromosome.

Hydraulic Design of Stepped Spillways and Downstream Energy Dissipators for Embankment Dams

In recent years, the design flows of many dams were re-evaluated, often resulting in discharges larger than the original design. In many cases, the occurrence of the revised flows could result in dam overtopping because of insufficient storage and spillway capacity. An experimental study was conducted herein to gain a better understanding of the flow properties in stepped chutes with slopes typical of embankment dams. The work was based upon a Froude similitude in large-size experimental facilities. A total of 10 configurations were tested including smooth steps, steps equipped with devices to enhance energy dissipation and rough steps. The present results yield a new design procedure. The design method includes some key issues not foreseen in prior studies : e.g., gradually varied flow, type of flow regime, flow resistance. It is believed that the outcomes are valid for a wide range of chute geometry and flow conditions typical of embankment chutes.

Least energy solutions of a critical Neumann problem with a weight

We investigate the effect of the coefficient of the critical nonlinearity for the Neumann problem on the existence of least energy solutions. As a by-product we establish a Sobolev inequality with interior norm.

Algebraic Bethe ansatz method for the exact calculation of energy spectra and form factors: applications to models of Bose-Einstein condensates and metallic nanograins

In this review we demonstrate how the algebraic Bethe ansatz is used for the calculation of the-energy spectra and form factors (operator matrix elements in the basis of Hamiltonian eigenstates) in exactly solvable quantum systems. As examples we apply the theory to several models of current interest in the study of Bose-Einstein condensates, which have been successfully created using ultracold dilute atomic gases. The first model we introduce describes Josephson tunnelling between two coupled Bose-Einstein condensates. It can be used not only for the study of tunnelling between condensates of atomic gases, but for solid state Josephson junctions and coupled Cooper pair boxes. The theory is also applicable to models of atomic-molecular Bose-Einstein condensates, with two examples given and analysed. Additionally, these same two models are relevant to studies in quantum optics; Finally, we discuss the model of Bardeen, Cooper and Schrieffer in this framework, which is appropriate for systems of ultracold fermionic atomic gases, as well as being applicable for the description of superconducting correlations in metallic grains with nanoscale dimensions.; In applying all the above models to. physical situations, the need for an exact analysis of small-scale systems is established due to large quantum fluctuations which render mean-field approaches inaccurate.

Non-Equilibrium Reaction Rates in the Macroscopic Chemistry Method for DSMC Calculations

The Direct Simulation Monte Carlo (DSMC) method is used to simulate the flow of rarefied gases. In the Macroscopic Chemistry Method (MCM) for DSMC, chemical reaction rates calculated from local macroscopic flow properties are enforced in each cell. Unlike the standard total collision energy (TCE) chemistry model for DSMC, the new method is not restricted to an Arrhenius form of the reaction rate coefficient, nor is it restricted to a collision cross-section which yields a simple power-law viscosity. For reaction rates of interest in aerospace applications, chemically reacting collisions are generally infrequent events and, as such, local equilibrium conditions are established before a significant number of chemical reactions occur. Hence, the reaction rates which have been used in MCM have been calculated from the reaction rate data which are expected to be correct only for conditions of thermal equilibrium. Here we consider artificially high reaction rates so that the fraction of reacting collisions is not small and propose a simple method of estimating the rates of chemical reactions which can be used in the Macroscopic Chemistry Method in both equilibrium and non-equilibrium conditions. Two tests are presented: (1) The dissociation rates under conditions of thermal non-equilibrium are determined from a zero-dimensional Monte-Carlo sampling procedure which simulates ‘intra-modal’ non-equilibrium; that is, equilibrium distributions in each of the translational, rotational and vibrational modes but with different temperatures for each mode; (2) The 2-D hypersonic flow of molecular oxygen over a vertical plate at Mach 30 is calculated. In both cases the new method produces results in close agreement with those given by the standard TCE model in the same highly nonequilibrium conditions. We conclude that the general method of estimating the non-equilibrium reaction rate is a simple means by which information contained within non-equilibrium distribution functions predicted by the DSMC method can be included in the Macroscopic Chemistry Method.

Selection of a strain of Aspergillus for the production of citric acid from pineapple waste in solid-state fermentation

Aspergillus foetidus ACR I 3996 (=FRR 3558) and three strains of Aspergillus niger ACM 4992 (=ATCC 9142), ACM 4993 (=ATCC 10577), ACM 4994 (=ATCC 12846) were compared for the production of citric acid from pineapple peel in solid-state fermentation. A. niger ACM 4992 produced the highest amount of citric acid, with a yield of 19.4 g of citric acid per 100 g of dry fermented pineapple waste under optimum conditions, representing a yield of 0.74 g citric acid/g sugar consumed. Optimal conditions were 65% (w/w) initial moisture content, 3% (v/w) methanol, 30 degrees C, an unadjusted initial pH of 3.4, a particle size of 2 mm and 5 ppm Fe2+. Citric acid production was best in flasks, with lower yields being obtained in tray and rotating drum bioreactors.

Net uptake of dissolved free amino acids by the giant clam, Tridacna maxima: alternative sources of energy and nitrogen?

The role of dissolved free amino acids (DFAA) in nitrogen and energy budgets was investigated for the giant clam, Tridacna maxima, growing under field conditions at One Tree Island, at the southern end of the Great Barrier Reef, Australia. Giant clams (121.5-143.7 mm in shell length) took up neutral, acidic and basic amino acids. The rates of net uptake of DFAA did not differ between light and dark, nor for clams growing under normal or slightly enriched ammonium concentrations. Calculations based on the net uptake concentrations typical of the maximum concentrations of DFAA found in coral reef waters (similar to 0.1 mu M)revealed that DFAA could only contribute 0.1% and 1% of the energy and nitrogen demands of giant clams, respectively. These results suggest that DFAA does not supply significant amounts of energy or nitrogen for giant clams or their symbionts.

Both CD4(+) and CD8(+) lymphocytes reduce the severity of tissue lesions in murine systemic candidiasis, and CD4(+) cells also demonstrate strain-specific immunopathological effects

The role of T lymphocytes in host responses to sublethal systemic infection with Candida albicans was evaluated by mAb depletion of CD4(+) and CD8(+) cells from BALB/c and CBA/CaH mice, which develop mild and severe tissue damage, respectively. Depletion of CD4(+) lymphocytes from BALB/c mice markedly increased tissue damage, but did not alter the course of infection. In CBA/CaH mice, depletion of CD4+ cells abrogated tissue destruction in both brain and kidney at day 4 after infection, and significantly decreased fungal colonization in the brain. However, the severity of tissue lesions increased relative to controls from day 8 onwards. A small increase in tissue damage was evident in both mouse strains after depletion of CD8(+) cells. There were no major differences between days 4 end 8 after infection in cDNA cytokine profiles of CD4(+) lymphocytes from either BALB/c or CBA/CaH mice. After passive transfer into infected syngeneic recipients, spleen cells from infected CBA/CaH mice markedly increased tissue damage when compared to controls, and also caused a significant increase in fungal colonization in the brain. A similar transfer in BALB/c mice increased the number of inflammatory cells in and around the lesions, but had no effect on the fungal burden in brain and kidney. The data demonstrate that both CD4(+) and CD8(+) lymphocytes contribute to the reduction of tissue damage after systemic infection with C. albicans, and that the development and expression of CD4(+) lymphocyte effector function is influenced by the genetic background of the mouse.

The crack tip strain field of AISI 4340 - Part I - Measurement technique

This is the first paper in a study on the influence of the environment on the crack tip strain field for AISI 4340. A stressing stage for the environmental scanning electron microscope (ESEM) was constructed which was capable of applying loads up to 60 kN to fracture-mechanics samples. The measurement of the crack tip strain field required preparation (by electron lithography or chemical etching) of a system of reference points spaced at similar to 5 mu m intervals on the sample surface, loading the sample inside an electron microscope, image processing procedures to measure the displacement at each reference point and calculation of the strain field. Two algorithms to calculate strain were evaluated. Possible sources of errors were calculation errors due to the algorithm, errors inherent in the image processing procedure and errors due to the limited precision of the displacement measurements. Estimation of the contribution of each source of error was performed. The technique allows measurement of the crack tip strain field over an area of 50 x 40 mu m with a strain precision better than +/- 0.02 at distances larger than 5 mu m from the crack tip. (C) 1999 Kluwer Academic Publishers.

The crack tip strain field of AISI 4340 - Part II - Experimental measurements

Crack tip strain maps have been measured for AISI 4340 high strength steel. No significant creep was observed. The measured values of CTOD were greater than expected from the HRR model. Crack tip branching was observed in every experiment. The direction of crack branching was in the same direction as a major ridge'' of epsilon(yy) strain, which in turn was in the same direction as predicted by the HRR model. Furthermore, the measured magnitudes of the epsilon(y)y strain in this same direction were in general greater than the values predicted by the HRR model. This indicates more plasticity in the crack tip region than expected from the HRR model. This greater plasticity could be related to the larger than expected CTOD values. The following discrepancies between the measured strain fields for AISI 4340 and the HRR predictions are noteworthy: (1) The crack branching. (2) Values of CTOD significantly higher than predicted by HRR. (3) The major ridge'' of epsilon(yy) strain an angle of about 60 degrees with the direction of overall propagation of the fatigue precrack, in which the measured magnitudes of the epsilon(yy) strain were greater than the values predicted by the HRR model. (4) Asymmetric shape of the plastic zone as measured by the epsilon(yy) strain. (5) Values of shear strain gamma(xy) significantly higher than predicted by the HRR model. (C) 1999 Kluwer Academic Publishers.

The crack tip strain field of AISI 4340 - Part III - Hydrogen influence

This paper studied the influence of hydrogen and water vapour environments on the plastic behaviour in the vicinity of the crack tip for AISI 4340. Hydrogen and water vapour (at a pressure of 15 Torr) significantly increased the crack tip opening displacement. The crack tip strain distribution in 15 Torr hydrogen was significantly different to that measured in vacuum. In the presence of sufficient hydrogen, the plastic zone was larger, was elongated in the direction of crack propagation and moreover there was significant creep. These observations support the hydrogen enhanced localised plasticity model for hydrogen embrittlement in this steel. The strain distribution in the presence of water vapour also suggests that SCC in AISI 4340 occurs via the hydrogen enhanced localised plasticity mechanism. (C) 1999 Kluwer Academic Publishers.

Description of Gluconacetobacter sacchari sp. nov., a new species of acetic acid bacterium isolated from the leaf sheath of sugar cane and from the pink sugar-cane mealy bug

A new species of the genus Gluconacetobacter, for which the name Gluconacetobacter sacchari sp. nov. is proposed, was isolated from the leaf sheath of sugar cane and from the pink sugar-cane mealy bug, Saccharicoccus sacchari, found on sugar cane growing in Queensland and northern New South Wales, Australia, The nearest phylogenetic relatives in the alpha-subclass of the Proteobacteria are Gluconacetobacter liquefaciens and Gluconacetobacter diazotrophicus, which have 98.8-99.3% and 97.9-98.5% 16S rDNA sequence similarity, respectively, to members of Gluconacetobacter sacchari. On the basis of the phylogenetic positioning of the strains, DNA reassociation studies, phenotypic tests and the presence of the Q10 ubiquinone, this new species was assigned to the genus Gluconacetobacter. No single phenotypic characteristic is unique to the species, but the species can be differentiated phenotypically from closely related members of the acetic acid bacteria by growth in the presence of 0.01% malachite green, growth on 30% glucose, an inability to fix nitrogen and an inability to grow with the L-amino acids asparagine, glycine, glutamine, threonine and tryptophan when D-mannitol was supplied as the sole carbon and energy source. The type strain of this species is strain SRI 1794(T) (= DSM 12717(T)).