Headings of the journal
"Educational Resources and Technologies"
All rubrics
Release: 2016-2 (14)
Keywords: crisis, construction industry, market of real state, correlations, adaptation
Annotation: The results of analysis of the Russian construction industry using the correlation and dispersion of data are described in the article. This research proves that the method of correlation adaptometry is effective in the analysis of the real estate market and prediction of crises
Verification of parallel functional dataflow programs using interval formulas
Release: 2016-2 (14)
Keywords: verification, specification, parallel programming, functional programming
Annotation: The article describes the original method of verification of programs in functional-stream parallel programming language Pythagoras using interval constants for the specifications of the program
Semantics of program data types for functional data-flow parallel programming language Pifagor
Release: 2016-2 (14)
Keywords: axiomatic semantics of program data types, functional data-flow parallel programming, Pifagor programming language
Annotation: The article is devoted to formal semantics for data types of functional data-flow parallel programming language Pifagor. Mathematical semantics based on naive (informal) set theory and axiomatic semantics are concerned
Definition of need of the population for anesteziologo-resuscitation types of the emer-gency medical service
Release: 2016-2 (14)
Keywords: emergency medical service, anesteziologo-resuscitation crews, information support, algorithms of registration and sorting of calls
Annotation: In the conditions of a huge staff deficit as result is a lack of crews of fast medical care, only rational use of the available resources could become the correct decision. Development and deployment of the optimized information ensuring management of anesteziologo-resuscitation crews has allowed to keep availability and timeliness of rendering resuscitation types of am-bulance to the population
Search algorithms for the regular objects in the image
Release: 2016-2 (14)
Keywords: regular object, hash, hash function circuit, stereo vision system
Annotation: The article discusses the search algorithm of regular objects using a hash function on images obtained by machine stereovision systems