در این پایان نامه ابتدا یک مجموع? مرتب جزئی را به جای ?- جبر موجود در آنتروپی نظری? اندازه قرار دادیم. به جای عملگرهای اجتماع و اشتراک بر ?- جبر، عملگرهای جمع و ضرب را قرار دادیم. همچنین عملگرf-انداز? m را جایگزین انداز? احتمال کردیم. سپس با استفاده از این پیش فرض ها، مفهوم افراز شمارا را بیان نمودیم، و بر مجموع? تمام افرازهای شمارا ترتیب تظریف و عملگر الحاق را تعریف کردیم. قضایایی نیز دربار? خ...

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

چکیده ندارد.

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

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

این پایان نامه که بر اساس مرجع ‎cite{d_30}‎ تنظیم شده است، الگوریتمی از نوع نقطه درونی، پیشگو-تصحیح کننده است که در آن روشی را برای برنامه ریزی خطی بررسی می کنیم که مستقل از مقیاس است. مرحله پیشگوی این نوع از الگوریتم ها، یا گامی در امتداد جهت مقیاس آفینی استاندارد ‎$ (as) $‎ بر می دارد، یا در جهت جدیدی گام برمی دارد که از نوع ناحیه-مطمئن است. ساختن این جهت جدید به یک افراز دو تکه ای مستقل از م...

در این رساله ابتدا یک الگوریتم جدید برای محاسبه ی معکوس مور _ پن رز یک ماتریس حقیقی با و رتبه مبتنی بر فرآیند گرام _ اشمیت مزدوج و معکوس مور _ پن رز ماتریس های افراز شده به نام cgs – mpi ارائه می شود. نتایج عددی نشان می دهند که ماتریس شبه معکوس حاصل به طور مطلوبی دقیق است و زمان محاسبه آن به طور با معنایی کمتر از زمان محاسبه شبه معکوس های به دست آمده از سایر روشها برای ماتریس های تنک و بزرگ می ...