articles

Information education technology application in the corporate «Norilsk Nickel» university is discussed. Large-scale application of distance learning courses allows satisfying the need for prompt and high quality teaching staff. To maintain the desired level of company staff computer simulators are actively being used. Learning technologies employed improve the efficiency of the educational process giving a positive effect on the competitiveness of the university.

Testing technology is presented assuming that students input test results immediately after the lecture to the relevant page of the cathedral web server from their personal computers, and the teacher reads the results in automatic mode from the cathedral Web server and processes them. So manual entry of the test results is eliminated and protection against cheating is provided. Software and technological tools requirements as well as specific implementation features are described.

The process of developing an embedded operating system based on a GNU/Mach microkernel. The development was carried out by transferring the GNU/ Mach microkernel for the ARM architecture followed by development of the Ethernet driver, and running TCP/IP stack as a separate module servers. The comparative performance evaluation is presented.

Today analyzing data-races is a relevant problem because of complex architecture of the modern programs. The article introduces the model of concurrent threads execution that alows analyzing data-races statically. Target algorithms for the model are ones containing custom synchronization machinery and atomic operations. As opposed to known models of a concurrent execution the suggested model analyze the code at a lower level of instructions.

The automatic Chuvash into Russian translation package features together with database used are presented.. The translation can be made with different versions of words. Various approaches to the use of semantics in translating Chuvash texts into Russian are investigated. The target language semantics optimization methods are compared.

The conference was held on October 19 – 21 in the A. M. Gorky House of Scholars in St. Petersburg. Among the principle tasks were the development and generalization of the theory and simulation models qualimetry, experience exchanging, research results and practical applications discussions, introducing the latest automation and visualization tools, dissemination of theory and practice teaching experience.