Peschanenko V. Methods of Implementation of Insertional Modeling Systems

Українська версія

Thesis for the degree of Doctor of Science (DSc)

State registration number

0515U000890

Thesis Registration Form

0515U000890.pdf

Applicant for

Specialization

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

13-11-2015

Specialized Academic Board

Д 26.194.02

V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine

Essay

Algorithm of separation formulae for specializations, abstract predicate transformer are described. Algorithm of interleaving reduction in symbolic insertional models is created. Algorithm of reachability of some state of environment is generalized. Algorithm of concretize of symbolic traces is defined. Partial evaluations algorithms are provided for insertion models. Existence of backward behavior is proved. REM language is optimized. Effective algorithm of translation of source code is obtained. Applications of presented algorithms are briefly presented.

Read more

Files

Picture_iss.jpg

Picture_ksu.jpg

aref.doc

dis.doc

Similar theses

0421U104038

Petrenko Maksym V.

Methods of integration of heterogeneous bibliographic data

0421U104040

Artabaev Yurii Z.

A technique for increasing the accuracy of integrated navigation systems based on predictive models using genetic algorithms.

0421U103593

Zubko Roman Anatoliyovych

Improving methods to increase the time efficiency of fractal image compression

0421U103401

Chystyakova Inna S.

Mapping method between the description logic and the relational data model.

0421U103320

Bielozorova Yana Andriivna

Method of application of wavelet analysis in problems of identification of speech information