HIGHEFFICIENCY COMPUTER SYSTEMS
Significant Problems For Future Russian HighPerformance Computers (20102020) V. Betelin, A. Kushnirenko, G. Raiko There are three extremely significant problems for future highperformance computer systems: high power consumption, high frequence of sporadic upsets, high checkpointing overhead. When targeting exaflops performance milestone current evolutionary approaches to these problems no more adequate. Several new approaches to the problems are listed and discussed. Keywords: supercomputer, performance, Petaflops, Exaflops, power consumption, resilience, checkpoint Optimization of calculating process of reconfigurable streaming computing environments
D.S. Artamonov, M. G. Putrya The method of efficiency increasing of computing in reconfigurable computing systems based on alternative computing technology has been considered. The processor element can execute direct or alternative function from existing function list depending on condition signal. This enables within a scale of processor elements array, due to reducing the hardware resources, to significantly increase the performance of the whole system. PATTERN RECOGNITION
Algorithms of the recognition font in printed document Oleg A. Slavin Algorithms of the building font is described in article on base result recognitions printed symbol, used in mechanism of the adaptive recognition of the document. It is defined notion of the font, allowing build the algorithms of the recognition font, by means of which is produced the most further clusterization image symbol. The considered problems, in decision which can be used mechanism of searching for font: the repeated segmenting of the borders symbol, packing symbol, selecting the font for image symbol on screen. Keywords: font, recognition, clusterization, adaptive QUANTUM COMPUTER SCIENCE
Quantum information theory. Channels and capacities A. S. Holevo Quantum information theory studies general laws of information storage and transmission in the systems obeying quantum mechanics, by using mathematical models of information processors  communication channels  for investigation of potential capabilities of such systems and elaborating the principles of their rational and reliable design. The notion of channel capacity is central in the classical information theory. It turns out that in the quantum case this notion splits into the whole spectrum of information characteristics of a quantum channel. This paper presents a survey of the main concepts and results, gives formulation of the «coding theorems» providing analytical expressions for the capacities of quantum communication channels on terms of entropic quantities, stressing the special role played by the quantum property of entanglement. Keywords: quantum communication channel, entropy, channel capacities, quantum entanglement MATHEMATICAL MODELING
Using XCTL logic to implement formal verification of Xmachines M. Sobolev The article contains the review of CTL logic and its application to formal verification. XCTL logic is proposed, allowing implementing the formal verification of Xmachines. The sample model of a counter is presented. Keywords: Formal verification, model checking, XMachine, complex systems. Adaptive structural forecasting methods J.A. Dorofeyuk The analysis and forecasting problem in multivariate control system is described. The object structure of investigated system is assumed to vary over time. The adaptive algorithm, which is able to trace such structure variations, is developed. The integral object description and adaptive forecasting model allow to improve substantially the efficiency of management decision results. Keywords: classification data analysis methods, adaptive automatic classification algorithm, adaptive forecasting model, class number selection optimization. GRIDTECHNOLOGIES
Functional capabilities of a GRID middleware and methods of its realization V.N. Kovalenko Appearance of distributed resource infrastructures created on the basis of the grid concept has discovered new opportunities for solving significant problems in different application areas. However, considering the issue of a grid technologies usage, it is important to take into account the actual state of the software in that field. The paper gives the systematic description of functional capabilities of the most widespread, timeproved tools for a grid infrastructure creation and application development. Keywords: grid, middleware, Globus Toolkit, gLite, functional description APPLIED ASPECTS OF COMPUTER SCIENCE
Deontical logic model of information system as object of standardization Andrey P. Stolbov The model of information system (IS) as object of standardization in which differencies deontical the status of various requirements to IS is considered. The offered model can be used by working out of functional profiles IS carrying out of normative and technical examination of projects IS, and also working out of standard documents on standardization. Keywords: information system, standardization, deontical logic. Multivariate method of motility index individual prediction of children with a cerebral paralysis A. Wildemann, A. Tashkinov, V. Bronnikov The problems of motor activity development prediction of patients with children's cerebral paralysis (CCP) are studied on the basis of the multivariate statistical analysis. The method of motility index individual prediction of patient with CCP generalized on a multivariate case is offered. It is shown that the account in prediction models of influence of patrimonial and antenatal risk factors allows to improve reliability of forecasts in comparison with onedimensional models. Keywords: mathematical modelling, individual prediction, multivariate statistical analysis, medicosocial systems. Program system for data analysis in mining R.Y. Zamaraev, S.E. Popov The principles of a distributed software system (DSS) and realization for the intellectual analysis of complex systems of mining are presenting. For solving multicriteria selection and system audit in a range of indicators of different nature and dimensions the entropy method are using. An example of the complex to solve problems ranging from aggregated characteristics of coal mining sites of the Kuznetsk Coal Basin based on a database of coal samples indicators. Keywords: the distributed software system, data analysis, entropy method, multicriteria selection, system audits, performance indicators, complex systems, mining.
