نتایج جستجو برای: مدل کریپکی
تعداد نتایج: 120048 فیلتر نتایج به سال:
در این مقاله یک مدل ریاضی برای مسئله سیستم تولیدی همکارانه ساخت بر اساس سفارش با رعایت انصاف تخصیص بارهای تولید طراحی شده است. اهداف اصلی مدل، کمینهسازی هزینههای کل و حداکثر استفاده از منابع بهمنظور عادلانه شرایط عدمقطعیت کنترل پارامترهای غیرقطعی روش برنامهریزی فازی شده نتایج نشان میدهد افزایش نرخ عدمقطعیت، مییابد. ازآنجاکه ظرفیت کارخانهها ثابت است، مقدار تقاضا، هر کارخانه نیز میی...
در این پژوهش سعی میشود مدلی برای شبیهسازی چرخه عمر صنعت برق با استفاده از شبیهسازی عاملبنیان ارائه شود، مدل، 5 عامل استخراج شد و شبیهسازی به کمک نرمافزار Anylogic صورت پذیرفت. بهینهسازی مدل چهار سناریو نظر خبرگان شد. سناریوی نخست، جذابیت نیروگاه گازی سیکل ترکیبی کاهش یافت بر دو دیگر افزوده نتیجه افزایش تولید آبی است که توجه کمبود منابع کشور بهصرفه نیست. دوم ورود یک فناوری جدید میزان...
برای دستیابی به مزیت رقابتی در شرایط عدماطمینان که آن تغییر ضروری است، یکی از چالشهای بزرگ سازمانها کاهش ریسک طریق ایجاد زنجیرههای تأمین تابآور است. تابآوری زنجیره تأمین توانایی مقابله با اختلال اشاره دارد یک رویداد غیرقابلپیشبینی بوده و دارای منابع داخلی خارجی مختلفی ازجمله بلایای طبیعی ریسکهای عملیاتی پژوهش حاضر شبیهسازی توسط نرمافزار ارنا زنجیره سنگ ساختمانی «کارخانه سنگبری آسم...
در نظریة ارجاع سول کریپکی حداقل سه مشکل وجود دارد؛ 1. ارجاعدهیِ متفاوت اسامی خاص در جهانهای ممکن مختلف؛ 2. تغییر مرجع؛ و 3. خطاناپذیری ارجاعی ترمهای نظری. در این مقاله ابتدا این سه مشکل را طرح میکنیم سپس بیان میکنیم که چگونه خود کریپکی با توسل به مفهوم «کاربست» مشکل اول را حل کرده است و پس از آن چگونگی حلشدن مشکل دوم و سوم را با استفاده از همین روش توضیح میدهیم. علاوه بر این در قسمتی از ...
در این مقاله به بررسی رابطة میان آموزة معناشناسیکِ دلالتگری صلب نامهای خاص در زبان طبیعی و آموزة متافیزیکی ذاتگرایی دربارة افراد میپردازیم. بهطور مشخص میخواهیم بررسی کنیم که استدلالهای کریپکی برای هر یک از ادعاهای ذاتگرایانة او دربارة افراد تا چه اندازه به آموزة صلبیت نامهای خاص وابسته است. برای این منظور ابتدا به معرفی هریک از این آموزهها میپردازیم و سپس با تمییز میان سه سطح متفاو...
در این پایان نامه، با به کارگیری پیشرفت های اخیر در زمینه? منطق های شناختی پویا، یک رهیافت نظریه مدلی برای استدلال درباره? پروتکل های امنیت بیان می کنیم که ما را به بیان دقیق وضعیت های شناختی بعدی عامل های شرکت داده شده در مراحل پروتکل با استفاده از مدل های کریپکی و ارتباط بین آن ها، بر پایه? به روز رسانی باور های این عامل ها، قادر می سازد. به عنوان مطالعه موردی، پروتکل سه مرحله ای sra و پرو...
جریان فلسفه به طور اعم و فلسفه تحلیلی به طور اخص مبتنی بر دو گونه ی معرفت استدلالی و معرفت شهودی بوده و در این میان نظامهای منطقی به عنوان ابزار معرفت استدلالی در کنار درک بی واسطه ی حقایق بنیادی از اهمیت ویژه ای در این حوزه برخوردار بوده است. از سویی رویکردهای گوناگون فلاسفه ی غربی در قبال مسأله ی معرفت و چگونگی دستیابی به آن موجب شده همواره معرفت استدلالی در رأس اندیشه های فلسفی قرار گرفته و ...
کریپکی در کتاب "ویتگنشتاین در باب قواعد و زبان خصوصی"، بارها به قیدی از معنی به نام "دستوری بودن معنی" متوسل می شود. قید "دستوری بودن معنا" آن است که جملات معنایی مانند "جونز معنای جمع را از واژه "+" مراد می کند"، باید هایی از قبیل اینکه "جونز باید واژه "+" را به گونه ای خاص در زبان به کار ببرد" را نتیجه می دهد. نیمه اول پایان نامه مروری تمام عیار بر عتراضات مطرح شده از سمت مخالفین قید "دستوری ...
در این مقاله، ابتدا خلاصهای از نظریههای مربوط به دلالت نامهای خاصّ در زبان را بررسی میکنیم و سپس نظریۀ علّی نامهای خاصّ اونز را مطرح خواهیم کرد. از آنجا که نظریۀ اونز، از نظریههای علّی و نظریههای وصفی نامهای خاصّ، به یکسان نسب برده است، آشنایی اجمالی با این نظریهها برای فهم نظریة اونز سودمند خواهد بود. در بخش مربوط به نظریههای وصفی، نظریههای فرگه و راسل؛ و در بخش مربوط به نظریههای علّی، ...
یکی از پرسشهایی که امروزه برای فیلسوفان تحلیلی مطرح است پرسش از نسبت میان قضایای پیشین (a priori) و پسین (a posteriori) از یک سو و قضایای ضروری (necessary) و ممکن (contingent) از سوی دیگر است تا چندی پیش یک پاسخ نسبتا رایج به این پرسش آن بود که همه قضایای ضروری پیشین اند (و بالعکس) و همه قاضای ممکن پسین اند (و بالعکس) اما در اسلهای اخیر برخی از فیلسوفان معاصر از جمله سول کریپکی با این دیدگاه ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید