-
Predicting densities and elastic moduli of SiO2-based glasses by machine learning
Authors:
Yong-Jie Hu,
Ge Zhao,
Mingfei Zhang,
Bin Bin,
Tyler Del Rose,
Qian Zhao,
Qun Zu,
Yang Chen,
Xuekun Sun,
Maarten de Jong,
Liang Qi
Abstract:
Chemical design of SiO2-based glasses with high elastic moduli and low weight is of great interest. However, it is difficult to find a universal expression to predict the elastic moduli according to the glass composition before synthesis since the elastic moduli are a complex function of interatomic bonds and their ordering at different length scales. Here we show that the densities and elastic mo…
▽ More
Chemical design of SiO2-based glasses with high elastic moduli and low weight is of great interest. However, it is difficult to find a universal expression to predict the elastic moduli according to the glass composition before synthesis since the elastic moduli are a complex function of interatomic bonds and their ordering at different length scales. Here we show that the densities and elastic moduli of SiO2-based glasses can be efficiently predicted by machine learning (ML) techniques across a complex compositional space with multiple (>10) types of additive oxides besides SiO2. Our machine learning approach relies on a training set generated by high-throughput molecular dynamic (MD) simulations, a set of elaborately constructed descriptors that bridges the empirical statistical modeling with the fundamental physics of interatomic bonding, and a statistical learning/predicting model developed by implementing least absolute shrinkage and selection operator with a gradient boost machine (GBM-LASSO). The predictions of the ML model are comprehensively compared and validated with a large amount of both simulation and experimental data. By just training with a dataset only composed of binary and ternary glass samples, our model shows very promising capabilities to predict the density and elastic moduli for k-nary SiO2-based glasses beyond the training set. As an example of its potential applications, our GBM-LASSO model was used to perform a rapid and low-cost screening of many (~105) compositions of a multicomponent glass system to construct a compositional-property database that allows for a fruitful overview on the glass density and elastic properties.
△ Less
Submitted 6 November, 2019;
originally announced November 2019.
-
Automated Prototype Generation from Formal Requirements Model
Authors:
Yilong Yang,
Xiaoshan Li,
Zhiming Liu,
Wei Ke,
Quan Zu,
Xiaohong Chen
Abstract:
Prototy** is an effective and efficient way of requirement validation to avoid introducing errors in the early stage of software development. However, manually develo** a prototype of a software system requires additional efforts, which would increase the overall cost of software development. In this paper, we present an approach with a developed tool to automatic generation of prototypes from…
▽ More
Prototy** is an effective and efficient way of requirement validation to avoid introducing errors in the early stage of software development. However, manually develo** a prototype of a software system requires additional efforts, which would increase the overall cost of software development. In this paper, we present an approach with a developed tool to automatic generation of prototypes from formal requirements models. A requirements model consists of a use case diagram, a conceptual class diagram, use case definitions specified by system sequence diagrams and the contracts of their system operations. We propose a method to decompose a contract into executable parts and non-executable parts. A set of transformation rules is given to decompose the executable part into pre-implemented primitive operations. A non-executable part is usually realized by significant algorithms such as sorting a list, finding the shortest path or domain-specific computation. It can be implemented manually or by using existing code. A CASE tool is developed that provides an interface for developers to develop a program for each non-executable part of a contract, and automatically transforms the executables into sequences of pre-implemented primitive operations. We have conducted four cases studies with over 50 use cases. The experimental result shows that the 93.65% of requirement specifications are executable, and only 6.35% are non-executable such as sorting and event-call, which can be implemented by developers manually or invoking the APIs of advanced algorithms in Java library. The one second generated the prototype of a case study requires approximate nine hours manual implementation by a skilled programmer. Overall, the result is satisfiable, and the proposed approach with the developed CASE tool can be applied to the software industry for requirements engineering.
△ Less
Submitted 31 August, 2018;
originally announced August 2018.
-
MicroShare: Privacy-Preserved Medical Resource Sharing through MicroService Architecture
Authors:
Yilong Yang,
Quan Zu,
Peng Liu,
Defang Ouyang,
Xiaoshan Li
Abstract:
This paper takes up the problem of medical resource sharing through MicroService architecture without compromising patient privacy. To achieve this goal, we suggest refactoring the legacy EHR systems into autonomous MicroServices communicating by the unified techniques such as RESTFul web service. This lets us handle clinical data queries directly and far more efficiently for both internal and ext…
▽ More
This paper takes up the problem of medical resource sharing through MicroService architecture without compromising patient privacy. To achieve this goal, we suggest refactoring the legacy EHR systems into autonomous MicroServices communicating by the unified techniques such as RESTFul web service. This lets us handle clinical data queries directly and far more efficiently for both internal and external queries. The novelty of the proposed approach lies in avoiding the data de-identification process often used as a means of preserving patient privacy. The implemented toolkit combines software engineering technologies such as Java EE, RESTful web services, JSON Web Tokens to allow exchanging medical data in an unidentifiable XML and JSON format as well as restricting users to the need-to-know principle. Our technique also inhibits retrospective processing of data such as attacks by an adversary on a medical dataset using advanced computational methods to reveal Protected Health Information (PHI). The approach is validated on an endoscopic reporting application based on openEHR and MST standards. From the usability perspective, the approach can be used to query datasets by clinical researchers, governmental or non-governmental organizations in monitoring health care and medical record services to improve quality of care and treatment.
△ Less
Submitted 7 June, 2018; v1 submitted 6 June, 2018;
originally announced June 2018.
-
Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA)
Authors:
Yilong Yang,
Xiaoshan Li,
Quan Zu
Abstract:
With the advancement of software engineering in recent years, the model checking techniques are widely applied in various areas to do the verification for the system model. However, it is difficult to apply the model checking to verify requirements due to lacking the details of the design. Unlike other model checking tools, LTSA provides the structure diagram, which can bridge the gap between the…
▽ More
With the advancement of software engineering in recent years, the model checking techniques are widely applied in various areas to do the verification for the system model. However, it is difficult to apply the model checking to verify requirements due to lacking the details of the design. Unlike other model checking tools, LTSA provides the structure diagram, which can bridge the gap between the requirements and the design. In this paper, we demonstrate the abilities of LTSA shipped with the classic case study of the steam boiler system. The structure diagram of LTSA can specify the interactions between the controller and the steam boiler, which can be derived from UML requirements model such as system sequence diagram of the steam boiler system. The start-up design model of LTSA can be generated from the structure diagram. Furthermore, we provide a variation law of the steam rate to avoid the issue of state space explosion and show how explicitly and implicitly model the time that reflects the difference between system modeling and the physical world. Finally, the derived model is verified against the required properties. Our work demonstrates the potential power of integrating UML with model checking tools in requirement elicitation, system design, and verification.
△ Less
Submitted 14 March, 2018;
originally announced March 2018.
-
The Unit Cell Reconstruction and Related Thermal Activation Process within Coherent Twin Boundary Migration in Magnesium
Authors:
Xiao-Zhi Tang,
Qun Zu,
Ya-Fang Guo
Abstract:
By analyzing the interface defect loop nucleation and the interface disconnection expansion in dynamic simulations, the elementary migration process of coherent twin boundary of magnesium is identified to be independent unit cell reconstruction. The atomistic pathways of the unit cell reconstruction prove their collective behavior as a stochastic response to thermal fluctuation at a stressed state…
▽ More
By analyzing the interface defect loop nucleation and the interface disconnection expansion in dynamic simulations, the elementary migration process of coherent twin boundary of magnesium is identified to be independent unit cell reconstruction. The atomistic pathways of the unit cell reconstruction prove their collective behavior as a stochastic response to thermal fluctuation at a stressed state, and also the onset mechanism of interface disconnection gliding: predominant pure-shuffle basal-prismatic transformation along with atomistic shear movements. The athermal shear strength, the migration barrier, the critical length of disconnection dipole and other parameters characterizing the thermal activation process are reported.
△ Less
Submitted 2 November, 2017; v1 submitted 17 March, 2017;
originally announced March 2017.
-
The original nucleation and migration of the basal/prismatic interfaces in Mg single crystals
Authors:
Qun Zu,
Xiaozhi Tang,
Shuang Xu,
Yafang Guo
Abstract:
The formation of basal/prismatic (BP) interfaces accompanying with the nucleation and growth of a reoriented crystal in Mg single-crystals under c-axis tension is investigated by molecular dynamics simulations. The BP interfaces nucleate by shuffling mechanism via local rearrangements of atoms. Both two-layer disconnections and one-layer disconnections contribute to the migration of BP interfaces.…
▽ More
The formation of basal/prismatic (BP) interfaces accompanying with the nucleation and growth of a reoriented crystal in Mg single-crystals under c-axis tension is investigated by molecular dynamics simulations. The BP interfaces nucleate by shuffling mechanism via local rearrangements of atoms. Both two-layer disconnections and one-layer disconnections contribute to the migration of BP interfaces. In a three-dimensional view, the BP interfaces relatively tend to migrate towards the [1-210] direction rather than the [-1010]/[0001] direction since the misfit disconnection or misfit dislocation caused by the accumulation of mismatch along the [-1010] /[0001] direction impedes the disconnection movement. The BP interfaces can transform to the {10-12} twin boundary (TB) and vice versa. While the process from BP interface to TB is described as the linear pile-up of interface disconnections, the versa transformation is proposed as the upright pile-up process. Both BP transformation and {10-12} twinning can efficiently accommodate the strain along the c-axis, and the conjugate BP interfaces and {10-12} TBs account for the large deviations of twin interfaces from the {10-12} twin plane.
△ Less
Submitted 16 November, 2016;
originally announced November 2016.