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

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

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

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

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

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

چکیده ندارد.

این رساله به بررسی خاصیت های بیشتری از مدول های تقریباً تزریقی که تعمیمی از مدول های تزریقی است، اختصاص یافته است. یکی از محک های اساسی برای تعیین تزریقی بودن یک مدول، محک بئر می باشد. در یکی از مقالات اخیر، جین و الاحمدی این پرسش را مطرح کرده اند که: ‎«‎آیا محکی شبیه محک بئر برای مفهوم تقریباً تزریقی وجود دارد؟‎»‎ ما با ارائه مثالی نشان می دهیم پاسخ این سوال در حالت کلی منفی است. در حقیقت، ثابت ...

فرض کنید r یک حلقه جابجایی و یکدار و نوتری و i یک ایده ال منظم از آن باشد. سوال اصلی در این پایان نامه این است که آیا یک توسیع صحیح متناهی a برای حلقه r موجود است که برای آن، رادیکال پوچ ia، ایده ال به طور تصویری کاملی باشد که هم ارز تصویری با خود a شود؟ یک سوال قویتر این که آیا یک توسیع سوال اصلی در این پایان نامه این است که آیا یک توسیع صحیح متناهی a برای حلقه r موجود است که برای آن، رادی...

فرض کنید g=(v,e) یک گراف همبند غیرجهتدار و c?v یک زیرمجموعه از رئوس باشد. اگر به ازای هر رأس v?v، مجموعه¬های n_g [v]?c غیرتهی و متفاوت باشند، آنگاه c را یک کدشناساگر می نامیم. در ادامه ویژگی های اساسی کدهای شناساگر را بررسی خواهیم کرد، یک کران بالا برای کدشناساگر مینیمم ارائه خواهیم داد و گراف هایی که این کران را بدست می دهند، بررسی خواهیم کرد. همچنین سیستم های نظاره گر در گراف را معرفی می کنیم...