Verification of parallel functional dataflow programs using interval formulas
Page:259-262
Headings of the journal
"Educational Resources and Technologies"
Educational environmentMethods and technologies of training and educationInformation technologyMathematical cyberneticsMethodological researchManagement in social and economic systemsApplied GeoinformaticsEducation for sustainable developmentAll rubrics
All rubrics
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
Page:263-269
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
Page:269-276
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
Page:277-281
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
The technology integration in the complex monitoring of emergencies
Page:281-287
Release: 2016-2 (14)
Keywords: complex monitoring, data consolidation, management of territorial safety
Annotation: The results of creating complex monitoring system in aspect of integration of modern information technologies are presented. The consolidation technologies, analysis and data presentation from different sources are described