Песчаненко В. С. Методи реалізації систем інсерційного моделювання

English version

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

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

0515U000890

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

0515U000890.pdf

Здобувач

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

  • 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем

13-11-2015

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

Д 26.194.02

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

Анотація

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

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

Файли

Picture_iss.jpg

Picture_ksu.jpg

aref.doc

dis.doc

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

0421U104038

Петренко Максим Віталійович

Методи інтеграції гетерогенних бібліографічних даних

0421U104040

Артабаєв Юрій Зуберович

Методика підвищення точності комплексованих навігаційних систем на основі прогнозуючих моделей з використанням генетичних алгоритмів.

0421U103593

Зубко Роман Анатолійович

Удосконалення методів підвищення часової ефективності фрактального стиснення зображень

0421U103401

Чистякова Інна Сергіївна

Метод відображення між дескриптивною логікою та реляційною моделлю даних.

0421U103320

Бєлозьорова Яна Андріївна

Метод застосування вейвлет аналізу в задачах ідентифікації мовної інформації