Semenova N.G., Semenov A.M., Krylov I.B.
DESIGNING THE KNOWLEDGE BASE IN DEVELOPMENT OF INTELLIGENT TUTORING SYSTEMS ENGINEERING DISCIPLINE ^{[№ 9 ' 2013]}
There was developed the knowledge base of the intelligent tutoring system, which is allowed to carry out the automation of the process of control and adaptation management of educational and cognitive activity of a student and which is differed from systems, which were developed earlier, by the existence of the knowledge base of the entrance complex diagnostic and the developed algorithm of the fuzzy inference of the methodical knowledge base of studying of the discipline.

Krylova S.E.
APPLICATION OF MATHEMATICAL MODELING FOR SYNTHESIS EKONOMNOLEGIROVANNY STALY A TOOL CLASS ^{[№ 5 ' 2013]}
By methods of mathematical planning are received and investigated skilled ekonomnolegirovanny the steel 100H3G2MTR, 70H3G2FTR and 70H3G2VTB, intended for production of the tool working in difficult conditions of loading. Modes of preliminary heat treatment for the purpose of receiving an optimum structural condition for the subsequent thermal hardening are offered. The dilatometric analysis offered staly is carried out, features of course of phase transformations are studied at continuous cooling.

Krylova S.E., Firsova N.V.
EFFECT OF HEAT HARDENING ON THE BEHAVIOR OF THE EXPERIMENTAL STEEL GRADES WITH MICROALLOYING COMPLEX ^{[№ 1 ' 2013]}
The structure and properties of the new class of economically alloyed instrumental steels at various stages of heat treatment. It is shown that for these steels significant impact on the behavior of the operation mode has the final thermal hardening. The temperature-time parameters of the high holidays. A mechanism of dispersion hardening, based on qualitative and quantitative change in the ratio of the carbide component in the alloy.

^{[№ 5 (app.1) ' 2004]}

S.M. Krylov
THE PROOF OF ACTION LIMITATION OF TURING-CHERCH THESIS ON OBJECTS WITH PHYSICAL PROPERTIES ^{[№ 3 ' 2003]}
Peculiarities of formal-technological approach to different abstract and real objects presentation according to object-oriented paradigm are regarded in the article. According to the offered approach the limitation of Turing-Cherch thesis on objects, having physical properties is proved with means of formal technology.