Search academic texts

Information × Registration Number 0515U000890, Doctoral dissertation Status д.ф.-м.н. Date 13-11-2015 popup.evolution o Title Methods of Implementation of Insertional Modeling Systems Author Peschanenko Volodymyr Serhiyovych, popup.head Letichevsky Alexandr Adolfovich popup.opponent Клименко Віталій Петрович popup.opponent Нікітченко Микола Степанович popup.opponent Дорошенко Анатолій Юхимович Description Описано алгоритм розділення формули на спеціалізації, абстрактний предикатний перетворювач. Створено алгоритм усунення інтерлівінгу у символьних інсерційних моделях. Узагальнено алгоритм для перевірки досяжності деяких станів середовища. Представлено алгоритм конкретизації символьних трас. Висвітлено алгоритми змішаних обчислень для інсерційних моделей. Доведено існування оберненої поведінки. Удосконалено мову REM. Одержано ефективний алгоритм трансляції висхідного коду. Стисло описано застосування запропонованих алгоритмів. Registration Date 2015-11-13 popup.nrat_date 2020-04-03 Close