2.3. TESKARI BOG’LANISHI BO’LGAN FUNKSIONAL ELEMENTLARDAN SXEMALAR YASASH.
Chekli avtomat haqida umumiy tushunchalar
Teskari bog’lanishli funksional elementlar. Xotirada saqlovchi qurilma. Sxemaning (t+1) momentdagi holati. avtomat. Avtomat holatlari. Avtomat ishining natijalari.
Hozirgacha bizlar funksional elementlardan yasalgan teskari bog’lanishi bo’lmagan sxemalarni ko’rib o’tdik. Bunday cheklashni biz nulьtaktli funksional elementlardan sxemalar yasash masalasini yechish uchun qo’ygan edik, chunki, aks holda, bunday sxemalarning ish jarayonini yoritish mumkin emasdi.
1-shakl
1-shaklda ko’rsatilgan funksiyani realizatsiya qiladigan sxemaning ish jarayonini ko’rib o’taylik. funksionalni birtaktli element deb hisoblaymiz. Agar biror momentda ning chiqishida 1 signal paydo bo’lsa, u vaqtda shu momentning o’zida o’sha signal uning kirishida paydo bo’ladi va momentda uning chiqishida 0 signal paydo bo’ladi va hokazo. Natijada, funksional elementning chiqishida ketma-ket 1,0,1,0,1,0,...... signallar paydo bo’ladi va nulьtaktli funksional element bo’lgan vaqtdagi qarama-qarshiliklar o’z-o’zidan yo’qoladi. Bu sxemani “qo’ng’iroq” sxemasi deb atash mumkin, chunki qo’ng’iroqda bir taktda qarama-qarshi qiymatlarga o’zgaradigan ketma-ket beriladigan signallar foydalaniladi.
Bu paragrafda biz quyidagi shartlarni qanoatlantiruvchi teskari bog’lanishli sxemalarni ko’rib chiqamiz:
1) Qurilmaning elementlari orasida faqat va faqat bittaginasi ozod chiqishga ega;
2) elementning har bir kirishi elementlarning faqatgina bittasining chiqishi bilan ulanadi.
Yuqoridagi shartlarni qanoatlantiruvchi bir taktli funksional elementlardan yasalgan teskari bog’lanishli sxemalarning ishlash jarayonini ko’rib o’taylik. Sxema teskari bog’lanishli bo’lganligi uchun uning chiqishidagi signal na faqat sxema kirishlariga berilgan signallar majmuidan, balki uning ichki elementlarining chiqishidagi signallarga ham bog’liq bo’ladi. Bu keyingi signallar sxema kirishlariga berilgan signallarga bog’liq bo’lmasligi ham mumkin yoki ancha oldin berilgan kirish signallariga bog’liq bo’lishi mumkin. Masalan, tsikl elementlarining kirishi sxema kirishi bo’lmasligi mumkin. 16 - shakldagi birtaktli element funksiyani, birtaktli elementi bo’lsa funksiyani realizatsiya qiladilar. -bir-taktli ushlab turish elementi.
f f
x y x y z
a) b)
2-shakl.
Agar 2,a - shakldagi sxemaning kirishiga istalgancha ancha oldin 1 signali berilgan bo’lsa, u holda shu signalning o’zi doimo uning chiqishida paydo bo’lib turadi (ya’ni signal xotirada saqlanadi).
2,b-shakldagi sxemada signal faqat bo’lgandagina xotirada saqlanadi. signalni berib, xotirani tozalashimiz mumkin. SHundan keyingina ning yangi qiymatini xotirada saqlay olamiz ( qiymatda). Real sxemalarda “xotirada saqlovchi qurilma” tsikl yordamida realizatsiya etiladi.
Teskari bog’lanishli sxema ish jarayonining xarakteristikasini ifodalashda uning ichki elementlarining holatini hisobga olish kerak.
- teskari bog’lanishli sxema va - uning elementlari bo’lsin. Bu yerda - chiqish elementi bo’lsin, ya’ni ozod chiqishga ega bo’lgan elementdir. elementning chiqishidagi vaqt momentidagi signalini bilan belgilaymiz ( 0 yoki 1 ga teng). Sxema chiqishida momentdagi signal ga teng bo’ladi.
ga sxemaning vaqt momentidagi holati deb aytiladi. momentda sxema kirishlariga berilgan signallarni bilan va orqali ularning majmuini belgilaymiz. U vaqtda sxemaning momentdagi holati , sxemaning momentdagi va lari orqali bir qiymatli aniqlanadi, ya’ni
= .
Demak, momentdagi elementlarning chiqishidagi signallar ularning kirishlariga momentda berilgan signallarga bog’liq bo’lar ekan, ya’ni momentda sxemaning kirishlariga berilgan signallar va elementlarning shu momentdagi chiqish signallariga bog’liqdir.
Aniqrog’i, argumentli ta mantiq algebrasi funksiyalarining majmuidan (to’plamidan) iborat bo’ladi. Bu argumentlarning ayrimlari soxta bo’lishi mumkin.
Masalan, uchun faqat quyidagi argumentlar soxta emas: elementning kirishlariga chiqishlar ulangan funksional elementlarga va sxemaning kirishlari bevosita elementning ham kirishlari deb hisoblanadigan signallarga mos keladigan argumentlar. Agar faqat shunday soxta emas argumentlarni hisobga olsak, u vaqtda funksiya element realizatsiya etadigan funksiyaga mos keladi va yuqoridagi formula vaqt momentida elementlarning chiqishlarida momentda ularning kirishlariga berilgan signallar majmuiga bog’liq bo’lgan qanday signal paydo bo’lishini ko’rsatadi.
Ta’rif. - uzunlikdagi ikkilik majmualarning biror to’plami bo’lsin. Agar argumentli ta qisman aniqlangan mantiq algeb-rasining funksiyalaridan iborat majmui ko’rsatilgan bo’lsa, u holda ruxsat etilgan holatlar to’plamida kirishga ega bo’lgan avtomat berilgan deb aytamiz.
Bu yerda funksiyalar shunday uzunlikdagi ikkilik majmualarda aniqlanganki, ulardan ta elementi kiruvchi majmua bo’ladi va shu majmuadagi funksiyalarning qiymati ga kiradi. to’plamdagi elementlar soniga avtomatning xotirasi deb aytiladi. Agar avtomatning boshlang’ich holati , biror natural son (ushlab turish vaqti deb aytiladi) va har bir vaqt momentida uzunlikdagi kirish signallar majmui berilgan bo’lsalar, u holda avtomatning ish jarayoni aniqlangan deb aytiladi.
Agarda avtomatning ish jarayoni aniqlangan bo’lsa, u vaqtda lar uchun uning ketma-ket holatlari
= ,
formula orqali aniqlanadi. Bu formulaga avtomatning holatlar tenglamasi deb aytiladi. Ravshanki, avtomatning har qanday vaqt momentidagi holati bo’ladi. ketma-ketligiga avtomatning chiqishi (ishning natijasi) deb aytiladi. Agar va faqatgina ga bog’liq bo’lsa, u holda avtomat mantiq algebrasining funksiyasiga aylanadi.
Qabul qilingan belgilashlarda birtaktli funksional elementlardan yasalgan teskari bog’lanishli sxema quyidagi xarakteristikaga ega bo’lgan avtomatni ifodalaydi: ; momentdagi sxema elementlar chiqishla-ridagi signallari; -hamma mumkin bo’lgan elementlar chiqishidagi signallar majmui.
SHunday qilib ushlab turish vaqtiga ega bo’lgan chekli avtomatni birtaktli funksional elementlardan yasalgan teskari bog’lanishli sxema orqali ifodalash mumkin.
Do'stlaringiz bilan baham: |