Software architecture modelling and analysis in process algebra

University of Technology, Sydney. Faculty of Engineering and Information Technology.Description of the principal design of software-intense systems is fundamental in the diversified areas of software architecture. In the past two decades, a variety of Architecture Description Languages (ADLs) emerged and competed to be a suitable modelling medium for software architecture. The high-level syntax of these languages expresses the coarse-grained specifications and properties of interest for the systems, and their formal semantics enables a rigorous analysis of these properties. Notations from the dialect of Process Algebra (PA) are frequently employed by ADLs. The variety of ADLs and the popularity of PA in architectural description motivate the research of PA as formal notations of architectural description, independent of the high-level syntax of ADLs. One benefit of this study is to shed light on some verification techniques for the system properties that ADLs aim to deal with. This thesis investigates two basic architectural models, which are the connector- based and peer-to-peer architectures, respectively. This thesis presents a PA-based ADL-like language and a PA-based semantic approach to describe and analyse the first architectural model, and employs session types for π-calculus to deal with the second model. The main contributions are as follows. First, this thesis conducts an in-depth study on the use of PA as formal notations for modelling these architectures, and presents various analytic techniques to facilitate the verification of the system properties of interest. Second, this thesis introduces the session type theory into the field of software architecture research and improves the state of the art of the theory by structuring the session description in the communication and integration levels. Last, to enhance the adequacy of PA as ad hoc architectural modelling notations, this thesis presents an algorithm to merge a modal extension of PA and the constraint-style specifications

Atomically dispersed Ni in cadmium-zinc sulfide quantum dots for high-performance visible-light photocatalytic hydrogen production.

Catalysts with a single atom site allow highly tuning of the activity, stability, and reactivity of heterogeneous catalysts. Therefore, atomistic understanding of the pertinent mechanism is essential to simultaneously boost the intrinsic activity, site density, electron transport, and stability. Here, we report that atomically dispersed nickel (Ni) in zincblende cadmium-zinc sulfide quantum dots (ZCS QDs) delivers an efficient and durable photocatalytic performance for water splitting under sunlight. The finely tuned Ni atoms dispersed in ZCS QDs exhibit an ultrahigh photocatalytic H2 production activity of 18.87 mmol hour-1 g-1. It could be ascribed to the favorable surface engineering to achieve highly active sites of monovalent Ni(I) and the surface heterojunctions to reinforce the carrier separation owing to the suitable energy band structures, built-in electric field, and optimized surface H2 adsorption thermodynamics. This work demonstrates a synergistic regulation of the physicochemical properties of QDs for high-efficiency photocatalytic H2 production

Risk perception of arsenic exposure from rice intake in a UK population

In the UK, consumption of rice and rice-based products is on the rise but, notwithstanding public expressed concerns about such products as an exposure route for arsenic (e.g. BBC News report, 2017“Should I worry about arsenic in my rice?”) there are few, if any published data on public perceptions of risks associated with exposure to arsenic in rice. We therefore aimed to determine the risk perception of arsenic exposure from rice intake and factors that are associated with arsenic knowledge and whether or not this knowledge had an influence on rice consumption and cooking practices. A questionnaire, targeting participation of rice-eating ethnic minorities in Greater Manchester, UK, was administered to 184 participants. A multivariate generalized linear model was used to determine the factors associated with rice consumption behaviour, cooking practices, and risk perception. We show for the first time that the general population did not associate arsenic, which they perceive as toxic to health, with rice consumption. More than half of the participants knew about arsenic as a hazardous substance but less than ten percent knew that rice consumption could be an important route of arsenic exposure. Knowledge of arsenic was significantly lower in Asian/Asian British:Pakistanis (Pakistani) (OR: 0.006; 95% CI:0.00-0.03) and Asian/Asian British:Bangladeshis (Bangladeshi) (OR: 0.064; 95% CI:0.01-0.25) compared to White:English/Welsh/Scottish/Northern Irish/British (White British). Moreover, Bangladeshis consumed three times more rice (OR: 2.92; 95% CI:1.73-4.93) compared to White British. Overall higher rice consumption was not associated with higher knowledge of the nutritional value of rice. Rinsing rice before cooking, an effective arsenic removal technique, was practised by 93% of the participants, however the most popular cooking method was the use of adequate water (rice to water ratio of 1:2) but not excess water (rice to water ratio of > 1:4), the latter being more effective in removing arsenic. Better education, higher weekly expenditure on food and prior knowledge of arsenic hazard were all significant factors positively influencing a change in behaviour to reduce arsenic exposure from rice intake

An essential role for the Id1/PI3K/Akt/NFkB/survivin signalling pathway in promoting the proliferation of endothelial progenitor cells in vitro

The enhancement of re-endothelialisation is a critical therapeutic option for repairing injured blood vessels. Endothelial progenitor cells (EPCs) are the major source of cells that participate in endothelium repair and contribute to re-endothelialisation by reducing neointima formation after vascular injury. The over-expression of the inhibitor of differentiation or DNA binding 1 (Id1) significantly improved EPC proliferation. This study aimed to investigate the effects of Id1 on the phosphatidylinositol-3-kinase (PI3K)/Akt/nuclear factor kappa B (NFκB)/survivin signalling pathway and its significance in promoting EPC proliferation in vitro. Spleen-derived EPCs were cultured as previously described. Id1 was presented at low levels in EPCs, and was rapidly up-regulated by stimulation with vascular endothelial growth factor. We demonstrated that transient transfection of Id1 into EPCs activated the PI3K/Akt/NFκB/survivin signalling pathway and promoted EPC proliferation. The proliferation of EPCs was extensively inhibited by silencing of endogenous Id1, and knockdown of Id1 expression led to suppression of PI3K/Akt/NFκB/survivin signalling pathway in EPCs. In addition, blockade by the PI3K-specific inhibitor LY294002, Akt inhibitor, the NFκB inhibitor BAY 11-7082, the survivin inhibitor Curcumin, or the survivin inhibitor YM155 reduced the effects of Id1 transfection. These results suggest that the Id1/PI3K/Akt/NFκB/survivin signalling pathway plays a critical role in EPC proliferation. The Id1/PI3K/Akt/NFκB/survivin signalling pathway may represent a novel therapeutic target in the prevention of restenosis after vascular injury

Adrenocorticotropic Hormone Suppresses Gonadotropin-Stimulated Estradiol Release from Zebrafish Ovarian Follicles

While stress is known to impact reproductive performance, the pathways involved are not entirely understood. Corticosteroid effects on the functioning of the hypothalamus-pituitary-gonadal axis are thought to be a key aspect of stress-mediated reproductive dysfunction. A vital component of the stress response is the pituitary secretion of adrenocorticotropic hormone (ACTH), which binds to the melanocortin 2 receptor (MC2R) in the adrenal glands and activates cortisol biosynthesis. We recently reported MC2R mRNA abundance in fish gonads leading to the hypothesis that ACTH may be directly involved in gonadal steroid modulation. Using zebrafish (Danio rerio) ovarian follicles, we tested the hypothesis that acute ACTH stimulation modulates cortisol and estradiol (E2) secretion. ACTH neither affected cortisol nor unstimulated E2 release from ovarian follicles. However, ACTH suppressed human chorionic gonadotropin (hCG)-stimulated E2 secretion in a dose-related manner, with a maximum decrease of 62% observed at 1 I.U. ACTH mL−1. This effect of ACTH on E2 release was not observed in the presence of either 8-bromo-cAMP or forskolin, suggesting that the mechanism(s) involved in steroid attenuation was upstream of adenylyl cyclase activation. Overall, our results suggest that a stress-induced rise in plasma ACTH levels may initiate a rapid down-regulation of acute stimulated E2 biosynthesis in the zebrafish ovary, underscoring a novel physiological role for this pituitary peptide in modulating reproductive activity

Extreme stiffness hyperbolic elastic metamaterial for total transmission subwavelength imaging

Subwavelength imaging by metamaterials and extended work to pursue total transmission has been successfully demonstrated with electromagnetic and acoustic waves very recently. However, no elastic counterpart has been reported because earlier attempts suffer from considerable loss. Here, for the first time, we realize an elastic hyperbolic metamaterial lens and experimentally show total transmission subwavelength imaging with measured wave field inside the metamaterial lens. The main idea is to compensate for the decreased impedance in the perforated elastic metamaterial by utilizing extreme stiffness, which has not been independently actualized in a continuum elastic medium so far. The fabricated elastic lens is capable of directly transferring subwavelength information from the input to the output boundary. In the experiment, this intriguing phenomenon is confirmed by scanning the elastic structures inside the lens with laser scanning vibrometer. The proposed elastic metamaterial lens will bring forth significant guidelines for ultrasonic imaging techniquesope

A Piezoelectric Immunosensor Using Hybrid Self-Assembled Monolayers for Detection of Schistosoma japonicum

BACKGROUND: The parasite Schistosoma japonicum causes schistosomiasis disease, which threatens human life and hampers economic and social development in some Asian countries. An important lesson learned from efforts to reduce the occurrence of schistosomiasis is that the diagnostic approach must be altered as further progress is made towards the control and ultimate elimination of the disease. METHODOLOGY/PRINCIPAL FINDINGS: Using mixed self-assembled monolayer membrane (mixed SAM) technology, a mixture of mercaptopropionic acid (MPA) and mercaptoethanol (ME) was self-assembled on the surface of quartz crystals by gold-sulphur-bonds. Soluble egg antigens (SEA) of S. japonicum were then cross-linked to the quartz crystal using a special coupling agent. As compared with the traditional single self-assembled monolayer immobilization method, S. japonicum antigen (SjAg) immobilization using mixed self-assembled monolayers exhibits much greater immunoreactivity. Under optimal experimental conditions, the detection range is 1:1500 to 1:60 (infected rabbit serum dilution ratios). We measured several infected rabbit serum samples with varying S. japonicum antibody (SjAb) concentrations using both immunosensor and ELISA techniques and then produced a correlation analysis. The correlation coefficients reached 0.973. CONCLUSIONS/SIGNIFICANCE: We have developed a new, simple, sensitive, and reusable piezoelectric immunosensor that directly detects SjAb in the serum. This method may represent an alternative to the current diagnostic methods for S. japonicum infection in the clinical laboratory or for analysis outside the laboratory

Icaritin Shows Potent Anti-Leukemia Activity on Chronic Myeloid Leukemia In Vitro and In Vivo by Regulating MAPK/ERK/JNK and JAK2/STAT3 /AKT Signalings

PURPOSE: To explore the effects of Icaritin on chronic myeloid leukemia (CML) cells and underlying mechanisms. METHOD: CML cells were incubated with various concentration of Icaritin for 48 hours, the cell proliferation was analyzed by MTT and the apoptosis was assessed with Annexin V and Hoechst 33258 staining. Cell hemoglobinization was determined. Western blotting was used to evaluate the expressions of MAPK/ERK/JNK signal pathway and Jak-2/Phorpho-Stat3/Phorsph-Akt network-related protein. NOD-SCID nude mice were applied to demonstrate the anti-leukemia effect of Icaritin in vivo. RESULTS: Icaritin potently inhibited proliferation of K562 cells (IC50 was 8 µM) and primary CML cells (IC50 was 13.4 µM for CML-CP and 18 µM for CML-BC), induced CML cells apoptosis and promoted the erythroid differentiation of K562 cells with time-dependent manner. Furthermore, Icaritin was able to suppress the growth of primary CD34+ leukemia cells (CML) and Imatinib-resistant cells, and to induce apoptosis. In mouse leukemia model, Icaritin could prolong lifespan of NOD-SCID nude mice inoculated with K562 cells as effective as Imatinib without suppression of bone marrow. Icaritin could up-regulate phospho-JNK or phospho-C-Jun and down-regulate phospho-ERK, phospho-P-38, Jak-2, phospho-Stat3 and phospho-Akt expression with dose- or time-dependent manner. Icaritin had no influence both on c-Abl and phospho-c-Abl protein expression and mRNA levels of Bcr/Abl. CONCLUSION: Icaritin from Chinese herb medicine may be a potential anti-CML agent with low adverse effect. The mechanism of anti-leukemia for Icaritin is involved in the regulation of Bcr/Abl downstream signaling. Icaritin may be useful for an alternative therapeutic choice of Imatinib-resistant forms of CML