به منظور ارتقاء عملکرد شبکه های آبیاری، تأمین انعطاف پذیری بالاتر و بهبود روش های تحویل و توزیع، استفاده از سیستم های کنترل خودکار در شبکه های آبیاری مطرح می باشد. در این تحقیق، مدل ریاضی سرریز لولایی خودکار با منطق pid به صورت تلفیقی با مدل هیدرودینامیک icss، جهت کنترل سطح آب در کانال های آبیاری تهیه شد. این مدل بر روی کانال استاندارد شماره دو asce تحت گزینه بهره برداری تغییرات شدید دبی مورد آ...

بمنظور تولید سیستم های ایمنی-بحرانی ، استفاده از روشهای رسمی یک روش کارآمد و موثر در این زمینه می باشد. سیستم های تبدیل گراف نیزیکی از پرکاربردترین آنها در توصیف مدل ها است. یکی از موانع بر سر راه وارسی مدل ، مشکل انفجار فضای حالت است. این موضوع باعث شده است که استفاده از سیستم های تبدیل گراف، کارایی خود را در حل مسائلی که دارای فضای حالت گسترده ای هستند، از دست بدهند. لذا هدف از انجام این تحقی...

چکیده ماشین زمان دار ازجمله ابزارهای وارسی مدل است که برای وارسی سیستم های بلادرنگ مورداستفاده قرار می گیرد و همانند دیگر ابزارهای وارسی مدل با پدیده انفجار فضای حالت مواجه است. مبارزه با انفجار فضای حالت از اهمیت زیادی برخوردار است بخصوص در وارسی سیستم های بزرگ و پیچیده. در اینجا سعی بر آن است تا راهکاری برای مبارزه با انفجار فضای حالت ارائه شود. شیوه کار به این صورت است که با استفاده از تحل...

در این پژوهش رابطه ساختاری هوش هیجانی و شادکامی با واسطه گری خودکار آمدی و خودتنظیمی تحصیلی در قالب یک مدل علّی مورد بررسی قرار گرفت. برای انجام این پژوهش 356 نفر از دانشجویان مقطع کارشناسی دانشگاه های تهران با روش نمونه گیری خوشه ای تک مرحله ای انتخاب شدند. چهار مقیاس معتبر شامل: مقیاس شادکامی آکسفورد، مقیاس خودکار آمدی شرر، مقیاس هوش هیجانی شرینگ  و مقیاس خودتنظیمی تحصیلی ماگنو، جهت سنجش متغیر...

باتوجه به رشد روز افزون استفاده از سیستم های همروند، داشتن مدلی مناسب برای توصیف این گونه سیستم ها امری ضروری است. در این مقاله یک زبان مبتنی براکتور، که زبانی شیء بنیاد و همروند است انتخاب شده و معنای عملیاتی آن به شکل صوری در سیستم گذار پایه بیان گردیده است. به این ترتیب درک و استفاده از زبان و همچنین تشخیص هرگونه ناسازگاری و یا ابهام و نقص در آن آسان تر شده است. اشیا‎ء واکنشی مستقل از هم، اج...

چکیده محدودیت منابع موجود برای احداث شبکه‏های جدید آبیاری در دنیا و پایین‏بودن عملکرد اغلب شبکه‏های آبیاری از حد انتظارات، موجب توجه بیش از پیش به ارزیابی و ارتقاء عملکرد، بهبود مدیریت و افزایش بهره‏وری شبکه‏ها گردیده است. یکی از روش‏های پیشنهادی محققین در این خصوص بهبود روش‏های تحویل و توزیع و تأمین انعطاف‏پذیری بالاتر با ارتقاء سامانه‏های کنترل و خودکار‏سازی شبکه‏های آبیاری می‏باشد. قبل از ...

گسترش بی‌رویه شهر در اراضی پیرامونی از مهم‌ترین مسائل برای مدیران و برنامه‌ریزان شهرها در سطوح گوناگون است. از آن‌جا که امروزه بررسی روند تغییرات کاربری اراضی به کاربری شهری نقشی اساسی را در تصمیم‌گیری‌ها و برنامه‌ریزی‌های بلند مدت بازی می‌کند، پیش‌بینی روند گسترش شهر و مدل‌سازی آن در آینده با روش‌های دقیق جهت مدیریت و کنترل گسترش شهری بیش از پیش ضرورت می‌یابد. در این میان یکی از روش‌های مدل‌سا...

پژوهش حاضر از نوع کاربردی است و با روش پیمایشی - توصیفی انجام شده است. روش گردآوری داده های پژوهش، مشاهده از طریق سیاهه وارسی متشکل از 190 مولفه در 9 معیار می باشد که به سنجش، بررسی، شناسایی نرم افزاهای کتابخانه دیجیتال پرداخته است. روایی پژوهش به روش دلفی صورت گرفت و پایایی آن با استفاده از نرم افزار spss محاسبه شد. جامعه پژوهش را کتابخانه های دیجیتال عضو کنسرسیوم بین المللی حفاظت اینترنتی تشک...

اعتماد و شهرت، مفاهیمی شناخته‌شده در علوم اجتماعی هستند که امروزه در قالب سامانه‌های اعتماد، کاربردهای روزافزونی در علوم رایانه و ارتباطات پیدا کرده‌‌اند. این سامانه‌ها با ارائۀ مدلی محاسباتی و بر پایه مجموعه‌ای از تجربیات و توصیه‌ها، مقادیر اعتماد (یا شهرت که نوع خاصی از اعتماد است) را محاسبه می‌‌کنند. این مقادیر به موجودیت‌ها در شناسایی و سپس منزوی ساختن موجودیت‌های غیردرست‌کار جامعه یاری می‌...