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

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

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

در سال‌های اخیر روش‌های کینماتیک به منظور استفاده از توانایی GPS در تعیین موقعیت دقیق در مدت زمان مشاهده‌ی بسیار کوتاه و حتی با گیرنده‌ی در حال حرکت، توسعه داده شدند. در تعیین موقعیت کینماتیک نسبی موقعیت گیرنده‌ی ثابت، معلوم فرض می‌شود و موقعیت گیرنده‌ی دوم نسبت به گیرنده‌ی اول تعیین می‌شود. روش کینماتیک ایست-رو در مقایسه با استاتیک از سرعت بالاتر و دقت پایین‌تری برخوردار است. افزودن قیود در سی...

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

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

در کار حاضر به‌منظور بهبود بهتری از شناخت برهم‌کنش‌های و ، امکان وجود حالت مقید سیستم سه‌جسمی ( لامبدا - لامبدا - پروتون و لامبدا - لامبدا - نوترون ) را از دیدگاه محاسباتی بررسی کرده‌ایم. برای مطالعه‌ی ساختار چنین سیستم سه‌جسمی‌ای از مدل‌های برهم-کنشی ND، NF و NS گروه نایجمین و برهم‌کنش‌های JA و JB گروه یولیچ که اثرات جفت‌شدگی در آن‌ها صریحاً در نظر گرفته شده، برای پتانسیل ، و از یک مدل شبه OBE،...

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