SystemVerilog Assertios of SystemVerilog-2009
Page:51-59
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: 2014-2 (5)
Keywords: assertion, sequence, property, synchronized sequence
Annotation: The internal SystemVerilog Assertion of SystemVerilog-2009 order as a way of informational safety ensuring with using of assertions tools is presented
The development of a model of the medical call-centre of krasnoyarsk on the basis of the anylogic simulation modeling system
Page:57-61
Release: 2014-1 (4)
Keywords: simulation modeling system, agent approach, object classes, Call-centre, model of mass service
Annotation: The problem of creation of a medical Call-centre in the city of Krasnoyarsk on the basis of agent ap-proach when using simulation modeling system is being discussed. The health care system of Krasno-yarsk is investigated; the main classes of models have been developed. The developed simulation model of the medical Call-centre is presented; the main conclusions are received that can lay down as a basis of creation of the Call-centre
Stability of automation systems. The concept of sustainable interaction
Page:86-94
Release: 2014-5 (8)
Keywords: Interaction theory, stability, processes in information systems, systems analysis
Annotation: The first prerequisite for the interaction of two (or more) systems is their simultaneous existence. Under the simultaneous existence we mean a period of time of functioning of systems for which the effect of at least one of them will affect the effectiveness of the other in the performance of a specific task. Stability property is a fundamental property of any information system. This property can be intuitively defined as a certain constancy, immutability of certain structures and system behavior.
Technology preparation of revolution: models and methods of falsification of history
Page:42-49
Release: 2014-4 (7)
Keywords: history, falsification, manipulation, suitable logic model of the historical process, false evidence
Annotation: It is shown that the basis of falsification of history is expedient logic. The methods of orders and the formation of historical myths, turning points in the history of the revaluation model, the historical process Bradbury – Tenna are constdered, as well as the bifurcation models. Techniques are given false evidence and manipulating estimates of historical persons and events. Actual targets customers of history textbooks are characterized.
Civil-Patriotic consciousness as an indicator of the social health of the younger generation
Page:62-68
Release: 2014-3 (6)
Keywords: civil-Patriotic consciousness, patriotism, civil-Patriotic education, social health, social policy, the state program of Patriotic education, civil society, program-target approach
Annotation: The article presents an integrative feature of civil-Patriotic consciousness and social health of children and young people. Disclosed dynamics of civic and Patriotic values of the younger generation in the beginning of the XXI century. Proposes measures for the development of civil-Patriotic consciousness, including the mechanisms of realization of state policy in the field of Patriotic education.