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

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

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

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

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

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

مساله ی حفظ یک ویژگی خاص در اغلب قسمت های ریاضی دیده می شود در واقع یکی از مهمترین زمینه های تحقیقاتی در نظریه عملگرها بشمار می رود. نگاشت های نگه دارنده اولین بار توسط فر بنیوس مورد بررسی قرار گفت، او ثابت کرد که نگاشت خطی و حافظ دترمینان روی فضای ماتریس ها به فرم استاندارد است. در ادامه ی کار او مارکوس و مویلز ثابت کردند که اگر نگاشت خطی و حافظ طیف باشد به همین فرم است. باشد که در شرط n×n ...

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