Semantics of program data types for functional data-flow parallel programming language Pifagor
Page:263-269
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: 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
Database development for hydrobiological facts about Krasnoyarsk reservoir
Page:287-292
Release: 2016-2 (14)
Keywords: database, comprehensive ecological monitoring, reservoir
Annotation: Conceptual and relational schemes of data-base to store spatial temporal facts about Krasno-yarsk reservoir ecology are represented in the paper. Represented results allow to integrate collected data into informational space for inferring comprehensive analytical model of arti-ficial reservoir behavior