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

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

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

کاربرد سامانه های خودکار در شبکه های آبیاری در حال گسترش و ارزیابی آن ها ضروری است. با توجه به تنوع اجزای سامانه های خودکار عملکرد مجموعة سامانه در شبکه تابعی از عملکرد هر یک از اجزاست. توسعة مدل ارزیابی عملکرد با درنظرگرفتن همة جنبه های خودکارسازی در شبکه ضروری است. در این تحقیق مدل inacsem با استفاده از روش ارزیابی کلاسیک برای ارزیابی سامانه های کنترل خودکار شبکه های آبیاری در دو دیدگاه فنی و...

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

با توجه به رشد روز¬افزون بازار فروش نرم¬افزار و نیاز¬های اساسی جامعه به محصولات نرم¬افزاری، فرایند آزمون نرم¬افزار هم از لحاظ کیفی و هم از لحاظ قابلیت اطمینان حائز اهمیت است. این آزمون به بررسی کیفیت یک محصول در جهت یافتن خطاها اقدام می¬کند. آزمون فقط می¬تواند وجود خطاها را نشان دهد ولی نمی¬تواند عدم وجود خطا را تضمین نماید. آزمون نرم¬افزار در ارتباط با دو موضوع مطرح می شود: 1) آیا نرم¬افزار به...

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

qآموزش کتابداری، با توجه به روش آن فرأیندی نظری- علمی است، پس بایستی تئوری و عمل را درهم أمیخت در این مقاله، با توجه به دیدگاه های نظری، از روش های تدریس عملی جهت آموزش دروی کتابداری استفاده شده است. روش یا روش های پیشنهادی در مقالهء حاضر برای دروس نظری (مانند مبانی کتابداری، درآمدی بر کتابداری، و جز آن) روش سخنرانی؟ برای دروس رده بندی و فهرست نویسی، روش أموزش برنامه ای (مانند: آموزش به کمک ر...

امروزه اطمینان از امنیت برنامه های کاربردی مبتنی بر وب مسأله ای اساسی برای تولیدکنندگان و همچنین مشتریان این برنامه ها است. سازمان های زیادی وجود دارند که برنامه های مبتنی بر وب را مورد ارزیابی امنیتی قرار داده و در صورت ایمن بودن به آنها گواهینامه ی امنیتی می دهند. در این مقاله چارچوبی ارائه شده است که تنها به تأیید ایمن بودن برنامه بسنده نمی کند، بلکه میزان ایمن بودن برنامه را با انتساب نمره ...