Synthesis of Model Transformations from Metamodels and Examples

Model transformations are central elements of model-driven engineering (MDE). However, model transformation development requires a high level of expertise in particular model transformation languages, and model transformation specifications are often difficult to manually construct, due to the lack of tool support, and the dependencies involved in transformation rules.In this thesis, we describe techniques for automatically or semi-automatically synthesising transformations from metamodels and examples, in order to reduce model transformation development costs and time, and improve model transformation quality.We proposed two approaches for synthesising transformations from metamodels. The first approach is the Data Structure Similarity Approach, an exhaustive metamodel matching approach, which extracts correspondences between metamodels by only focusing on the type of features. The other approach is the Search-based Optimisation Approach, which uses an optimisation algorithm to extract correspondences from metamodels by data structure similarity, name syntax similarity, and name semantic similarity. The correspondence patterns between the classes and features of two metamodels are extracted by either of these two methods. To enable the production of specifications in multiple model transformation languages from correspondences, we introduced an intermediate language which uses a simplified transformation notation to express transformation specifications in a language-independent manner, and defined the mapping rules from this intermediate language to different transformation languages.We also investigated Model Transformation by Examples Approach. We used machine learning techniques to learn model transformation rules from datasets of examples, so that the trained model could generate target model from source model directly.We evaluated our approaches on a range of cases of different kinds of transformation, and compared the model transformation accuracy and quality of our versions to the previously-developed manual versions of these cases.Key words: model transformation, model-driven engineering, transformation syn-thesis, metamodel matching, model transformation by example

The activated scaling behavior of quantum Griffiths singularity in two-dimensional superconductors

Quantum Griffiths singularity is characterized by the divergence of the dynamical critical exponent with the activated scaling law and has been widely observed in various two-dimensional superconductors. Recently, the direct activated scaling analysis with the irrelevant correction has been proposed and successfully used to analyze the experimental data of crystalline PdTe2 and polycrystalline \b{eta}-W films, which provides new evidence of quantum Griffiths singularity. Here we show that the direct activated scaling analysis is applicable to the experimental data in different superconducting films, including tri-layer Ga films and LaAlO3/SrTiO3 interface superconductor. When taking the irrelevant correction into account, we calculate the corrected sheet resistance at ultralow temperatures. The scaling behavior of the corrected resistance in a comparably large temperature regime and the theoretical fitting of the phase boundary give unambiguous evidence of quantum Griffiths singularity. Compared to the previous method based on the finite size scaling, the direct activated scaling analysis represents a more direct and precise way to analyze the experimental data of quantum Griffiths singularity in diverse two-dimensional superconductors

A Review of the Engineering Role of Burrowing Animals: Implication of Chinese Pangolin as an Ecosystem Engineer

Ecosystem engineers are organisms that alter the distribution of resources in the environment by creating, modifying, maintaining and/or destroying the habitat. They can affect the structure and function of the whole ecosystem furthermore. Burrowing engineers are an important group in ecosystem engineers as they play a critical role in soil translocation and habitat creation in various types of environment.However, few researchers have systematically summarized and analyzed the studies of burrowing engineers. We reviewing the existing ecological studies of burrowing engineer about their interaction with habitat through five directions: (1) soil turnover; (2)changing soil physicochemical properties; (3) changing plant community structure; (4) providing limited resources for commensal animals;and/or (5) affecting animal communities. The Chinese pangolin (Manis pentadactyla) is a typical example of burrowing mammals, in part (5), we focus on the interspecific relationships among burrow commensal species of Chinese pangolin. The engineering effects vary with environmental gradient, literature indicates that burrowing engineer play a stronger role in habitat transformation in the tropical and subtropical areas.The most common experiment method is comparative measurements (include different spatial and temporal scale),manipulative experiment is relatively few. We found that most of the engineering effects had positive feedback to the local ecosystem, increased plant abundance and resilience, increased biodiversity and consequently improved ecosystem functioning. With the global background of dramatic climate change and biodiversity loss in recent decades, we recommend future studies should improving knowledge of long-term engineering effects on population scale and landscape scale, exploring ecological cascades through trophic and engineering pathways, to better understand the attribute of the burrowing behavior of engineers to restore ecosystems and habitat creation. The review is presented as an aid to systematically expound the engineering effect of burrowing animals in the ecosystem, and provided new ideas and advice for planning and implementing conservation management

Quantum Griffiths singularity in three-dimensional superconductor to Anderson critical insulator transition

Disorder is ubiquitous in real materials and can have dramatic effects on quantum phase transitions. Originating from the disorder enhanced quantum fluctuation, quantum Griffiths singularity (QGS) has been revealed as a universal phenomenon in quantum criticality of low-dimensional superconductors. However, due to the weak fluctuation effect, QGS is very challenging to detect experimentally in three-dimensional (3D) superconducting systems. Here we report the discovery of QGS associated with the quantum phase transition from 3D superconductor to Anderson critical insulator in a spinel oxide MgTi2O4 (MTO). Under both perpendicular and parallel magnetic field, the dynamical critical exponent diverges when approaching the quantum critical point, demonstrating the existence of 3D QGS. Among 3D superconductors, MTO shows relatively strong fluctuation effect featured as a wide superconducting transition region. The enhanced fluctuation, which may arise from the mobility edge of Anderson localization, finally leads to the occurrence of 3D quantum phase transition and QGS. Our findings offer a new perspective to understand quantum phase transitions in strongly disordered 3D systems

Monolayer hydrophilic MoS2 with strong charge trapping for atomically thin neuromorphic vision systems

Effective control of electrical and optoelectronic properties of two-dimensional layered materials, one of the key requirements for applications in advanced optoelectronics with multiple functions, has been hindered by the difficulty of elemental doping, which is commonly utilized in Si technology. In this study, we proposed a new method to synthesize hydrophilic MoS2 monolayers through covalently introducing hydroxyl groups during their growth process. These hydroxyl groups exhibit a strong capability of charge trapping, and thus the hydrophilic MoS2 monolayers achieve excellent electrical, optical, and memory properties. Optical memory transistors, made from a single component of monolayer hydrophilic MoS2, exhibit not only excellent light-dependent and time-dependent photoelectric performance, but also good photo-responsive memory characteristics with over multi-bit storage and more than 104 switching ratios. Atomically thin neuromorphic vision systems (with a concept of proof of 10 × 10 neuromorphic visual image) are manufactured from arrays of hydrophilic MoS2 optical memory transistors, showing high quality image sensing and memory functions with a high color resolution. These results proved our new concepts to realize image memorization and simplify the pixel matrix preparation process, which is a significant step toward the development of future artificial visual systems

Searching for candidates of coalescing binary black holes formed through chemically homogeneous evolution in GWTC-3

The LIGO, Virgo, and KAGRA (LVK) collaboration has announced 90 coalescing binary black holes (BBHs) with $p_{\rm astro} > 50\%$ to date, however, the origin of their formation channels is still an open scientific question. Given various properties of BBHs (BH component masses and individual spins) inferred using the default priors by the LVK, independent groups have been trying to explain the formation of the BBHs with different formation channels. Of all formation scenarios, the chemically homogeneous evolution (CHE) channel has stood out with distinguishing features, namely, nearly-equal component masses and preferentially high individual spins aligned with the orbital angular momentum. We perform Bayesian inference on the BBH events officially reported in GWTC-3 with astrophysically-predicted priors representing different formation channels of the isolated binary evolution (CEE: common-envelope evolution channel; CHE; SMT: stable mass transfer). Given assumed models, we report strong evidence for GW190517\_055101 being most likely to have formed through the CHE channel. Assuming the BBH events in the subsample are all formed through one of the isolated binary evolution channels, we obtain the lower limits on the local merger rate density of these channels at $11.45 ~\mathrm{Gpc^{-3}~yr^{-1}}$ (CEE), $0.18 ~\mathrm{Gpc^{-3}~yr^{-1}}$ (CHE), and $0.63 ~\mathrm{Gpc^{-3}~yr^{-1}}$ (SMT) at $90\%$ credible level.Comment: 13 pages, 4 figures, 1 tabl

YY1 directly interacts with myocardin to repress the triad myocardin/SRF/CArG box-mediated smooth muscle gene transcription during smooth muscle phenotypic modulation

Yin Yang 1 (YY1) regulates gene transcription in a variety of biological processes. In this study, we aim to determine the role of YY1 in vascular smooth muscle cell (VSMC) phenotypic modulation both in vivo and in vitro. Here we show that vascular injury in rodent carotid arteries induces YY1 expression along with reduced expression of smooth muscle differentiation markers in the carotids. Consistent with this finding, YY1 expression is induced in differentiated VSMCs in response to serum stimulation. To determine the underlying molecular mechanisms, we found that YY1 suppresses the transcription of CArG box-dependent SMC-specific genes including SM22α, SMα-actin and SMMHC. Interestingly, YY1 suppresses the transcriptional activity of the SM22α promoter by hindering the binding of serum response factor (SRF) to the proximal CArG box. YY1 also suppresses the transcription and the transactivation of myocardin (MYOCD), a master regulator for SMC-specific gene transcription by binding to SRF to form the MYOCD/SRF/CArG box triad (known as the ternary complex). Mechanistically, YY1 directly interacts with MYOCD to competitively displace MYOCD from SRF. This is the first evidence showing that YY1 inhibits SMC differentiation by directly targeting MYOCD. These findings provide new mechanistic insights into the regulatory mechanisms that govern SMC phenotypic modulation in the pathogenesis of vascular diseases