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

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

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

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

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

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

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

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

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

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