We present two multiscale reaction-diffusion (RD) systems modeling sulfate attack in concrete structures (here: sewer pipes). The systems are posed on two different spatially separated scales. The only difference between them is the choice of the micro-macro transmission condition. We explore numerically the way the macroscopic Biot number Bi connects the two reactiondiffusion scenarios. We ind...

This paper presents optimizations for verifying systems with complex time-invariant constraints. These constraints arise naturally from modeling physical systems, e.g., in establishing the relationship between different components in a system. To verify constraint-rich systems, we propose two new optimizations. The first optimization is a simple, yet powerful, extension of the conjunctivepartit...

We explore the gap-tooth method for multiscale modeling of systems represented by microscopic physics-based simulators, when coarse-grained evolution equations are not available in closed form. A biased random walk particle simulation, motivated by the viscous Burgers equation, serves as an example. We construct macro-to-micro (lifting) and micro-to-macro (restriction) operators, and drive the ...

The semantics of the times macro is given in [2] only for the case when the body of the macro is parahalting. We remedy this by defining a new times macro instruction in terms of while (see [9, 13]). The semantics of the new times macro is given in a way analogous to the semantics of while macros. The new times uses an anonymous variable to control the number of its executions. We present two e...

In this study the performance of three macro-models in predicting the nonlinear response of different walls is investigated. The macro-models used are: Equivalent Beam Model, Multiple Vertical Line Element Model and a shear panel model developed by Massone et al. (2006). The walls are classified as slender, intermediate, and squat walls according to their shear-span ratio. First, three single w...

Micro-macro models provide a powerful tool to study the relationship between microscale mechanisms and emergent macroscopic behavior. However, the detailed microscopic modeling may require tracking and evolving a high-dimensional configuration space at high computational cost. In this work, we present a parallel algorithm for simulation a high-dimensional micro-macro model of a gliding motility...

MOTIVATION Energy landscapes provide a valuable means for studying the folding dynamics of short RNA molecules in detail by modeling all possible structures and their transitions. Higher abstraction levels based on a macro-state decomposition of the landscape enable the study of larger systems; however, they are still restricted by huge memory requirements of exact approaches. RESULTS We pres...

The paper aims at presenting an agent-based modeling exercise to illustrate how small differences in the cognitive properties of agents can generate very different macro social properties. We argue that it is not necessary to assume highly complicated cognitive architectures to introduce cognitive properties that matter for computational social science purposes. Our model is based on different ...

Signi cant advances have been made in the area of macro planning for assembly operations (i.e., dividing a product into sub-assemblies, determining the sequence of assembly operations). On the contrary, the state of the art in micro planning (i.e., tool selection, path planning for tool and part movements) is rather primitive. To generate a realizable assembly plan, both macro planning and micr...

This paper proposes a new heuristic approach to determine the input pattern that minimizes leakage currents of nanometer CMOS circuits during sleep mode considering stack and fanout effect. The proposed approach uses a new precise macro-modeling of leakage current considering subthreshold leakage, gate tunneling leakage, body effect, stack effect, and fanout effect. The macro-model is developed...