Институт проблем информатики Российской Академии наук
Институт проблем информатики Российской Академии наук
Российская Академия наук

Институт проблем информатики Российской Академии наук



«Annual Proceedings of the Institute of Informatics Problems (IPI RAN)
The Systems and Means of Informatics, Issue 19, 2009

Оглавление | Аннотации на русском языке


ABSTRACTS

    THE MODEL OF INTERACTION AMONG CONSUMERS AND REMOTE COMPUTATIONAL RESOURCES BY MEANS OF BROKERS
  • Mikhail Konovalov, Yuri Dushin, Yuri Malashenko, Sergey Shorgin

    A new mathematical model is proposed for flow control and pricing analysis as well as for optimization in distributed multiple-access computational resource systems. The model represents dynamic balance flow relations. System participants are independent agents pursuing their own goals stated in terms of cost and quality of service. Distributed decentralized gradient algorithm is offered for optimization task solution. Numerical experiments results and model improvement directions are discussed. Extensive references list is included.
  • METHODS FOR AUTOMATED GENERATION OF TRANSFORMATIONS OF INFORMATION MODELS
  • Sergey Stupnikov, Leonid Kalinichenko

    Due to the diversity of existing information models and labor-intensity of manual generation of model transformation, the automation of information models transformation generation is important. In the paper two methods for automated generation of model transformations are proposed. The first method (called forward) is intended for generation of transformations on the base of correspondences between elements of the models. The second method is intended for generation of backward transformations of models on the base of forward transformations. The methods for automated generation of model transformations constitute a part of more general work - development of the Unifying Information Models Constructor (the Model Unifier). The main objective of the Unifier consists in construction of mapping of models of heterogeneous information resources into the canonical information model during the integration of such resources.
  • A BROADCAST MESSAGING SYSTEM BASED ON DISTRIBUTED FILE SYSTEM PRIMITIVES
  • Vladimir Kozmidiadi

    The article considers realization of the atomic broadcast messaging system. It is assumed that all nodes of network have access to the distributed file system which corresponds to the POSIX fcntl() function so far as it relates to file locking for data sharing or exclusive data usage. It is shown how to build the algorithm of atomic broadcast messaging system on the basis of such assumptions. The described algorithm is fault tolerant and symmetric, i.e. the presence of node leader in the network is not required.
  • COORDINATING INFORMATION PROCESSING IN THE DISTRIBUTED SYSTEMS
  • Vladimir Kozmidiady

    The article presents a formal model of coordinating information and its implementation in a cluster with distributed file system. The coordinating information is intended for use by distributed applications.
  • SOME ASPECTS OF VLSI DESIGN USING ALGORITHMIC STATE MACHINES
  • Sergey Zamkovets, Victor Zakharov, Elena Popkova, Sergey Frenkel, Boris Shmeilin

    At present a lot of attention in VLSI CAD is being paid to the higher levels of description - system and functional ones. That is explained by the difficulties in transition from these levels to lower ones, at first to the logic level of presentation. One of the most perspective directions in automation activity is the ASM approach, in which the behavior of the circuit under design is described using operation algorithms of its blocks. The advantages of this approach are considered in the paper and the example of the bubble sorting microprocessor design is presented.
  • THE METHODS AND TOOLS OF TUNING THE BLOCK OF MORPHOLOGICAL ANALYSIS TO SUBJECT FIELDS
  • Nikolay Somin, Igor Kuznetsov, Vladimir Nikolaev, Andrey Matskevich

    The class of semantic linguistic processors is considered. The processor extracts information objects and links between them from natural language texts. Its significant component is the block of morphological and lexical analysis. It has a set of additional functions. The block generates semantic attributes of lexical units and extracts the elementary constructions from texts. It has special means of tuning with regard to the features of natural texts and subject fields. The paper highlights the problems of developing the methods and tools to realize these functions.
  • MULTILINGUAL LINGUISTIC RESOURCE DESIGN FOR MACHINE TRANSLATION AND KNOWLEDGE MANAGEMENT SYSTEMS
  • Elena Kozerenko, Nina Luneva, Yulia Morozova, Petr Ermakov

    The paper deals with the topical problems of developing a multilingual linguistic resource of semantic syntactic presentations for the systems of machine translation and knowledge extraction from natural language texts. The objective of the research is to create the integral linguistic model comprising grammar rules, statistical methods and the mechanisms of machine learning for extracting new structural syntactic rules from text corpora and for disambiguation of syntactic structures. For developing linguistic knowledge formal presentations the authors apply the instrument of Cognitive Transfer Grammar (CTG), which is a semantically motivated variant of phrase structure grammar with the head features and inheritance mechanisms. For the creation of the system machine learning components and obtaining statistical data about language structures there have been developed the multilingual linguistic resource INTERTEXT which comprises the Treebank and the corpus of semantically aligned parallel texts in the Russian, English, French and German languages.
  • REALIZATION OF THE FUNCTIONAL METHOD OF SELF-TIMED ELECTRONIC CIRCUITS ANALYSIS
  • Leonid Plekhanov

    The article describes an expanded realization of a newly developed functional method of self-timed electronic circuits analysis. Indication properties of signals used in the method allow to determine delay independence of analyzed circuit and also get the necessary information on indication of both internal and external circuit signals. In the expanded realization, in addition to analysis itself one calculates the parameters needed and sufficient for applying the circuit in a higher level of hierarchy without circuit disclosing. The expanded tasks are realized in analysis program FAZAN that is characterized, as the previous realization, by polynomial complexity of calculations for the number of circuit signals.
  • THE BASIS PLATFORM OF THE PROJECT "FAULT TOLERANT COMPUTING SYSTEMS"
  • Adolf Filin

    The author recollects the history and presents the basic ideas of development in the 80's of the last century of architecture and prototype of fault tolerant computing system (FTCS) intended for designing computer control systems after the year 2000. The project required estimation and forecasting of reliable calculations development for over 10-year period. Consequently it determined the characteristics of future FTCS at a level of the next (fourth) generation computing systems. When at last the country's leadership got concerned about that problem, the world's computer industry was successfully manufacturing the FTCS of the third generation. The article presents general information about the Soviet FTCS project that was terminated in the 80's.