برای حل دستگاه خطی به شکل ax=b ، که ماتریس ضرایب a ، نامنفرد، بزرگ، تنک و نامتقارن است می توان از روش های زیرفضای کریلف استفاده نمود. در اغلب موارد به منظور شتاب بخشیدن به حل دستگاه خطی فوق، دستگاه را با استفاده از یک ماتریس پیش شرط که معمولاً آن راm می نامیم، به یک دستگاه پیش شرط شده تبدیل کرده و سپس آن را با روش های زیر فضای کریلف حل می کنیم. ماتریس پیش شرط m تقریبی ازa یا تقریبی از معکوس a می...

یک کد خطی c‎ با طول ‎n‎ و بعد ‎k‎ روی میدان متناهی ‎f_q‎ یک زیرفضای ‎-k‎بعدی از فضای برداری ‎f_q^n‎ روی ‎f_q است. برای تعریف دوگان ‏یک کد روی ‎f_q‎‏، به تعریف یک ضرب داخلی روی این میدان نیا‏ز است. ضرب های داخلی اقلیدسی و هرمیتی‏، دو نمونه از این ضرب های داخلی هستند. دوگان فضای برداری c‎ که با ضرب داخلی اقلیدسی(هرمیتی) به دست می آید را دوگان اقلیدسی (هرمیتی) کد خطی c‎ نامیده و با نماد ‎ (c^(?_...

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

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

دو اصل مهمی که تشکیل دهندۀ پارادوکس تأیید هستند، عبارتند از: 1. اصل یا معیار نیکو؛ 2. اصل یا شرط هم ارزی؛ راه حل های مطرح شده برای حل پارادوکس تأیید نیز بر همین مبنا در دو دسته کلی قابل دسته بندی هستند: نخست ، راه حل هایی که بر رد یا اصلاح معیار نیکو مبتنی اند؛ دوم، راه حل هایی که بر رد یا اصلاح شرط هم ارزی مبتنی هستند. در مقاله حاضر، با توصیف اجمالی پارادوکس تأیید، به چهار راه حل پرداخته ایم. ...

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

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

استواری مبانی فقهی شیعه وامدار پویشها و کوششهای بی وقفة مجتهدان و تلاشگران این عرصه است. بحث شروط راوی یکی از مباحث عمده و محوری در زمینه مقبول یا غیر مقبول بودن حدیث است. نوشتار حاضر در پی مطالعه و بررسی شرط «ایمان» یا «مذهب» است. نگارنده در این مقال نشان داده است که در اشتراط این شرط نسبتاً نوپدید و به تعبیر صریح تر در پای بندی به این شرط حتی در میان متقدمان اولیه نیز اتفاق نظر وجود ندارد، دل...

قدر متیقن از شرط حفظ مالکیت در معنای عام آن تأخیر انتقال مالکیت است، اما شکل رایج این شرط ـ که بحث‎های دکترین و رویه‎ قضایی خارجی عمدتاً بر آن متمرکز است ـ مبتنی بر اثر تأخیری نیست، بلکه کارکرد آن تعلیق تملک مبیع است. در مقابل این شرط، مسیر نظام‎های حقوقی مختلف از هم جدا می‎شود. برخی از کشورها مانند فرانسه این شرط را پذیرفته‎اند اما با تفسیر مضیق و سختگیرانه موارد کاربرد آن را محدود کرده‎اند، در...