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

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

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

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

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

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

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

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