Razinkov D. Methods and tools of qualitative modelling of hazard-critical net dynamic systems

Thesis for the degree of Candidate of Sciences (CSc)

State registration number

0404U000353

0404U000353.pdf

Date of defense

29-01-2004

Д 26.185.01

Dissertation devoted to formal description of situation-based qualitative model, situation-based qualitative modelling, simulation and tools

Thesis supervisor

Official opponents

aref.doc

razinkov.doc

Yuliya A. Senyk

Modeling and researching of size effects in electroconductive bodies

Kashpur Olena Fedorivna

Interpolation of operators in Hilbert and Euclidean spaces

Kurash Serhii Yu.

Mathematical modeling of the reaction of buildings and structures to explosive effects

Shevchenko Serhii Stanislavovich

Mathematical models of processes in centrifugal machines sealing systems

Melnyk Andriy Mykolayovych

Knowledge-driven software systems for interval analysis and modeling of complex objects