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

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

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

مقدمه: پژوهش حاضر با هدف بررسی عملکرد روش یادگیری ماشین های بردار پشتیبان برای پیش بینی مقاومت دارویی ویروس hiv) یا (human immunodeficiency virus استفاده از تحلیل دنباله ی آمینو اسیدها انجام گرفت. روش ها: در این مطالعه از ماشین های بردار پشتیبان استفاده شد؛ همچنین برای آموزش و آزمایش ماشین های بردار پشتیبان از نرم افزار libsvm) یا  (library for support vector machinesاستفاده گردید. یافته ها: نت...

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

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

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

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

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