PROGRAM SYSTEMS: THEORY AND APPLICATIONS

12+

Online Scientific Journal published by the Ailamazyan Program Systems Institute of the Russian Academy of Sciences

Papers are accepted in the form of a PDF file

To view the PDF files, you will need Adobe Acrobat Reader

• Содержание выпуска •
• Software and Hardware for Distributed Systems and Supercomputers •
• Mathematical Modelling •
• Artificial Intelligence, Intelligence Systems, Neural Networks •
• Mathematical Foundations of Programming •
• Methods for Optimal Control and Control Theory •
• Supercomputing Software and Hardware •

Mathematical Foundations of Programming

Responsible for the Section: doctor of physico-mathematical Sciences Nikolay Nepeivoda

On the left: assigned number of the paper, submission date, the number of A5 pages contained in the paper, and the reference to the full-text PDF .

Article # 24_2014 16 p. PDF	submitted on 14th Nov 2014 displayed on website on 15th Dec 2014 Nepejvoda N., Grigorevsky I., Lilitko E. New Representation of Real Numbers Overlaying number systems for real numbers are introduced and studied. It is shown that addition, subtraction and normalization can be done for the number system with radix 3 and overlay factor 0.5 in two tacts independently of number of digits. (In Russian). Key words: real numbers, number systems, constructive mathematics, data structures.
article citation	http://psta.psiras.ru/read/psta2014_4_105-121.pdf
Article # 34_2014 11 p. PDF	submitted on 14th Dec 2014 displayed on website on 31th Dec 2014 Znamenskij S. Modeling of the optimal sequence alignment problem The sequence alignmet is widely used in variouse computer systems for data similarity measure and analisys, changes detection and relative tasks. Some intuitive requirements for string alignmet are formalised in a test suite. The tests shows that none of existing approaches to string similarities and alingment meet the requirements. A new model of minimizing conflicts when merging changes is described. The model leads to a simple formulation of new optimization problem which meet the requirements. (In Russian.) Key words: similarity of strings, sequence alignmet, edit distance, diff, LCS, Levenshtein metric, software development, continuous integration.
article citation	http://psta.psiras.ru/read/psta2014_4_257-267.pdf

Adress: Ailamazyan Program Systems Institute of the Russian Academy of Sciences, PSTA Online Journal, 4 a Peter the First Street,
Veskovo village, Pereslavl area, Yaroslavl region, 152021 Russia
Phone: +7-4852-695-228. E-mail: info@psta.psiras.ru. Website: http://psta.psiras.ru