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

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

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

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

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

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

مفهوم میانگین پذیری ریشه در آغاز نظریه اندازه مدرن دارد. پس از سال ‎1940‎ میانگین پذیری به یک مفهوم مهم در آنالیز هارمونیک تبدیل شد. جانسن ‎ltrfootnote{johnson}‎ کسی بود که نظریه میانگین پذیری جبرهای باناخ را ابداع کرد. اما مفهوم میانگین پذیری ضعیف اولین بار توسط دیلز ‎ltrfootnote{dales}‎ و همکارانش در ‎cite{dales2}‎ برای جبرهای باناخ جابجایی معرفی شد و توسط جانسن برای حالت ناجابجایی گستر...

هدف از این پایان نامه بررسی مفهوم صلب بودن برای یک مدول است. یک مدول با تولید متناهی مانند m را صلب نامند هرگاه برای هر r-مدول مانند i و برای هر iدر n__0 اگر tor_i^r(m,n)=0آنگاه برای هر j>i نیز tor_j^r(m,n)=0. در این پایان نامه می بینیم که هر حلقه ی موضعی و منظم، صلب است. سوالی که توسط جبردانان این حوزه مطرح بود این بود که آیا این خاصیت با جایگذاری فانکتور extبه جای فانکتور tor نیز موجود است؟...

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

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