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

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

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

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

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

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

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

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

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

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