نتایج جستجو برای: مدل کریپکی

تعداد نتایج: 120048  

Journal: : 2022

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

Journal: : 2022

در این پژوهش سعی می‌­شود مدلی برای شبیه‌­سازی چرخه عمر صنعت برق با استفاده از شبیه‌سازی عامل­بنیان ارائه شود، مدل، 5 عامل استخراج شد و شبیه­‌سازی به کمک نرم‌افزار Anylogic صورت پذیرفت. بهینه‌­سازی مدل چهار سناریو نظر خبرگان شد. سناریوی نخست، جذابیت نیروگاه گازی سیکل ترکیبی کاهش یافت بر دو دیگر افزوده نتیجه افزایش تولید آبی است که توجه کمبود منابع کشور به‌صرفه نیست. دوم ورود یک فناوری جدید میزان...

Journal: : 2022

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

ژورنال: فلسفه علم 2015

در نظریة ارجاع سول کریپکی حداقل سه مشکل وجود دارد؛ ‌1. ارجاع‌دهیِ متفاوت اسامی خاص در جهان‌های ممکن مختلف؛ 2. تغییر مرجع؛ و 3. خطاناپذیری ارجاعی ترم‌های نظری. در این مقاله ابتدا این سه مشکل را طرح می‌کنیم سپس بیان می‌کنیم که چگونه خود کریپکی با توسل به مفهوم «کاربست» مشکل اول را حل کرده است و پس از آن چگونگی حل‌شدن مشکل دوم و سوم را با استفاده از همین روش توضیح می‌دهیم. علاوه بر این در قسمتی از ...

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه علوم پایه دامغان - دانشکده علوم پایه دامغان 1391

در این پایان نامه، با به کارگیری پیشرفت های اخیر در زمینه? منطق های شناختی پویا، یک رهیافت نظریه مدلی برای استدلال درباره? پروتکل های امنیت بیان می کنیم که ما را به بیان دقیق وضعیت های شناختی بعدی عامل های شرکت داده شده در مراحل پروتکل با استفاده از مدل های کریپکی و ارتباط بین آن ها، بر پایه? به روز رسانی باور های این عامل ها، قادر می سازد. به عنوان مطالعه موردی، پروتکل سه مرحله ای ‎sra‎ و پرو...

پایان نامه :دانشگاه بین المللی امام خمینی (ره) - قزوین - دانشکده ادبیات و علوم انسانی 1393

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - پژوهشگاه دانشهای بنیادی (مرکز تحقیقات فیزیک نظری و 1389

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

ژورنال: :پژوهشنامه فلسفه دین (نامه حکمت) 2012
امید کریم زاده

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

ژورنال: :فلسفه 2004
دکتر محمد سعیدی مهر

یکی از پرسشهایی که امروزه برای فیلسوفان تحلیلی مطرح است پرسش از نسبت میان قضایای پیشین (a priori) و پسین (a posteriori) از یک سو و قضایای ضروری (necessary) و ممکن (contingent) از سوی دیگر است تا چندی پیش یک پاسخ نسبتا رایج به این پرسش آن بود که همه قضایای ضروری پیشین اند (و بالعکس) و همه قاضای ممکن پسین اند (و بالعکس) اما در اسلهای اخیر برخی از فیلسوفان معاصر از جمله سول کریپکی با این دیدگاه ...

نمودار تعداد نتایج جستجو در هر سال

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