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

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

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

در این تحقیق تحلیل اجزای محدود آزمون سختی پذیری استاندارد، بصورت حرارتی و متالورژیکی با استفاده از نرم افزار اجزای محدود abaqus انجام گرفت. به این منظور زیر روال مناسب بر مبنای مدل کینتیکی macknienko که قادر به پیش­بینی میزان جزء حجمی و سختی فازهای ایجاد شده در حین سرمایش پیوسته است، تعریف و در گردش اطلاعات داده­های نرم افزار بکار گرفته شد. نتایج بدست آمده از تحلیل اجزای محدود با نتایج آزمایشگا...

چکیده مجتمع فولاد مبارکه در سال 79 اقدام به توسعه خطوط خود برای افزایش تولید نمود. در بسیاری از خطوط، سیستم های جدید با سیستم های قدیمی تطبیق داده شد. ولی در بعضی از خطوط، هماهنگ کردن سیستم های جدید با سیستم های قدیمی مشکلاتی دربرداشت که با تدابیر انجام شده در طول راه اندازی و بهره برداری از میان برداشته شد.با این وجود بعضی از ماشین ها دارای مشکلاتی بودند که با گذشت زمان بیشتر نمایان می شد. ...

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

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

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

این رساله در ابتدا ساختار درونی همریختی های میان حلقه های توابع پیوسته مورد مطالعه قرار گرفته است. با در نظر گرفتن این نکته که هر همریختی بین حلقه های توابع پیوسته با یک تابع پیوسته تولید می گردد اطلاعات مهمی از این نوع همریختی ها در اختیارمان قرار خواهد گرفت. یک کمیت بسیار مهم در یک همریختی حلقه ای، هسته آن همریختی است. نشان داده شده است که برای همریختی حلقه ای $phi:c(x)longrightarrow c(y)$،...

fa-abstract{در این پایان نامه به طور کلی $x$ یک فضای توپولوژی هاسدورف و کاملاً منظم و $c(x)$ و $c^*(x)$ به ترتیب حلقه ی تمام توابع پیوسته ی حقیقی مقدار و حلقه ی تمام توابع پیوسته ی حقیقی مقدار کراندار روی $x$ هستند, در ابتدا ایدآل $mathcal{p}$ از زیرمجموعه های بسته ی فضای $x$ را تعریف می کنیم, سپس بحث را با دو زیرحلقه ی $c_mathcal{p}(x)$ و $c^mathcal{p}_infty(x)$ از حلقه ...