Enforcing realizability in explicit multi-component species transport
نویسندگان
چکیده
منابع مشابه
Explicit and Implicit Enforcing - Randomized Optimization
This tutorial is aiming at some randomized approaches for geometric optimization that have been developed over the last ten to fifteen years. The methods are simple, sometimes even the analysis is. The simplicity of the methods entails that they use very little of the underlying structure of the problems to tackle, and, as a consequence, they are applicable to a whole range of problems. Most pr...
متن کاملDiffusion of a multi-species component and its role in oxygen and water transport in silicates.
An important but poorly understood factor that affects diffusion rates is the role of speciation during diffusion of a multi-species component. The diffusion of such a component is complicated by the different diffusion coefficient of each species and the interconversion reactions among the species. These complexities can be treated by a diffusion equation that incorporates the diffusive flux...
متن کاملEnforcing Interaction Protocols in Multi-Agent Systems
Abstract: Numerous multi-agent approaches have been used to develop large and complex systems in many application areas. Interactions among agents, which are commonly ruled by interaction protocols that ensure the correct system execution, constitute one of the main features of these approaches. However, in open, dynamic, and heterogeneous systems, where there are no guarantees about the trustf...
متن کاملEnforcing Different Contracts in Hierarchical Component-Based Systems
Using different specification formalisms together is necessary to leverage better reliability on component-based systems. The ConFract system provides a contracting system for hierarchical software components, but currently, only executable assertions are supported. In this paper, we describe how TLA, taken as an instance of behavioral sequence-based formalism, was integrated in ConFract. A dom...
متن کاملComponent-Based Explicit Software Reuse
We suggest an analytical method to calculate explicit component based software reuse. Our method is based on three dimensional Vector Measure of software size which we have derived in terms of the functionality and problem complexity by extending the work of Hastings and Sajeev. Our calculated analytical results are in close agreement with expected results. We try here to confirm reuse by predi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fire Safety Journal
سال: 2015
ISSN: 0379-7112
DOI: 10.1016/j.firesaf.2015.09.005