دیوان بین المللی دادگستری در تاریخ ۵ اکتبر ۲۰۱۶ در قضیه دعاوی جزایر مارشال علیه بریتانیا، هند و پاکستان به علّتِ «فقدان اختلاف» میان طرفین دعوا، حکم به عدم صلاحیّت خود صادر کرد. رأی دیوان در قضیه مارشال علیه بریتانیا که با ۸رأی موافق ، ۸رأی مخالف و با رأی قاطع رییس دیوان اتخاذ گردیده ، ماهیتی منحصر به فرد دارد و از تحوّل «سیاست قضایی» دیوان در قبالِ احراز «اختلاف»حکایت می‌کند. چنین می‌نماید که تحول ...

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

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

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

هدف این مقاله ارائه اثبات دیگری از قضیه اساسی جبر بر مبنای خواص ماتریس های نمایی در فضای برداری نرمدار اقلیدسی است.

در سال های اخیر توجه به رویدادهای حدی (خشکسالی ها، سیل ها و امواج شدید گرمایی)، نه تنها به علت پیامدهای اقتصادی، اجتماعی بلکه به منزلة نشانگرهای تغییر اقلیم، اهمیت زیادی پیدا کرده است. در این تحقیق برای یافتن ارتباط بین تغییر اقلیم و رویدادهای حدی، رفتار و فراوانی رویدادهای حدی با استفاده از شاخص هایی در بسته نرم افزاری بنام شاخص های اقلیمی حدی extreme climate index software, ecis)) بررسی شده ا...

در این پایان نامه، ابتدا تعاریف و خواصی از فضاهای هیلبرت، ‎c*-جبرها، حاصل ضرب تنسوری جبری و‎‎c*-مدول های ‎ هیلبرت را بیان می کنیم. سپس به بررسی تابعک های خطی مثبت، نگاشت های مثبت و نگاشت های کاملاً مثبت رویc*-جبرها پرداخته و دو قضیه ی اساسی در زمینه ی نگاشت های کاملاً مثبت بیان خواهیم کرد؛ قضیه ی اشتین اشپرینگ که یک نمایش مشخص از نگاشت های کاملاً مثبت رویc*-جبر ها به جبر عملگرهای کراندار روی فضاه...

ابتدا تعاریف و مفاهیمی را که در این رساله مورد استفاده قرار می گیرد را بیان می کنیم. سپس به معرفی فضاهایی می پردازیم که با آن ها سر و کار خواهیم داشت. و‎‎‎‎‎ در پایان به معرفی چند قضیه و اصل می پردازیم. رده ای از دستگاه های بیضوی شبه خطی تباهیده ‎egin{equation*}‎ ‎left{egin{array}{ll}‎ -‎div (h_1 (x)| abla u|^{p-2} abla u )=lambda a(x)|u|^{p-2}u‎ +‎lambda b(x)|u|^{alpha-1}|v|^{eta+1}u+f...

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