We present an integrated study of multi-stage hydraulic fracture stimulation of two parallel horizontal wells in the Bakken formation in the Williston Basin, North Dakota. There are two distinct parts of this study: development of a geomechanical model for the study area, and analysis of the microseismic and hydraulic fracturing data. Despite the limited amount of well log data available, we es...

The Functional Mock-up Interface (FMI) is an industry standard which enables co-simulation of complex heterogeneous systems using multiple simulation engines. In this paper, we show how to use FMI in order to co-simulate hybrid systems modeled in the model checkers SPACEEX and UPPAAL. We show how FMI components can be automatically generated from SPACEEX and UPPAAL models. We also validate the ...

Co-simulation refers to simulating a complex system using several coupled numerical models. Engineers define the rate of data exchange between the models by setting communication steps. FMI is a standardized interface which easily allows coupling and co-simulation of numerical models. The RCOSIM approach allows the parallelization on multi-core processors of co-simulations using the FMI standar...

The objective of Task T2.4 is to provide formal foundations for comodelling with the Functional Mockup Interface (FMI). In Year 2, we have created the first behavioural semantics for the FMI standard. We use the state-rich process algebra, Circus, to present our modelling approach, and indicate how models can be automatically generated from a description of the individual simulations and their ...

Esta nota narra la consolidación fiscal ocurrida en los últimos 40 años, las evoluciones conceptos de déficit monitoreados el análisis fiscal, y impacto condicionalidad del Fondo Monetario Internacional (FMI) inmersa sucesivos programas financieros subscritos entre Perú FMI sobre evolución principales agregados fiscales. La también elabora logros retos gestión pública a fecha.

Rock mass description and characterisation is a basic task for exploration, mining work-flows and ground-water studies. Rock analysis can be performed using borehole logs that are created using a televiewer. Planar discontinuities in the rock appear as sinusoidal curves in borehole logs. The aim of this project is to develop a fast algorithm to analyse borehole imagery using image processing te...

OBJECTIVE While the cochlear implant provides many deaf patients with good speech understanding in quiet, music perception and appreciation with the cochlear implant remains a major challenge for most cochlear implant users. The present study investigated whether a closed-set melodic contour identification (MCI) task could be used to quantify cochlear implant users' ability to recognize musical...

The objective of the present study was to investigate the relationship between the indices of body size such as BMI, fat-free mass index (FFMI, FFM/height2), fat mass index (FMI, FM/height2), and body fat percentage (%BF), and physical activities assessed by the doubly-labelled water (DLW) method and an accelerometer in free-living Japanese adult women. We conducted a cross-sectional study in 1...

Tissue necrosis commonly accompanies the development of a wide range of serious diseases. Therefore, highly sensitive detection and precise boundary delineation of necrotic tissue via effective imaging techniques are crucial for clinical treatments; however, no imaging modalities have achieved satisfactory results to date. Although fluorescence molecular imaging (FMI) shows potential in this re...