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

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

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

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

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

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

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

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

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

پیش بینی مشکلات کشاورزی و استعدادیابی منابع همواره از اهداف توسعه کشاورزی پایدار بوده تا بتوان بیشترین بازده را از حداقل منابع به دست آورد. هدف از انجام این تحقیق، مکان یابی مناطق مستعد کشت زیتون با دو روش سیستم اطلاعات مکانی (gis) و الگوریتم ژنتیک و مقایسه نتایج به دست آمده با مناطق کشت فعلی زیتون در استان لرستان و در عین حال، مقایسه دو روش با یکدیگر می باشد. پهنه بندی هر دو روش، پس از بررسی ش...