نتایج جستجو برای: مدل کریپکی
تعداد نتایج: 120048 فیلتر نتایج به سال:
بسیاری از فیلسوفان مدعی هستند که معنا و محتوای سمانتیکی زبان، امری هنجاری است، یعنی معنای یک کلمه تعیین کننده الگوی درست کاربرد بوده و این الگو را تجویز می کند. مهم ترین استدلال هایی که فیلسوفانی مانند کریپکی و بوقوسیان به نفع هنجاری بودن معنا ارائه داده اند بر مفاهیمی مانند «قواعد»، «کاربردهای صحیح»، و «امکان خطای سمانتیکی» استوار است. اما برخی فلاسفه، ادعای هنجاری بودن معنا را زیر سؤال برده و...
در این پژوهش مسئله زمانبندی کار کارگاهی منعطف با ماشینهای موازی درنظرگرفتن معیار تولید پاکتر، منابع دوگانه انسان-ماشین، زمان دسترسی کارها و پردازش وابسته به سرعت ماشینها بررسی میشود. اهداف شامل حداقلکردن مجموع جریمههای دیرکرد زودکرد افزایش است. داده میشود تا تکمیل کاهش یابد. درحالیکه آلودگی صوتی محیط تولیدی منجر توجه رویکرد پاکتر که نگرشی پیشگیرانه است، اینجا سعی شده است حداقلکردن...
از تفاوتهای مهم بین معرفت پیشینی و پسینی این است که ما در معارف پیشینی صرفاً به حمل محمول بر موضوع پی نمیبریم، بلکه به ضرورت و الزام این حمل نیز منتقل میشویم. کانت گزارههای متافیزیکی، علمالطبیعه و ریاضی را اساساً به جهت کشف ضرورت در آنها، پیشینی تلقّی میکند و در خصوص منشأیابی برای کشف ضرورت در نحوۀ ارتباط اجزای گزاره، راهحلّ شهود را به میان میآورد. در این نوشتار، ابتدا به تعاریف معرفت پی...
کورت گودل در نوشته ای که در زمان حیاتش منتشر نشد با برهانی وجودی سعی در اثبات وجود خدا نمود. برهان وجودی گودل ، در زبان و منطق ، تابع نظام منطق موجهات محمولی مرتبه دوم s5 می باشد و تبعا معنا شناسی آن معناشناسی جهان های ممکن کریپکی است. برهان گودل شامل سه تعریف ، شش اصل موضوع و سه قضیه اصلی و یک قضیه فرعی است. مبانی فلسفی و ترمینولوژی برهان گودل را باید در آراء لایبنیتز جستجو کرد. برهان گودل هم ...
امروزه ورود به حوزه مدیریت کیفیت برای سازمانها از اهمیت ویژهای برخوردار است. مدلهای تعالی سازمانی ابزاری است که را در این مسیر رهنمون میکند. بدین منظور، ازجمله شبکه بانکی کشور، رویکردهای گوناگونی سازمان خود راستای تحقق ارزشهای مدلهای استقرار میکنند؛ اما محدودیت منابع موجود قبیل هزینه، نیروی انسانی، فرهنگ و غیره، تمامی رویکردها میسر نمیسازد؛ ازاینرو مسئله اصلی کدام بیشترین تأثیر ارت...
کاهش هزینههای مرتبط با موجودی از مهمترین استراتژیهای هر بنگاه اقتصادی برای بقا و سوددهی در شرایط رقابتی امروزی است. این راستا مدلهای کلاسیک هزینهها مطرح شدهاند؛ اما کنار مزایای فراوان دارای فرضیههای محدودکنندهای هستند. پژوهش، یک زنجیره سهسطحی لجستیکی شامل تولیدکننده، توزیعکننده خردهفروش نظر گرفته میشود مسئله بهینهسازی مدل توزیعکننده موردبررسی قرار میگیرد. موردنظر، توزیع...
این مقاله حاصل پژوهشی درباره قیمتگذاری و تبلیغ پویا است با استفاده از یک مدل کنترل بهینه، روشی برای تعیین تعداد بلیت فروش رویداد ورزشی یا تفریحی بهدست میدهد تا سود برگزارکننده بیشینه شود؛ همچنین سعی شده حد ممکن هزینه پشتیبانی در اینگونه رخدادها نظیر غذا، نوشیدنی، کالاها، بیمه، امکان واگذاری رایگان سایر خدمات به خریداران نظر گرفته شود. روش، علاوه بر بلیتها (برنامهریزی ظرفیت)، قیمت پویای...
هدف انتخاب تأمینکنندگان و تخصیص سفارش بر اساس ابعاد پایداری ریسک پایداری، در شرایط عدمقطعیت برخی پارامترها است؛ همچنین با محدودیت استراتژی کاهش برای مدیریت همراه است. معیارهای ریسک، امتیاز توسط روشهای تاپسیس فازی تجزیهوتحلیل آثار شکست محاسبه شده است سپس برنامه تصادفی چندمرحلهای ایجاد معیار ارزش معرض شرطی، پیرامون تأمین منابع یک فضای چنددورهای برنامهریزی دستیابی به برنامهریزی انعطافپ...
حدود ۸۰% از حملونقل جهانی در بستر دریا انجام میشود؛ بنابراین، بهمنظور حفظ ایمنی عبورومرور کشتیها، پیشبینی دقیق حرکت آنها اهمیت ویژهای دارد. ازآنجاکه پارامترهای زمینهای گوناگونی کشتیها تأثیر میگذارد، یکی چالشهای اصلی حوزة محاسبات زمینهـ آگاه شناسایی بهینة مؤثر کشتی است که ضرورت تحقیق حاضر را میرساند. این راستا، با استفاده شبکة عصبی حافظة طولانی کوتاهـ مدت و انتخاب پارامتر بهشیوة پ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید