حساب هتینگ ha صورت شهودگرایانه حساب پئانو pa است که با حذف اصل طرد شق ثالث pem از آن حاصل می شود. در این پایان نامه توصیفی از نتایج wehmeier درباره ارضاء (زیرنظریه های) pa در جهانهای مدلهای کریپکی ha آورده می شود. برای مثال، هر قضیه ii2 از pa (که در ha نیز برهان پذیر خواهد بود) در هر مدل کریپکی ha موضعا صادق است . به علاوه، مدلهای کریپکی توسیع انتهایی برای ha قالب - 1 گردایه را نیز (که در ha بر...

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

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

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

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

چکیده ندارد.

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

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

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

فرض کنید ∞ ∪ c=c نمایش دهنده ی کره ی ریمان و p:c → c یک چندجمله ای از درجه ی d ≥ 2 روی کره ی ریمان باشد .کره ی ریمان می تواند به دو مجمو عه ی کاملا ناوردا نسبت به p تقسیم شود.یک مجموعه ی پایدار که دینامیک p روی آن قابل پیش بینی است و یک مجموعه ی ناپایدار که دینامیک p روی آن آشفته و بی نظم است.در زبان آنالیز مختلط یک مجموعه ی پایدار برای p مجموعه ی تمام نقاطی از c است که خانواده ی تکرارهای p در ...