Губа А. А. Інсерційне моделювання та верифікація багатопотокових систем

English version

Дисертація на здобуття ступеня кандидата наук

Державний реєстраційний номер

0415U006115

Облікова картка дисертації

0415U006115.pdf

Здобувач

Спеціальність

  • 01.05.01 - Теоретичні основи інформатики та кібернетики

13-11-2015

Спеціалізована вчена рада

Д 26.194.02

Інститут кібернетики імені В.М. Глушкова Національної академії наук України

Анотація

Дисертаційна робота присвячена розробці та дослідженню формальних моделей багатопотокових систем. Описано формальну семантику мови UCM в термінах теорії агентів та середовищ. Побудовано алгоритм генерації тестових сценаріїв для UCM моделей. Розроблено алгоритм розподілення станів UCM моделі та обчислень над ними на конкретну та символьну частини. Побудовано алгоритм верифікації, що реалізує метод пошуку інваріантів для моделі.

Читати повністю

Файли

aref.doc

dis.doc

Схожі дисертації

0421U102388

Насіров Еміл Мехдієвич

Паралелізація невід’ємної факторизації розріджених лінгвістичних матриць та тензорів надвеликої розмірності

0420U102355

Дудар Вячеслав Вячеславович

Оптимiзацiйнi алгоритми навчання та iнварiантнiсть до геометричних перетворень нейронних мереж

0520U101700

Притоманова Ольга Михайлівна

Нечіткі задачі оптимального розбиття множин: теоретичні основи, методи та алгоритми розв’язання

0520U100242

Завадський Ігор Олександрович

Подільні коди та їх застосування

0520U100209

Рисцов Ігор Костянтинович

Застосування методів алгебраїчної теорії автоматів до проблем аналізу дискретних динамічних систем.