Model-checking du délai dans les éléments réseaux

La responsabilité des routeurs s'engage lorsque les machines hôtes envoient leurs paquets dans le réseau. Les routeurs auront donc la fonction de transmettre ces paquets sur les liens pour les acheminer vers la destination déterminée. Cependant, comme le routeur traite les paquets séparément, la performance du routeur dépend donc du temps de traitement pour chaque paquet. Avec une charge de trafic, il est possible d'optimiser efficacement le traitement des paquets dans le routeur. Notre attention sera portée sur l'évaluation du délai de bout-en-bout dans le réseau End-to-End. Ce mémoire propose donc un modèle qui consiste à évaluer et vérifier les délais des paquets dans les routeurs par la méthode de vérification de modèles (Model-Checking). \ud ______________________________________________________________________________ \ud MOTS-CLÉS DE L’AUTEUR : vérification de modèles, Model-Checking, réseaux, routeur, délai

Managing nitrate pollution in a Tunisian irrigated area: A multi-criteria analysis approach

In Tunisia, the extension of irrigated area is justified by its important role in the development and diversification of agricultural production. Nevertheless, the strong intensification of the agricultural activities may lead to the pollution of underground water resources due to an excess use of fertilisers and other chemical products. In fact, the high nitrate concentrations observed in some Tunisian irrigated areas, are related to the excessive use of nitrate fertilizers in intensive agriculture. The objective of the present study is to implement decision-making methods allowing a better combination of factors production by optimization of an economic objective and an environmental objective. This research is based on multi-criteria modelling through the optimization of two conflict objectives: an economic objective as settled by farmer in the short or medium-run (Gross margin), and an environmental objective (nitrate pollution reduction) as a long-run objective of the decision maker in order to ensure the continuity of agriculture activities and ecosystems sustainability. Data were collected through a survey conducted in the irrigated area of Kalaât El Andalous in Tunisia with a sample containing 57 farms. Efficient solutions were obtained and compared through the "constraints", "NISE" and "compromises" methods. Main results obtained indicate a significant degree of conflict between these two objectives. Indeed the maximization of the total gross margin involves an increase in the degrees of nitrate pollution and conversely. Finally, some policy implications are presented.Nitrate pollution, environmental impact, multicriteria analysis, Environmental Economics and Policy,

Assessment of sustainability in organic and conventional farms in Tunisia: The case of olive-growing farms in the region of Sfax

This research has been carried out to study the sustainability of the Tunisian olive-growing farms and to compare the sustainability level of organic with conventional farms. A survey was conducted with 62 olive growers in the region of Sfax in Tunisia. First, a diagnosis of the situation of the farms was undertaken comparing between organic and conventional farms. Second, an empirical analysis was achieved to asses the sustainability of organic farms versus conventional farms following the French “IDEA” method developed by Vilain [1] 1. The “IDEA” indicators showed a greater ranking for the organic farms. The analysis indicated the sustainability of organic farming on the three scales adopted; ecological scale, through the soil fertility and reduction of pollution, socio-territorial scale through employment creation, reinforcement of the spirit of collective work and the products quality, and finally on the economic scale by enhancing profitability, responding to demand and prices allowing organic farming adopters to reach better incomes.sustainability, organic farming, Tunisia, Environmental Economics and Policy,

Synthesis and physico-chemical studies of a novel bis [3,5-diamino-4H-1,2,4-triazol-1-ium] dichloride monohydrate

The title new compound, (C2H6N5+)2, 2Cl−.H2O, contains two 3,5-diamino-4H-1,2,4-triazol-1-ium cations, two chloride anions and one water molecule. The crystal structure is stabilized by O - H···Cl, N - H···Cl, N - H···O and N - H···N hydrogen bonds, one of them being a three-center interaction. Strong π - π stacking interactions between neighboring triazolium rings are present, with a centroid - centroid distance of 3.338 (7) Å. The exocyclic N atoms are sp2 hybridized, as evidenced by bond lengths and angles, in agreement with an enamine-imine tautomerism. A dielectric spectroscopic study of the title compound was performed. The 13C CP-MAS NMR spectrum is in agreement with crystallographic data. The infrared spectrum has been recorded at ambient temperature and interpreted on the basis of literature data. The temperature dependence of the imaginary part of the permittivity constant was analyzed with the Cole - Cole formalism in the temperature range 325 - 375 K

The political economy of corporate governance, cost of equity, and earnings quality : evidence from newly privatized firms

Le contexte de privatisation a deux caractéristiques uniques. Premièrement, plusieurs études empiriques montrent que la majorité des transactions de privatisation sont partielles et le gouvernement reste un actionnaire dans la vaste majorité des firmes privatisées. Contrairement aux investisseurs privés, le gouvernent poursuit des objectifs politiques qui coincident rarement avec la maximisation des profits. Par conséquent, la privatisation nous offre un contexte unique qui nous permet d'investiguer les répercussions de l'intervention du gouvernement dans les firmes nouvellement privatisées sur leur qualité des bénéfices comptables et leur coût du capital-actions. Deuxièmement, le changement majeur dans la structure de propriété des firmes nouvellement privatisées qui est accompagné de problèmes d'asymétrie d'information sévères, nous offre aussi un cadre unique dans lequel nous pouvons investiguer les déterminants du cout du capital-actions et de la qualité des bénéfices. Dans le premier chapitre, nous examinons les déterminants politiques du cout de capital-actions. En utilisant un échantillon international de 126 entreprises en provenance de 25 pays et qui ont été privatisées durant la période 1987-2003, nous présentons des résultats suggérant que les firmes privatisées dans lesquelles le gouvernement maintient des droits de contrôle élevés enregistrent un cout du capital-actions élevé. Ce résultat a été trouvée après avoir contrôlé pour les déterminants au niveau de la firme et du pays du cout du capital-actions. Elle est cohérente avec l'hypothèse de l'interférence politique qui suggère que les actionnaires anticipent le risque d'intervention du gouvernement dans les opérations des firmes nouvellement privatisées et exigent une rémunération plus élevée pour investir dans les firmes privatisées où le risque d'expropriation par le gouvernement est élevé. Ce qui se traduit par une augmentation du cout du capital-actions. N ous trouvons aussi que le cout de capital-actions est significativement relié au système politique et à la stabilité du gouvernement. En particulier, nous trouvons que les firmes en provenance de pays plus démocratiques et de pays avec des gouvernements plus stables bénéficient d'un cout de capital-actions moins élevé. Globalement, notre étude montre que les droits de contrôle du gouvernement et ses caractéristiques politiques déterminent le cout du capital-actions des firmes nouvellement privatisées. Dans le deuxième chapitre, nous examinons comment l'État, les investisseurs institutionnels locaux et les investisseurs étrangers peuvent influencer la qualité des bénéfices des firmes nouvellement privatisées. En utilisant un échantillon unique de 174 firmes en provenance de 29 pays et qui ont été privatisées durant la période 1980- 2003, nous trouvons une évidence forte et robuste qui suggère que la qualité des bénéfices est négativement reliée au contrôle et à la propriété du gouvernement. En particulier, nous trouvons plus de gestion des bénéfices et moins de prudence comptable dans les firmes privatisées où les droits de propriété du gouvernement sont élevés ou dans lesquelles le gouvernement conserve le contrôle. Ce résultat qui est cohérente avec l'hypothèse d'interférence politique suggère que le gouvernement a des fortes motivations à manipuler les bénéfices afin de cacher les bénéfices politiques du contrôle. Nous trouvons aussi un résultat qui suggère que la propriété des investisseurs institutionnels locaux est associée avec une meilleure qualité des bénéfices comptables. En effet, nous trouvons que la propriété des investisseurs institutionnels locaux est associée avec plus de prudence comptable. Ce résultat est cohérent avec le point de vue qui considère que les investisseurs institutionnels jouent un rôle actif dans la surveillance des gestionnaires. De plus, nous rapportons une certaine évidence suggérant que la propriété des investisseurs étranges est associée avec plus de prudence comptable i.e., une meilleure qualité des bénéfices. Globalement, notre étude suggère que la qualité de l'information comptable des firmes privatisées est reliée à l'identité de ses nouveaux investisseurs

In-vitro antioxidant and anti-inflamatory activities of Pituranthos chloranthus and Artemisia vulgaris from Tunisia

Pituranthos chloranthus and Artemisia vulgaris L. are two of the most important aromatic and medicinal species from the Apiaceae and Asteraceae families, respectively. They are traditionally used in certain pathologies in which inflammatory processes are involved. The present study investigates the potential of aqueous extracts of Tunisian P. chloranthus and A. vulgaris as a natural alternative source of antioxidant and anti-inflammatory activities using in-vitro techniques. The antioxidant activities of aqueous extracts were evaluated through several assays: capacity for scavenging free radicals (ABTS, DPPH, hydroxyl, superoxide, nitric oxide); and total antioxidant capacity by ferric reducing power activity and inhibition of lipid peroxidation by thiobarbituric acid reactive species (TBARS) method. The anti-inflammatory activity was evaluated through the lipoxygenase (LOX) inhibitory activity. P. chloranthos aqueous extract presented higher concentration of total phenols than A. vulgaris extract, nevertheless higher capacity for scavenging ABTS, superoxide, hydroxyl. and NO free radicals. In the presence of liver homogenate, both extracts had poorer antioxidant activity than in the remaining lipid substrates. P. chloranthos extract had a higher ability for inhibiting lipoxygenase twice higher than A. vulgaris, while it had lower capacity for reducing Fe3+ than P. chloranthos extract. Our results suggest that there are differences of antioxidant activity between both samples, but also the strength for inhibiting the oxidation is highly dependent on the method used.info:eu-repo/semantics/publishedVersio

Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment

This work developed an automatic approach for the assessment of software reliability which is both theoretical sound and practical. The developed approach extends and combines theoretical sound approaches in a novel manner to systematically reduce the overhead of reliability assessment

Maximal non-Jaffard subrings of a field

A domain R is called a maximal non-Jaffard subring of a field L if R [contained in] L, R is not a Jaffard domain and each domain T such that R [contained in] T [contained in] L is Jaffard. We show that maximal non-Jaffard subrings R of a field L are the integrally closed pseudo-valuation domains satisfying dimv R = dimR+1. Further characterizations are given. Maximal non-universally catenarian subrings of their quotient fields are also studied. It is proved that this class of domains coincides with the previous class when R is integrally closed. Moreover, these domains are characterized in terms of the altitude formula in case R is not integrally closed. An example of a maximal non-universally catenarian subring of its quotient field which is not integrally closed is given (Example 4.2). Other results and applications are also given