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

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

در این پایان نامه، با فرض اینکه ‎ v‎ یک *c - مدول هیلبرت تولید شده ی شمارا روی یک ‎$ c^{ast} $,‎ـ جبر ‎$ a $‎ است، ثابت خواهیم کرد که دنباله ی ‎$ lbrace f_{i}:iin i brace subseteq v $‎ یک قاب استاندارد برای ‎$ v $‎ است اگر و تنها اگر سری ‎$ sum_{iin i} langle x,f_{i} angle langle f_{i},x angle $‎ برای هر ‎$ xin v $‎ همگرا (در نرم) باشد و ثابت های ‎$d>0$‎ و ‎$c $‎ موجود ب...

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

نظریه ی احتمال تعویض ناپذیر بر اساس درکی عمیق از نظریه ی احتمال کلاسیک و مفاهیم جبری پدید آمده است. ویکولسکیو (1983) دریافت که پرداختن به بعضی از مسائل مشخص جبر عملگری توسط تقلید کردن از تئوری احتمال کلاسیک امکان پذیر است. در حقیقت در نظریه ی احتمال تعویض ناپذیر، متغیرهای تصادفی لزوما از خاصیت تعویضپذیری برخوردار نیستند، به طور مثال برای دو متغیر تصادفی x ,y خاصیت e(xxy)=e(xyx) لزوما برقرار نیس...

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

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

در این رساله ،ابتدا اطلاعات پایه ای و مفیدی درباره ی *c-جبر ها ،*c-مدولهای هیلبرت ،عملگرها ی الحاق پذیر ،پایه متعامد یکه،پایه هیلبرت ،قاب ها ودوگان مدولی آنها گردآوری و تألیف شده است .سپس با تجزیه و تحلیل دقیق مقاله ی riesz bases and their dual modular hilbert c*-modules j.math.anal.appl- 343 256-246;(2008)- قاب های دوگان برای قاب های مدولی وپایه های رایس در *c-مدولهای هیلبرت را مورد بررسی...

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

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