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

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

دراین پایان نامه، به ازای گروه فشرده ی g ثابت خواهیم کرد که ایده آل راست بسته ی i از جبر سگال ( s ( g، یک همانی تقریبی چپ صادق در شرط یکنواختی دارد اگر و تنها اگر i در جبر سگال ( s ( g متمم تقریبی باشد .در این راستا ابتدا مفاهیمی از جمله مفهوم متمم تقریبی بودن یک فضا و شرط یکنواختی را بیان می کنیم و در ادامه با استفاده از مفهوم ویژگی تقریب، قضایا و گزاره های متعددی را عنوان می کنیم که یکی از ای...

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

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

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

در این تحقیق, ابتدا با تعریف ابرگراف, ابرگراف جهت دار و ابرمسیر آشنا خواهیم شد. سپس الگوریتمی را برای به دست آوردن کوتاه ترین ابرمسیر روی یک ابرگراف جهت دار معرفی خواهیم کرد. در ادامه الگوریتم هایی معرفی می شوند که با استفاده از آن ها می توانیم k‎ تا از کوتاه ترین ابرمسیرها را از راس مبدا s به راس مقصد t‎ به دست آوریم و این الگوریتم ها از نظر زمان اجرا با هم مقایسه می شوند. بعد از آن یکی از کار...

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

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