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

در این مقاله به بررسی  پاسخ دینامیکی تیر ویسکوالاستیک و بار کمانش آن تحت بارهای عرضی و محوری به کمک مدل های کلوین و استاندارد خطی پرداخته شده است. معادلات حاکم بر اساس دو تئوری اویلر- برنولی و تیموشنکو استخراج شده و حل تحلیلی آنها به کمک بسط توابع ویژه به دست آمده است. بار کمانش و پاسخ براساس تئوریهای اویلر - برنولی و تیموشنکو و مدل های کلوین و استاندارد خطی محاسبه و با نتایج حالت الاستیک مقایس...

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

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

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

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

در این پایان نامه، ابتدا تعاریف و خواصی از فضاهای هیلبرت، ‎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...

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