Plutonites are part of the set of crystallines compose the Precambrian basement. Their study is capital because it allows participating in the debates on the geodynamic evolution of the West African craton. This study...Plutonites are part of the set of crystallines compose the Precambrian basement. Their study is capital because it allows participating in the debates on the geodynamic evolution of the West African craton. This study concerns granitoids and dioritoids of the North-East of Côte d’Ivoire located in the Man-Leo ridge structured by Eoeburnean magmatism. The petrographic and geochemistry constraints make it possible to say that these rock formations have evolved by the process of fractional crystallization. They have a hybrid origin (mantle and crust), metaluminous to peraluminous highlighted by geochemistry. Concerning the geotectonic context, these plutonites of the Baoulé-Mossi domain are emplacement in a context of subduction more precisely in a context of volcanic arc.展开更多
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed computing. FLP provides support for defi...We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed computing. FLP provides support for defining one's own abstractions over a constraint domain in an easy and comfortable way, whereas CCS is employed to solve systems of mixed constraints by iterating specialized constraint solving methods in accordance with a well defined strategy. The system is a distributed implementation of a cooperative constraint functional logic programming scheme that combines higher order lazy narrowing with cooperative constraint solving. The model takes advantage of the existence of several constraint solving resources located in a distributed environment (e.g., a network of computers), which communicate asynchronously via message passing. To increase the openness of the system, we are redesigning CFLP based on CORBA. We discuss some design and implementation issues of the system.展开更多
文摘Plutonites are part of the set of crystallines compose the Precambrian basement. Their study is capital because it allows participating in the debates on the geodynamic evolution of the West African craton. This study concerns granitoids and dioritoids of the North-East of Côte d’Ivoire located in the Man-Leo ridge structured by Eoeburnean magmatism. The petrographic and geochemistry constraints make it possible to say that these rock formations have evolved by the process of fractional crystallization. They have a hybrid origin (mantle and crust), metaluminous to peraluminous highlighted by geochemistry. Concerning the geotectonic context, these plutonites of the Baoulé-Mossi domain are emplacement in a context of subduction more precisely in a context of volcanic arc.
基金Supported in part by the Ministry of EducationCulture+2 种基金SportsScience and TechnologyGrant-in-Aid for Scien-tific Research (B)
文摘We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed computing. FLP provides support for defining one's own abstractions over a constraint domain in an easy and comfortable way, whereas CCS is employed to solve systems of mixed constraints by iterating specialized constraint solving methods in accordance with a well defined strategy. The system is a distributed implementation of a cooperative constraint functional logic programming scheme that combines higher order lazy narrowing with cooperative constraint solving. The model takes advantage of the existence of several constraint solving resources located in a distributed environment (e.g., a network of computers), which communicate asynchronously via message passing. To increase the openness of the system, we are redesigning CFLP based on CORBA. We discuss some design and implementation issues of the system.
