Methodological approach to identifying software bugs in special software for systems of critical applications

2021 ◽  
Author(s):  
A.G. Andreev ◽  
G.V. Kazakov ◽  
V.V. Koryanov
Keyword(s):  
Methodological Approach ◽  
Subject Area ◽  
Automated System ◽  
Data Preparation ◽  
Malicious Software ◽  
Software Bugs ◽  
Significant Damage ◽  
Special Software ◽  
The Subject

The paper focuses on a methodological approach to identifying software in special software for systems of critical applications. The approach relies on the analysis of the subject area associated with the functioning of such systems. The term ‘software bugs’ is local and depends on the system into which they are embedded. In this regard, the methodological approach to identifying software bugs is illustrated by an automated system for preparing data for aircraft flights. By software bugs, we mean malicious software that can affect the algorithms for the functioning of the system, disrupting the normal mode of its operation and causing significant damage to the goals of the system. To find where software bugs are likely to be embedded, we specified actions which consist in understanding the features of assessing the quality of each of the main elements of the system and the essence of software bugs, with account for the features of the automated data preparation system; describing the system and its specifics; determining the most likely place for embedding software bugs and conditions for their initialization.

scholarly journals Transition of Collective Land in Modernistic Residential Settings in New Belgrade, Serbia

Land ◽  
2019 ◽  
Vol 8 (11) ◽  
pp. 174 ◽  
Author(s):  
Milojević ◽  
Maruna ◽  
Djordjević
Keyword(s):  
Urban Form ◽  
Transition Period ◽  
Methodological Approach ◽  
Historical Analysis ◽  
Subject Area ◽  
Urban Spaces ◽  
Neoliberal Capitalism ◽  
The Subject ◽  
Political Decisions ◽  
The Sava River

Turbulent periods of transition from socialism to neoliberal capitalism, which have affected the relationships between holders of power and governing structures in Serbia, have left a lasting impact on the urban spaces of Belgrade’s cityscape. The typical assumption is that the transformation of the urban form in the post-socialist transition is induced by planning interventions which serve to legitimize these neoliberal aspirations. The methodological approach of this paper is broadly structured as a chronological case analysis at three levels: the identification of three basic periods of institutional change, historical analysis of the urban policies that permitted transformation of the subject area, and morphogenesis of the selected site alongside the Sava River in New Belgrade. Neoliberal aspirations are traced through the moments of destruction and moments of creation as locally specific manifestations of neoliberal mechanisms observable through the urban form. Comparison of all three levels of the study traces how planning and political decisions have affected strategic directions of development and, consequently, the dynamics and spatial logic of how new structures have invaded the street frontage. The paper demonstrates that planning interventions in the post-socialist transition period, guided by the neoliberal mechanisms, has had a profound impact on the super-block morphology.

DIDACTIC CONDITIONS UNDERSTANDING SCIENTIFIC MATHEMATICAL TEXT STUDENTS – FUTURE PRIMARY SCHOOL TEACHERS

2018 ◽  
Vol 2 ◽  
pp. 429-442
Author(s):  
Larisa Sergeeva
Keyword(s):  
Primary School ◽  
Subject Area ◽  
School Teachers ◽  
Mathematical Text ◽  
Primary School Teachers ◽  
Mathematical Content ◽  
The Subject ◽  
Mathematical Texts ◽  
Tools And Methods

The article substantiates the necessity of understanding mathematical text in the process of training of students – future primary school teachers. The features of the understanding of the subject area of "mathematics" on the basis of the analysis of the specificity of mathematical texts. The article presents the didactic conditions of understanding mathematical texts with students in order to improve the quality of mathematical and pedagogical education of future primary school teachers. Describes the tools and methods to ensure understanding of mathematical content by the students. The conducted research allowed to establish the effect of implementing the selected conditions on the overcoming of formalism in the assimilation of mathematics by students.

scholarly journals Don’t write, just mark: the validity of assessing student ability via their computerized peer-marking of an essay rather than their creation of an essay

2004 ◽  
Vol 12 (3) ◽  
Author(s):  
Phil Davies
Keyword(s):  
Multiple Choice ◽  
Assessment Method ◽  
Subject Area ◽  
Higher Order ◽  
The Subject ◽  
Student Ability ◽  
Method Of Assessment ◽  
The Impact

This paper reports on a case study that evaluates the validity of assessing students via a computerized peer-marking process, rather than on their production of an essay in a particular subject area. The study assesses the higher-order skills shown by a student in marking and providing consistent feedback on an essay. In order to evaluate the suitability of this method of assessment in judging a student’s ability, their results in performing this peer-marking process are correlated against their results in a number of computerized multiple-choice exercises and also the production of an essay in a cognate area of the subject being undertaken. The results overall show a correlation of the expected results in all three areas of assessment being undertaken, rated by the final grades of the students undertaking the assessment. The results produced by quantifying the quality of the marking and commenting of the students is found to map well to the overall expectations of the results produced for the cohort of students. It is also shown that the higher performing students achieve a greater improvement in their overall marks by performing the marking process than those students of a lower quality. This appears to support previous claims that awarding a ‘mark for marking’ rewards the demonstration of higher order skills of assessment. Finally, note is made of the impact that such an assessment method can have upon eradicating the possibility of plagiarism.DOI: 10.1080/0968776042000259573

scholarly journals A Comparison of the General Knowledge and Skills Displayed by Students Participating in International Geopolitical Competitions

2020 ◽  
Vol 10 (9) ◽  
pp. 255
Author(s):  
Piotr L. Wilczyński
Keyword(s):  
Higher Education ◽  
Professional Knowledge ◽  
Subject Area ◽  
General Knowledge ◽  
Knowledge And Skills ◽  
Quality Of Higher Education ◽  
The World ◽  
Material Good ◽  
The Subject

Three years ago, the Polish Geopolitical Society began an initiative focused on students, PHD candidates and interested academic societies, who wished to co-operate in popularizing the subject area of geopolitics. This initiative sought to serve as a forum for such groups and individuals to compete with other interested colleagues and groups from around the world. During the process, students strive to prove their level of professional knowledge, while their teachers assist them in preparing for their best presentations. All participants then meet during the final stages of the competition in order to exchange their experiences. This, in turn, benefits the development of general approaches and methods of study regarding the discipline of geopolitics. The question addressed in this paper then, is how such international competitions can improve the overall skills and knowledge of the subject area at hand among those participating. The importance of this question is underscored by various initiatives undertaken that attempt to measure the quality of higher education. The research presented in this article, then, is based upon interviews with both participants and organizing committee members, which attempt to gauge the experiences and results achieved during such competitions. The results show both the positive and negative aspects of organizing such gatherings. Most certainly, one could draw the conclusion that such events are the most attractive to the most ambitious of students and teachers, who consider education a privilege and as a process, which continues throughout one’s lifetime. Adversely, for those who place education in the same category as a material good, to be bought and sold, such competitions have little appeal especially when focused upon a narrow field of study.

Review of Factors Affecting the Quality of Architectural Concrete

2019 ◽  
Vol 808 ◽  
pp. 9-14
Author(s):  
Jan Sestak ◽  
Monika Utěšená ◽  
Radka Pernicova
Keyword(s):  
Surface Structure ◽  
Main Part ◽  
Quality Evaluation ◽  
Subject Area ◽  
Raw Material ◽  
Surface Layers ◽  
Conventional Concrete ◽  
Factors Affecting ◽  
The Subject

The paper deals with the properties, quality and durability of the exposed concrete. The main part of this paper are characteristic of architectural (sometimes called visible or naked) concrete and the criterion of the quality evaluation of the performed work. This is mainly the colour balance of the subject area, the quantity and the size of the pores, the quality of the raw material and the surface structure. Achieving the quality of architectural concrete is considerably more technologically demanding compared with conventional concrete. This is reflected also in its cost. In conclusion, the problems of surface layers of architectural concrete are summarized. Especially environments can cause faster degradation, reducing the lifetime of the whole construction, but also pointing to one of the main problems in construction, which is technological discipline.

Ungraded Educational Оrganizations in Rural Areas: History and Modernity

2020 ◽  
Vol 15 (4) ◽  
pp. 129-135
Author(s):  
Levchenko Olga Yu. ◽  
Keyword(s):  
Rural Areas ◽  
Language Education ◽  
Subject Area ◽  
Foreign Language Education ◽  
Teaching Staff ◽  
Educational Organizations ◽  
Regulatory Documents ◽  
The Subject ◽  
The Village

In the national educational system, the rural school has traditionally been given a significant role, which is reflected in numerous studies published in different years. The analysis of historical and pedagogical sources revealed the main stages of the origin and development of rural schools in Russia. At the beginning of the XXI century rural ungraded educational organizations have not lost their significance and are widely represented in the educational space of the country. In modern conditions, the activities of educational organizations have a significant impact on the socio-cultural and economic condition of the village, being a key condition for the existence or revival of settlements.Appealing to regulatory documents dated from different periods made it possible to analyze the interpretation of the term “ungraded educational organization” in a historical retrospective. The study of historical and pedagogical sources and modern researches indicates the existence of certain features in the implementation of educational activities in ungraded educational organizations.Inherent organizational and pedagogical characteristics have an impact on the organization of foreign languageteaching. The problem of improving the quality of foreign language education in ungraded educational organizations located in rural areas continues to remain relevant. It requires its comprehensive study and search for more effective and methodically appropriate teaching methods, techniques and technologies, taking into account the existing historical experience. Achievement of the results of studying the subject area “Foreign languages” established in regulatory documents is possible only with teaching staff, having a higher level of subject-methodological training.

Optimization of automated flight data preparation system design process

2021 ◽  
Author(s):  
A.G. Andreev ◽  
S.A. Zhurbin ◽  
G.V. Kazakov ◽  
V.V. Koryanov
Keyword(s):  
System Design ◽  
Design Process ◽  
Methodological Approach ◽  
Data Preparation ◽  
Practical Application ◽  
Design Decisions ◽  
Flight Data ◽  
Upper Level ◽  
Technical Measures

The paper introduces a methodological approach to optimizing the automated flight data preparation system design process by using organizational and technical measures to minimize the number of design errors and miscalculations of an accidental and deliberate nature. The study proposes to build the structure of the system design process according to the principle “from the general to the particular”, based on which the connections between different stages of design are determined in the form of surjective and bijective correspondences. In the diagram of design stages of the automated data preparation system, each lower level of the hierarchy is a decomposition of the elements of the adjacent upper level into more specific elements. The main methods of improving the quality of system design, methods of semantic control of the correctness of the design decisions, and syntactic control of the correctness of the developed documentation for the design of the automated data preparation system are proposed. The main thirteen problems of system design are considered, which, in practical application, will acquire a more specific form and significantly improve the designed system’s quality.

scholarly journals Development of an automated system for deploying software for automated workstations of the spacecraft flight control center

2020 ◽  
Vol 4 (1) ◽  
pp. 20-27
Author(s):  
M. A. Prokhorov ◽  
A. Yu. Tsvetkov ◽  
A. A. Tolmachev
Keyword(s):  
Flight Control ◽  
Information Management System ◽  
Automated System ◽  
Quality Of Information ◽  
Control Center ◽  
Software Deployment ◽  
Special Software ◽  
The Stability ◽  
Automated Software

At present, the daily and combat activities of almost any army in the world are largely determined by the quality of information and space support. At the same time, the quality of support depends largely on the stability of the functioning of such unique technical facilities as spacecraft flight control centers. Based on the features of building new and upgrading existing flight control centers, their susceptibility to destructive information influences has been established. In this regard, the only way to guarantee the recovery of the information management system after information and technical impact was determined, namely, the complete redeployment of automated workplaces, including the reinstalling of operating systems, general software and special software. To ensure the efficiency of recovery of the system under consideration, the need to automate the deployment of software for automated workstations of the spacecraft flight control center was justified. The results of the analysis of existing approaches to software deployment have shown the need for implementation directly disrespecting methods. Based on this, the complex software deployment process was formalized, and the structure of the automated software deployment system for automated workstations of the spacecraft flight control center was proposed, the use of which will ensure the necessary level of stability in the implementation of technological cycles of spacecraft control in particular, and the quality of information and space support for troops in General.

scholarly journals COGNITIVE MODELING IN THE MANAGEMENT OF EDUCATIONAL INSTITUTIONS

2020 ◽  
pp. 28-32
Author(s):  
Oleksandr Balanutsa ◽  
Keyword(s):  
Cognitive Modeling ◽  
Semantic Analysis ◽  
Cognitive Model ◽  
Subject Area ◽  
Educational Institutions ◽  
Management Decision ◽  
Main Method ◽  
Management Decision Making ◽  
The Subject

The article substantiates the possibility of using cognitive analysis for strategic management of educational institutions. The aim of article is to study of the problem of choosing the factors influencing the quality of education. Accounting for the assumption that complex and poorly structured management decision-making tasks can be formalized by constructing cognitive maps that allow them to model changes in results. The main method used in article is semantic analysis of the main to understand the subject area. The main features of cognitive modeling are considered. The main definitions are introduced. The cognitive system is seen as a decision support system. The cognitive map is considered as the basic cognitive model.

scholarly journals Threshold Concepts and Students’ Learning Experience

2019 ◽  
Vol 3 (3) ◽  
pp. p110
Author(s):  
Elvis Cornerstone
Keyword(s):  
Learning Experience ◽  
Subject Area ◽  
Threshold Concepts ◽  
Course Content ◽  
Economics Students ◽  
Main Class ◽  
Undergraduate Economics ◽  
The Subject ◽  
Academic Year

This paper gives an account of students’ learning experience entrenched in threshold concepts for a group of second year undergraduate Economics students at Bangor University during the 2008/2009 academic year. The majority of students who were involved in the supplementary class were totally satisfied with the quality of the intervention. Most students benefited from the clear style of delivery used for the intervention. A large number of students managed to cope with the difficult topics in their main class after having their confidence level improved. This made it possible for such group to develop a good understanding of the subject area covered in their main class. Majority of the students had their expectations met due to the relevance and accuracy of the course content.

Sign in / Sign up

Export Citation Format

Share Document