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

در این مقاله ارتعاش پوسته¬ی استوانه¬ای fgm با استفاده از روش مربعات دیفرانسیلی (dqm) مطالعه می شود. ماهیت روش مربعات دیفرانسیلی، مشتق جزئی تابع یکنواخت نسبت به متغیری است که توسط مجموع وزنی مقادیر تابع در تمامی نقاط گسسته در آن جهت تقریب زده شده است. ضرایب وزنی مربوط به آن، به مسأله ی خاصی مربوط نیست و فقط به نقاط شبکه و مرتبه¬ی مشتق بستگی دارد. پوسته¬ی fgm خواص متغیری در راستای ضخامت بر حسب تا...

در یکی دو دهۀ گذشته نهضتی جهانی برای بازنگری آموزش مهندسی، ارزشیابی نتایج آن و ایجاد همگرایی بین ارزشیابیهای صورت گرفته در کشورهای مختلف ایجاد شده است. اصل مورد توافق در تقریباً همۀ این بررسیها برداشتن تمرکز از ورودیهای آموزش (آنچه دانشگاه عرضه می‌کند) و تمرکز آن بر‌ خروجیها (آنچه دانشجویان کسب کرده‌اند) بوده است. بدین منظور، حداقل دستاوردهای مورد انتظار از یک دانش‌آموختۀ مهندسی تعیین شده است. ت...

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

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

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

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

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

در این پایان نامه دنباله ای تکراری توسط خانواده نگاشت های بسط ناپذیرارائه می شود و نشان داده می شود این دنباله روی فضای lp به نقطه ثابت مشترک این خانواده همگرای قوی است. همچنین شرطی که بیان می کند این همگرایی روی فضای lp برقرار است را بیان می کنیم. سپس روشهای تکراری نقطه ثابت مشترک خانواده شمارش پذیر از خود نگاشت های بسط ناپذیر و غیرخود نگاشت های بسط ناپذیر در فضای بطور یکنواخت محدب را بررسی ...

فرض کنیم ‎x‎ ‎ و ‎ ‎k‎ ‎ مجموعه های صفحه ای فشرده باشند به طوری که‎. k ? x بستار یکنواخت توابع چند جمله ای بر ‎ ‎k‎ را با ‎ ‎p(k)‎ ‏، بستار ‎‎‎یکنواخت توابع گویا بر ‎ k ‎ که قطب هایش خارج از ‎k‎ است را با ‎ ‎r(k)‎ و جبر متشکل از توابع پیوسته بر ‎ ‎k‎ ‎ که بر ‎ ‎int(k)‎ تحلیلی هستند را با ‎ ‎a(k)‎ ‎ نشان می دهیم. ‎ p(x , k) ‎‏، ‎‎ ‎r‎(x , ‎k)‎‎‎‎‎و ( ‎a‎(x , ‎k ‎ را مجموعه های از توابع در ‎ ‎c(x...