|
x
|
y
|
z
|
p
|
0
|
0
|
0
|
0
|
0
|
1
|
1
|
0
|
1
|
0
|
1
|
0
|
1
|
1
|
0
|
1
|
Ushbu jadvalni shaklning mantiqiy funktsiyalarining (predikatlarining) birgalikda ko'rsatilgan jadvali sifatida talqin qilish mumkin
Ushbu funktsiyalarga mos keladigan mantiqiy element bir bitli qo'shimchalar deb ataladi va quyidagi sxemaga ega (biz uni yoki deb belgilaymiz - agar tanlangan, joriy i-bitni ta'kidlamoqchi bo'lsak) (16-rasm):
"Qora quti" - bu yopiq qurilma (mantiqiy, elektr yoki boshqa sxema), uning mazmuni noma'lum va faqat qutining kirish / chiqishining individual ko'rinishlari (kirish va kirish qiymatlari) bilan aniqlanishi (aniqlanishi) mumkin. chiqish signallari). "Qora quti"da qandaydir mantiqiy sxema mavjud bo'lib, u qandaydir kiritish ketma-ketligiga javoban (quti uchun) mantiqiy konstantalar "qora quti" ichidagi mantiqiy sxema bajarilgandan so'ng olingan mantiqiy doimiylar ketma-ketligini hosil qiladi. Kirish ketma-ketliklari (bitma-bit) uchun mantiqiy konstantalar bilan amallar bajarilsa, “qora quti” ichidagi mantiqiy funksiyani aniqlaymiz (17-rasm). Masalan, x = 00011101 kiruvchi qiymatlar ketma-ketligiga mos keladi: "noto'g'ri", "noto'g'ri", "noto'g'ri", "to'g'ri", "to'g'ri", "to'g'ri", "noto'g'ri", "to'g'ri".
17-rasm - "qora quti 1" diagrammasi
Kirish qiymatlarini (kirish signallari) x, y tahlilidan va ushbu xabarlardagi mantiqiy doimiylarni z qiymatidagi doimiylar bilan bit bo'yicha taqqoslashdan - "qora quti"dagi funktsiyani bajarish natijasi, ko'rinib turibdiki, masalan, shaklning vazifasi mos keladi.
Darhaqiqat, signallarni "bit bo'yicha" taqqoslash natijasida ("to'g'ri", "noto'g'ri" qiymatlar ketma-ketligi) biz quyidagi ifodalarni olamiz (mantiqiy doimiylar ketma-ketligi):
.
Muhim vazifa (texnik informatikada) ma'lum bir sxemani (qurilmani) amalga oshirish uchun eshiklar sonini minimallashtirishdan iborat bo'lib, bu sxemalarni yanada oqilona, samarali amalga oshirish, kompyuterlarning yuqori ishlashi va arzonligi uchun zarurdir.
Bu masala nazariy informatika metodlari (Boolean algebrasi usullari) yordamida hal qilinadi.
Misol. Keling, mantiqiy funktsiya uchun sxema tuzamiz. Ushbu mantiqiy funktsiya uchun qurilgan sxema rasmda ko'rsatilgan. (18-rasm):
18-rasm - 1-funktsiya uchun sxema
Misol. Shaklning mantiqiy sxemasi tomonidan amalga oshirilgan mantiqiy funktsiyani aniqlaymiz (19-rasm):
19-rasm - 2-funktsiya uchun sxema
Kerakli mantiqiy funktsiya, agar ketma-ket yozilsa, har bir o'qning "yuqori" qismini to'ldirsa, quyidagi shaklga ega bo'ladi:
Muhokama uchun masalalar:
1. Taklif shaklini nima deb ataymiz?
2. Mantiqiy o'zgaruvchiga nima deyiladi?
3. Predikat nima?
4. Qanday funktsiya mantiqiy (mantiqiy) deb ataladi?
5 Qanday vazifani infologik deb ataymiz?
6. Mantiqiy eshikni aniqlang?
7 Algoritmlarning blok-sxemalari?
Kompyuter yordamida loyihalash tizimi (SAPR) - loyihalash funktsiyalarini bajarish uchun axborot texnologiyalarini joriy qiluvchi avtomatlashtirilgan tizim, loyihalash jarayonini avtomatlashtirish uchun mo'ljallangan, xodimlar va texnik, dasturiy ta'minot va boshqa vositalar to'plamidan iborat tashkiliy-texnik tizim. faoliyatini avtomatlashtirish vositalari. Shuningdek, SAPR qisqartmasi bunday tizimlarga murojaat qilish uchun keng qo'llaniladi.
U Ikkinchi Jahon urushi tugaganidan keyin AQSh harbiy-sanoat kompleksining tadqiqot tashkilotlari tomonidan kontinental havo mudofaasi kuchlari va vositalarini boshqarish va boshqarish uchun apparat-dasturiy kompleksda foydalanish uchun yaratilgan - birinchi bunday tizim amerikaliklar tomonidan yaratilgan. 1947 yilda 1980-yillarning oxirida birinchi sovet kompyuter yordamida loyihalash tizimi ishlab chiqilgan. Chelyabinsk politexnika institutining professor Koshin A. A. boshchiligidagi ishchi guruhi.
Elektron tizimlarni loyihalashda SAPRdan foydalanish elektron dizaynni avtomatlashtirish (EDA) deb nomlanadi. Mexanik dizaynda SAPR mexanik dizayn avtomatizatsiyasi (MDA) yoki CAD-kompyuter yordamida dizayn sifatida tanilgan, bu kompyuter dasturlari yordamida muhandislik chizmalarini yaratish jarayonini o'z ichiga oladi.
Mexanik dizayn SAPR dasturi an'anaviy chizma ob'ektlarini ko'rsatish uchun vektor grafikalaridan foydalanadi yoki u dizayn qilinayotgan ob'ektlarning umumiy ko'rinishini aks ettiruvchi rastrli grafiklarni ham yaratishi mumkin. Biroq, bu shablon shakllaridan ko'proq narsani o'z ichiga oladi. Texnik va muhandislik chizmalarini qo'lda yaratishda bo'lgani kabi, SAPR chiqishi ham amaliy konventsiyalarga muvofiq ishlatiladigan materiallarning xususiyatlari, jarayonlar, o'lchamlar va toleranslar kabi ma'lumotlarni etkazishi kerak.
SAPR ikki o'lchovli (2D) makonda egri va shakllarni loyihalash uchun ishlatilishi mumkin; yoki uch o'lchovli (3D) fazoda egri chiziqlar, sirtlar va qattiq jismlar.
SAPR sanoat dizaynidagi muhim bo'g'in bo'lib, avtomobilsozlik, kemasozlik, aerokosmik, sanoat va arxitektura dizayni, protezlash va boshqa ko'plab sohalarda keng qo'llaniladi. SAPR shuningdek, ko'pincha raqamli kontent deb ataladigan filmlar, reklama va texnik materiallarda maxsus effektlar uchun kompyuter animatsiyasini yaratishda keng qo'llaniladi. Kompyuterlarning zamonaviy keng tarqalganligi shuni anglatadiki, hatto parfyum shishalari va shampun dispenserlari ham 1960-yillarda muhandislar tomonidan ko'rilmagan axborot texnologiyalari bilan ishlab chiqilmoqda. O'zining ulkan iqtisodiy ahamiyati tufayli SAPR hisoblash geometriyasi, kompyuter grafikasi (ham apparat, ham dasturiy ta'minot) va diskret differensial geometriya sohasidagi tadqiqotlarning asosiy harakatlantiruvchi kuchiga aylandi.
Do'stlaringiz bilan baham: |
