| 
    
 | 
      | 
    
      
    • Содержание выпуска • • 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 | 
         
		
         
     
    
    • Содержание выпуска • • 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 • 
       |