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

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

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

حکما برای اثبات اشتراک معنوی وجود و ابطال مشترک لفظی بودن آن به گونه ای استدلال کرده اند که می توان سه دلیل ذیل را اهم و اخص آن دلایل دانست. این سه دلیل عبارت اند از: 1. مقسم واقع شدن و قابل قسمت بودن وجود به واجب و ممکن و جوهر و عرض؛ 2. تردید ذهن و تردد گمان، در خصوصیات ماهیات اشیا، با بقای جزم و یقین به مطلق وجود؛ 3. واحدبودن نقیض وجود، یعنی عدم. این در حالی است که، از میان حکمای معاصر، م...

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

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

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

چکیده: در این مقاله در مدار قرار گرفتن مقید به امنیت نیروگاه ها با در نظر گرفتن ادوات facts در سیستمهای قدرت انجام خواهد شد. امنیت در سیستمهای قدرت یکی از مسائل مهم برنامه ریزی و بهره برداری می باشد. همچنین حل مسئله در مدار قرار گرفتن نیروگاه ها (uc) که در آن امنیت شبکه انتقال نیز در نظر گرفته شده باشد تحت عنوان  در مدار قرار گرفتن مقید به امنیت نیروگاه ها (scuc) نقش مهمی در بهره برداری کوتاه م...

در این پایان نامه ابتده مساءل حساب تغییرات با کرانهای متحرک و مساءل مقید مورد بررسی قرار می گیرد. سپس به حل این مساءل با روشهای عددی می پردازیم. این روشها عبارتند از روش تجزیه آدومیان; روش تکرار تغییراتی ; روش اختلال هموتوپی ; روش تداخل تغییراتی هموتوپی و روش انطباق.

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