Article MODELING OF THE ASYMETRICAL SHAFT HEATING EFFECT INFLUENCE ON ITS TRAJECTORY IN THE JOURNAL BEARING Boris Grigoriev, Alexander Fedorov May 2008
Article PRODUCTION AND TECHNICAL SYSTEMS MATHEMATICAL MODEL AND PROGRAM REALISATION IN CONDITION FORECASTING TASKS Dmitriy Zubok, Victor Klimenko, Alekxander Khvastunov May 2008
Article FACILITY ANALYSIS OF CONTINUOUS REPRESENTATION OF A TECHNICAL OBJECT REMOTE CONTROL TASK WITH A CHANNEL ENVIRONMENT FACTOR Ushakov Anatoly Vladimirovich, Olga Osiptseva, Nadezhda Bozhenkova May 2008
Article STRUCTURED RISK ESTIMATE METHOD DEVELOPMENT Leonid Osovetsky, Artyom Pavlyutenkov, Yulia Torshenko, Aleksey Sidorov May 2008
Article идентификация частоты, компенсация возмущения, управление по выходу Bobtsov Alexey A., Pyrkin Anton Alexandrovich, Kolyubin Sergey A, Kseniya Rogozhina, Mariya Slinchenkova May 2008
Article INHERITANCE OF AUTOMATA CLASSED WITH DYNAMIC PROGRAMMING LANGUAGES ON THE EXAMPLE OF RUBY Kirill Timofeev, Artem Astafurov April 2008
Article VERIFICATION OF AUTOMATA-BASED PROGRAMS WITH UNIMOD.VERIFIER TOOL Vadim Gurov, Bulat Jaminov April 2008
Article DEVELOPMENT OF A TOOL FOR FINITE STATE MACHINE GENERATION WITH GENETIC ALGORTIHMS Evgeny Mandrikov, Vladimir Kulev April 2008
Article A METHOD OF TESTS FOR API GENERATION ON THE BASE OF FINITE-STATE MODEL OF TESTING Konstantin Rubinov, Vladimir Vedeneev, Vladimir Parfenov April 2008
Article VERIFICATION OF INTERACTION OF PARTS OF A REACTIVE SYSTEM IMPLEMENTED USING AUTOMATA-BASED APPROACH Sergey Kanzhelev April 2008