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

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

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

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

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

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

فاقد چکیده

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

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

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