محمد شكور, محمد عدنان اهريوة

كلية الطب والصيدلة - مراكش-جامعة القاضي عياض · المغرب

ن . بوبيكة, ياسمين دهاشي

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

Notre travail port sur l’étude de l’entomofaune sur différentes variétés d’olivier, il estmené dans la région d’Ath mansour sur une oliveraie hétérogène composé de trois variétés différentes (Chemlal, Sigoise et Azeradj), Des pièges de type plaques jaunes engluées sont utilisée pour la récolte des échantillons, 9 sorties sont effectués durant la période d’étude qui s’étale de mois d’octobre jusqu’au mois de décembre. L’inventaire a relevé une richesse totale de 8 espèces. Bactrocera oleae est la plus dominante avec 2 581 individus, dont 1 422 sont capturées sur la variété Sigoise qui présente une certaine sensibilité envers ce ravageur.On a pu identifier 5 ennemis naturels, parmi laquelle le parasitoïde de B. oleae, Psyttaliaconcolor, est l’espèce la plus dominante avec un effectif de 315 individus.

Bouchaib Bencharki, Hafsa Houmairi

كلية العلوم والتقنيات - سطات-جامعة الحسن الأول - سطات · المغرب

الطيب رابحي, جمال الدين بوقاف , محمد شوتلة

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

جاءت هذه المذكرة في ثلاثة فصول حيث تكلمنا عن الفسق ومفهومه وكذلك مفهوم الأحكام الفقهية وأنواعها كمبحث تمهيدي ثم معايير تحديد الفسق كفعل المنهيات وترك المأمورات وفي الفصل الأخير آثار الفسق في الأحكام الفقهية وكأمثلة للدراسة أثره في باب العبادات وأثر الفسق في باب النكاح وأثر الفسق في باب المعاملات وتصرفات الفاسق في هذا الباب وفي الأخير قضاء الفاسق : شهادته وولايته

Mahi Brahim, Mohammed El Amine Sedjelmaci

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

Les activités métacognitives et métalinguistiques donnent accès aux représentations des connaissances sur les langues apprises et leur description dans une langue cible. L’exploration du registre des métaconnaissances d’analyse d’objets linguistiques de l’apprenant d’une deuxième langue constitue l’objet d’étude dans cette recherche. La thématique qui y est abordée concerne l’étude de l’activité cognitive de l’apprenant dans la construction des connaissances métacognitives et métalinguistiques (déclaratives et procédurales). L’objectif étant de montrer la place et l’importance déterminante des activités métacognitives et métalinguistiques dans le processus d’acquisition. L’appropriation d’une langue étrangère ne semble pas pouvoir se faire par la seule accumulation de l’input naturel (mémorisation de séquences verbales par le processus d’habituation), elle passerait nécessairement chez l’apprenant par la présentation explicite verbalisée des phénomènes langagiers (l’aspect structurel des connaissances sur la langue), de leur fonctionnement (l’aspect fonctionnel des connaissances sur la langue) et celle du fonctionnement de l’utilisateur potentiel (l’aspect stratégique des connaissances sur la langue). La progression de la maîtrise de la langue (production/compréhension), ne pouvant être systématiquement imputable à une régulation compensatoire basée sur un système d’habitudes verbales s’installant progressivement, semble être plus fortement imputable au développement du système de savoir de l’apprenant. L’acquisition d’une langue étrangère semble mieux se concevoir en termes d’un accroissement et d’une complexification graduels des structures de savoir sur la langue apprise (représentations figuratives vs représentations opératives des connaissances linguistiques analysés) et de leur incidence sur le développement de l’expertise en langue cible.

مسعود بن مويزة, عبيرات مقدم

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

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

سعاد بن صلوة , سمية بن جدو , لعكيكزة ياسين

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

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

حسنية زايدي, عبد الاله عبد القادر

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

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

عائشة بخالد , عبد القادر عمير

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

تهدف هذه الدراسة إلى قياس الوضع المالي للمؤسسة الوطنية لخدمات الآبار خلال 2012-2014 وذلك من خلال حساب المؤشرات والنسب المالية باستخدام الميزانية الوظيفية . وقد وجدنا أن الوضع المالي لهذه المؤسسة جيد خلال فترة الدراسة .حيث خلصت هذه الدراسة إلى مجموعة من النتائج من أهمها:- يعتبر التحليل وسيلة فعالة وأداة لتشخيص الوضعية المالية للمؤسسة الوطنية لخدمات الآبار ، لأنه يساعد المسير المالي على تشخيص الحالة المالية لمؤسسة والكشف عن سياستها والظروف التي تمر بها المؤسسة ؛- يساعد التحليل المالي على معرفة نقاط الضعف لتفاديها ونقاط القوة لتعزيزها وتقويمها.Cette étude vise à mesurer la situation financière de la Fondation nationale pour des services bien par le biais de 2012-2014 et le calcul des indicateurs et ratios financiers à l’aide de budget fonctionnel . Nous avons constaté que la situation financière de l’institution au cours de la période d’étude.Donc cette étude a conclu qu’un jeu de résultats :- L’analyse est un outil efficace pour le diagnostic de la situation financière de la Fondation nationale pour les services de bien, car il évite le chemin d’accès financier pour diagnostiquer la situation financière de l’institution et de la politique sur la divulgation et les circonstances de l’entreprise ; -Analyse financière contribue à trouver les faiblesses de l’évitement et points forts de renforcement et redressé.

Laid Kahloul , Siham Benaoune

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

Nous nous sommes intéressés, au cours de ce mémoire, à l'étude formelle d'un protocole utilisé dans l’internet des objets qui est le protocole MQTT (Message Queue Telemetry Transport). Cette étude fait appel aux méthodes formelles qui sont exploitées pour assurer la fiabilité des systèmes conçus ou déjà réalisés. Ces méthodes offrent en même temps: des langages pour la spécification des systèmes, des langages pour la spécification des propriétés que l'utilisateur cherche à avoir, et en fin les algorithmes permettant de vérifier ces propriétés sur ces systèmes. Parmi ces méthodes formelles pour la vérification: Model-checking statistique (Stastical Model Checking SMC) permet de rendre certaines propriétés décidables, en limitant l'exploration de l'espace d'états d'un système. Cette méthode permet aussi de produire des probabilités sur la satisfaction ou non de certaines propriétés et donc peut être considérée comme une solution là où le model-checking classique se rend incapable.Ce travail était réalisé en quatre phases:1. Etudier les caractéristiques essentielles et les notions fondamentales des protocoles de l’internet des objets;2. Explorer le domaine des méthodes formelles;3. Etudier les caractéristiques essentielles et les notions fondamentales du protocole sujet de cette étude MQTT V.3.1.14. Modéliser et vérifier le protocole choisi en évaluant ses performances avec SMC-UPPAAL.Nous avons rencontré plusieurs obstacles mais, la description du protocole par ses auteurs était trop riche d’après notre point de vue et les forums en répondus à certaines lacunes.Nous sommes limités dans le développement à construire un prototype qui permet de traduire les variables MQTT et de générer un squelette de modélisation UPPAAL.Le présent travail nous a donné plusieurs idées à développer dans le futur et comme perspectives, nous proposons : • D’améliorer le modèle proposé en prenant en considération les fonctions non modélisé comme le filtrage des topics ou la gestion de la retransmission dans le cas de non réception d’acquittement • D’Etudier approfondiment des algorithmes exploités dans l'outil UPPAAL et proposition d'amélioration possible, ou l'implémentation d'autres algorithmes non encore implémentés; par éxemple • D’étendre ce travail pour pouvoir déceler les fragments de modélisation qui sont la source au non satisfaction des propriétés à vérifier, et pour qu’il puisse prendre en compte d’autres fragments de modélisations que nous n’avons pas pris en considération et de même pour élargir les classes des propriétés à vérifier. • Vérifier d'autres protocoles en utilisant le modèle checking statistique; et surtout établissement de comparaison raffinée avec d’autres protocoles de l’IOT comme COAP (Constrained Application Protocol) qui tente d’adapter HTTP a l’IOT..À la fin de ce mémoire, nous considérons que nous avions développé plusieurs acquis sur le domaine des techniques de vérification formelle.