Mounira Belmesk

كلية المعلوماتية والالكترونيات-جامعة العلوم والتكنولوجيا هواري بومدين - الجزائر · الجزائر

Le travail que nous présentons dans celle thèse se place au confluent de deux domaines: d'une part, la sémantique de la programmation logique et d'autre part, la sémantique du parallélisme. Nous avons présenté plusieurs sémantiques "logiques" dans un cadre clos et étudié les propriétés algébriques des équivalences engendrées par rapport à une algèbre de programmes logiques. Nous avons par la suite défini une nouvelle équivalence dont l'avantage est de préserver les équivalences basées sur les succès et les échecs dans les programmes logiques. L'hiérarchisation de toutes ces équivalences a été effectuée. Dans le cadre d'un modèle de graphe, nous avons défini μn système de transition modélisant un programme logique. Certaines équivalences ont été redéfinies à l'aide des équivalences issues des modèles de graphe. · · · Nous proposons ensuite une algèbre de processus HAL (Herbrand Agent Langage). Plusieurs sémantiques ont été définies pour cette algèbre. Chacune d'elle, donne une expressivité différente à HAL. Dans la première, les processus communiquent par échange de messages. Dans la deuxième les processus communiquent par échange de messages et par partage de variables. Cette algèbre a pour avantage de généraliser la notion de communication en utilisant l'unification, les termes échangés ne sont pas forcerment des termes clos. Cette généralisation permet d'utiliser HAL comme outil de spécification de machines à inférence parallèles dans plusieurs applications telles que la déduction automatique, la réécriture parallèle ... etc. Enfin nous utilisons HAL pour la spécification du parallélisme dans la programmation logique.

سيدي محمد زهير, فاطمة الزهراء العوان

كلية الآداب والعلوم الإنسانية - سايس - فاس-جامعة سيدي محمد بن عبدالله - فاس · المغرب

لؤي عبد الهاني السويدي, مصطفى حسن هادي

كلية التربية للعلوم الصرفة-جامعة بابل · العراق

The goal of this work is to recall some types of weak open sets, prove some of its properties and use them to define new kinds of separation axioms. Let us state below some of our important main theorems: 1. Let (𝑋,𝜎) and (𝑌,𝜏) be two topological spaces satisfy the 𝜔−condition then the map 𝑓:(𝑋,𝜎)⟶(𝑌,𝜏) is continuous if and only if it is 𝜔−continuous. ( This result is not true without 𝜔−condition ). 2. Let (𝑋,𝜎) and (𝑌,𝜏) be two topological spaces satisfy the 𝜔−𝐵𝛼−condition then the map 𝑓:(𝑋,𝜎)⟶(𝑌,𝜏) is continuous if and only if it is 𝛼−𝜔−continuous. 3. Let (𝑋,𝜎) and (𝑌,𝜏) be two topological spaces satisfy the 𝜔−𝐵−condition then the map 𝑓:(𝑋,𝜎)⟶(𝑌,𝜏) is continuous if and only if it is 𝑝𝑟𝑒−𝜔−continuous. 4. Let (𝑋,𝜎) and (𝑌,𝜏) be two door topological spaces and 𝑓:(𝑋,𝜎)⟶(𝑌,𝜏) be a map, then 𝑓 is 𝑝𝑟𝑒−𝜔−continuous if and only if it is 𝜔−continuous. And 𝑓 is 𝛽−𝜔−continuous if and only if it is 𝑏−𝜔−continuous. 5. Let 𝑓:𝑋 ⟶𝑌be an 𝜔−continuous map from the 𝜔−compact space 𝑋onto a topological space 𝑌. Then 𝑌is 𝜔−compact space.( Similarly for the other types of the weak continuity and compactness). 6. Let (𝑋,𝜏) and (𝑌,𝜎) be two topological spaces and 𝑓:(𝑋,𝜏) ⟶(𝑌,𝜎) be injective𝜔−continuous map. If 𝑋 satisfies 𝜔−condition, and 𝑌 is ω−T2, then 𝑋 is also ω−T2. ( Also there are cases for the other types of the weak continuity and 𝑇2 spaces ). xii7. Let ( 𝑋,𝑇) be a topological spaece. 𝑋 is 𝜔−𝑇1 space if and only if for each 𝑥 ≠𝑦∈𝑋, {𝑥} is closed and {𝑦} is 𝜔−closed set in 𝑋. ( Also there are cases for the other types of the weak 𝑇1 spaces ). 8.a. If ( 𝑋,𝑇) is compact 𝜔−𝑇2 space, then it is 𝜔−𝑇3 space. b. If ( 𝑋,𝑇) is 𝜔−compact 𝜔⋆−𝑇2 space, then it is 𝜔⋆−𝑇3 space. 9. Let 𝑌 be a subspace of the topological space 𝑋. If 𝑋 is 𝜔−𝑇𝑖 for 𝑖=0,1,2, (𝜔−𝑟𝑒𝑔𝑢𝑙𝑎𝑟 ). Then 𝑌 is also. ( Also there are cases for the other types of the weak 𝑇𝑖 and 𝜔−𝑟𝑒𝑔𝑢𝑙𝑎𝑟 spaces ). 10.a. If ( 𝑋,𝑇) is 𝜔−compact 𝜔−𝑇2 space, then it is 𝜔−𝑇4 space. b. If ( 𝑋,𝑇) is 𝜔−compact 𝜔⋆−𝑇2 space, then it is 𝜔⋆−𝑇4 space. 11. Let 𝑌 be a closed subspace of the topological space 𝑋. If 𝑋 is 𝜔−𝑛𝑜𝑟𝑚𝑎𝑙. Then 𝑌 is also. ( Also there are cases for the other types of the weak 𝜔−𝑛𝑜𝑟𝑚𝑎𝑙 spaces )

Bousnina Ifrage, Dadamoussa MedL, Oulad Belkhir A

كلية علوم الطبيعة والحياة-جامعة قاصدى مرباح ورقلة · الجزائر

Cette étude vise à déterminer la situation de l’élevage dans les exploitations agricoles de mise en valeur dans la régiond’Ouargla. Pour ce faire on a adopté une approche systémiqueL’étude des résultats issus de ce diagnostic auprès de 38 exploitations comprennent deux parties :-L’appréciation des élevages dans les zones visitées : description de l’élevage en général et en particulier la conduite del’élevage.-Recensement de contraintes majeures de l’élevage dans la région d’étude.De la visite des exploitations, il ressort que la conduite actuelle des troupeaux est encore fort Traditionnelle. Dans lesexploitations de mis en valeur, les productions animales sont accessoires par rapport aux productions végétales.L'élevage dans la région reste limité par des contraintes technico-économiques et socioculturelles. chose qui s’estrépercutée sur le nombre des éleveurs et l’effectif des cheptels enregistrer.

حليمة بومزبر , عبد الكريم كيبش

كلية العلوم السياسية-جامعة صالح بوبنيدر - قسنطينة 3 · الجزائر

شكلت الثورات العربية للعام 2011 أو ما اصطلح عليه "الربيع العربي" علامة فارقة في التاريخ السياسي للعالم العربي، عندما أطاحت ببعض الأنظمة التسلطية التي استمرت في الحكم لعقود طويلة، جراء زخم المطالبات بالتغيير الجذري. تبحث هذه الأطروحة في طبيعة التغييرات التي أفرزتها الثورات العربية، بالوقوف عند الحالات الخاصة بـ تونس، مصر، وليبيا، وفق مقاربة مقارنة. تقدم الأطروحة شرحا تحليليا لطبيعة التغيير الناتج عن هذه الثورات، و للنتائج السياسية المتفاوتة وذلك على مستويات مختلفة متعددة. فعلى مستوى تحليل عوامل تغيير النظام؛ نجد ثمة عوامل داخلية للغاية، من شأنها تفسير الثورات العربية، و لا يمكن لعامل واحد أن يفسر هذه الثورات، إذ يوجد تفاعل بين أوضاع سياسية واجتماعية و اقتصادية و ثقافية. و مع ذلك فإن الأجدى التأكيد على أن كل حالة تنطوي على نسق مختلف من العناصر المتفاعلة؛ في كل حالة تتفاعل شروط مختلفة استناد إلى ما امتلكته من تاريخ تأسيسي فريد و تركيبة اجتماعية خاصة و قوى توازنها السياسية. و رغم ذلك فلا يمكن إنكار أهمية البعد الخارجي في الثورات العربية إقليميا و دوليا، وإن لم يكن هذا البعد مشجعا على الثورة، فإن له آثاره الواضحة في المراحل اللاحقة عن الحدث الثوري. وعلى مستوى تحليل مسارات الثورات العربية؛ نجد تفاوتا في مجرى الأحداث بين الحالات الدراسية، مرده إلى مجموعة من العوامل أهمها: مستوى التعبئة الجماهيرية، استقلالية المؤسسة العسكرية، القوى البنيوية و الفاعلين الرئيسيين، العامل الخارجي. أما على مستوى تحليل نتائج الثورات العربية، فقد أفضت الموجة الأولى من الثورات إلى نتائج متباينة؛ انتقال سلس نسبيا في تونس، عودة التسلطية في مصر، و فشل الدولة في ليبيا، و مع ذلك يجب فهم النتائج ضمن إطار زمني طويل الأمد، فالتغييرات الأعمق تستمر في التكشف بطرائق لا يمكن التنبؤ بها، بالنظر إلى الإمكانات التي تفتحها التغييرات البنيوية الكامنة عميقا والطارئة على البيئتين المحلية والإقليمية.

Juba Benalloua, Nacer-Eddine Mouffok, Yacine Chamen

كلية العلوم الاقتصادية والتجارية والإدارة-جامعة عبد الرحمان ميرة - بجاية · الجزائر

Le commerce extérieur représente l'ensemble des accords commerciaux (importation et exportation) réalisées entre un pays X et le reste du monde. Ces transactions produisent un mouvement important de flux réels et monétaires, ce qui les expose à de nombreux risques ; d'où la nécessité d'utiliser des techniques de paiement proposant un maximum d'assurance aux importateurs et aux exportateurs.Notre étude porte initialement sur la définition de l'allure relative au commerce extérieur, les exigences du contrat international et les techniques de paiement utilisées au niveau mondial, en mettant l'accent sur le crédit documentaire. Le but est de vérifier son efficacité en matière de garantie, coût, et évaluer ses avantages et inconvénients.Enfin, il s'est avéré que l'utilisation du crédit documentaire est relativement plus chère et plus complexe dans le financement du commerce international, surtout pour les PME, mais, ça présente plus de sécurité.

عطا البطحاني, وفاق بشرى

معهد الدراسات البيئية-جامعة الخرطوم · السودان

This study highlights the Socio-Health Impacts of the water projectsimplemented by Plan- Sudan organization in collaboration with ELTawilacommunity in White Nile state, which is going to be measured in twodimensions namely; the socio-economic impacts and the health impacts.There is recognizable degree of instability among the rural people due toshortage of drinking water during summer season. Moreover, the childrenaged 8-15years particularly girls, are found to be directly responsible forfetching water on behalf of their family that affects their schooling.The data collected using the questionnaire tested and fed to a personalcomputer using (SPSS) statistical package for social sciences. Descriptivestatistics as mean, frequency and cross tabulation used to analyze the data.Frequency distribution and descriptive statistic were calculated. Thesample size of these families was 105 respondents. The sample wasselected randomly after divided the village to five areas.The finding of this study was found that the water was unclean anduntreated, the percentage of water related disease has increased, thus thefamilies expenditure on health services increased. Families’ waterconsumption rate is significantly increased after the project. The projecthas positive change on minimizing the expenditure on water and providesthe stability of families and children.

Chalal Tachouaft, Talantikit

كلية العلوم الدقيقة-جامعة عبد الرحمان ميرة - بجاية · الجزائر

ans ce travail nous avons élaborés des couches minces de ZnS pur et de ZnS dopéavec des terres rares (Ce, La) par voie CBD, le dopage s’effectue à des compositionsdifférentes (1% à 10%). Les couches sont élaborées à 80 °C, pH=4 pendant 2 h.Nous avons fait varier certains paramètres (Température, Temps, pH etConcentrations) afin d’étudier l’influence de ces paramètres sur la qualité des dépôts ainsique sur les propriétés des couches minces. Nous avons donc déposé des couches de ZnS dopéà des températures et des concentrations différentes, à des pH et des temps de dépôt différents.La caractérisation des couches minces obtenues à été faite par la diffraction desrayons X (DRX), la microscopie à force atomique (AFM), le microscope électronique àbalayage (MEB), la spectrophotométrie UV-visible et l’infrarouge (FTIR). La DRX a permetde confirmer la formation de ZnS avec une structure cubique de type blende. L’AFM permetde visualiser la surface de nos échantillons et le MEB nous donne la micrographie de cesderniers. La caractérisation par spectrophotométrie UV-Visible des couches minces élaboréesnous montre les transmissions optiques en fonction de la longueur d’onde et l’analyse FTIRnous permet d’identifier les groupes fonctionnels adsorbants présents dans les échantillons.

Farid Libdiri , Hakima Metidji , Imane Zekoum

كلية علوم الطبيعة والحياة وعلوم الارض-جامعة اكلى محند أولحاج - البويرة · الجزائر

diabétiques de type 2, enregistrés durant l’année 2016 au niveau de l’hôpital MOHAMED BOUDIAF de Bouira . Les résultats de cette étude ont montré que la tranche d’âge la plus touchée par le diabète est celle de 60-80 ans avec une prédominance féminine où l’âge moyen des patients était de 68 ans, avec des cas extrêmes de 32 et 102 ans et une sexratio de 1. Nous avons constaté que 68% des patients étaient d’origine urbaine. Parmi eux, 50 % vivaient dans la ville de BOUIRA. 72% de nos patients sont mariés et 96% sont sans profession. La durée moyenne d’hospitalisation était de 14 jours. HTA est la complication prédominante. En plus du diabète, 20 % de nos patients sont atteints d’une maladie de SCA.Parmi les symptômes remarqués chez nos patients, la fièvre était la plus fréquente avec une récurrence de 12 %. Lamajorité a une glycémie supérieure aux normes et une HbA1c supérieure à 6.5%. Concernant les marqueurs rénaux tels que la créatinine et l’urée, 59% et 58 % respectivement ont un taux normal. D’autre part, 72 % des patients sont traitéspar insuline. Enfin, notons que dans l’ensemble, 6% des patients sont décédés.

محمد حسين طالب

جامعة أبو بكر بلقايد - تلمسان · الجزائر

La Radio cognitive étant une technologie nouvelle visant la résolution du problème de la pénurie du spectre, elle offre une variété de contexte d'étude dont la gestion coopérative du spectre et la connectivité font partie.La variance de la disponibilité du canal est un facteur décisive sur la qualité de la connectivité et la robustesse du réseau de la radio cognitive, afin de le bien gérer, le Clustering s'avère nécessaire. Autrement dit, former des Clusters permettra de former des réseaux de radio cognitive qui se composent de nœuds homogènes ce qui améliorera leurs coopérativités.Ainsi, pour notre modeste étude, nous nous sommes servis de la localisation comme critère de sélection dans deux algorithmes de Clustering basée sur K-means mais qui se servirons de la diffusion, la distribution et l'exécution parallèle, tout en optant pour une structuration de l'ensemble des nœuds selon un modèle de diffusion dans deux architectures différentes ; la première en étoile et la deuxième en anneau.Notre simulation approuve les résultats souhaités et obtenus de l'étude comparative, montrant un gain important en termes de temps d'exécution et en nombre de messages échangés. Finalement et comme perspective, nous pouvons améliorer notre travail en implémentant un algorithme de gestion de mobilité sachant que les nœuds radio cognitive sont en mouvement ce qui implique que le Clustering dois être maintenu en temps réel.La variance de la disponibilité du canal pour les nœuds radio cognitive dégrade la connectivité et la robustesse d'un réseau de radio cognitive, l'utilisation du "Clustering" est une approche efficace pour répondre à ce défi.Le Clustering permettra un accès coopératif au spectre; grâce à sa capacité de former des Clusters dynamiques qui assureront une meilleure connectivité et robustesse du réseau de radio cognitive.