يسهم تقدير الجريان السطحي للمياه بأحواض التصريف في مدى استثمارها المجالات المختلفة للاستخدامات البشرية، فضلاً عن أخطار السيول على الممتلكات و الارواح وضع الخطط للحد منها. من هذا المنطلق, تم بهذه الدراسة اجراء التحليل الهيدرومورفومتري لحوض وادي القطارة الواقع بالجنوب الشرقي لمدينة بنغازي - ليبيا، باستخدام تقنيات الاستشعار بعد ونظم معلومات الجغرافية ونموذج الهيئة الامريكية لحماية الاراضي (SCS). أه...

هدف: رشته مهندسی عمران از رشته‌های پرطرفدار می‌باشد که دانش‌آموختگان آن مسئولیت‌های زیادی در سازندگی و آبادانی کشور دارند بر همین اساس ضرورت دارد برنامه‌ درسی منجر به نتایج مطلوب گردد. راستا، هدف پژوهش حاضر، شناسایی برنامه کارشناسی ارزیابی وضعیت موجود ‌درسی این بعد بوده است.مواد روش‌ها: رویکرد تحقیق، ترکیبی اکتشافی متوالی نوع ابزارسازی است. روش تحقیق کیفی مطالعه، پدیدارشناسی بخش کمی پیمایشی حاض...

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

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

پایش دمای سطح زمین (LST)، که یکی از پارامترهای مهم زیست‌محیطی محسوب می‌شود، تا کنون با استفاده سنجنده‌های سنجش دوری دارای توان تفکیک زمانی بالا، همچون سنجندة مادیس (توان روزانه و مکانی یک کیلومتر)، به‌طور گسترده‌ای صورت گرفته است. مهم‌ترین مشکلات این سنجنده‌ها پایین‌بودن آنهاست کارآیی‌شان را، در مواردی شناخت آتش مناطق جنگلی مطالعة جزایر گرمایی شهری، محدود کرده مقابل، سنجنده‌هایی ASTER 90 متر شا...

This paper deals with the description in E-Lotos of the asynchronous Link layer protocol of the Ieee-1394 Standard and its veriication using model-checking. The E-Lotos descriptions are based on both the standard and the Crl description written by Luttik. The veriications are performed using the Cadp (CCsar/Ald ebaran) toolbox. We translate the E-Lotos descriptions in Lotos using the Traian too...

The proposed ISO standard formal description technique E-LOTOS is used to describe a leader election protocol (that of the IEEE 1394 serial multimedia bus), allowing illustration of the new aspects of the language, particularly time and parallelism.

The European project INTEGRAL aims to build and demonstrate an industry-quality reference solution for DER aggregation-level control and coordination, based on commonly available ICT components, standards, and platforms. To achieve this, the Integrated ICT-platform based Distributed Control (IIDC) is introduced. The project includes also three field test site installations in the Netherlands, S...