48 research outputs found
Application de la méthode de vérification de modÚles sur des protocoles de communication JAVA
La vĂ©rification par exploration d'espace d'Ă©tats (model-checking) est une technique efficace pour vĂ©rifier des propriĂ©tĂ©s sur des systĂšmes. Plusieurs outils de vĂ©rification utilisent cette technique par l'intermĂ©diaire de spĂ©cifications exprimant le comportement des systĂšmes considĂ©rĂ©s. Ces spĂ©cifications reprĂ©sentent des modĂšles sur lesquels nous pouvons vĂ©rifier certaines propriĂ©tĂ©s. D'autres outils de vĂ©rification, utilisant la mĂȘme technique, opĂšrent sur la description des systĂšmes en agissant directement sur le code source. Notre travail est gĂ©nĂ©ralement inspirĂ© de la technique de vĂ©rification proposĂ©e par Godefroid dans son outil de vĂ©rification VERISOFT. Nous proposons l'application de cette technique sur des systĂšmes parallĂšles en agissant sur le code source dĂ©crivant ces systĂšmes. Pour ce faire, il faut prĂ©alablement adopter une technique permettant de construire l'espace d'Ă©tats d'un systĂšme Ă partir de sa description dans le langage de programmation. Ensuite, nous appliquons un algorithme de recherche dans l'espace d'Ă©tats permettant de vĂ©rifier certaines propriĂ©tĂ©s. Dans notre cas, les systĂšmes Ă vĂ©rifier ainsi que l'outil de vĂ©rification sont Ă©crits dans le langage de programmation JAVA
Singularly perturbed nonlinear ODEs and interior point optimizationalgorithms
This paper explores the continuous realizations of iterative processes emanating from interior point optimization algorithms, and their connection with nonlinear singularly-perturbed ordinary differential equations. This mathematical connection provides a theoretical framework for the analysis of the dynamical properties long known and exploited in interior point-based optimization techniques. In addition, this connection is used to show that the logarithmic barrier function is indeed, in some sense, optimu
Une nouvelle mĂ©thodologie prĂ©dictive fondĂ©e sur un modĂšle sĂ©quence Ă sĂ©quence utilisĂ© pour la transformation de la parole Ćsophagienne en voix laryngĂ©e
La situation sanitaire ne permettant pas dâorganiser les 9Ăšmes JournĂ©es de PhonĂ©tique Clinique dans les meilleures conditions (Ă savoir en prĂ©sentiel), le comitĂ© de programme a dĂ©cidĂ© dâannuler cette Ă©dition 2021 et dâorganiser Ă la place une journĂ©e dĂ©diĂ©e Ă la prĂ©sentation des contributions acceptĂ©es le 27 mai 2021.National audienc
First Report of three Tortricidae species on Quercus suber Forest in Northwestern Tunisia
The Tunisian fauna of Tortricidae has been poorly investigated despite the great economic importance
of this family. Sampling of Tortricidae insects was carried out in spring and summer 2010 in two cork
oak (Quercus suber) forestsin northwestern Tunisia. Three species are reported for the first time: Archips
xylosteana, Pammene splendidulana, Pammene giganteana. Their identification was achieved using
DNA barcodes
Le front de chevauchement au Jebel Bou El HanÚche-Kalùat Khasba (Tunisie centro-septentrionale). Mise en évidence à partir des donnés géologiques et géophysiques
In Central-northern Tunisia, the septentrional border of KalĂąat Khasba trough was considered as a normal fault which has functioned since the Cretaceous to Quaternary periods. A stratigraphic and geophysical recent study of the KalĂąat Khasba trough and the Jebel Bou El HanĂšche fold area, allows us to propose a new tectonic model. The Northern border was reactivated as reverse fault during the Eocene and was considered as a thrust front. A compressive Eocene event resulted in formation of Bou El HanĂšche fold (fault propagation fold) and in determination of a decollement level situated in the Triassic series. This deformation was controlled by the reactivation of normal faults inherited from a distensive aptien phase. The compressive deformation was amplified by the propagation of this fold and, when a ramp reached the competent carbonates series of late Campanian-lower MaĂąstrichtien times, the fold was stacked, involving a breakthrough steep limb and creating a second thrust on the North. The order of evolution of these events shows an out of sequence thrust.[fr] En Tunisie Centro-Septentrionale, la bordure septentrionale du fossĂ© de KalĂąat Khasba a Ă©tĂ© considĂ©rĂ© comme une bordure dâeffondrement Ă jeu normal, ayant fonctionnĂ©e du CrĂ©tacĂ© infĂ©rieur jusquâau Quaternaire. Une Ă©tude de terrain et lâinterprĂ©tation de profils de sismique rĂ©flexion permettent de proposer un nouveau modĂšle tectonique pour ce fossĂ© et du massif adjacent de Bou El HanĂšche. La bordure septentrionale du bassin de KalĂąat Khasba a Ă©tĂ© rĂ©activĂ©e Ă lâEocĂšne en faille inverse. Cette bordure a une valeur de front de chevauchement sur lequel se met en place le pli de propagation de Bou El HanĂšche par rapport Ă lâavant pays de la chaĂźne alpine. La compression EocĂšne entraĂźne la mise en place du pli de Bou El HanĂšche Ă la faveur dâun niveau de dĂ©collement situĂ© dans les sĂ©ries triasiques. Cette dĂ©formation est contrĂŽlĂ©e par un rĂ©seau de failles normales hĂ©ritĂ©es de la phase distensive prĂ©sumĂ©e aptienne. La dynamique compressive continue depuis lâEocĂšne engendrant la propagation de ce pli. Lorsque la rampe atteint les calcaires de la formation Abiod, le pli se bloque. Ce blocage entraĂźne la rupture du dressant et la crĂ©ation, vers le Nord du pli, dâun deuxiĂšme chevauchement, ce qui implique une Ă©volution du systĂšme de chevauchement dans une sĂ©quence inverse ou «out of sequence»
Le front de chevauchement au Jebel Bou El HanÚche-Kalùat Khasba (Tunisie centro-septentrionale). Mise en évidence à partir des donnés géologiques et géophysiques
K3VO2(V2As2O12)
A new potassium vanadium arsenate, tripotassium trivanadium bisÂ(arsenate) hexaÂoxide, K3VO2(V2As2O12), was synthesized by a solid-state reaction at 743â
K. The structure is built up from VO5 pyramids, VO4 tetraÂhedra (.m. symmetry) and AsO4 tetraÂhedra linked together by corner-sharing to form a three-dimensional framework. The two crystallographically independent K+ cations, one of which has .m. symmetry, are located in the interÂconnected tunnels running along the a and b directions
Application de la méthode de vérification de modÚles sur des protocoles de communication JAVA
La vĂ©rification par exploration d'espace d'Ă©tats (model-checking) est une technique efficace pour vĂ©rifier des propriĂ©tĂ©s sur des systĂšmes. Plusieurs outils de vĂ©rification utilisent cette technique par l'intermĂ©diaire de spĂ©cifications exprimant le comportement des systĂšmes considĂ©rĂ©s. Ces spĂ©cifications reprĂ©sentent des modĂšles sur lesquels nous pouvons vĂ©rifier certaines propriĂ©tĂ©s. D'autres outils de vĂ©rification, utilisant la mĂȘme technique, opĂšrent sur la description des systĂšmes en agissant directement sur le code source. Notre travail est gĂ©nĂ©ralement inspirĂ© de la technique de vĂ©rification proposĂ©e par Godefroid dans son outil de vĂ©rification VERISOFT. Nous proposons l'application de cette technique sur des systĂšmes parallĂšles en agissant sur le code source dĂ©crivant ces systĂšmes. Pour ce faire, il faut prĂ©alablement adopter une technique permettant de construire l'espace d'Ă©tats d'un systĂšme Ă partir de sa description dans le langage de programmation. Ensuite, nous appliquons un algorithme de recherche dans l'espace d'Ă©tats permettant de vĂ©rifier certaines propriĂ©tĂ©s. Dans notre cas, les systĂšmes Ă vĂ©rifier ainsi que l'outil de vĂ©rification sont Ă©crits dans le langage de programmation JAVA