1,575 research outputs found
Recommended from our members
Run-out of cut-slope landslides: mesh-free simulations
This study uses an incompressible smoothed-particle hydrodynamics (ISPH) model to investigate the run-out and deposit morphology of granular materials flowing down cut slopes. The primary aim is to study the influence of various factors on the run-out and to summarise a quantitative relationship for direct use in landslide hazard management. In the model, the granular materials are modelled as a rigid perfectly plastic material with a Coulomb yield surface. The coupled continuity equation and momentum equation are solved by a semi-implicit algorithm. The model is first validated and its results are carefully compared with various controlled experiments regarding granular flows. The model reproduces the flows and correctly predicts the deposition profiles under various conditions. Then, the computational results are used to study the run-out and mobility of landslides. For granular columns collapsing onto a flat surface, a normalised run-out and a new scaling relationship are proposed, which are supported by numerous measured and numerical results. A similar relationship for the run-out of granular rectangles on steep slopes has also been explored. It is found that the normalised run-out is mainly determined by the slope angle and the normalised drop height. Furthermore, three types of idealised cut-slope landslides are simulated to study the influence of the initial landslide shape on the run-out. It is found that the normalised run-out of these idealised cut-slope landslides is smaller than that of granular rectangles on slopes of the same angles and drop heights. The difference between the run-outs is found to be mainly determined by the proportion of the whole mass that initially lies above a predictable discontinuity plane.The research is supported by the European Union Seventh Framework Program (FP7/2007-2013) under grant agreement no. PIAG-GA-2012-324522 “MPM-DREDGE”
A robust semantics hides fewer errors
In this paper we explore how formal models are interpreted and to what degree meaning is captured in the formal semantics and to what degree it remains in the informal interpretation of the semantics. By applying a robust approach to the definition of refinement and semantics, favoured by the event-based community, to state-based theory we are able to move some aspects from the informal interpretation into the formal semantics
Ly Leaks and Reionization
Ly absorption spectra of QSOs at redshifts show complete
Gunn-Peterson absorption troughs (dark gaps) separated by tiny leaks. The dark
gaps are from the intergalactic medium (IGM) where the density of neutral
hydrogen are high enough to produce almost saturated absorptions, however,
where the transmitted leaks come from is still unclear so far. We demonstrate
that leaking can originate from the lowest density voids in the IGM as well as
the ionized patches around ionizing sources using semi-analytical simulations.
If leaks were produced in lowest density voids, the IGM might already be highly
ionized, and the ionizing background should be almost uniform; in contrast, if
leaks come from ionized patches, the neutral fraction of IGM would be still
high, and the ionizing background is significantly inhomogeneous. Therefore,
the origin of leaking is crucial to determining the epoch of
inhomogeneous-to-uniform transition of the the ionizing photon background. We
show that the origin could be studied with the statistical features of leaks.
Actually, Ly leaks can be well defined and described by the equivalent
width and the full width of half area , both of which are less
contaminated by instrumental resolution and noise. It is found that the
distribution of and of Ly leaks are sensitive to the
modeling of the ionizing background. We consider four representative
reionization models. It is concluded that the leak statistics provides an
effective tool to probe the evolutionary history of reionization at
. Similar statistics would also be applicable to the reionization
of He II at (Abridged)Comment: 11 pages including 10 figures, accepted for publication in MNRA
Relational Concurrent Refinement II: Internal Operations and Outputs
Two styles of description arise naturally in formal specification: state-based and behavioural. In state-based notations, a system is characterised by a collection of variables, and their values determine which actions may occur throughout a system history. Behavioural specifications describe the chronologies of actions -- interactions between a system and its environment. The exact nature of such interactions is captured in a variety of semantic models with corresponding notions of refinement; refinement in state based systems is based on the semantics of sequential programs and is modelled relationally. Acknowledging that these viewpoints are complementary, substantial research has gone into combining the paradigms. The purpose of this paper is to do three things. First, we survey recent results linking the relational model of refinement to the process algebraic models. Specifically, we detail how variations in the relational framework lead to relational data refinement being in correspondence with traces-divergences, singleton failures and failures-divergences refinement in a process semantics. Second, we generalise these results by providing a general flexible scheme for incorporating the two main ''erroneous'' concurrent behaviours: deadlock and divergence, into relational refinement. This is shown to subsume previous characterisations. In doing this we derive relational refinement rules for specifications containing both internal operations and outputs that corresponds to failures-divergences refinement. Third, the theory has been formally specified and verified using the interactive theorem prover KIV
The Classic: Integration of Deoxyribonucleic Acid Specific for Rous Sarcoma Virus after Infection of Permissive and Nonpermissive Hosts: (RNA tumor viruses/reassociation kinetics/duck cells)
A relatively simple but stringent technique was developed to detect the integration of virus-specific DNA into the genomes of higher organisms. In both permissive (duck) and nonpermissive (mammalian) cells which normally contain no nucleotide sequences specific for Rous sarcoma virus, transformation by the virus results in the appearance of DNA specific for Rous sarcoma virus covalently integrated into strands of host-cell DNA containing reiterated sequences. Early after infection of mouse or duck cells by Rous sarcoma virus, unintegrated DNA specific for the virus can be demonstrated
Log-Poisson Non-Gaussianity of Ly Transmitted Flux Fluctuations at High Redshift
We investigate the non-Gaussian features of the IGM at redshift
using Ly transmitted flux of quasar absorption spectra and cosmological
hydrodynamic simulation of the concordance CDM universe. We show that
the neutral hydrogen mass density field and Ly transmitted flux
fluctuations possess all the non-Gaussian features predicted by the log-Poisson
hierarchy, which depends only on two dimensionless parameters and
, describing, respectively, the intermittence and singularity of the
random fields. We find that the non-Gaussianity of the Ly transmitted
flux of quasars from to can be well reconstructed by the
hydrodynamical simulation samples. Although the Gunn-Peterson optical depth and
its variance underwent a significant evolution in the redshift range of , the intermittency measured by is almost redshift-independent in
this range. More interesting, the intermittency of quasar's absorption spectra
on physical scales hMpc in redshift are found to be
about the same as that on physical scales hMpc at redshifts . Considering the Jeans length is less than 0.1 hMpc at , and
hMpc at , these results imply that the nonlinear evolution
in high and low redshifts will lead the cosmic baryon fluid to a state similar
to fully developed turbulence. The log-Poisson high order behavior of current
high redshift data of quasar's spectrum can be explained by uniform UV
background in the redshift range considered. We also studied the log-Poisson
non-Gaussianity by considering inhomogeneous background. With several
simplified models of inhomogeneous background, we found the effect of the
inhomogeneous background on the log-Poisson non-Gaussianity is not larger than
1-sigma.Comment: 12 pages 10 figures, accepted by MNRA
PubChem3D: a new resource for scientists
<p>Abstract</p> <p>Background</p> <p>PubChem is an open repository for small molecules and their experimental biological activity. PubChem integrates and provides search, retrieval, visualization, analysis, and programmatic access tools in an effort to maximize the utility of contributed information. There are many diverse chemical structures with similar biological efficacies against targets available in PubChem that are difficult to interrelate using traditional 2-D similarity methods. A new layer called PubChem3D is added to PubChem to assist in this analysis.</p> <p>Description</p> <p>PubChem generates a 3-D conformer model description for 92.3% of all records in the PubChem Compound database (when considering the parent compound of salts). Each of these conformer models is sampled to remove redundancy, guaranteeing a minimum (non-hydrogen atom pair-wise) RMSD between conformers. A diverse conformer ordering gives a maximal description of the conformational diversity of a molecule when only a subset of available conformers is used. A pre-computed search per compound record gives immediate access to a set of 3-D similar compounds (called "Similar Conformers") in PubChem and their respective superpositions. Systematic augmentation of PubChem resources to include a 3-D layer provides users with new capabilities to search, subset, visualize, analyze, and download data.</p> <p>A series of retrospective studies help to demonstrate important connections between chemical structures and their biological function that are not obvious using 2-D similarity but are readily apparent by 3-D similarity.</p> <p>Conclusions</p> <p>The addition of PubChem3D to the existing contents of PubChem is a considerable achievement, given the scope, scale, and the fact that the resource is publicly accessible and free. With the ability to uncover latent structure-activity relationships of chemical structures, while complementing 2-D similarity analysis approaches, PubChem3D represents a new resource for scientists to exploit when exploring the biological annotations in PubChem.</p
HopScotch - a low-power renewable energy base station network for rural broadband access
The provision of adequate broadband access to communities in sparsely populated rural areas has in the past been severely restricted. In this paper, we present a wireless broadband access test bed running in the Scottish Highlands and Islands which is based on a relay network of low-power base stations. Base stations are powered by a combination of renewable sources creating a low cost and scalable solution suitable for community ownership. The use of the 5~GHz bands allows the network to offer large data rates and the testing of ultra high frequency ``white space'' bands allow expansive coverage whilst reducing the number of base stations or required transmission power. We argue that the reliance on renewable power and the intelligent use of frequency bands makes this approach an economic green radio technology which can address the problem of rural broadband access
Allosteric Modulators of Steroid Hormone Receptors : Structural Dynamics and Gene Regulation
Peer reviewedPublisher PD
- …