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

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

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

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

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

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

در این رساله برخی خواص کدهای ‎‎$ ‎1‎ $‎-کامل‎‎ ‎(توسیع‎ یافته ) کوتاه شده سه گانه (سه بار کوتاه شده) مطالعه شده است. ‎ ‎نشان‎ داده شده هر ‎$ ‎(n=2‎^{m}-3, ‎2‎^{n-m-1}, ‎4) ‎$‎ کد دلخواه ‎$ ‎c‎ $‏،‎ یعنی کدی با پارامترهای یک کد همینگ توسیع یافته ی سه بار کوتاه شده‏، حفره ای از یک افراز متعادل برای ‎$ ‎n‎ $‎-مکعب با شش حفره است. علاوه بر این ‎ هر ‎$ ‎(n=2‎^{m}-4, ‎2‎^{n-m}, ‎3) ‎$‎‎ کد دلخواه ‎$ ...