Abdia Hamdani, Rosa Rebouh

كلية الرياضيات وعلوم الحاسب-جامعة ابن خلدون – تيارت · الجزائر

Analyzing and verifying a complex web service composition permits giving answers about their correctness, reliability and safety. Indeed, (Model-Checking: "check on the model"), is a very well known method to verify the qualitative (e.g.: state accessibility, liveness, blocking, etc...) as well as the quantitative properties (e.g.: response time) on the model. The Petri net formalism and its extensions are widely used in the literature for their important number of advantages as: (graphical and intuitive representations, abundant analysis techniques...etc.). We are interested in the Petri net formalism as a modelling tool, extended to time constraints. Because of the infinite state space of the model, many standard methods for the state space abstraction are used, gathering a set of states sharing some properties and based on the State Class formalism. (TINA: "TIme Network Analyzer") is one of the most known tools for this end. Finally, analysing and verifying qualitative and quantitative properties on the model as well as on the system itself became possible.

احمد عبدالعزيز عرابي, وائل بن احمد بن رمضان الهمص

كلية الشريعة والدراسات الإسلامية-جامعة أم القرى · السعودية

كریمة منصور, جازية فرقاني

كلية الآداب والفنون-جامعة وهران 1 - أحمد بن بلة السانية · الجزائر

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

كريمة طارد, فاطمة عامري, قندوز محمود

كلية العلوم الإنسانية والاجتماعية-جامعة ابن خلدون – تيارت · الجزائر

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

ريم سليم صالح, عدنان غانم, علي كنعان

كلية الاقتصاد-جامعة دمشق · سوريا

Dzair Bouzid, Imane Khial

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

Aborder l'évaluation formative des apprentissages signifie s'engager dans un domaine très vaste .Elle concerne aussi bien l'apprenant, l'enseignant, la matière à enseigné, les conditions d'apprentissages Notre étude a pour objet de la réalisation de l'apport de l'activité d'évaluation formative introduite dans le programme de 4éme année moyenne, cette activité a suscité plusieurs interrogations de la part des enseignants sur la manière dont il faut l'employer .Notre objectif consiste donc à mettre une démarche au service de l'apprenant. Notre travail relève de la didactique de l'écrit ,pour cela ,nous cela ,nous avons fait appel dans la 1ére partie de notre travail à des concepts faisant l'objet d'étude dans ces domaines de recherche .Dans la 2éme partie nous avons présenté les interactions lors du déroulement de l'activité de production écrite et les conditions dans lesquelles nous avons recueilli notre corpus pour vérifier les hypothèse .Le corpus consiste l'analyse des copies des apprenants et l'analyse d'un questionnaire destiné aux enseignants ,ces outils étant données des résultats quantitatives et qualitatives au niveau d'amélioration des écrits des apprenants .

Abderrazak Allali, Karim Belhout, Tarek Badis

معهد الطيران ودراسات الفضاء-جامعة سعد دحلب - البليدة · الجزائر

سامية شويعل, آسية بوخراز

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

هدفت الدراسة الحالية إلى التعرّف على فعالية برنامج علاجي لاضطرابات الإدراك البصري ومدى مساهمته في تنمية مهارتي القراءة والكتابة لدى مجموعة من التلاميذ الذين يُعانون من صعوبات تعلم القراءة والكتابة، حيث تألفت مجموعة البحث من 120 تلميذ متمدرسين بالمستوى الثالث والرابع ابتدائي من كلى الجنسين، اختيروا بطريقة قصدية من المجتمع الأصلي الذي يُمثل أربع مدارس ابتدائية بالمقاطعة التربوية الأولى لمدينة براقي، تمّ تطبيق المنهج شبه التجريبي ذو المجموعتين الضابطة والتجريبية، وكذا ذو التصميم القبلي والبعدي للمجموعة الواحدة، مع استخدام أدوات البحث التي تمثلت في كل من اختبارات القراءة للباحثة غلاب قزادري صليحة واختبار الكتابة للباحثة بوزيد صليحة واختبار الإدراك البصري للباحث السيد عبد الحميد سليمان السيد، واختبار الذكاء "رسم الرجل" لفلورانس جودنوف، بالإضافة لبطاقات ملاحظة خاصة بصعوبات القراءة وصعوبات الكتابة المصممة في الدراسة الحالية من إعداد الباحثة، وكذا البرنامج العلاجي المصمم من طرف الباحثة وهذا لعلاج اضطرابات الإدراك البصري والتخفيف من حدة صعوبات تعلم القراءة والكتابة لدى هؤلاء التلاميذ، حيث تمّ جمع المعلمات ومعالجتها إحصائيا اعتماداً على نظام رزمة الإحصاء للعلوم الاجتماعية spss وذلك باستخدام اختبار "ت" لمجموعتين مستقلتين وكذا لمجموعتين مترابطتين

Bachir Melbouci , Taous Kasmi

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

Dans la réalisation des couches des chaussées, il est nécessaire de choisir des matériaux, qui en plus de leur dureté, ils doivent présenter une certaine compacité qui leur permet unemeilleure portance. Cette compacité dépend essentiellement de la taille, la forme et la mise enplace des granulats. Ce travail présente une étude comparative de la compacité et la portance de quatremélanges granulaires, et cela en se basant sur les résultats d’une série d’essais réalisée auniveau du laboratoire de la mécanique des sols du département de génie civil.

أمينة جني, عبد القادر بوغازي

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

إن أهم میزة تمتاز بها الدولة الحدیثة أنها دولة قانونیة تسعى إلى فرض حكم القانون على جمیع الأفرادفي سلوكهم ونشاطهم، كما تفرضها على جمیع هیئات الدولة وسائر مرافقها العامة، ومن هنا تتجلى لنا العلاقةبین مفهوم الدولة القانونیة ومبدأ المشروعیة، الذي یقوم على أساس وجود قواعد صارمة تلتزم الإدارة بإحترامهاوم ا رعاتها في تصرفاتها. فمن واجب الإدارة التقیّد بأحكام القانون في أعمالها منعا للتعسف في إستخدام سلطتهاوهذا لضمان الحمایة الكافیة لحقوق الأفراد وحریاتهم. فتمحور الموضوع حول الرقابة على القرار الإداري و تجسید لمبدأ المشروعیة أم تضیق لحریة الإدارة