800 research outputs found
Compositional Verification and Optimization of Interactive Markov Chains
Interactive Markov chains (IMC) are compositional behavioural models
extending labelled transition systems and continuous-time Markov chains. We
provide a framework and algorithms for compositional verification and
optimization of IMC with respect to time-bounded properties. Firstly, we give a
specification formalism for IMC. Secondly, given a time-bounded property, an
IMC component and the assumption that its unknown environment satisfies a given
specification, we synthesize a scheduler for the component optimizing the
probability that the property is satisfied in any such environment
Iron porphyrin molecules on Cu(001): Influence of adlayers and ligands on the magnetic properties
The structural and magnetic properties of Fe octaethylporphyrin (OEP)
molecules on Cu(001) have been investigated by means of density functional
theory (DFT) methods and X-ray absorption spectroscopy. The molecules have been
adsorbed on the bare metal surface and on an oxygen-covered surface, which
shows a reconstruction. In order to allow
for a direct comparison between magnetic moments obtained from sum-rule
analysis and DFT we calculate the dipolar term , which is also
important in view of the magnetic anisotropy of the molecule. The measured
X-ray magnetic circular dichroism shows a strong dependence on the photon
incidence angle, which we could relate to a huge value of , e.g. on
Cu(001) amounts to -2.07\,\mbo{} for normal incidence leading to a
reduction of the effective spin moment . Calculations have also
been performed to study the influence of possible ligands such as Cl and O
atoms on the magnetic properties of the molecule and the interaction between
molecule and surface, because the experimental spectra display a clear
dependence on the ligand, which is used to stabilize the molecule in the gas
phase. Both types of ligands weaken the hybridization between surface and
porphyrin molecule and change the magnetic spin state of the molecule, but the
changes in the X-ray absorption are clearly related to residual Cl ligands.Comment: 17 figures, full articl
Транспортная логистика: проблемы и перспективы развития в таможенном деле
Выпускная квалификационная работа посвящена исследованию транспортной логистике в таможенном деле. Целью данной работы является комплексный анализ факторов, механизмов и проблем трансформации таможенной логистики в глобальной торговой системе и обоснование направлений адаптации таможенной логистики России в условиях либерализации международной торговли. Задачи: •Понятие, виды, функции логистики •Задачи транспортной логистики •Сущность таможенной логистики •Проблемы становления таможенной логистики •Ключевые проблемы таможенной логистики •Перспективы развития таможенной логистики.
Объектом исследования является процесс формирования и реализации таможенной логистики в глобальной торговой системе.The final qualifying work is devoted to the study of transport logistics in the customs business.
The purpose of this work is a comprehensive analysis of the factors, mechanisms and problems of the transformation of customs logistics in the global trading system and the rationale for adapting the customs logistics of Russia in the context of the liberalization of international trade
Quasiparticles and excitons for the Pfaffian quantum Hall state
We propose trial wave functions for quasiparticle and exciton excitations of
the Moore-Read Pfaffian fractional quantum Hall states, both for bosons and for
fermions, and study these numerically. Our construction of trial wave functions
employs a picture of the bosonic Moore-Read state as a symmetrized double layer
composite fermion state. We obtain the number of independent angular momentum
multiplets of quasiparticle and exciton trial states for systems of up to 20
electrons. We find that the counting for quasielectrons at large angular
momentum on the sphere matches that expected from the CFT which describes the
Moore-Read state's boundary theory. In particular, the counting for
quasielectrons is the same as for quasiholes, in accordance with the idea that
the CFT describing both sides of the FQH plateau should be the same. We also
show that our trial wave functions have good overlaps with exact wave functions
obtained using various interactions, including second Landau level Coulomb
interactions and the 3-body delta interaction for which the Pfaffian states and
their quasiholes are exact ground states. We discuss how these results relate
to recent work by Sreejith et al. on a similar set of trial wave functions for
excitations over the Pfaffian state as well as to earlier work by Hansson et
al., which has produced trial wave functions for quasiparticles based on
conformal field theory methods and by Bernevig and Haldane, which produced
trial wave functions based on clustering properties and `squeezing'.Comment: 22 pages, 18 figure
Endothelial Function Assessed by Digital Volume Plethysmography Predicts the Development and Progression of Type 2 Diabetes Mellitus
Background
Endothelial dysfunction is a consequence of type 2 diabetes mellitus, but it is unclear whether endothelial dysfunction of conductance versus resistance vessels may also precede type 2 diabetes mellitus development.
Methods and Results
In a population‐based cohort of 15 010 individuals from the GHS (Gutenberg Health Study) (aged 35–74 years at enrollment in 2007–2012), we identified 1610 cases of incident pre–diabetes mellitus and 386 cases of incident type 2 diabetes mellitus by hemoglobin A1c (HbA1c) and/or medical history between 2012 and 2017. Endothelial function of conductance and resistance vessels was measured by flow‐mediated dilation and digital volume plethysmography–derived reactive hyperemia index, respectively. Multivariable regression modeling was used to estimate β coefficients of HbA1c levels at follow‐up and relative risks of incident (pre–)diabetes mellitus. Reactive hyperemia index was independently associated with HbA1c after multivariable adjustment for baseline HbA1c, sex, age, socioeconomic status, arterial hypertension, waist/height ratio, pack‐years of smoking, non–high‐density lipoprotein/high‐density lipoprotein ratio, physical activity, family history of myocardial infarction/stroke, prevalent cardiovascular disease, medication use, and C‐reactive protein (β=−0.020; P=0.0029). The adjusted relative risk per SD decline in reactive hyperemia index was 1.08 (95% CI, 1.02–1.15; P=0.012) for incident pre–diabetes mellitus and 1.16 (95% CI, 1.01–1.34; P=0.041) for incident type 2 diabetes mellitus. Flow‐mediated dilation independently increased the relative risk for developing pre–diabetes mellitus by 8% (95% CI, 1.02–1.14; P=0.012), but it was not independently associated with incident type 2 diabetes mellitus (relative risk, 1.01; 95% CI, 0.86–1.19; P=0.92) and with HbA1c (β=−0.003; P=0.59).
Conclusions
Endothelial dysfunction of resistance rather than conductance vessels may precede the development of (pre–)diabetes mellitus. Assessment of endothelial function by digital volume plethysmography may help to identify subjects at risk for development of type 2 diabetes mellitus
Probabilistic Model-Based Safety Analysis
Model-based safety analysis approaches aim at finding critical failure
combinations by analysis of models of the whole system (i.e. software,
hardware, failure modes and environment). The advantage of these methods
compared to traditional approaches is that the analysis of the whole system
gives more precise results. Only few model-based approaches have been applied
to answer quantitative questions in safety analysis, often limited to analysis
of specific failure propagation models, limited types of failure modes or
without system dynamics and behavior, as direct quantitative analysis is uses
large amounts of computing resources. New achievements in the domain of
(probabilistic) model-checking now allow for overcoming this problem.
This paper shows how functional models based on synchronous parallel
semantics, which can be used for system design, implementation and qualitative
safety analysis, can be directly re-used for (model-based) quantitative safety
analysis. Accurate modeling of different types of probabilistic failure
occurrence is shown as well as accurate interpretation of the results of the
analysis. This allows for reliable and expressive assessment of the safety of a
system in early design stages
Impact of Liver Inflammation on Bile Acid Side Chain Shortening and Amidation
Bile acid (BA) synthesis from cholesterol by hepatocytes is inhibited by inflammatory cytokines. Whether liver inflammation also affects BA side chain shortening and conjugation was investigated. In human liver cell lines (IHH, HepG2, and HepaRG), agonists of nuclear receptors including the farnesoid X receptor (FXR), liver X receptor (LXR), and peroxisome proliferator-activated receptors (PPARs) did not affect the expression of BA-related peroxisomal enzymes. In contrast, hepatocyte nuclear factor 4? (HNF4?) inhibition down-regulated acyl-CoA oxidase 2 (ACOX2). ACOX2 was repressed by fibroblast growth factor 19 (FGF19), which was prevented by extracellular signal-regulated kinase (ERK) pathway inhibition. These changes were paralleled by altered BA synthesis (HPLC-MS/MS). Cytokines able to down-regulate cholesterol-7?-hydroxylase (CYP7A1) had little effect on peroxisomal enzymes involved in BA synthesis except for ACOX2 and bile acid-CoA:amino acid N-acyltransferase (BAAT), which were down-regulated, mainly by oncostatin M (OSM). This effect was prevented by Janus kinase (JAK) inhibition, which restored BA side chain shortening and conjugation. The binding of OSM to the extracellular matrix accounted for a persistent effect after culture medium replacement. In silico analysis of four databases (n = 201) and a validation cohort (n = 90) revealed an inverse relationship between liver inflammation and ACOX2/BAAT expression which was associated with changes in HNF4? levels. In conclusion, BA side chain shortening and conjugation are inhibited by inflammatory effectors. However, other mechanisms involved in BA homeostasis counterbalance any significant impact on the serum BA profile
Viperin mRNA is a novel target for the human RNase MRP/RNase P endoribonuclease
RNase MRP is a conserved endoribonuclease, in humans consisting of a 267-nucleotide RNA associated with 7–10 proteins. Mutations in its RNA component lead to several autosomal recessive skeletal dysplasias, including cartilage-hair hypoplasia (CHH). Because the known substrates of mammalian RNase MRP, pre-ribosomal RNA, and RNA involved in mitochondrial DNA replication are not likely involved in CHH, we analyzed the effects of RNase MRP (and the structurally related RNase P) depletion on mRNAs using DNA microarrays. We confirmed the upregulation of the interferon-inducible viperin mRNA by RNAi experiments and this appeared to be independent of the interferon response. We detected two cleavage sites for RNase MRP/RNase P in the coding sequence of viperin mRNA. This is the first study providing direct evidence for the cleavage of a mRNA by RNase MRP/RNase P in human cells. Implications for the involvement in the pathophysiology of CHH are discussed
- …