هدف از این پایان نامه توسعه روش های کنترل بهینه ی وسایل نقلیه رباتیک خودکار در محیط طبیعی و کاربرد آنها در پویانمایی است. کار اصلی استخراج فضای حالت حافظ ساختار انتگرال گیری و طرح های بهینه سازی برای سامانه های ‎ltrfootnote{‎systems‎} مکانیکی متقارن، دینامیک شکل قابل کنترل و محدودیت های غیرهولونومیک مبتنی بر تئوری مکانیک گسسته می باشد. محتوای این پایان نامه مبتنی بر مطالعه ی ‎cite{m5,m31‎, ‎m55...

( با توجه به این که این پایان نامه با نرم افزار فارسی تک نوشته شده فایل word آن ضمیمه نیست ) بسیاری از معادلات دیفرانسیل مطرح در مسائل فیزیکی، معادلات دیفرانسیل بر روی گروههای لی می باشند که جواب آنها برحسب تابع نمایی قابل بیان است. روش تجزیه قطبی تعمیم یافته، یک روش عددی کارا برای محاسبه exp aاست که در آن a عضوی از یک جبر لی ماتریسی است. یکی از مزیتهای این روش، حفظ ساختار هندسی گروه لی در محا...

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

وجود یک فرم مدرج غیر صفر روی یک چنبره لی به کمک وجود یک فرم مدرج غیر صفر روی چنبره های ساختارپذیر

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

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

در این پایان نامه ابتدا مفهوم پایداری معادلات تابعی را معرفی نموده و سپس به تحقیق در مورد مسئله پایداری و فرا پایداری مشتق و مشتق حلقه می پردازیم.

فرض کنیم a یک جبر باناخ یکدار و m یک a- دو مدول یکانی باشد. نشان می دهیم که اگر ? یک نگاشت خطی از a به توی m که در رابطه ?(st)=?(s)t+s?(t) برای هرa s,t? با خاصیت st=w صدق کند که در آن w یک نقطه جدایی پذیر راست یا چپ m می باشد آنگاه ? یک مشتق جردن است . همچنین نشان می دهیم که هر نگاشت خطی h از a به توی یک جبر باناخ یکدار b که در رابطه h(s)h(t)=h(st) برای هرa s,t? با خاصیت st=w صدق کند یک همومورف...

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

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