Bosh sahifa>Qidiruv natijalari
🔍

VCGen билан дастурий маҳсулотларни текшириш

Ushbu laboratoriya ishi dasturiy ta'minotni tekshirish uchun VCGen vositasidan foydalanishni o'rganishga bag'ishlangan. Unda dasturiy kodlarni JML (Java Modeling Language) orqali izohlash, tekshirish shartlarini generatsiyalash va tasdiqlash jarayonlari tushuntiriladi. Misollar orqali VCGen ning ishlash prinsipi, jumladan, 'requires', 'ensures', 'loop_invariant' kabi JML kalit so'zlari va ularning dasturiy kodni tekshirishdagi roli ko'rsatib berilgan. Shuningdek, C dasturlash tilida VCC vositasidan foydalanish ham qisqacha yoritilgan.

🔑 Kalit soʻz🎯 100.0%

VCGen билан дастурий маҳсулотларни текшириш

Ushbu laboratoriya ishi dasturiy ta'minotni tekshirishga bag'ishlangan bo'lib, xususan, Java dasturlash tilida yozilgan kodlarni OpenJML yordamida tekshirishga qaratilgan. Ishda VCGen (Verification Condition Generation) texnikasi, uning ishlash prinsipi va kodlarni tekshirishdagi roli tushuntiriladi. Shuningdek, C dasturlash tilida VCC vositasidan foydalanish va JML (Java Modeling Language) yordamida kodlarni izohlash orqali tekshirish usullari ham ko'rsatib berilgan. Misollar orqali bu texnikalarning amalda qanday qo'llanilishi va natijalari ko'rsatilgan.

🔑 Kalit soʻz🎯 100.0%

Управляемый генератор напряжения, работающий в инжекционо-вольтаическом режиме.

Ushbu maqolada yarim o'tkazgichli mikrotizimlarda qo'llaniladigan, har qanday kuchlanishdagi yuklanishlar va kirish (quvvatlantiruvchi) kuchlanish o'zgarishlarida chiqish kuchlanishini o'zgarmas ushlab turadigan kuchlanish stabilizatorlari (KS) haqida so'z boradi. Oddiy KS yuklanish qoldig'ining vertikal qismi bilan tavsiflanadi, bu esa dinamik qarshiligining cheksiz kichikligini bildiradi. Maqolada injector-voltaj rejimida ishlaydigan kuchlanish stabilizator generatorlarining rivojlanmaganligi ta'kidlanadi. Biroq, injector-voltaj rejimida ishlaydigan bipolyar tranzistor kuchlanish stabilizator generatori sifatida ishlatilishi mumkinligi, shuningdek, harorat ko'tarilganda va quvvatlanishning beqarorligida chidamli yarim o'tkazgichli qurilmalar yaratilishi mumkinligi aytib o'tiladi. Maqolada bu tranzistorlarning asosiy xususiyatlari va ularni qo'llash imkoniyatlari ko'rib chiqiladi.

🔑 Kalit soʻz🎯 69.1%

О кодировании конечных для генерации с помощью генератических алгоритмов

Ushbu maqola genetik algoritmlar yordamida xatti-harakatlarni boshqarish uchun mo'ljallangan finit avtomatlarni kodlash usullarini o'rganadi. "Aqlli chumoli" muammosi misolida Chumolining o'zini tutishini boshqarish uchun finit avtomatlar qanday yaratilishi va kodlanishini tushuntiriladi. Maqolada avtomatning holatlari, kirishlar va chiqishlar qanday kodlanishi, shuningdek, ushbu kodlarni genetik algoritmlar uchun mos keladigan bit qatoriga aylantirish jarayoni batafsil ko'rsatilgan. Jumladan, avtomatning harakatlariga o'girish, oldinga yurish, nima qilish kerakligini bilmaslik va boshqa harakatlar berilgan. Avtomatning harakatlanish diagrammasi va uni bit qatoriga o'tkazish jadvali orqali tushuntirilgan.

🔑 Kalit soʻz🎯 69.0%

Янги турдаги композицион қўшимчали портландцементлар олиш технологиясини ишлаб чиқиш

Ushbu avtoreferat Gulsanam Tursunova tomonidan yozilgan va u ommabop portladcementlar uchun yangi turdagi kompozitsion qo'shimchalar bilan yangi texnologiyalar ishlab chiqish mavzusiga bag'ishlangan. Tadqiqotda mahalliy xomashyo (TAMD, ohaktosh, KFSF, ABOS) asosida yangi kompozitsion qo'shimchalarni (KP) tanlash, ularning kimyoviy va mineralogik tarkibi, gidravlik va puzzolan faolligini o'rganish, hamda yangi turdagi kompozitsion portladcementlar (KPC) ishlab chiqarish texnologiyasini ishlab chiqish ko'zda tutilgan. Tadqiqotda KPC ning jismoniy-mexanik xususiyatlariga ta'sir etuvchi omillar, ularning gidratlanish jarayonlari va mikrostruktura shakllanishi o'rganilgan.

🔑 Kalit soʻz🎯 68.9%