On a Fractional SPDE Driven by Fractional Noise and a Pure Jump Lévy Noise in ℝ

We study a stochastic partial differential equation in the whole space x∈ℝd, with arbitrary dimension d≥1, driven by fractional noise and a pure jump Lévy space-time white noise. Our equation involves a fractional derivative operator. Under some suitable assumptions, we establish the existence and uniqueness of the global mild solution via fixed point principle

Time optimal control based on classification of quantum gates

We study the minimum time to implement an arbitrary two-qubit gate in two heteronuclear spins systems. We give a systematic characterization of two-qubit gates based on the invariants of local equivalence. The quantum gates are classified into four classes, and for each class the analytical formula of the minimum time to implement the quantum gates is explicitly presented. For given quantum gates, by calculating the corresponding invariants one easily obtains the classes to which the quantum gates belong. In particular, we analyze the effect of global phases on the minimum time to implement the gate. Our results present complete solutions to the optimal time problem in implementing an arbitrary two-qubit gate in two heteronuclear spins systems. Detailed examples are given to typical two-qubit gates with or without global phases.Comment: 12 pages, 0 figure

Simplifying the Formal Verification of Safety Requirements in Zone Controllers through Problem Frames and Constraints based Projection

Formal methods have been applied widely to verifying the safety requirements of Communication-Based Train Control (CBTC) systems, while the problem situations could be much simplified. In industrial practices of CBTC systems, however, huge complexity arises, which renders those methods nearly impossible to apply. In this paper, we aim to reduce the state space of formal verification problems in Zone Controller, a sub-system of a typical CBTC. We achieve the simplification goal by reducing the total number of device variables. To do this, two projection methods are proposed based on Problem Frames and constraints, respectively. The Problem Frames based method decomposes the system according to sub-properties through functional decomposition, whilst the constraints based projection method removes redundant variables. Our industrial case study demonstrates the feasibility though an evaluation, confirming that these two methods are effective in reducing the state spaces of complex verification problems in this application domain

Energetics and local spin magnetic moment of single 3,4d impurities encapsulated in an icosahedral Au12 cage

The energetics and local spin magnetic moment of a single 3,4d impurity (Sc-Ni, Y-Pd) encapsulated in an icosahedral Au12 cage have been studied theoretically by using a real-space first-principles cluster method with generalized gradient approximation for exchange-correlation functional. The relativistic effect is considered by scalar relativistic pseudopotentials. All doped clusters show unexpected large relative binding energies compared with icosahedral Au13cluster. The smallest and the largest values appear at Pd and Zr, 2.186 and 7.791eV per cluster, respectively, indicating doping could stabilize the icosahedral Au12 cage and promote the formation of a new binary alloy cluster. Comparatively large magnetic moments are observed for 3d elements Cr, Mn, Fe, Co, and Ni (2.265, 3.512, 3.064, 1.947, and 0.943μB), and 4d elements Tc, Ru, and Rh (0.758, 1.137, and 0.893μB). The density of states and the relativistic effects on electronic structure are discussed

Formononetin promotes apoptosis of colorectal cancer cells via activation of mitochondria-dependent MAPK pathway

Purpose: To investigate whether formononetin exhibits antitumor activity in colorectal cancer cell lines via the mitochondria-dependent mitogen-activated protein kinase (MAPK) pathway.Methods: Human colorectal cells were treated with various doses of formononetin for 24 h, followed by Cell Counting Kit-8 (CCK-8) assay and western blot. Human colorectal cells were incubated with equivalent vehicle (DMSO) or 100 μM formononetin for 24 h, followed by nuclear staining with propidium iodide (PI) and diamidino-2-phenylindole (DAPI) for analyses of apoptosis. Human colorectal cells were incubated with equivalent vehicle or 100 μM formononetin for 24 h followed by analysis of cell migration and invasion. Human colorectal cells were incubated with equivalent vehicle (DMSO) or 100 μM formononetin for various duration (3, 6, 12, and 24 h), followed by detection of intracellular reactive oxygen species (ROS) level and measurement of mitochondrial membrane potential (Δψm) to monitor mitochondria functionality.Results: In human colorectal cancer cell lines SW1463 and T84, formononetin (> 20 μM) significantly inhibited cell growth (p < 0.05) in a dose-dependent manner, noticeably induced apoptosis, and suppressed cell migration and invasion. Western blot analysis revealed that formononetin treatment caused significantly increased levels of proapoptotic proteins, and suppression of cell proliferationrelated protein and matrix metallopeptidases (MMP) levels. Formononetin also induced mitochondrial depolarization and ROS generation in a time-dependent manner, indicating that formononetin mediates human colorectal cancer cell apoptosis via activation of MAPK pathway in a dose-dependent manner.Conclusion: Formononetin induces human colorectal cancer cell apoptosis via mitochondriadependent MAPK pathway, thus lending experimental support for the clinical application of formononetin for colorectal cancer therapy.Keywords: Formononetin, Colorectal cancer, Mitochondria, Reactive oxygen species, Cytochrome C, Mitogen-activated protein kinas

MicroRNA-100 is a potential molecular marker of non-small cell lung cancer and functions as a tumor suppressor by targeting polo-like kinase 1

BACKGROUND: Polo-like kinase 1 (PLK1) is highly expressed in many human cancers and regulates critical steps in mitotic progression. Previously, we have reported that PLK1 was overexpressed in non-small cell lung cancer (NSCLC), but the underlying molecular mechanisms are not well understood. By using microRNA (miR) target prediction algorithms, we identified miR-100 that might potentially bind the 3’-untranslated region of PLK1 transcripts. The purpose of this study was to investigate the roles of miR-100 and its association with PLK1 in NSCLC development. METHODS: Taqman real-time quantitative RT-PCR assay was performed to detect miR-100 expression 10 NSCLC tissues and corresponding nontumor tissues. Additionally, the expression of miR-100 in 110 NSCLC tissues and its correlation with clinicopathological factors or prognosis of patients was analyzed. Finally, the effects of miR-100 expression on growth, apoptosis and cell cycle of NSCLC cells by posttranscriptionally regulating PLK1 expression were determined. RESULTS: MiR-100 was significantly downregulated in NSCLC tissues, and low miR-100 expression was found to be closely correlated with higher clinical stage, advanced tumor classification and lymph node metastasis of patients. The overall survival of NSCLC patients with low miR-100 was significantly lower than that of those patients with high miR-100, and univariate and multivariate analyses indicated that low miR-100 expression might be a poor prognostic factor. Also, miR-100 mimics could lead to growth inhibition, G(2)/M cell cycle arrest and apoptosis enhancement in NSCLC cells. Meanwhile, miR-100 mimics could significantly inhibit PLK1 mRNA and protein expression and reduce the luciferase activity of a PLK1 3’ untranslated region-based reporter construct in A549 cells. Furthermore, small interfering RNA (siRNA)-mediated PLK1 downregulation could mimic the effects of miR-100 mimics while PLK1 overexpression could partially rescue the phenotypical changes of NSCLC cells induced by miR-100 mimics. CONCLUSIONS: Our findings indicate that low miR-100 may be a poor prognostic factor for NSCLC patients and functions as a tumor suppressor by posttranscriptionally regulating PLK1 expression

Up-regulation of hexokinase1 in the right ventricle of monocrotaline induced pulmonary hypertension

BACKGROUND: Pulmonary arterial hypertension (PAH) is a proliferative arteriopathy associated with a glycolytic shift during heart metabolism. An increase in glycolytic metabolism can be detected in the right ventricle during PAH. Expression levels of glycolysis genes in the right ventricle during glycolysis that occur in monocrotaline (MCT)-induced pulmonary hypertension (PH) remain unknown. METHODS: PH was induced by a single subcutaneous injection of MCT (50 mg/kg) into rats, eventually causing right heart failure. Concurrently, a control group was injected with normal saline. The MCT-PH rats were randomly divided into three groups according to MCT treatment: MCT-2 week, 3 week, and 4 week groups (MCT-2w, 3w, 4w). At the end of the study, hemodynamics and right ventricular hypertrophy were compared among experimental groups. Expression of key glycolytic candidate genes was screened in the right ventricle. RESULTS: We observed an increase in mean pulmonary arterial pressure, right ventricular systolic pressure and right ventricular hypertrophy index three weeks following MCT injection. Alterations in the morphology and structure of right ventricular myocardial cells, as well as the pulmonary vasculature were observed. Expression of hexokinase 1 (HK1) mRNA began to increase in the right ventricle of the MCT-3w group and MCT-4w group, while the expression of lactate dehydrogenase A (LDHA) was elevated in the right ventricle of the MCT-4w group. Hexokinase 2(HK2), pyruvate dehydrogenase complex α1 (PDHα1), and LDHA mRNA expression showed no changes in the right ventricle. HK1 mRNA expression was further confirmed by HK1 protein expression and immunohistochemical analyses. All findings underlie the glycolytic phenotype in the right ventricle. CONCLUSIONS: There was an increase in the protein and mRNA expression of hexokinase-1 (HK1) three and four weeks after the injection of monocrotaline in the right ventricle, intervention of HK1 may be amenable to therapeutic intervention