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

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

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

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

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

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

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

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

محاسبه حق بیمه نسبی در سیستم های پاداش- جریمه به روش های بیزی مورد استفاده و تأیید اغلب اکچوئری ها است اما نتایج به دست آمده با استفاده از روش های بیزی به دلایلی مثل پیچیدگی محاسبات، کاربردی نبوده و در عمل قابل استفاده نیست. در این مقاله دو روش جدید برای تعیین حق بیمه نسبی در سیستم پاداش-جریمه پیشنهاد می شود. روش اول بر اساس استفاده از اصل ماکسیمم آنتروپی (حداکثر عدم قطعیت) و روش دوم بر اساس اس...

کوارک تاپ در سال 1995 در آزمایشگاه فرمی کشف شد و بدین ترتیب نسل سوم کوارک ها در مدل استاندارد تکمیل شد. کوارک تاپ سنگین ترین ذره بنیادی شناخته شده است که غالبا با پاد ذره خود در برخوددهنده بزرگ هاردونی (lhc) تولید می شود و تنها کوارکی است که قبل از هادرون سازی به یک کوارک b و بوزون w واپاشی می کند. این خاصیت منحصر بفرد کوارک تاپ، امکان مطالعه و بررسی برهم کنش های این ذره بنیادی را در محدوده انر...