در این نوشته، برهانی غیر از برهان استاندارد برای قضیه کیلی - همیلتن ارائه می شود که بر مبنای استفاده از سری های توانی صوری استوار است.

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

مسؤولیت مدنی به معنای تعهّد به جبران خسارت به دو قسم مسؤولیت قراردادی و مسؤولیت قهری تقسیم می شود. تفاوت این دو در وجود رابطه قراردادی میان دو طرف قبل از ایراد خسارت است. این که تفاوت یاد شده منشاء فرق اساسی در مبنا و آثار دو نوع مسؤولیت می شود مورد اختلاف بین حقوقدانان است. نظریه جا افتاده، منشأ مسؤولیت قراردادی را اراده صریح یا ضمنی دو طرف عقد و منشأ مسؤولیت قهری را حکم قانون گذار می داند. همی...

قضیه پروژه گابچیکوو ـناگیماروس اولین قضیه مطروحه در دیوان بین‌المللی دادگستری راجع به توسعه پایدار بود. این مقاله، ضمن بررسی این قضیه، به تحلیل سه جنبة مرتبط از این اصل می‌پردازد که در رأی دیوان به آن‌ها پرداخته شد. این سه جنبه عبارت است از: مفهوم توسعه پایدار، اصل اقدامات احتیاطی و اصل ارزیابی تأثیرات زیست‌محیطی. مقاله به این نتیجه رسیده‌ است که هم نظر اکثریت قضات دیوان و هم ...

در این پایان نامه براساس مقاله تام هد [20] چگونگی استنتاج قضایای فازی را از نوع معمولی آنها بویژه در جبر بررسی می کنیم. فرض می کنیم x یک جبر است در این صورت زیر مجموعه های فازی x یعنی f(x) تشکیل یک جبر می دهند. در این رساله با استفاده از مفهوم زیرمجموعه -cفازی تعاریفی با الگوی یکسان برای مفاهیم فازی ارائه می دهیم و با یک روش یکسان به استنتاج قضایای جبر فازی از قضایای جبر معمولی می پردازیم ابزار...

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

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

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

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

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