Cover Image

Алгебраїчне моделювання та його застосування

Статтю присвячено науковим розробкам Інституту кібернетики ім. В.М. Глушкова НАН України, пов’язаним із застосуванням технологій алгебраїчного та інсерційного моделювання на основі алгебри поведінок. Розглянуто технології формалізації, алгебраїчної верифікації та тестуванн...

Full description

Saved in:

Bibliographic Details
Published in:	Вісник НАН України
Date:	2021
Main Author:	Летичевський, О.О.
Format:	Article
Language:	Ukrainian
Published:	Видавничий дім "Академперіодика" НАН України 2021
Subjects:	Статті та огляди
Online Access:	https://nasplib.isofts.kiev.ua/handle/123456789/179713
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:	Алгебраїчне моделювання та його застосування / О.О. Летичевський // Вісник Національної академії наук України. — 2021. — № 3. — С. 59-66. — Бібліогр.: 22 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Similar Items

Алгебраїчне моделювання в системах міжнародної та місцевої обслуговуючої логістики
by: Летичевський, О.О., et al.
Published: (2020)

Сучасні наукові проблеми кібербезпеки
by: Летичевський, О.О.
Published: (2023)

Термодинамічний цикл Майсоценка і перспективи його застосування в Україні
by: Халатов, A.А., et al.
Published: (2013)

Інструмент ландшафтного планування і досвід його застосування для збереження навколишнього середовища в Україні та за кордоном
by: Руденко, Л.Г., et al.
Published: (2026)

Токсична дія етанолу та його продуктів на організм
by: Харченко, О., et al.
Published: (2006)

Економічна кібернетика: проблеми розвитку та перспективи застосування
by: Сергієнко, І., et al.
Published: (2002)

Умови ефективного застосування сонячних електроенергетичних систем
by: Патон, Б.Є., et al.
Published: (2012)

Нова хвиля "зеленої революції" (Перспективи застосування в Україні досягнень молекулярної біотехнології та геноміки)
by: Блюм, Я., et al.
Published: (2006)

Математичне моделювання: від МЕЛМ до екзафлопсів
by: Сергієнко, І.В., et al.
Published: (2019)

Гігантський магнетоопір: природа явища, історія відкриття, застосування в біології та медицині
by: Чекман, І.С., et al.
Published: (2014)

Інсерційне моделювання і технологія цифрових двійників
by: Летичевський, О.О.
Published: (2025)

Математичне та програмне моделювання складних систем з використанням суперкомп’ютерних технологій
by: Сергієнко, І.В.
Published: (2018)

Інтегральний аналог одного узагальнення нерівності Гарді та його застосування
by: Мулява, О.М.
Published: (2006)

Поверхневі генератори вихорів: фундаментальні досягнення і нові застосування
by: Халатов, А.
Published: (2005)

Біологічна роль цинку і необхідність забезпечення адекватного рівня його споживання людиною
by: Тронько, М.Д., et al.
Published: (2013)

Математичне моделювання екологічного стану природних об’єктів навколишнього середовища
by: Каленчук-Порханова, А.О., et al.
Published: (2021)

Аналіз ґрунтово-ерозійних процесів в Україні на основі застосування даних дистанційного зондування Землі
by: Лялько, В.І., et al.
Published: (2017)

Загрози Україні в нових геополітичних умовах: ризики та шляхи подолання
by: Рафальський, О.О.
Published: (2023)

Лептин та його роль у внутрішній патології
by: Радченко, О.М., et al.
Published: (2011)

Особливостi застосування грiд-технологiї в медицинi
by: Загородній, А.Г., et al.
Published: (2008)

Мікроміцети в питній воді (Дослідження нового компонента гідробіоценозів і оцінювання його небезпечності для здоров'я населення України)
by: Гончарук, В., et al.
Published: (2007)

Ціле є більшим за суму його частин (Нобелівська премія з фізики 2021 року)
by: Головач, Ю.В.
Published: (2021)

Адипонектин та його роль у внутрішній патології
by: Радченко, Л.М., et al.
Published: (2012)

Магнітні наноструктури в пухлинних клітинах (Застосування методів скануючої зондової мікроскопії для дослідження структурної організації магніточутливої фази в пухлинних клітинах карциноми Ерліха)
by: Чехун, В., et al.
Published: (2011)

Програмування в обмеженнях у системі інсерційного моделювання
by: Летичевський, О.А., et al.
Published: (2011)

Сигнальний шлях трансформуючого фактора росту β та його регуляція
by: Федоренко, О.В., et al.
Published: (2005)

Патерн Event sourcing та його застосування
by: Глибовець, А.М., et al.
Published: (2025)

Моделювання фінансової стійкості підприємств із застосуванням теорій нечіткої логіки, нейронних мереж і дискримінатного аналізу
by: Матвійчук, А.
Published: (2010)

Глюкоамілаза мікроорганізмів. Біосинтез, властивості, механізм дії та практичне застосування
by: Борзова, Н.В., et al.
Published: (2009)

Пептидоглікан Staphylococcus aureus та його імунобіологічні властивості
by: Позур, В.В., et al.
Published: (2008)

Зарубіжний досвід використання знань та можливості його застосування в Україні
by: Парвіна, Т.Г.
Published: (2013)

Техно-екосистема: неминуче зло чи крок до ноосфери?
by: Протасов, О.О.
Published: (2014)

Системна концепція еволюції біосфери і сучасна екологічна криза
by: Протасов, О.О.
Published: (2016)

Наукова спадщина академіка В.І. Вернадського і вивчення життя в гідросфері
by: Протасов, О.О.
Published: (2013)

Хвороби цивілізації. Остеопороз та можливі шляхи його попередження
by: Березовський, В.Я., et al.
Published: (2006)

Сірководень та його роль у регуляції судинного тонусу
by: Березовський, В.Я., et al.
Published: (2012)

Амвросіївське кістковище бізонів та особливості його використання
by: Кротова, О.О.
Published: (2020)

Іпотечна криза в Україні як індикатор економічних проблем
by: Євтух, О.Т., et al.
Published: (2011)

Застосування лікувальних фізичних факторів для лікування та медреабілітації пацієнток з дизгормональними розладами репродуктивного здоров’я
by: Бурлака, О.В.
Published: (2012)

Узагальнене гібридне інтегральне перетворення типу Мелера–Фока 1-го роду та його застосування
by: Конет, І.М.
Published: (2007)