بررسی روش های تجرید مدل های ربکا به منظور درستی یابی صوری

درستی یابی صوری سیستم های شی ء بنیاد توسط جبر پردازه ای

کالیبراسیون شبکه های توزیع بر اساس فشار به روش کلونی مورچه ها به منظور نشت یابی

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

یک روش صوری برای توصیف و درستی یابی ترکیبی سیستم های نرم افزاری مبتنی بر مولفه ها

ارزیابی مقایسه ای روش های مدل سازی دانش محور و داده محور در پتانسیل یابی منابع آب زیرزمینی حوضه آبی دشت یزد اردکان

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

مکان یابی نقاط نمونه توریستی با رویکرد منطق فازی و استفاده از مدل ahpبه منظور توسع گردشگری در محیط gis(غرب و شمال غرب استان کرمان)

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

ارتقاء کارایی و بهبود روش ارزیابی خشک کن خورشیدی زیره سبز به منظور دست یابی به نرخ خشک شدن و ارائه مدل ریاضی مناسب

به کارگیری اطلاعات مدل سازی مخزن بر پایه خطوط جریان به منظور مکان یابی بهینه چاه های نفت

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

مکان یابی اقلیمی کشت سیب در شهرستان سمیرم با استفاده از مدل های سلسله مراتبی(ahp)، بولین و انواع روش های مدل فازی در محیط gis

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

مدل سازی مسئله مکان یابی هاب چندمحصوله با درنظر گرفتن روش های تأمین مالی

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

به‌کارگیری رویکرد تلفیقی مهندسی ارزش و مدل رتبه کامل اندرسون-پیترسون (A&P) به منظور عارضه یابی و تحلیل سناریوی سازمان، مطالعه موردی: مجتمع دخانیات تهران

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

مکان یابی اقلیمی کشت سیب در شهرستان سمیرم با استفاده از مدل های سلسله مراتبی(AHP)، بولین و انواع روش های مدل فازی در محیط GIS

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

ارزیابی روش های مدل سازی و ساده سازی سطح به منظور تولید مدل سه بعدی ساختمان با استفاده از ابر نقاط متراکم

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