Tema: matricalardí KÓbeytiw. Determinanttí esaplaw jobasi: Kirisiw

Tiykarǵı bólim


Programmalaytuǵın logikalıq matritsalar (Determinant)

XX ásir 70-jıllarınıń ortalarına kelip, programmalaytuǵın logikalıq matritsalar payda boldı. Olardıń tiykarın programmalaytuǵın matritsa elementi vA hám YOKI izbe-izligi quraydı. Strukturaǵa buferli kaskadning kirisiw hám shıǵıw bólekleri de kiredi. Kirisiw buferleri, egerde olar oǵada quramalı ámellerdi atqarmay atırǵan bolsa, bir fazalı kirisiw signalların parafazaliga ózgertirip, vA elementi matritsasini derek jetkilikli quwatda támiyinlew ushın, signalın qáliplestiredi. Shıǵıw buferleri shıǵıw bóleginde júklemeni támiyinlep, Determinant shıǵıwın sırtqı shinaga OE signalı menen yamasa ruxsat beredi, yamasa qadaǵan etedi. Geyde bolsa salıstırǵanda quramalı ámellerdi atqaradı.

Determinantning tiykarǵı parametrleri ( 1-súwret) kirisiw sanı m, termlar sanı / hám shıǵıw sanı n.

XX ózgeriwshiler Bir arqalı vA elementlerin kiriwine keldi hám vA matritsada /termlar / den payda boladı. Bul jerde term degende konyunksiya tushunilib, kirisiw ózgeriwshilerin baǵ- lovchi tuwrı yamasa invers kóriniste suwretlengen. Formalanıwshı termlar sanı konyunktorlar sanına yamasa vA matritsalari shıǵıw sanına teń. Termlar YOKI matritsalarining shıǵıw bólegine, yaǵnıy dizyunktorlar kiriwine beriledi, qaysıki shıǵıw funksiyaların qáliplestiriwshi bolıp tabıladı.

1-súwret. Bazalıq struktura
Dizyunktorlar sanı n-funksiyanı islep shıǵıwshı sanına teń. Sonday etip, Determinant dizyunktiv normal forma daǵı (DNF) funksiyanı islep shıǵadı (eki qáddili logika ). Determinant n logikalıq funksiya sistemasın payda etedi, ol jaǵdayda m argumenti / termdan artıq bolmaydı. Islep shıǵılǵan funksiyalar qálegen termlar kom- binatsiyasidan qáliplesken vA matritsa bolıp tabıladı. Determinant programmalanıwı menen qaysı termlar shıǵıw funksiyaların qurawı hám olardıń kombinatsiyaları hám de áyne qanday termlar islep shıǵilıwı anıqlanadı.


Determinant sxemotexnikasi

Determinant bipolyar texnologiya tiykarında hám MOII-tranzistorlarda islep shiǵarıladı. Matritsalarda gorizontal hám vertikal baylanıs sistemaları bolıp, kesilisiw túyininde programmalastırıw processinde baylanıs elementleri payda etinadi yamasa joytıladı.

2a-suwretde bipolyar Determinant K556 PTI sxemotexnikasida programmalap jumısqa túsiriwshi ulab-uzgichning (bufersiz elementleri) sxeması ápiwayılastırılgan halda suwretlengen. K556 PT1 mikrosxema parametrleri 16, 48, 8 ólshemleri funksiya ólshemi 4, 7, 3 lar ushın fragmentler kórsetilgen. Sonday eken, keltirilgen sistemalar ushın odan paydalanıw jetkilikli bolıp tabıladı.

hám matritsasida baylanıs elementleri retinde 2, b-suwretde suwretlanganidek, gorizontal hám vertikal shinalar jalǵanıwında tok derekyi hám rezistor menen birgelikte termlar islep shıǵıwda ápiwayı vA sxemalarınan paydalanıladı.

Programmalanıwınan aldın hámme jalǵawshılar pútkil hám baylanıs diodlari koordinata torları túyininde jaylasqan argumentning hár qanday kombinatsiyasında shıǵıw bólegi nol boladı, sebebi kinsh bólegine bir waqtıniń ózinde tuwrı hám teris argumentlar bahaları berilyapti, x=0. Programmalastırıwda sxemada baylanıs elementleriniń tek ǵana kerekligi qaldıriladi, kereksizleri bolsa jalǵawshılar yondirilishi menen joytıladı. Konyuktorlar kiriwine xxy hám

2-súwret. Bipolyar texnologiyada (a) orınlanǵan Determinant sxematexnikası hám (b) yáki (d) matricalarda baylanıs elementleri

MOP-tranzistorlardaǵı sxemalarda bazalıq logika retinde invertirlovchi (YOKI-INKOR, vA-INKOR) elementler qollanıladı. Uyqas halda Determinantning birinshi hám ekinshi matritsalarida atqarılıwshı operatsiyalar da ózgeredi. Atap aytqanda, sxemotexnika n-MOII bazalıq bolǵanında, YOKI-INKOR bólek, Determinant strukturası bolsa 3-suwretdegi sıyaqlı kórinisinde boladı. Bunday Determinant eki YOKI-INKOR matritsalari ketma- ketligidan ibarat bolıp, olardan biri termlarni, ekinshisi bolsa

shıǵıw funksiyasın islep shıǵıw ushın xızmet etedi., term bul halda tómendegine teń:

Yamasa -biykar matritsasi

Bul ańlatpalar tiykarında tómendegi juwmaqqa keliw múmkin: de Morgan qaǵıydası menen kórsetilgen operasiyalararo baylanıs bipolyar Determinant hám Determinant MOIÍn-tranzistorlardaǵı funksiya xarakteristikaları uyqas túsiwi múmkin, egerde aqırǵınıń kiriwine argumentlar berilsa hám bipolyar Determinant argumentlariga salıstırǵanda invertirlangan bolsa, ol jaǵdayda shıǵıw bólegindegi Determinant bipolyar shıǵıwında tek inversiyasi menen parıqlanganligini payda etemiz.

3-súwret. n - MOP tranzistorlaeda berilgen Determinant sxematexnikası