Formalization of test processes of the spacecraft onboard equipment
Page:131-138
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: spacecraft, command and measuring system, test execution support, scripts of testing
Annotation: In this paper, the problem of formalization of test process of the spacecraft onboard equipment is observed. The representation principles of test processes as formal scripts are described. The cases of using scripts at all stages of test process are presented
Classification of programming and parallel programming paradigms
Page:138-144
Release: 2016-2 (14)
Keywords: programming languages and systems; programming paradigms; computer languages definition methods; parallel programming; educational programming
Annotation: The article concerns the actual problem of study and development of methods of analysis, comparison and formal definition of the programming paradigms. Importance of this topic comes from the steep increase in the number of new-generation programming languages oriented at application and development of modern information technologies
Software tool for development of rule-based expert systems on the basis of MDA
Page:144-151
Release: 2016-2 (14)
Keywords: Rule-based expert systems, Model Driven Architecture, ontology, software tool, automation of scientific researches
Annotation: The paper describes the architecture and functions of the software tool for development of rule-based expert systems on the basis of a model-driven approach, in particular the MDA (Model Driven Architecture) methodology. The main components and stages of the technology are considered. The results of modeling and model transformations are presented
Optimal control scopes of wildfire suppression
Page:151-156
Release: 2016-2 (14)
Keywords: Wildfire, managing, optimal staff of fire crews
Annotation: A simple model of wild fire dynamics is proposed. This model permits to investigate some problems of such process managing
The development of informatization in the municipal health services (in the case of Abakan)
Page:157-160
Release: 2016-2 (14)
Keywords: retrospective analysis, classification systems, problems of Informatization, methodology of multicriteria, hierarchical criteria
Annotation: The article presents the classification of information systems in health care of Abakan based on retrospective analysis; the problems and main tasks of the modern stage of informatization are identified. The method for selection of optimal variants of organization of primary health care can be applied in other regions and municipalities.