2760 research outputs found
Sort by
Automatic lithofacies segmentation using the wavelet transform modulus maxima lines combined with the detrended fluctuation analysis
No full text
Experimental determination and modelization of sorption curves of origanum majorana and mentha pulegium leaves
No full textالسلطـة التقديريـــــة للقاضـــــي في إثبات الزواج وانحلال الرابطة الزوجية
No full text194 ص. : إيض. ; 30 س
Spécification formelle des systèmes adaptatifs
Get PDFLes systèmes logiciels adaptatifs modifient leur comportement seuls à travers des opérations de reconfigurations dynamiques telles que l’insertion, la suppression et le remplacement de composants et/ou de connexions entre ces composants en utilisant des mécanismes de reconfiguration. Afin d’assurer la correction du comportement de ces systèmes pendant et après l’adaptation, nous proposons dans ce mémoire une méthode de modélisation et de vérification formelle permettant au concepteur de modéliser ces systèmes, de spécifier ses propriétés et de les vérifier. La méthode proposée s’articule autour de deux approches. Dans la première, nous proposons un modèle pour représenter un système adaptatif par composant, en utilisant le formalisme de transformation de graphe et le formalisme fonctionnel, tout avec prise en compte des contraintes imposées au système (invariant, pré\post-conditions). Quant à la deuxième approche, elle permet de transformer le modèle semi-formel, construit par la première approche, en une spécification formelle exprimée avec le langage Event-B. Nous automatisons cette transformation par la proposition de certaines règles. Pour valider notre spécification et garantir sa cohérence, nous utilisons le système de preuve de l’atelier
Sédimentologie, géométrie et signification géodynamique des dépôts de l'ordovicien supérieur de Bahar El Hammar : Ahnet Central
No full text138 p. : ill. ; 30 cmLe long de la bordure septentrionale du Hoggar, et particulièrement dans le bassin de l’Ahnet, la sédimentation détritique continentale de base, correspondant à la formation de l’Ordovicien Supérieur, est préservée dans des paléovallées limitées par des failles d’orientation moyenne N20°E, héritées de l’orogenèse panafricaine. Le remplissage sédimentaire de ces paléovallées est représenté par des dépôts gréseux et argiles microconglomératiques de moraines glaciaires marquant la base de la série, évoluant verticalement et latéralement vers l’Est à des grès fluviatiles. Ces dépôts continentaux, d’âge supposé ordovicien supérieur, passent verticalement à des grès tidaux et des grès et argiles subtidaux de la formation de grès d’El-Goléa, et la formation de la dalle de M’Kratta d’âge Ordovicien Terminal. La sédimentation détritique du bassin est replacée dans le cadre général de la glaciation Hirnantienne (Ordovicien terminal) dont une importante calotte glaciaire, qui recouvrait une grande partie du Gondwana, était centrée sur le pôle Sud. L’activation normale syn-sédimentaire de la faille bordière N20 °E de Bahar El Hamar (phase extensive N65°E et N100°E) contrôle la distribution des apports et des faciès détritiques continentaux supérieurs et marins, ainsi que la géométrie générale du bassin en demi-graben synclinal, provoquant des discordances progressives. Les dépôts fluviatiles de type torrentiel (les grès de Ramade ou dalle de M’Kratta et les grès d’El Goléa) sont associés à l’alternance de phases de glaciation - déglaciation alors que les sédiments supérieurs marins d’âge silurien inférieur (les argiles à Graptolithes) sont reliés à la fonte de la calotte glaciaire hirnantienne. L’ensemble de ces observations documente un exemple de bassin extensif postglaciaire, dont le remplissage sédimentaire est étroitement contrôlé par les interactions entre déglaciation et tectonique induite par les processus glacio-isostatique
Experimental study for the choice of a matrix epoxy resin for the elaboration of laminates
No full textThe performances of composite materials are influenced by the properties of the matrix used. The latter ensures the desired form and the protection of the reinforcements against the external attacks. This work comprises a comparative study between laminates developed with different matrices in epoxy resin. Their characterization has to choose the best matrix able to give best results in static and dynamic tests. The resins used are provided by Granitex Algéria and which are primary Médapoxy STR resins, Médapoxy inject 812 and Médapoxy Al resin. Hence, the results of tensile tests prove a fragility of the AL resin which influences the maximal constraint of traction compared to the STR primary resin. Furthermore, Inject 812 resin shows very limited mechanical properties due to the changes of the epoxy network with the addition of diluents which has significantly decreased its viscosit
Rheological study of composite materials based on thermosetting matrix and fillers mineral
No full textIn the development of composites materials, the matrix acts as a binder of different reinforcements can distribute the stress, provide good resistance to chemical structure and the desired shape to the final product. But there are still some drawbacks that arise in the physicochemical and mechanical properties of thermosetting matrices. Our job is to synthesize composite materials with news formulations of thermosetting matrices (Granitex products) by the incorporation of 40% of local mineral fillers. The latter give the matrix properties which it does not have, first, to reduce the cost of composite materials, and secondly, to improve implementation by increasing the viscosity and reducing the withdrawal to its minimum value. Rheological testing of mixtures prepared is made on the cone-plate viscometer, or the sample undergoes a shear in the conical space between the plane and the cone. The geometry of the cone - package ensures constant velocity gradient throughout the volume. The rheograms obtained, represents the evolution of the shear stress as a function of shear rate of resin mixtures containing 35% of mineral filler (pozzolan). The mineral filler increases significantly in rheological parameters, whatever the nature of the mineral filler. Compared to the control without charges, an increase of 60% of the shear stress and that of plastic viscosity were recorded for the epoxy resin. The software Rheowine viscometer, enabled us to model and identified the rheological behavior of these mixed with resin. The results obtained in this modeling, confirmed that the resin mixtures have shear-thinning rheological behavior and their behavior follows the model of the Ostwald of Wael