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

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

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

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

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

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

مقدمه: یکی از مشکلات روکش‏های تمام سرامیکی، امکان شکستن آنها در برابر نیروهای اکلوزالی است. هدف از این تحقیق مقایسه مقاومت به شکست روکش‏های تمام سرامیکی IPS e.max در دو ختم تراش چمفر و شولدر بود. مواد وروش‏ها: برای انجام این مطالعه آزمایشگاهی، بر روی یک دندان پرمولار اول ماگزیلا مارژین چمفر ˚50 (8/0 میلی‏متر) تراشیده شد و 20 بار توسط پلی وینیل سایلوکسان قالب‏گیری شد. سپس مارژین چمفر به شولدر ˚9...

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

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

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