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

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

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

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

abstract in this thesis at first we comput the determinant of hankel matrix with enteries a_k (x)=?_(m=0)^k??((2k+2-m)¦(k-m)) x^m ? by using a new operator, ? and by writing and solving differential equation of order two at points x=2 and x=-2 . also we show that this determinant under k-binomial transformation is invariant.

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

اندازه گیری چقرمگی شکست kic بعنوان معیار شروع ترک (در نوع اول تنش در حالت کرنش صفحه ای) برای رسم منحنی های ارزیابی آسیب (fad) برای فولادهای پراستحکام خطوط انتقال گاز اهمیت ویژه ای دارد. در تحقیق حاضر از آزمون خمش سه نقطه ای بر روی شش نمونه آزمایشگاهی استاندارد برای محاسبه چقرمگی شکست لوله فولادی api x65 (با قطر خارجی 1219 میلی متر و ضخامت جداره 3/14 میلی متر) استفاده شده است. از نتایج حاصله، مق...

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

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