Алгебраїчне моделювання та його застосування
Статтю присвячено науковим розробкам Інституту кібернетики
 ім. В.М. Глушкова НАН України, пов’язаним із застосуванням технологій
 алгебраїчного та інсерційного моделювання на основі алгебри поведінок.
 Розглянуто технології формалізації, алгебраїчної верифікації та тестуванн...
Gespeichert in:
| Veröffentlicht in: | Вісник НАН України |
|---|---|
| Datum: | 2021 |
| ISSN: | 0372-6436 |
| 1. Verfasser: | Летичевський, О.О. |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Видавничий дім "Академперіодика" НАН України
2021
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/179713 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Алгебраїчне моделювання та його застосування / О.О. Летичевський // Вісник Національної академії наук України. — 2021. — № 3. — С. 59-66. — Бібліогр.: 22 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineÄhnliche Einträge
Алгебраїчне моделювання в системах міжнародної та місцевої обслуговуючої логістики
von: Летичевський, О.О., et al.
Veröffentlicht: (2020)
von: Летичевський, О.О., et al.
Veröffentlicht: (2020)
Сучасні наукові проблеми кібербезпеки
von: Летичевський, О.О.
Veröffentlicht: (2023)
von: Летичевський, О.О.
Veröffentlicht: (2023)
Термодинамічний цикл Майсоценка і перспективи його застосування в Україні
von: Халатов, A.А., et al.
Veröffentlicht: (2013)
von: Халатов, A.А., et al.
Veröffentlicht: (2013)
Інструмент ландшафтного планування і досвід його застосування для збереження навколишнього середовища в Україні та за кордоном
von: Руденко, Л.Г., et al.
Veröffentlicht: (2026)
von: Руденко, Л.Г., et al.
Veröffentlicht: (2026)
Токсична дія етанолу та його продуктів на організм
von: Харченко, О., et al.
Veröffentlicht: (2006)
von: Харченко, О., et al.
Veröffentlicht: (2006)
Економічна кібернетика: проблеми розвитку та перспективи застосування
von: Сергієнко, І., et al.
Veröffentlicht: (2002)
von: Сергієнко, І., et al.
Veröffentlicht: (2002)
Умови ефективного застосування сонячних електроенергетичних систем
von: Патон, Б.Є., et al.
Veröffentlicht: (2012)
von: Патон, Б.Є., et al.
Veröffentlicht: (2012)
Нова хвиля "зеленої революції" (Перспективи застосування в Україні досягнень молекулярної біотехнології та геноміки)
von: Блюм, Я., et al.
Veröffentlicht: (2006)
von: Блюм, Я., et al.
Veröffentlicht: (2006)
Гігантський магнетоопір: природа явища, історія відкриття, застосування в біології та медицині
von: Чекман, І.С., et al.
Veröffentlicht: (2014)
von: Чекман, І.С., et al.
Veröffentlicht: (2014)
Математичне моделювання: від МЕЛМ до екзафлопсів
von: Сергієнко, І.В., et al.
Veröffentlicht: (2019)
von: Сергієнко, І.В., et al.
Veröffentlicht: (2019)
Біологічна роль цинку і необхідність забезпечення адекватного рівня його споживання людиною
von: Тронько, М.Д., et al.
Veröffentlicht: (2013)
von: Тронько, М.Д., et al.
Veröffentlicht: (2013)
Поверхневі генератори вихорів: фундаментальні досягнення і нові застосування
von: Халатов, А.
Veröffentlicht: (2005)
von: Халатов, А.
Veröffentlicht: (2005)
Математичне та програмне моделювання складних систем з використанням суперкомп’ютерних технологій
von: Сергієнко, І.В.
Veröffentlicht: (2018)
von: Сергієнко, І.В.
Veröffentlicht: (2018)
Аналіз ґрунтово-ерозійних процесів в Україні на основі застосування даних дистанційного зондування Землі
von: Лялько, В.І., et al.
Veröffentlicht: (2017)
von: Лялько, В.І., et al.
Veröffentlicht: (2017)
Математичне моделювання екологічного стану природних об’єктів навколишнього середовища
von: Каленчук-Порханова, А.О., et al.
Veröffentlicht: (2021)
von: Каленчук-Порханова, А.О., et al.
Veröffentlicht: (2021)
Інтегральний аналог одного узагальнення нерівності Гарді та його застосування
von: Мулява, О.М.
Veröffentlicht: (2006)
von: Мулява, О.М.
Veröffentlicht: (2006)
Загрози Україні в нових геополітичних умовах: ризики та шляхи подолання
von: Рафальський, О.О.
Veröffentlicht: (2023)
von: Рафальський, О.О.
Veröffentlicht: (2023)
Інсерційне моделювання і технологія цифрових двійників
von: Летичевський, О.О.
Veröffentlicht: (2025)
von: Летичевський, О.О.
Veröffentlicht: (2025)
Мікроміцети в питній воді (Дослідження нового компонента гідробіоценозів і оцінювання його небезпечності для здоров'я населення України)
von: Гончарук, В., et al.
Veröffentlicht: (2007)
von: Гончарук, В., et al.
Veröffentlicht: (2007)
Ціле є більшим за суму його частин (Нобелівська премія з фізики 2021 року)
von: Головач, Ю.В.
Veröffentlicht: (2021)
von: Головач, Ю.В.
Veröffentlicht: (2021)
Особливостi застосування грiд-технологiї в медицинi
von: Загородній, А.Г., et al.
Veröffentlicht: (2008)
von: Загородній, А.Г., et al.
Veröffentlicht: (2008)
Лептин та його роль у внутрішній патології
von: Радченко, О.М., et al.
Veröffentlicht: (2011)
von: Радченко, О.М., et al.
Veröffentlicht: (2011)
Адипонектин та його роль у внутрішній патології
von: Радченко, Л.М., et al.
Veröffentlicht: (2012)
von: Радченко, Л.М., et al.
Veröffentlicht: (2012)
Магнітні наноструктури в пухлинних клітинах (Застосування методів скануючої зондової мікроскопії для дослідження структурної організації магніточутливої фази в пухлинних клітинах карциноми Ерліха)
von: Чехун, В., et al.
Veröffentlicht: (2011)
von: Чехун, В., et al.
Veröffentlicht: (2011)
Сигнальний шлях трансформуючого фактора росту β та його регуляція
von: Федоренко, О.В., et al.
Veröffentlicht: (2005)
von: Федоренко, О.В., et al.
Veröffentlicht: (2005)
Моделювання фінансової стійкості підприємств із застосуванням теорій нечіткої логіки, нейронних мереж і дискримінатного аналізу
von: Матвійчук, А.
Veröffentlicht: (2010)
von: Матвійчук, А.
Veröffentlicht: (2010)
Техно-екосистема: неминуче зло чи крок до ноосфери?
von: Протасов, О.О.
Veröffentlicht: (2014)
von: Протасов, О.О.
Veröffentlicht: (2014)
Системна концепція еволюції біосфери і сучасна екологічна криза
von: Протасов, О.О.
Veröffentlicht: (2016)
von: Протасов, О.О.
Veröffentlicht: (2016)
Наукова спадщина академіка В.І. Вернадського і вивчення життя в гідросфері
von: Протасов, О.О.
Veröffentlicht: (2013)
von: Протасов, О.О.
Veröffentlicht: (2013)
Пептидоглікан Staphylococcus aureus та його імунобіологічні властивості
von: Позур, В.В., et al.
Veröffentlicht: (2008)
von: Позур, В.В., et al.
Veröffentlicht: (2008)
Програмування в обмеженнях у системі інсерційного моделювання
von: Летичевський, О.А., et al.
Veröffentlicht: (2011)
von: Летичевський, О.А., et al.
Veröffentlicht: (2011)
Глюкоамілаза мікроорганізмів. Біосинтез, властивості, механізм дії та практичне застосування
von: Борзова, Н.В., et al.
Veröffentlicht: (2009)
von: Борзова, Н.В., et al.
Veröffentlicht: (2009)
Патерн Event sourcing та його застосування
von: Глибовець, А.М., et al.
Veröffentlicht: (2025)
von: Глибовець, А.М., et al.
Veröffentlicht: (2025)
Хвороби цивілізації. Остеопороз та можливі шляхи його попередження
von: Березовський, В.Я., et al.
Veröffentlicht: (2006)
von: Березовський, В.Я., et al.
Veröffentlicht: (2006)
Сірководень та його роль у регуляції судинного тонусу
von: Березовський, В.Я., et al.
Veröffentlicht: (2012)
von: Березовський, В.Я., et al.
Veröffentlicht: (2012)
Амвросіївське кістковище бізонів та особливості його використання
von: Кротова, О.О.
Veröffentlicht: (2020)
von: Кротова, О.О.
Veröffentlicht: (2020)
Зарубіжний досвід використання знань та можливості його застосування в Україні
von: Парвіна, Т.Г.
Veröffentlicht: (2013)
von: Парвіна, Т.Г.
Veröffentlicht: (2013)
Іпотечна криза в Україні як індикатор економічних проблем
von: Євтух, О.Т., et al.
Veröffentlicht: (2011)
von: Євтух, О.Т., et al.
Veröffentlicht: (2011)
Перспективи використання та утримання радіаційно уражених земель
von: Гродзинський, Д., et al.
Veröffentlicht: (2003)
von: Гродзинський, Д., et al.
Veröffentlicht: (2003)
Міжнародний рік біорізноманіття та перспективи розвитку диверситології
von: Ситник, К., et al.
Veröffentlicht: (2010)
von: Ситник, К., et al.
Veröffentlicht: (2010)
Ähnliche Einträge
-
Алгебраїчне моделювання в системах міжнародної та місцевої обслуговуючої логістики
von: Летичевський, О.О., et al.
Veröffentlicht: (2020) -
Сучасні наукові проблеми кібербезпеки
von: Летичевський, О.О.
Veröffentlicht: (2023) -
Термодинамічний цикл Майсоценка і перспективи його застосування в Україні
von: Халатов, A.А., et al.
Veröffentlicht: (2013) -
Інструмент ландшафтного планування і досвід його застосування для збереження навколишнього середовища в Україні та за кордоном
von: Руденко, Л.Г., et al.
Veröffentlicht: (2026) -
Токсична дія етанолу та його продуктів на організм
von: Харченко, О., et al.
Veröffentlicht: (2006)