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

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

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

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

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

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

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

از مباحث چالش‌برانگیز در دانش منطق، قضیه سالبة‌المحمول است. منطق‌دانان در پذیرش این قضیه به دو گروه تقسیم شده‌اند و گروهی که وجود آن را پذیرفته‌اند نیز درباره مفادش هم‌نظر نیستند. گویا خونجی نخستین منطق‌دانی است که از این قضیه یاد کرده و البته بدون توجه به چالش‌های احتمالی درباره سالبة‌المحمول، وجود آن را مسلّم انگاشته و احکام آن را، مانند دیگر قضایا، تفصیل داده است. پس از خونجی، ابهری سالبة‌الم...

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

پتانسیل های وابسته به مکان در مکانیک کوآنتومی به دو دسته چند جمله ای و غیر چند جمله ای (یا کسری) تقسیم می شوند. پتانسیل های کسری نیز به دو دسته تکین و غیر تکین تقسیم می شوند. ازجمله پتانسیل های تکین می توان به پتانسیل های میله ای و هم توان اشاره کرد. هم چنین از جمله پتانسیل های غیر تکین، می توان پتانسیل های سی پی آر اس و کسری مرتبه دوم و چهارم را نام برد.