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

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

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

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

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

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

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