Made available in DSpace on 2014-06-12T15:53:07Z (GMT). No. of bitstreams: 2 arquivo4927_1.pdf: 1466209 bytes, checksum: 2dd8cd7b46b828a5aa1d2a3f50a6ebef (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2001 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Cabral Mota, Alexandre; Cezar Alves Sampaio, Augusto. Model checking CSPZ: Techniques to overcome state explosion. 2001. Tese (Doutorado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2001.

<div>Accelerating the development of novel materials is one of the central goals of the Materials Genome Initiative and improving the predictive power of computational</div><div>material science methods is critical to attain this goal. Molecular dynamics (MD) is one such computational technique that has been used to study a wide range of materials since its invention in the 1950s. In this work we explore some examples of using and increasing the predictive power of MD simulations to understand materials phenomena and provide guidelines to design tailored materials. We first demonstrate the use of MD simulations as a tool to explore the design space of shape memory alloys, using simple interatomic models to identify characteristics of an integrated coherent second phase that will modify the transformation characteristics of the base shape memory alloy to our desire. Our approach provides guidelines to identify potential coherent phases that will achieve tailored transformation temperatures and hysteresis. </div><div><br></div><div>We subsequently explore ideas to enhance the length and time scales accessible via MD simulations. We first discuss the use of kinetic Monte Carlo methods in MD simulations to predict the microstructure evolution of carbon fibers. We ?find our approach to accurately predict the transverse microstructures of carbon fibers, additionally predicting the transverse modulus of these fibers, a quantity difficult to measure via experiments. Another avenue to increase length and time scales accessible via MD simulations is to explore novel implementations of algorithms involved in machine-learned interatomic models to extract performance portability. Our approach here results in significant speedups and an efficient utilization of increasingly common CPU-GPU hybrid architectures.</div><div><br></div><div>We finally explore the use of machine learning methods in molecular dynamics, specifically developing machine learning methods to discover interpretable laws directly from data. As examples, we demonstrate the discovery of integration schemes for MD simulations, and the discovery of melting laws for perovskites and single elements. Overall, this work attempts to illustrate how improving the predictive capabilities of molecular dynamics simulations and incorporating machine learning ideas can help us design novel materials, in line with the goals of the Materials Genome Initiative.</div>