تالار گفتمان مانشت

نسخه‌ی کامل: رقابت بحرانی!
شما در حال مشاهده‌ی نسخه‌ی متنی این صفحه می‌باشید. مشاهده‌ی نسخه‌ی کامل با قالب بندی مناسب.
با سلام

چرا توی این جدول 3 تا رقابت بحرانی داریم:

[تصویر:  228093_75974293523694799417.png]
کسی نیست که به این مبحث مسلط باشه؟؟؟؟؟؟؟Sad
با عرض سلام خدمت دوستان
ضمن پوزش بخاطر توضیحی که دیشب فرستادم و ساده ترین مورد رو راجع به مدارهای آسنکرون تو حل این سوال در نظر نگرفتم که همون فرض مد اساسی بودن ای نوع مدارهاست این فرض این مطلب رو میگیه که مدار هر چند تا ورودی که داشته باشه در هر زمان یک ورودی تغییر میکنه و ورودی ها همزمان تغییر نمیکنن خوب حالا با لحاظ کردن این فرض توی این تست داریم:

توی ردیف اول اگر در حالت پایدار ۰۰ باشیم با ورودی ۰۰ باشیم و ورودی اول-کم ارزش- رو ۱ کنیم طبق جدول باید به حالت ۱۱ تحت ورودی ۰۱ بریم پس این تغییرات رو خواهیم داشت [tex]00\rightarrow 11\rightarrow 01[/tex] ای تغییر به صورت نرمال هست اما احتمالش هست که یکی از خروجی ها تو حالت فعلی ۰۰ زودتر از دیگری بره به ۱ حالا یا خروجی اول یا خروجی دوم پس این دو حالت پیش میاد:
[tex]{\color{DarkGreen} 00\rightarrow 01}[/tex]
[tex]{\color{Red} 00\rightarrow 10}[/tex]
حالت سبز رنگ چون با حالت نرمالی که در بالا گفتم نتیجش یکی یک رقابت غیر بحرانی ولی حالت قرمز نگ نه دیگه رفته به یه جای نامطلوب پس تا اینجا یک رقابت بحرانی
اما توی ردیف دوم با ید بگردیم ببینیم کجا با یک تغییر توی ورودی هر دو خروجی باهم عوض میشن خوب اگه تو حالت پایدار ۰۱ و ورودی ۰۱ باشیم با تغییر ورودی به ۱۱ خوجی از ۰۱ به ۱۰ تغییر میکنه و این دنباله تغییر رو خواهیم داشت [tex]01\rightarrow 10[/tex] که تغییر مطلوب و نرمال ما هست حالا اگه یکی از خروجی ها زودتر ۰ یا ۱ بشه این دو حالت زیر رو داریم:
[tex]{\color{Red} 01\rightarrow 00}[/tex]
[tex]{\color{Red} 00\rightarrow 11}[/tex]
که هر دو ما رو به حالات پایانی میبرن که با تغییر نرمال ما متفاوت هست و تو هر دو رقابت بحرانی داریم پس شد ۳ تا رقابت بحرانی اما سطر ۳ و ۴ جدول هم هیچ تغییری در دو خروجی همزمان با توجه به تغییر در یک ورودی نداریم

با تشکر از دوستمون بابت این سوال که مسله رقابت رو برا من یکی جا انداخت
(20 آذر 1392 10:39 ق.ظ)amin222 نوشته شده توسط: [ -> ]با عرض سلام خدمت دوستان
ضمن پوزش بخاطر توضیحی که دیشب فرستادم و ساده ترین مورد رو راجع به مدارهای آسنکرون تو حل این سوال در نظر نگرفتم که همون فرض مد اساسی بودن ای نوع مدارهاست این فرض این مطلب رو میگیه که مدار هر چند تا ورودی که داشته باشه در هر زمان یک ورودی تغییر میکنه و ورودی ها همزمان تغییر نمیکنن خوب حالا با لحاظ کردن این فرض توی این تست داریم:

توی ردیف اول اگر در حالت پایدار ۰۰ باشیم با ورودی ۰۰ باشیم و ورودی اول-کم ارزش- رو ۱ کنیم طبق جدول باید به حالت ۱۱ تحت ورودی ۰۱ بریم پس این تغییرات رو خواهیم داشت [tex]00\rightarrow 11\rightarrow 01[/tex] ای تغییر به صورت نرمال هست اما احتمالش هست که یکی از خروجی ها تو حالت فعلی ۰۰ زودتر از دیگری بره به ۱ حالا یا خروجی اول یا خروجی دوم پس این دو حالت پیش میاد:
[tex]{\color{DarkGreen} 00\rightarrow 01}[/tex]
[tex]{\color{Red} 00\rightarrow 10}[/tex]
حالت سبز رنگ چون با حالت نرمالی که در بالا گفتم نتیجش یکی یک رقابت غیر بحرانی ولی حالت قرمز نگ نه دیگه رفته به یه جای نامطلوب پس تا اینجا یک رقابت بحرانی
اما توی ردیف دوم با ید بگردیم ببینیم کجا با یک تغییر توی ورودی هر دو خروجی باهم عوض میشن خوب اگه تو حالت پایدار ۰۱ و ورودی ۰۱ باشیم با تغییر ورودی به ۱۱ خوجی از ۰۱ به ۱۰ تغییر میکنه و این دنباله تغییر رو خواهیم داشت [tex]01\rightarrow 10[/tex] که تغییر مطلوب و نرمال ما هست حالا اگه یکی از خروجی ها زودتر ۰ یا ۱ بشه این دو حالت زیر رو داریم:
[tex]{\color{Red} 01\rightarrow 00}[/tex]
[tex]{\color{Red} 00\rightarrow 11}[/tex]
که هر دو ما رو به حالات پایانی میبرن که با تغییر نرمال ما متفاوت هست و تو هر دو رقابت بحرانی داریم پس شد ۳ تا رقابت بحرانی اما سطر ۳ و ۴ جدول هم هیچ تغییری در دو خروجی همزمان با توجه به تغییر در یک ورودی نداریم

با تشکر از دوستمون بابت این سوال که مسله رقابت رو برا من یکی جا انداخت


خیلی خیلی ممنون
سلام
کسی میدونه چیجوری میشه از طریق جدول انتقال وجود هازارد و تشخیص داد ؟
(27 آذر 1392 01:06 ق.ظ)shima541 نوشته شده توسط: [ -> ]سلام
کسی میدونه چیجوری میشه از طریق جدول انتقال وجود هازارد و تشخیص داد ؟

اگر ارتباطی بتوان ایجاد کرد ولی در مورد آن در سوال ذکر نشده باشه؟؟

من هنوز متوجه تعداد رقابت نشدم!Confused تعداد حالات نهایی که مشخصه .بعدش باید تغییرات همزمان دو بیت رو پیدا کرد... من بعد این متوجه نمیشم!!!
لطفا راهنمایی کنید.برای یک بار هم که شده من از مانشت به نتیجه برسم!

فک کنم متوجه شدم.
از حالت پایدار یعنی همون حالی که شبیه ورودی هست به حالتی بریم که دو تا تغییر در آن ایجاد شده باشه میگیم رقابت.
درسته؟
دو تا سوال رو با این منطق حل کردم ..
دوستان اگه اشتباه میگم لطفا بگین.
سلام دوستان
میشه یکم شفاف تر توضیح بدید چجوری رقابت حساب میشه ؟
منظور از حالت پایدار دقیقا" چیه؟
(05 دى 1392 11:10 ب.ظ)soheila2012 نوشته شده توسط: [ -> ]
(27 آذر 1392 01:06 ق.ظ)shima541 نوشته شده توسط: [ -> ]سلام
کسی میدونه چیجوری میشه از طریق جدول انتقال وجود هازارد و تشخیص داد ؟

اگر ارتباطی بتوان ایجاد کرد ولی در مورد آن در سوال ذکر نشده باشه؟؟

من هنوز متوجه تعداد رقابت نشدم!Confused تعداد حالات نهایی که مشخصه .بعدش باید تغییرات همزمان دو بیت رو پیدا کرد... من بعد این متوجه نمیشم!!!
لطفا راهنمایی کنید.برای یک بار هم که شده من از مانشت به نتیجه برسم!

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

ببخشید دوستان من یه مدت به منطقی سر نزدم بله منطق شما درست حالت پایدار حالتی که خروجی مدار شبیه ورودی و مدار ثابت میمونه یه نکته دیگه هم به منطقتون اضاف کنید و اون اینکه حالتهای خروجی که همزمان هر دو بیتشون تغییر میکنه به ازای تغییر یک بیت ورودی مستقل (متغیر بالای ستونهای جدول یا همون متغیرهای x) در نظر بگیرید یعنی اینکه اگر متغیرهای ورودی مستقل مدار(x0x1) تو جدول همزمان باهم تغیر کرد لازم نیست دیگه ستونهای تحت این تغییر رو در نظر بگیرید(اصطلاحا مدار باید در حالت مد اساسی بررسی بشه)
(20 آذر 1392 10:39 ق.ظ)amin222 نوشته شده توسط: [ -> ]توی ردیف اول اگر در حالت پایدار ۰۰ باشیم با ورودی ۰۰ باشیم و ورودی اول-کم ارزش- رو ۱ کنیم طبق جدول باید به حالت ۱۱ تحت ورودی ۰۱ بریم پس این تغییرات رو خواهیم داشت [tex]00\rightarrow 11\rightarrow 01[/tex] ای تغییر به صورت نرمال هست اما احتمالش هست که یکی از خروجی ها تو حالت فعلی ۰۰ زودتر از دیگری بره به ۱ حالا یا خروجی اول یا خروجی دوم پس این دو حالت پیش میاد:
[tex]{\color{DarkGreen} 00\rightarrow 01}[/tex]
[tex]{\color{Red} 00\rightarrow 10}[/tex]
حالت سبز رنگ چون با حالت نرمالی که در بالا گفتم نتیجش یکی یک رقابت غیر بحرانی ولی حالت قرمز نگ نه دیگه رفته به یه جای نامطلوب پس تا اینجا یک رقابت بحرانی
من متوجه قسمت اول نمیشم. خروجی ما در سطر اول ستون دوم باید 11 بشه چرا میگین از 11 به 01 باید بریم ونرمال هست؟
(16 دى 1392 05:13 ب.ظ)maryam.raz نوشته شده توسط: [ -> ]
(20 آذر 1392 10:39 ق.ظ)amin222 نوشته شده توسط: [ -> ]توی ردیف اول اگر در حالت پایدار ۰۰ باشیم با ورودی ۰۰ باشیم و ورودی اول-کم ارزش- رو ۱ کنیم طبق جدول باید به حالت ۱۱ تحت ورودی ۰۱ بریم پس این تغییرات رو خواهیم داشت [tex]00\rightarrow 11\rightarrow 01[/tex] ای تغییر به صورت نرمال هست اما احتمالش هست که یکی از خروجی ها تو حالت فعلی ۰۰ زودتر از دیگری بره به ۱ حالا یا خروجی اول یا خروجی دوم پس این دو حالت پیش میاد:
[tex]{\color{DarkGreen} 00\rightarrow 01}[/tex]
[tex]{\color{Red} 00\rightarrow 10}[/tex]
حالت سبز رنگ چون با حالت نرمالی که در بالا گفتم نتیجش یکی یک رقابت غیر بحرانی ولی حالت قرمز نگ نه دیگه رفته به یه جای نامطلوب پس تا اینجا یک رقابت بحرانی
من متوجه قسمت اول نمیشم. خروجی ما در سطر اول ستون دوم باید ۱۱ بشه چرا میگین از ۱۱ به ۰۱ باید بریم ونرمال هست؟
منظوزم از نرمال بودن اینکه اگر واقعا بصورت کاملا همزمان (وقتی که تاخیر تو مسیرها کاملا مثل هم باشه) در اون صورت دو بیت خروجی همزمان باهم تغییر میکنند که این اختمال باید در حد صفر باشه و بصورت تئوری و رو کاغذ این فرض رو میکنیم ببینید از اول بررسی میکنیم x2,x1
هر دو صفر بودن خروجی هم 00 بود حالا ما x2 از 0 میبریم به 1 (به جدول دقت کنید) خروجی میخواد از 00 تبدیل بشه به 11 با فرض یکسان بودن تاخیر مسیر هر کدوم از خروجی ها (یا بقول خودم حالت نرمال) میریم به حالت 11 یادمون باشه x2x1 الان برابر 01 هست و داریم ستون مربوطه رو بررسی میکنیم طبق جدول باید بریم به 11 حالا به ردیف 11 جدول نگاه کنید توی همون ستون مربوط به ورودی 01 و ردیف 11 حالت پایدار داریم؟ نه اونجا پایدار نیست و نوشته شده باید بریم به 01 میریم سراغ ردیف 01 و ستون 01 که تو این خونه یک حالت پایدار هست و مدار همونجا متوقف میشه و دیگه حرکت نمیکنه
لینک مرجع