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

This article has no abstract.

برخی فیلسوفان برای اثبات ناممکن بودن مدل کردن ذهن با ماشین از قضیۀ گودل و نتایج آن استفاده کرده اند. در فلسفۀ ذهن استدلالات مبتنی بر قضیۀ گودل را استدلالات گودلی می نامند. در این مقاله قصد داریم که سه استدلال گودلی را مورد نقد و بررسی قرار دهیم. این استدلال ها به ترتیب توسط رودی روکر، جان راندولف لوکاس و راجر پنروز ارائه شده اند. تلاش می کنیم تا نشان دهیم: (الف) بخشی از استدلال روکر مقبول و بخش...

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

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

فصل اول این رساله شامل مباحث زیر است:1-آشنایی با معادلات دیفرانسیل.2-مفاهیم اولیه و اساسی .3-معرفی فضاهای مختلف و کاربردی.4-اتحادهای گرین، تابع گرین و پتانسیل نیوتنی تابع.5-پیوستگی هولدر.6-فضاهای سوبولف، عملگرهای خطی. -فصل دوم :1-مسائل با مقدار مرزی بیضوی خطی.2-مقادیر ویژه و توابع ویژه عملگر.3-مقادیر ویژه اصلی.4-مقادیر ویژه اصلی مسائل با شرط کرانه ای دیریکله.-فصل سوم : 1-دامنه کراندار با شرط مر...

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

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

This article has no abstract.

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