قواعد پذیرفتنی می توانند در هر اشتقا‏ق از هر سیستم اصل بندی استفاده شوند. در این پایان نامه ابتدا قواعد به شکل نرمال کاهشی تبدیل می شوند سپس براساس الگوریتم معرفی شده پذیرفتنی بودن قواعد مورد بررسی قرار می گیرد. سپس، منطق وجهی s4 با استفاده از خاصیت هم-پوشایی توسیع داده می شود. به طور خاص‏، قواعد پذیرفتنی در ‎s4‎ به یک فرمول قابل ارضا در توسیعی از منطق ‎‎‎s4 کاهش داده می شوند. منطق توسیع داده ش...

از دیدگاه ابن‌سینا براهینی برهان صدیقین هستند که واجب‌الوجود را صرفاً با تأمل در نفس وجود به اثبات برسانند. وی مدعی است که در تقریرهای خود از برهان صدیقین معیار فوق را رعایت نموده است؛ امّا صدرا برهان شیخ را اولاً، به دلیل عدم تأمل در نفس وجود و ثانیاً، به علت استفاده از مفهوم موجود و نه حقیقت وجود برهان صدیقین نمی‌داند. در این مقاله جهت بررسی اشکال صدرا ابتدا تقریری از برهان صدیقین در آثار شیخ یعن...

بیماری دیابت یکی از جدی ترین، شایع ترین و پرهزینه ترین بیماری های غدد در جهان است که کنترل آن نیازمند تنظیم و کنترل مصنوعی سطح غلظت گلوکز خون می باشد. جدیدترین آمار سازمان سلامت جهانی، افزایش جمعیت بیماران دیابتی بزرگسال را از % 4 (180 میلیون) در سال 2008 به % 4/5 (350 میلیون) در سال 2030 پیش بینی کرده است. در این میان، در حال حاضر کشور ایران حدود 7 میلیون نفر (9/8 درصد) بیمار مبتلا به دیابت دا...

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

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

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

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

افضل‌الدین خونجی، برای نخستین بار در تاریخ منطق، در میان گزاره‌های حقیقیه و خارجیه، گزاره‌های همیشه‌صادق و گزاره‌های همیشه‌کاذب را یافته است. این گزاره‌ها پیش از این در منطق مرتبۀ اول صورت‌بندی شده و مورد بررسی قرار گرفته‌اند و نشان داده شده است که صدق همیشگی این گزاره‌ها نیازمند پیش‌فرض «وجود فرضی معدومات» است. در این مقاله، این گزاره‌ها را در منطق مرتبۀ دوم بررسی کرده و نشان داده‌ایم که در ای...

We use gauge-gravity duality to study the effect of corrections to the coupling constant on equilibration time in field theory for scalar operators with Delta=2,3. We will show that for larger correction in coupling constant the equilibration time enhances and this behavior is independent of the method we use to make the system out of equilibrium. Interestingly we observe that for fast energy i...

چکیده ندارد.