Concurrence est concernée par les systèmes informatiques des agents multiples qui interagissent les uns avec les autres. Bisimilarité est l'un des principales représentantes de ces derniers. Programmation concurrente par contraintes (ccp) est un formalisme qui combine le point de vue traditionnel des formules algébriques et opérationnelles des calculs de processus avec une notion déclarative basée sur logique. La définition standard de bisimilarité n'est pas complètement satisfaisante pour ccp car il donne une équivalence qui est trop à grain fin. Nous introduisons une sémantique de transitions étiquetées et une notion de bisimilarité totalement abstraite à l'équivalence observationnelle en ccp. Lorsque l'espace d'état d'un système est fini, la notion ordinaire de bisimilarité peut être calculé par l'algorithme de partition de raffinement, mais, cet algorithme ne fonctionne pas pour la bisimilarité de ccp. Par conséquent, nous fournissons un algorithme que nous permet de vérifier bisimilarité forte pour ccp, en utilisant un pré-raffinement et une fonction de partition basée sur la bisimilarité irredondante. Bisimilarité faible est une équivalence comportementale obtenue en prenant en compte uniquement les actions qui sont observables dans le système. Typiquement, le raffinement de partition standard peut être utilisé pour décider bisimilarité faible simplement en utilisant la réduction de Milner allant de faible à forte. Nous démontrons que, en raison de ses impliquées transitions étiquetées, la technique mentionnée ci-dessus ne fonctionne pas pour ccp. Nous donnons une réduction qui nous permet d'utiliser cet algorithme pour ccp pour décider cette équivalence.

Recently observed cumulation of unexpected collapses of slope-distant waste dumps in lignite mining areas of eastern germany re-initiated research of soil liquefaction. Especially it turned the question of internal initials that correspond to water rise. Parallel to laboritory tests and field experiments a micromechanical model should be developed, which can reproduce processes in the soil during saturation. In first approximation a partly saturated soil consists of two phases: the soil particles and the pore fluid. For micromechanical modeling a coupling of discontinuum particles) and continuum (fluid) is required. The soil particles can be simulated with the Discrete-Element-Method (DEM). For the pore fluid, which is assumed to be a mixture of liquid and gaseous fractions, Pore scale model with Finite Volumes (PFV) is used. At low water content liquid bridges (meniscii) arise between the particles that cause an apparent cohesion. The effect of the meniscii is considered by a correspondingly contact law in the DEM model. During the saturation of a soil both, cohesive effect and fluid bulk modulus, are reduced. In addition buoyancy acts on the particles during the process. The micromechanical modeling approach has the advantage, that just a few model parameters are needed. The numerical model shows pore fluid pressures during saturation process, that leads to a reduction of effective stress. It is investigated how much the reduction is regarding porosity, degree of saturation, stress conditions and grain shape. Furthermore the influence of model parameters as well as hydromechanics is investigated. The investigations are completed with another series of experiments under special conditions like integration of macropores, horizontal fixed model boundaries and abrupt saturation.

Recently observed cumulation of unexpected collapses of slope-distant waste dumps in lignite mining areas of eastern germany re-initiated research of soil liquefaction. Especially it turned the question of internal initials that correspond to water rise. Parallel to laboritory tests and field experiments a micromechanical model should be developed, which can reproduce processes in the soil during saturation. In first approximation a partly saturated soil consists of two phases: the soil particles and the pore fluid. For micromechanical modeling a coupling of discontinuum particles) and continuum (fluid) is required. The soil particles can be simulated with the Discrete-Element-Method (DEM). For the pore fluid, which is assumed to be a mixture of liquid and gaseous fractions, Pore scale model with Finite Volumes (PFV) is used. At low water content liquid bridges (meniscii) arise between the particles that cause an apparent cohesion. The effect of the meniscii is considered by a correspondingly contact law in the DEM model. During the saturation of a soil both, cohesive effect and fluid bulk modulus, are reduced. In addition buoyancy acts on the particles during the process. The micromechanical modeling approach has the advantage, that just a few model parameters are needed. The numerical model shows pore fluid pressures during saturation process, that leads to a reduction of effective stress. It is investigated how much the reduction is regarding porosity, degree of saturation, stress conditions and grain shape. Furthermore the influence of model parameters as well as hydromechanics is investigated. The investigations are completed with another series of experiments under special conditions like integration of macropores, horizontal fixed model boundaries and abrupt saturation.:Einleitung Literaturauswertung Numerische Modellierung Modellstudien Ergebnisauswertung Zusammenfassung Extended summary