Search academic texts

Information × Registration Number 0216U010110, 0116U006841 , R & D reports Title Applied structural modeling of program entities popup.stage_title Head Shynkarenko Victor Ivanovich, Registration Date 29-11-2016 Organization Dniepropetrovsk National University of Railway Transport named after Academician V. Lazaryan popup.description2 Formal models of representation and processing data are proposed: models of compression, placement of data in RAM, comparisons, rankings, as well as the formation of sets of circuits recovery zones with different train situations. For modeling applied methodology of mathematical and algorithmic constructivism. This approach involves the development of constructive and synthesizing structures (CSSt) with transformations of specialization, interpretation, specification and implementation. Development CSSt provides definition of expandable vector, signature of relations and transactions and constructive axioms. The most complex and essential part of the set of axioms is generated substitution rules that determine the output process respective structures. Using CSSt is a universal tool for the simulation of entities that can be later used in their automated processing and establishment of appropriate software with / without linking to hardware and software development environment. Product Description popup.authors Іванов Олександр Петрович Ільман Валерій Михайлович Васецька Тетяна Миколаївна Забула Геннадій Володимирович Куроп'ятник Олена Сергіївна Саблін Олег Ігорович popup.nrat_date 2020-04-02 Close