2,338 research outputs found
A Temporal Logic for Hyperproperties
Hyperproperties, as introduced by Clarkson and Schneider, characterize the
correctness of a computer program as a condition on its set of computation
paths. Standard temporal logics can only refer to a single path at a time, and
therefore cannot express many hyperproperties of interest, including
noninterference and other important properties in security and coding theory.
In this paper, we investigate an extension of temporal logic with explicit path
variables. We show that the quantification over paths naturally subsumes other
extensions of temporal logic with operators for information flow and knowledge.
The model checking problem for temporal logic with path quantification is
decidable. For alternation depth 1, the complexity is PSPACE in the length of
the formula and NLOGSPACE in the size of the system, as for linear-time
temporal logic
Coexistence of antiferrodistortive and ferroelectric distortions at the PbTiO (001) surface
The c(22) reconstruction of (001) PbTiO surfaces is studied by
means of first principles calculations for paraelectric (non-polar) and
ferroelectric ([001] polarized) films. Analysis of the atomic displacements in
the near-surface region shows how the surface modifies the antiferrodistortive
(AFD) instability and its interaction with ferroelectric (FE) distortions. The
effect of the surface is found to be termination dependent. The AFD instability
is suppressed at the TiO termination while it is strongly enhanced,
relative to the bulk, at the PbO termination resulting in a c(2x2) surface
reconstruction which is in excellent agreement with experiments. We find that,
in contrast to bulk PbTiO, in-plane ferroelectricity at the PbO termination
does not suppress the AFD instability. The AFD and the in-plane FE distortions
are instead concurrently enhanced at the PbO termination. This leads to a novel
surface phase with coexisting FE and AFD distortions which is not found in
PbTiO bulk
Random local strain effects in homovalent-substituted relaxor ferroelectrics: a first-principles study of BaTi0.74Zr0.26O3
We present first-principles supercell calculations on BaTi0.74Zr0.26O3, a
prototype material for relaxors with a homovalent substitution. From a
statistical analysis of relaxed structures, we give evidence for four types of
Ti-atom polar displacements: along the , , or
directions of the cubic unit cell, or almost cancelled. The type of a Ti
displacement is entirely determined by the Ti/Zr distribution in the adjacent
unit cells. The underlying mechanism involves local strain effects that ensue
from the difference in size between the Ti4+ and Zr4+ cations. These results
shed light on the structural mechanisms that lead to disordered Ti
displacements in BaTi(1-x)Zr(x)O3 relaxors, and probably in other BaTiO3-based
relaxors with homovalent substitution.Comment: 5 pages, 4 figure
Influence of 1 Alpha, 25-Dihydroxyvitamin D3 on T helper 17 cells and related cytokines in systemic lupus erythematosus
Background: Systemic lupus erythematosus (SLE) is a multisystem autoimmune disease. Emerging data suggests that T helper 17 (Th17) cells play a pathogenic role in SLE and the increased number of these cells correlates with disease activity. In recent years, 1α, 25-dihydroxyvitamin D3 (1,25VitD3) has been considered as an immunomodulatory factor. Objective: To investigate the effect of 1,25VitD3 on Th17 cells and on the expression of related cytokines in SLE patients. Method: Thirty SLE patients (newly diagnosed or in remission) were sampled for 10 ml whole blood to isolate peripheral blood mononuclear cells (PBMCs) using Ficoll-Hypaque density gradient centrifugation. Isolated cells were cultured in the presence and absence of 50 nM 1,25VitD3. After incubation, cells were harvested and stimulated for 4-5 hours with phorbol myristate acetate (PMA) and ionomycin in the presence of brefeldin A. IL-17 secreting cells were analyzed by flowcytometry. RNA was extracted from cultured cells, cDNA was synthesized, and the expression levels of IL-6, IL-17, IL-23 and TGF-β genes were assessed by real-time PCR. Results: The percentage of Th17 cells (CD3+CD8- IL-17+ T cells) decreased significantly in 1,25VitD3-treated cells (3.67 ± 2.43%) compared to untreated cells (4.65 ± 2.75%) (p=0.003). The expression of TGF-β up regulated (1.38-fold) and the expression of IL-6 (50%), IL-17 (27%) and IL-23 (64%) down regulated after 1,25VitD3 treatment. Conclusion: This study showed that 1,25VitD3 modulates Th17 related pathways in SLE patients and revealed the immunomodulatory effect of 1,25VitD3 on the Th17 mediated autoimmunity. © 2015, Shiraz University of Medical Sciences. All rights reserved
- …