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

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

در این نوشتار مسئله ی انتخاب سبد مالی با استفاده از رویکرد بهینه سازی استوار مورد بررسی قرار گرفته است. بدین منظور، ارزش در معرض خطر شرطی موزون (w c v a r) که ترکیبی است از چند ارزش در معرض خطر شرطی با سطوح اطمینان مختلفٓــ به عنوان معیار بهینه سازی در نظر گرفته شده است. ارزش در معرض خطر شرطی موزون (w c v a r) یک مدل خطی است که از لحاظ محاسباتی کارایی بالایی دارد. مهم ترین ویژگی این مدل تولید جو...

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

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

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

در مقاله حاضر کمی‌سازی عدم‌قطعیت میدان جریان و انتقال حرارت مغشوش در خنک‌کاری لایه‌ای مورد بررسی قرار گرفته است. برای انجام این کار دو پارامتر غیرقطعی یعنی عدد رینولدز جریان (Re) و عدد پرانتل جریان مغشوش (Pr_t) با تابع توزیع احتمال یکنواخت و شش پارامتر غیرقطعی دیگر یعنی نسبت دمش (M)، نسبت چگالی جریان خنک‌کننده به جریان اصلی (DR)، شدت آشفتگی جریان اصلی و خنک‌کننده در ورودی (I_h و I_c)، طول مقیاس...

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