نظریة افعال گفتاری(theory of speech acts)  نظریه ای فلسفی است که جان لنگشاو اَستین استاد فلسفة اخلاق دانشگاه آکسفورد در سال 1962 عرضه کرد و پس از او شاگردش جان سرل، فلیسوفِ ذهن و زبان معاصر در کتابی با عنوان افعال گفتاری آن را بسط و توسعه داد. هدف این نظریه ارائه تحلیل جامعی از نحوة ارتباط زبان با عالم خارج است  و در نهایت، به این پرسش اساسی و مهم در حوزة فلسفة زبان پاسخ می گوید که چگونه می توان ...

قضیه فارکاش یکی از قضایای آلترناتیو (این یا آن) است که کاربردهای مختلفی از جمله اثبات بهینگی در برنامه ریزی خطی و غیرخطی و اثبات قضایای دوگانی در برنامه ریزی خطی دارد. در این مقاله به بیان این قضیه و برخی صورتهای معادل و اثبات های مختلفی از آن می پردازیم.

نظریة موسوم به «مبناگرایی سنتی» که اول بار ارسطو مطرح کرده بود، در قرون وسطی نیز مورد توجّه قرار گرفت. توماس آکوئیناس نظریة مبناگرایی ارسطویی را با اندکی تغییر همچنان حفظ کرد. امّا ویلیام اکام با تلقّی خاصّ خود از سازوکار حصول معرفت، مبناگرایی‌‌ای را ارائه داد که بر واقع‌گرایی مستقیم مبتنی بود و با تأکید بر یقینی بودن تجربه و رد نظریة صورت، طریقی را پیمود که برخی از ایرادهای وارد بر مبناگرایی ا...

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

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

مطالعة انطباق وام واژه ها مدت هاست، توجه پژوهشگران را به خود جلب کرده است. در این پژوهش تلاش بر این است تا چگونگی انطباق واجیِ واکه های وام واژه های زبان عربی بررسی شوند. چارچوب نظری این پژوهش نظریۀ بهینگیِ پرینس و اسمولنسکی (2004) است. داده های بررسی شده، 1647 واژه است که از فرهنگ معین و سخن گردآوری شده اند. تلفظ وام واژه ها در زبان مبدأ (عربی) با بهره گیری از چهار فرهنگ زبان عربی آوانگاری شده ا...

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

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

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

این مقاله به معرفی مختصر و مقایسة تحلیلی دو نظریة عمدة روانسنجی، یعنی نظریة آزمون کلاسیک (CTT) و نظریة سؤال-پاسخ (IRT) همراه با محسنات و محدودیت‌های هر کدام از آنها پرداخته است. هرچند نظریة آزمون کلاسیک در اوایل قرن بیستم پایه‌ریزی شد اما به دلیل داشتن محدودیت‌های متعدد، همواره متخصصان را برآن می‌داشت تا جهت رفع این محدودیت‌ها تلاش کنند. در فرآیند پیدا کردن راه حل‌هایی برای از بین بردن نقاط ضعف...