به منظور اطمینان از صحت اجرای برنامه، رفتار برنامه مورد بررسی قرار می گیرد. با در اختیار داشتن کد اصلی برنامه می توان منطق برنامه را استخراج کرد و رفتار برنامه را شناخت. در این مقاله، دیدگاه ما نسبت به برنامه ها به صورت جعبه سیاه است، بنابراین از منطق اجرایی برنامه، اطلاعی در دست نیست. با این حال سعی شده است منطق اجرایی برنامه از روی اجراهای متعدد و موفق برنامه و ثبت فراخوانی های سیستمی تولید ش...

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

فراخوانی اسطوره‌ها و شخصیت‌های سنتی از جمله مسائل مهمی است که مورد توجه شاعران معاصر عربی بوده و بازتاب بسیاری در آثارشان داشته است. رویکرد شاعر معاصر به این شیوه، برخاسته از اوضاع سیاسی- اجتماعی کشورش است. به دیگر بیان، از خلال شخصیت‌های سنتی، مردمی و اسطوره‌ای و با زبانی نمادین و رمزگونه آراء و آلام خود و ملّتش را بیان می‌کند. شهرزاد از جمله مشهورترین افسانه‌های ایرانی هزار و یک شب بوده که مور...

به منظور پیش بینی میزان آلودگی فلزات سنگین در رسوبات رودخانه گرگانرود با استفاده از داده کاوی، در طول رودخانه گرگان رود نمونه های رسوبی در دو فصل (بهار و تابستان) و در 10 ایستگاه با سه تکرار نمونه برداری گردید. پس از آنالیز دستگاهی نمونه ها، داده های خام فلزات سنگین جمع آوری شد. سپس روش پیشنهادی مطرح گردید که شامل مراحل شروع و گردآوری داده ها، پیش پردازش داده ها ، ساخت مدل و همچنین ارزیابی و خر...

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

محل تلاقی رودخانه ها از اجزاء مهم مورفولوژیکی سیستم های رودخانه ای می باشد. جریان ورودی از شاخه فرعی باعث تغییرات شدید الگوی جریان، بوجود آمدن پدیده فرسایش و رسوبگذاری که در نهایت باعث تشدید فرسایش سواحل می¬شود. بررسی خصوصیات جریان در محل تلاقی رودخانه ها و کانالهای رو باز یکی از موضوعات مورد بحث مدلهای ریاضی سه بعدی در دهه اخیر بوده است. در این پایان نامه با استفاده از مدل سه بعدی (که تا کنون ...