چکیده: این پایان نامه اولین مطالعه ی نظریه اثباتی و نظریه مدلی از ترکیب منطق های با زمان محدود و منطق های ساختی است. ابتدا به منظور فراهم کردن یک پایه نظری مفید برای استدلال های زمانی که دارای خاصیت ساختی و فراسازگارند، دو منطق ib[l] و pb[l] معرفی می شود. این منطق ها دو مدل محدود و ساختی از ltl و توسیع هایی از منطق شهودی یا منطق فراسازگار نلسون هستند که تحت عنوان حساب های رشته ای گنتسنی b[l] و...

در این پایان نامه ابتدا مفهوم مجموعه خودتوان های مثلثی چپ برای یک حلقه را بیان می کنیم و رابطه بین خودتوان های مثلثی چپ یک حلقه و برخی از توسیع های آن حلقه را بررسی می کنیم. این خودتوان ها یک نمایش ماتریسی مثلثی تعمیم یافته برای یک حلقه تعیین می کنند. سپس حلقه های pwp را مورد مطالعه قرار می دهیم. این خانواده شامل حلقه های pwd (و بنابرین شامل همه حلقه های موروثی که نیم ابتدائی یا نوتری راست هستن...

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

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

در این گایان نامه، توسیع های از دو طرف پوششی از همریختی های از دو طرف معین بررسی می کنیم و چند شرط کافی برای یک همریختی از دو طرف معین ارائه می دهیم که توسیعی از دو طرف پوششی با دامنه ی تحویل ناپذیر داشته باشد. با استفاده از این نتایج، ثابت می کنیم یک کد از دو طرف بسته بین فضاهای شیفت می تواند برای n به اندازه کافی بزرگ به کدی n به یک بین شیفت های از نوع متناهی تحویل ناپذیر توسیع یابد.

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

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

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

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