ریاضی 2. بینهایت: اسرار آمیزی (تاریکی) و ابهام خدایان

خرید این محصول

» :: ریاضی 2. بینهایت: اسرار آمیزی (تاریکی) و ابهام خدایان

بینهایت: اسرار آمیزی (تاریکی) و ابهام خدایان

اکنون به نقش (فعالیت) اصلی ریاضیدانان می پردازیم: تایید تئوری ها از طریق به کارگیری قواعد منطق ریاضی در سایر فرضیه ها و اصلهای اساسی. تمام علوم ریاضی از نظریه پردازی ایجاد باده شود، بطوریکه تنها چیزی که باید بدانیم اصلهای نظریه مجموعه هاست. ماهیت اصلها (بدیهیات) چگونه است؟ اغلب علوم ریاضی که تا کنون شکل گرفته اند بر اساس سیستمی از اصلها (بدیهیات) به نام ZFC (یا صفت زبده  Zermela-Fraenkel واصلهای برگزیده ) می باشند. در واقع، ریاضیدانان به سمت کمی از اصلهای ZFC استفاده می کنند، آنها به فرضیه های معروف برخواسته از ZFC استناد می کنند. بنابراین، در چهره آرزو به اثبات وجود شمار با نهایتی از اعداد اول، معمولا نمی توان از طریق ZFC به چنین نتیجه ای دست یافت. به سمت به‌ازا آن می توان به این فرض تکیه کرد که قبلا شخص دیگری ارتباط بین اعداد صحیح و نظریه مجموعه ها را ثابت کرده است و شمار مشخصی از نتایج معروفی را درباره اعداد صحیح برای شما فراهم آورده است (به قسمت زیر مراجعه کنید)

خرید این محصول

ریاضی 8. الگوریتم آشکارسازی بن بست موازی

خرید این محصول

» :: ریاضی 8. الگوریتم آشکارسازی اصل بست محاذی

الگوریتم آشکارسازی بن بست موازی

جوهره

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

متاسفانه، مشکلات 1، 2، 3 ذکر شده در بخش 3.3.3، اجرای جلوگیری از این بن بست ها (وقفه ها) را در سیستم های حقیقی پیچیده می کند. روش اخیر ضمیر اول شخص جمع برای ادغام آشکار سازی این بن بست ها و اجتناب از آن ها ( اگرچه نیازمند اطلاعات پیشرفته نمی باشد، دانش مقدماتی از شرایط منابع)، سهمی در انطباق راحت تر جلوگیری از این بن بست ها در MPSoC ، با تطبیق حداکثر آزادی به همراه مزایای های اجتناب از این بن بست ها، دارد ( یعنی همزمانی حداکثر درخواست ها و تایید آن بستگی به مسیرهای اجرایی خاص دارد).  

خرید این محصول

ریاضی 9. تست توزیع نرمال در برابر توزیع منطقی با استفاده از روش تقریبی سادلپوینت

خرید این محصول

» :: ریاضی 9. آزمایش توزیع طبیعی در برابر توزیع منطقی با استفاده از روش تقریبی سادلپوینت

تست پخش طبیعی در برابر توزیع منطقی با استفاده از روش تقریبی سادلپوینت

چکیده

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

کلید واژه. اتساع ادج ورث، آزمون انتساب احتمال، آزمون نامتغیرهای قوی، نسبت احتمال حداکثر (RML)، تقریب احتمال دامنه

خرید این محصول

ریاضی 10. هماهنگی نقل و انتقالات و زمانبندی برای دسته بندی

خرید این محصول

» :: ریاضی 10. هماهنگی شیرینی و انتقالات و زمانبندی برای دسته بندی

هماهنگی نقل و انتقالات و زمانبندی از بهر دسته بندی

چکیده 

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

خرید این محصول

ریاضی 12. مدل ضریب تکثیر میازاوا در گروه های درآمدی خانوارهای مجزا

خرید این محصول

» :: ریاضی 12. مدل ضریب تکثیر میازاوا در گروه های درآمدی خانوارهای مجزا

 مدل ضریب ازدیاد میازاوا در گروه های درآمدی خانوارهای مجزا

چکیده

ابهت کار میازاوا (1976) در اندر یابی مدل ورودی- خروجی خانوارها ، ماتریس های چندگانه متعددی را ایجاد می کند. بررسی کاملی از تعاملات اقتصادی- جمعیتی مشخصی باب قالب میازاوا و کاربرد آن، در مجموعه ای از مقالات در آثار هوینگ و همکارانش (1999) یافت می شود. در این بخش، ما بعضی از مفهوم‌ها مورد استفاده باب بخش های دیگر این کتاب کنار می گذاریم، تا با موارد استفاده آن توسط مدل میازاوا آشنا شویم، از این رو تمام مباحث بعدی و کاربرد چارچوب میازاوا همچنان از این مفاهیم استفاده می کند.  

خرید این محصول