ریاضی 4. قضایای نقاط ثابت مشترک برای دو نگاشت در فضاهای متریک M فازی
قضایای نقاط ثابت مشترک برای دو نگاشت در فضاهای متریک M فازی
چکبده. در این مقاله، ما به اثبات بعضی از قضیه های نقاط ثابت مشترک برای دو نگاشت غیرخطی در فضاهای متریک M فازی کامل می پردازیم. نتایج اصلی ما، به اصلاح نسخه هایی از چند قضیه نقطه ثابت در فضاهای متریک فازی کامل می پردازد. 1. مقدمه و دیباچه مفهوم مجموعه فازی نخستین بار توسط محققی به نام زاده در سال 1965 معرفی شد. از آن به بعد، به منظور بکارگیری این مفهوم در توپولوژی (مکان شناسی) و تجزیه و تحلیل، بسیاری از محققان در سطح گسترده ای، تئوری مجموعه های فازی و کاربرد آن را توسعه داده اند. جورج و ورامانی (8) و کراموسیل و میچالک (11) به معرفی مفهوم فضای توپولوژیک فازی از طریق متریک فازی پرداختند که دارای کاربردهای بسیار مهمی در فیزیک ذرات کوانتوم به ویژه در ارتباط با نظریه بینهایت و رشته بوده که توسط ال- ناشی مطرح و مورد بررسی قرار گرفته است. بسیاری از محققان به اثبات بعضی از قضایای نقاط ثابت مشترک در فضاهای متریک ( احتمال) فازی پرداختند.
ریاضی 8. الگوریتم آشکارسازی بن بست موازی
الگوریتم آشکارسازی بن بست موازی
چکیدهبا به اجرا کردن PDDA (الگوریتم آشکارسازی بن بست موازی) از طریق تعداد کمی از سخت افزارها، واحد آشکارسازی بن بست طراحی شده به سختی عملکرد سیستم را تحت تاثیر قرار می دهد، ( و بطور بلقوه به هیچ وجه دارای تاثیر منفی نمی باشد) بلکه مبنایی را برای روش های آشکارسازی بن بست های شدید، به وجود می آورد.متاسفانه، مشکلات 1، 2، 3 ذکر شده در بخش 3.3.3، اجرای جلوگیری از این بن بست ها (وقفه ها) را در سیستم های حقیقی پیچیده می کند. روش جدید ما برای ادغام آشکار سازی این بن بست ها و اجتناب از آن ها ( اگرچه نیازمند اطلاعات پیشرفته نمی باشد، دانش مقدماتی از شرایط منابع)، سهمی در انطباق راحت تر جلوگیری از این بن بست ها در MPSoC ، با تطبیق حداکثر آزادی به همراه مزایای های اجتناب از این بن بست ها، دارد ( یعنی همزمانی حداکثر درخواست ها و تایید آن بستگی به مسیرهای اجرایی خاص دارد).
ریاضی 5. کوپلاس (پیوند) و کاربرد آن
کوپلاس (پیوند) و کاربرد آن
چکیدهبررسی پیوند، به مرور جنبه هایی از پیوند و خصوصیات آن پرداخته که تاکیدی بر روی ارتباط آن برای آمار و ارتباط آن با مراحل مارکوف و پیش بینی شریط آن دارد. کوپلاس در سال 1959 توسط اسکلار معرفی شد. امروزه تحقیقات بر روی پیوندها بسیار گسترده می باشد. خواننده در درجه اول به کتاب های معتبر و بررسی های افرادی چون شویزر، اسکلار و نلسون ارجاع می گردد. همچنین کتاب های نوشته شده توسط جو و هاتچینسون و لی شامل اطلاعات مهمی می باشد؛ به این ترتیب مجموعه ای از مقالات و موضوعات آن ها، زمانی که نیاز به آن ها احساس می گردد، مد نظر قرار می گیرند. مقاله کنونی به معرفی بعضی از ویژگی ها و کاربرد پیوند، حتی برای مواردی که دارای ارتباط نزدیک با موضوع قابلیت اطمینان نمی باشند، می پردازد. البته نمی توان وانمود کرد که وسعت یا عمق یکسانی از موارد بیان شده وجود دارد.
ریاضی 8. الگوریتم آشکارسازی بن بست موازی
الگوریتم آشکارسازی بن بست موازی
چکیدهبا به اجرا کردن PDDA (الگوریتم آشکارسازی بن بست موازی) از طریق تعداد کمی از سخت افزارها، واحد آشکارسازی بن بست طراحی شده به سختی عملکرد سیستم را تحت تاثیر قرار می دهد، ( و بطور بلقوه به هیچ وجه دارای تاثیر منفی نمی باشد) بلکه مبنایی را برای روش های آشکارسازی بن بست های شدید، به وجود می آورد.متاسفانه، مشکلات 1، 2، 3 ذکر شده در بخش 3.3.3، اجرای جلوگیری از این بن بست ها (وقفه ها) را در سیستم های حقیقی پیچیده می کند. روش جدید ما برای ادغام آشکار سازی این بن بست ها و اجتناب از آن ها ( اگرچه نیازمند اطلاعات پیشرفته نمی باشد، دانش مقدماتی از شرایط منابع)، سهمی در انطباق راحت تر جلوگیری از این بن بست ها در MPSoC ، با تطبیق حداکثر آزادی به همراه مزایای های اجتناب از این بن بست ها، دارد ( یعنی همزمانی حداکثر درخواست ها و تایید آن بستگی به مسیرهای اجرایی خاص دارد).
ریاضی 7. تابع تکین و لایه مرزی در سطوح قطاعی مدرج با ضخامت عملیاتی متوسط
تابع تکین و لایه مرزی در سطوح قطاعی مدرج با ضخامت عملیاتی متوسط
چکیده در این مقاله تجزیه و تحلیل فشارهای سطوح عملکردی بخش های درجه بندی شده در ارتباط با بررسی ویژگی ها در راس حدودها و تاثیر لایه های مرزی می باشد. بر طبق به نظریات تغییر سطوح , یک معادله نسبی متفاوتی بدست می آید. با استفاده از روش های تحلیلی , معادله توازن خمش و کشش تفکیک می گردد.همچنین با معرفی کردن یک تابع به نام لایه توابع مرزی , سه معادله مربوط به خمش به دو معادله تفکیک پذیر تبدیل می گردند.