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

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

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

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

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

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

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

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

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