This paper reports research in progress. Two types of domain decomposition have been used in distributed computing with networked workstations for the numerical modeling of full-scale utility boilers. The numerical model is a three-dimensional combustion code which couples turbulent computational fluid dynamics with the chemical reaction process and the radiative heat transfer. Two approaches, ...

In existing simulation proof techniques, a single step in a low-level system may be simulated by an extended execution fragment in a high-level system. As a result, it is undecidable whether a given relation is a simulation, even if tautology checking is decidable for the underlying speciication logic. This paper introduces various types of normed simulations. In a normed simulation, each step ...

Fast, inexpensive computers have become the experimental laboratories of research statisticians. Exploratory simulations provide quick feedback on the validity of conjectures and often suggest modifications leading to new approaches. Simulations reject false conjectures and identify suitable candidates for the rigorous task of theorem proving. In spite of the growth in computing power, the tedi...

Why Read This Chapter? To help you decide how to check your simulation – both against its antecedent conceptual models (verification) and external standards such as data (validation) – and in this way help you to establish the credibility of your simulation. In order to do this the chapter will point out the nature of these processes, including the variety of ways in which people seek to achiev...

The hydraulic fracturing propagation is strongly influenced by the existence of natural fractures. This is a very important factor in hydraulic fracturing operations in unconventional reservoirs. Various studies have been done to consider the effect of different parameters such as stress anisotropy, toughness, angle of approach and fluid properties on interaction mechanisms including crossing, ...

Extensive urbanization has greatly raised the demand for cleaner coal- and petroleum-derived fuels. Mainly composed of methane, natural gas represents a promising alternative for this purpose, making its storage a significant topic. In the present research, deposition of methane molecules in C60 fullerene was investigated through a combined approach wherein density functional based tight bindin...

according to recent achievements in nano technology we can see its effects in different engineering fields. in nano manufacture process the first essential step is modeling coordinately in order to make it available different software are developing for this propose.  in this paper nano modeling for two papers is developed first understanding structure in nano and micro size and second simulati...

uncertainty analysis is a useful tool to evaluate soil water simulations in order to get more information about the models output. these information provide more confidence for decision making processes. in this study, swap model is applied for soil water balance simulations in two fields which are planted by wheat and maize in an arid region. first the amount of uncertainty is estimated and co...