Twenty Similarity Functions for Two Finite Sequences
This paper considers various numerical functions that determine the degree of similarity between two finite sequences. These similarity measures are based on the concept of embedding for sequences, which we define here. A special case of this ...
Application of Computer Simulation to the Anonymization of Personal Data: Synthesis-Based Anonymization Model and Algorithm
This paper describes the second part of our study devoted to automated anonymization of personal data. The overview and analysis of research prospects is supplemented with a practical result. An anonymization model is proposed, which reduces ...
Searching for Laurent Solutions of Systems of Linear Differential Equations with Truncated Power Series in the Role of Coefficients
Systems of linear ordinary differential equations with the coefficients in the form of infinite formal power series are considered. The series are represented in a truncated form, with the truncation degree being different for different ...
On Implementation of Numerical Methods for Solving Ordinary Differential Equations in Computer Algebra Systems
This paper presents an original package for investigating numerical solutions of ordinary differential equations, which is built in the Sage computer algebra system. This project is focused on a closer integration of numerical and symbolic methods ...
Complementarity in Finite Quantum Mechanics and Computer-Aided Computations of Complementary Observables
Mathematical formulation of Bohr’s complementarity principle leads to the concepts of mutually unbiased bases in Hilbert spaces and complementary quantum observables. In this paper, we consider algebraic structures associated with these concepts ...
Resonances and Periodic Motions of Atwood’s Machine with Two Oscillating Weights
The problem of constructing periodic solutions to the equations of motion of Atwood’s machine in which both weights have the same mass and can oscillate in the vertical plane is discussed. Differential equations governing the motion of this system ...
Effective Lower Bounds on the Matrix Rank and Their Applications
We propose an efficiently verifiable lower bound on the rank of a sparse fully indecomposable square matrix that contains two non-zero entries in each row and each column. The rank of this matrix is equal to its order or differs from it by one. ...
Automated Verification of Multi-Party Agreements and Scheduling of Sending Messages in Distributed Ledger Systems
Multi-party agreements are used in distributed ledger systems and blockchain networks to reach an agreement on changes in the system. When one of the network participants proposes a transaction to be recorded, it should be first confirmed by ...
Database Migration from ORACLE to PostgreSQL
Methods of data transfer from the Oracle environment to the PostgreSQL environment with stage-by-stage organization of actions and determination of the sequence of migration are considered. The main directions for the transformation of the ...
Metaclasses in UML and in Programming Languages
Design and programming are important stages of the development process of object-oriented information systems. At the design stage, a problem domain model is built, usually in the form of a UML class diagram. Sometimes it is convenient for a ...
Automata-Based Software Engineering with Event-B
A new automata-based programming language built by extending the Event-B specification language is proposed. When developing models in Event-B, it becomes possible to use automata-based methods in addition to the popular refinement method. The ...