Toward a Formalism of Modeling and Simulation Using Model Theory

This article proposes a Modeling and Simulation (M&S) formalism using Model Theory. The article departs from the premise that M&S is the science that studies the nature of truth using models and simulations. Truth in models and simulations is relative as they seek to answer specific modeling questions. Consequently, truth in M&S is relative because every model is a purposeful abstraction of reality. We use Model Theory to express the proposed formalism because it is built from the premise that truth is relative. The proposed formalism allows us to: (1) deduce formal definitions and explanations of areas of study in M&S, including conceptual modeling, validity, and interoperability, and (2) gain insight into which tools can be used to semi-automate validation and interoperation processes

Moving toward an atomistic reader model

With the move to recording densities up to and beyond 1 Tb/in/sup 2/, the size of read elements is continually reducing as a requirement of the scaling process. The expectation is for read elements containing magnetic films as thin as 1.5 nm, in which finite size effects, and factors such as interface mixing might be expected to become of increasing importance. Here, we review the limitations of the current (micromagnetic) approach to the theoretical modeling of thin films and develop an atomistic multiscale model capable of investigating the magnetic properties at the atomic level. Finite-size effects are found to be significant, suggesting the need for models beyond the micromagnetic approach to support the development of future read sensors

Dynamic hybrid simulation of batch processes driven by a scheduling module

Simulation is now a CAPE tool widely used by practicing engineers for process design and control. In particular, it allows various offline analyses to improve system performance such as productivity, energy efficiency, waste reduction, etc. In this framework, we have developed the dynamic hybrid simulation environment PrODHyS whose particularity is to provide general and reusable object-oriented components dedicated to the modeling of devices and operations found in chemical processes. Unlike continuous processes, the dynamic simulation of batch processes requires the execution of control recipes to achieve a set of production orders. For these reasons, PrODHyS is coupled to a scheduling module (ProSched) based on a MILP mathematical model in order to initialize various operational parameters and to ensure a proper completion of the simulation. This paper focuses on the procedure used to generate the simulation model corresponding to the realization of a scenario described through a particular scheduling

Interaction between Injection Points during Hydraulic Fracturing

We present a model of the hydraulic fracturing of heterogeneous poroelastic media. The formalism is an effective continuum model that captures the coupled dynamics of the fluid pressure and the fractured rock matrix and models both the tensile and shear failure of the rock. As an application of the formalism, we study the geomechanical stress interaction between two injection points during hydraulic fracturing (hydrofracking) and how this interaction influences the fracturing process. For injection points that are separated by less than a critical correlation length, we find that the fracturing process around each point is strongly correlated with the position of the neighboring point. The magnitude of the correlation length depends on the degree of heterogeneity of the rock and is on the order of 30-45 m for rocks with low permeabilities. In the strongly correlated regime, we predict a novel effective fracture-force that attracts the fractures toward the neighboring injection point.Comment: Submitte