منطق تک‌نرم UL یک منطق فازی، زیرساختاری و نیمه‌ربطی است. سیستم گنتزن UL از حذف قواعد انقباض و تضعیف از سیستم گنتزن منطق فازی گودل بدست می‌آید. UL فاقد «طرد شق ثالث»، «پارادوکس مثبت» و «پارادوکس منفی» است. تابع ارزش تک‌نرم تضعیفی ربطی از تابع t-نرم است. در این مقاله منطق جدید ULΔ را معرفی می‌کنیم. ULΔ با افزودن اپراتور وجهی Δ به UL بدست می‌آید. ULΔ که بسطی از منطق کلاسیک است، یک منطق موجهات نرما...

دسترسی به اطلاعات حجم اقتصاد زیرزمینی برأی سیاست های کلان اقتصادی مهم است. ما در این مقاله از مجموعه و منطق فازی برای ایجاد یک سری زمانی سالانه برای اقتصاد زیرزمینی (غیر قابل مشاهده) در ایران برای دوره زمانی 378 1-343 1 استفاده می کنیم. دو متغیر ورودی (نهاده) مورد استفاده، نرخ مؤثر مالیات و شاخص مقررأت هستند. نتایج این سری زمانی با تحقیقات دیگرکه با مدل MIMIC انجام شده است مقایسه شدند. دو روش، ...

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

زمینه و هدف: استفاده از رستوریشن های موقت، یکی از فازهای مهم درمانی در بیماران نیازمند پروتز ثابت می باشد. موادی که جهت ساخت این گونه رستوریشن ها مورد استفاده قرار می گیرند، باید دارای خصوصیات فیزیکی مطلوبی باشند. مطالعه حاضر با هدف ارزیابی برخی خواص فیزیکی رزین های tempron، trim، duralay (آریادنت) و acropars trii از نظر استحکام خمشی (ts)، زمان سخت شدن (st)، میزان انقباض در هنگام پلیمریزیشن (ps...

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

در سال ‎۱۹۰۶‎، برتراند راسل در مقاله خود نشان داد که تقریباً تمامی پارادکس های نظریه مجموعه ها دارای یک شکل مشترک می باشند. در سال ‎۱۹۶۹‎، لاوور با استفاده از زبان نظریه رسته ها، به یک وحدت و یکپارچگی عمیق تر دست یافت که نه تنها پارادکس های نظریه مجموعه ها، بلکه پدیده ناتمامیت را نیز شامل می شد. در واقع لاوور طرحی مشترک ارایه داد که موضوعات بسیار همچون قضیه کانتور در مورد مجموعه های توانی، پاراد...

چکیده ندارد.

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

  در پژوهش حاضر، خصوصیات احتمالی خشکسالی از قبیل احتمال­ مانای وقوعِ خشکسالی، خاتمه خشکسالی و میانگین دوره تناوب در هر گروه خشکسالی با بکارگیری شاخص SPI اصلاح شده (با سری­های زمانی 3، 6 و 12 ماهه) و زنجیره مارکف، در استان مازندران مورد بررسی قرار گرفت. بنابر نتایج با افزایش سری زمانی (از 3 به 12 ماهه) زمان خاتمه خشکسالی و میانگین دوره تناوب گروه­های مختلف خشکسالی به ترتیب افزایش و کاهش ­یاف...