Bosh sahifa>Qidiruv natijalari
🔍

Формальные системы

Ushbu kitob oliy va o'rta maxsus ta'lim vazirligi tomonidan O'zbekiston Respublikasi uchun nashr etilgan bo'lib, Toshkent arxitektura-qurilish institutining "Informatika va axborot texnologiyalari" kafedrasida tayyorlangan "Mustaqil ish" hisoblanadi. Kitobda "Informatsion sistemalar" fanidan "Formal sistemalar" mavzusi o'rganiladi. Unda predmet sohasi, ob'ektlar, munosabatlar semantikasi, amallar, algebraik sistemalar, ularning xususiyatlari, formal logik sistemalar va algoritmlar keltirilgan.

🔑 Kalit soʻz🎯 75.8%

Формализация задач при проектировании современных инфокоммуникационных сетей

Ushbu bitiruv malakaviy ishi telekommunikatsiya tarmoqlarining hozirgi holati va kelajagini, jumladan, integratsiyalashgan trafik sharoitida infokommunikatsiya tarmoqlarining funktsiyalari, zamonaviy tarmoqlarni loyihalashning optimallashtirish masalalari va yechimlarini formalizatsiya qilishga bag'ishlangan. Unda xarajatlarni minimallashtirish asosida tarmoqni loyihalashning optimallashtirish masalalari ko'rib chiqilgan va masalani yechishning umumiy sxemasi taqdim etilgan. Shuningdek, tarmoq xavfsizligi masalalari ham ko'rib chiqilgan.

🔑 Kalit soʻz🎯 75.7%

Разработка формальной модели грамматики официально-делового стиля узбекского языка и её программная реализация

Ushbu dissertatsiya ishi o'zbek tilining rasmiy-ish yuritish uslubi grammatikasining formal modelini yaratishga bag'ishlangan. Ishda ushbu uslubning morfologik va sintaktik tuzilishi, grammatik qoidalari va ularni kompyuterda amalga oshirish masalalari ko'rib chiqilgan. Dissertatsiyada rasmiy-ish yuritish uslubining formal grammatikasi, aksiomatik nazariyasi ishlab chiqilgan va sintaktik tahlil dasturi yaratilgan.

🔑 Kalit soʻz🎯 73.8%

Формализация и анализ интеллектуальных систем управления динамическими объектами с ассоциативной памятью

Ushbu maqola dinamik ob'ektlar bilan bog'liq muammolarni hal etishda assotsiativ xotirali intellektual tizimlardan foydalanishning nazariy va amaliy jihatlarini yoritib beradi. Maqolada intellektual tizimlar va ularning qo'llanilish sohalari, xususan, dinamik tizimlarni boshqarishdagi o'rni tahlil qilinadi. Asosiy e'tibor, intellektual tizimlarni loyihalash va amalga oshirishning turli usullari, jumladan, neyron tarmoqlar va boshqa tadqiqotlar asosida yaratilgan tizimlar haqida batafsil ma'lumot beriladi. Shuningdek, maqolada intellektual tizimlarni optimallashtirish va ularning samaradorligini oshirish yo'llari ko'rsatib beriladi va bu boradagi tadqiqotlarning ahamiyati ta'kidlanadi.

🔑 Kalit soʻz🎯 72.8%

Енгил автомобил бамперлари ва асбоблар панелини ишлаб чиқаришда материал сарфини тадқиқ килиш.

Ushbu kitob O'zbekiston Respublikasi Oliy va O'rta Maxsus Ta'lim Vazirligi Andijon Mashinasozlik Instituti hamda Toshkent shahridagi Turin Politexnika Universiteti tomonidan tashkil etilgan "Innovatsion rivojlanish muammolari: Ishlab chiqarish, ta'lim, ilm-fan" mavzusidagi vazirlik miqyosidagi ilmiy-texnikaviy anjuman materiallaridan iborat. To'plam 2017 yil 26 aprelda chop etilgan va unda turli sohalardagi ilmiy maqolalar jamlangan.

🔑 Kalit soʻz🎯 72.6%

Формализация оптимального управления системы производства кальцинированной соды

Ushbu kitob kaltsiylangan soda ishlab chiqarishning texnologik jarayonlarini avtomatlashtirish va optimallashtirishga bag'ishlangan. Unda soda ishlab chiqarishning nazariy asoslari, matematik modellashtirish usullari, jarayonlarni boshqarish tizimlari va ularning samaradorligini oshirish yo'llari ko'rib chiqiladi. Kitob kimyo sanoati, avtomatlashtirish va boshqaruv sohalarida mutaxassislar, talabalar va ilmiy xodimlar uchun mo'ljallangan.

🔑 Kalit soʻz🎯 71.9%