Department of Mathematical Informatics

v_ter@ukr.net
(044)259-04-27

Courses and degree work

Shevchuk E.M. Parameterized development network emulator.

The paper describes general information about the concept of emulation network market analysis tools for its implementation. Completed survey parameterized architecture for multi-network emulator which performs proksuvannya client traffic. Described in detail the principles that formed the basis for its implementation.

Nedavniy V. Development training distance course on creating plugins distributed among .NET Framework.

The paper deals with all the most popular distance learning system, the analysis of the requirements and characteristics of each of them and select the best option. Also the basic syntax of C # language methodology: "Syntax-use architecture." A holistic curriculum that allows to gain knowledge of the syntax of the programming language C #. Developed plugin for automatic calculation of student achievement.

Chernoff M. Development of an automated system for analyzing strophic forms of poetic works.

Purpose - to develop an automated system to analyze strophic forms of poetic works. As part of this task offered to proprietary algorithm that detects the presence of rhyming words between the two without any additional dictionaries. The system recognizes more than eighty types stanza. Analyzing strophic drawings inherent in a particular artist, the ability to find sponsors with a similar style of poetry. The system accepts input text poetic works. The work program is characteristic stanzas of the poem (in the form of letter circuits) and a list of authors.

Havre A.Y. PARKS.NET The use of cloud computing. ( “Usage of PARCS.NET system for cloud computing”)

The paper presents the application of the system for parallel distributed computing PARKS.NET (PARCS - Parallel Asynchronous Recursive Control Systems) for cloud computing. As the technology for cloud computing was used Amazon Elastic Compute Cloud (Amazon EC2) and Microsoft Azure. Also described in the API created for the user interface. The paper provided a description of the system and PARKS.NET possibility of setting to work with the cloud. The results of the testing system to solve the classic problem of matrix multiplication. The possibilities of PARCS in solving practical problems of parallel programming

Matvienko M. Application of PARCS for CPU and GPU.

This article examines the technology PARCS PARCS-JAVA and-CUDA, and conducted tests to compare the performance of parallel algorithms on graphics and central processors. CUDA was designed for a standard sample PARCS-JAVA - parallel algorithm for matrix multiplication, analyzed and presented in the conclusion the results. Short review papers and articles on high performance parallel computing on clusters of GPUs using CUDA.

Maze V.S. Solving the problem of visibility simple polygons with a moving point.

We consider the construction of a new search algorithm to set the scope of simple polygons with a moving point. It analyzes existing approaches problem solving and developed the original effective algorithm. Also developed a software implementation using the language JavaScript.

Mamedov T.A. Development of automation systems for the Turkish language considerations.

This paper provides an overview and analysis of existing automation systems proof (argument), the updated software code kernel SAD and adapted formal language ForTheL to Turkic languages developed automation system considerations on the basis of SAD for the Turkish language, which consists of four modules, demonstrated and tested system for mathematical texts written formal Turkish language.

Krasouskaya K. Strategies for risk management in payment systems.

In the master thesis work was proposed strategy for risk management in payment systems, also developed appropriate mathematical apparatus based on the system, using the analytic hierarchy process and ordynalnomu, using calculations degree of uncertainty (entropy) approaches. The correctness of mathematical models were checked manually and programmatically, that has developed a prototype decision support system, and it was determined the domain model, the options usage scenarios and has developed an architectural diagram of the application. The flexibility of the developed mechanism makes continued research developed strategy, as proposed risk management strategy may adapt for use in non-financial and public institutions.

Kostyuk N. Using text mining approach to analyze the responses.

Master's thesis is devoted to developing algorithms to highlight key features and functions to the product and opinion words from text user feedback to further analyze their tone. The main aim of the thesis - to offer a new idea to highlight the opinion words or phrases for each key properties from a text response sposobom.U most effective work getting attention is paid templates for opinion words / phrases of property product from a text response through adjectives, adverbs, verbs and nouns. Dedicated opinions properties and may be useful for generating meaningful result that can provide a significant source of information to help users keep track of the most suitable products, and developers to monitor the problem areas of software. At the end of the verification process was carried allocation issues and visualization of results comparing common functions in various applications.

Kobelev A.V. Tree sections Fenwick tree and their application.

This article examines data structures such as wood pieces and wood Fenwick. Namely, their construction, calculation and modification of a given function element or elements of the interval. Also the two-dimensional version and persistent data structures. Developed by improving the structure of the data segment tree for multidimensional case for working with multidimensional data sets.

Klimenko O. development of information system for physical rehabilitation man.

Master's thesis is devoted to designing and developing an information system for tracking and managing the process of rehabilitation of patients. We consider the principles of building intelligent information systems, provides an overview of the theory of fuzzy sets. Describe the process of designing rehabilitation system based on the presented theoretical knowledge. In practical implementation of the proposed software system for managing physical rehabilitation man. The detailed analysis of principles of web application development, justified the choice of applicable technologies and software being tested all the components of the software. The results have the potential to further modifications and research.

Karpovich R. I.Vykorystannya neural networks for predicting the probability of sale.

The paper provides an overview of theoretical information on the topic of neural networks is considered Neuroph framework and describes the implementation of a system that uses neural networks to assess the probability of sale.

Karpovich A. B. Development of the system of finding similar images in network “INTERNET”.

The work has been studied and analyzed general information about Image Search. Described potential applications of algorithms for image search, the principles of systems using these algorithms and their typical architecture. Were the methods of finding images in color, SIFT-like signature, identifying contours, texture and form and described their features. Realized prototype of finding similar images, with the further possibility of application components developed as part of the search engine images.

Zinchenko A. B. Description images using recurrent neural networks.

Master's thesis is devoted to the problem of describing images. The main aim of the thesis - to show that the technique of deep learning can be used to solve a wide class of problems, including the problem description and images. In the thesis work the architecture of neural networks. The final network consisted of convolutional and recurrent GRU layers of interconnected cells. To train network used the method of transfer options. At the end of the work was the analysis results. The final network has shown impressive results. This is to prove that neural networks are able to solve very complex and unusual problems. Also, these networks have a single set of parameters for optimization that significantly speeds development and increases the quality of such models.

Zhyvchyn A.R. Terminology and revealing implicit relationships between a collection of texts.

In this work the analysis of existing approaches thesauri construction, development of application method that would provide the opportunity to accurately define important terms and terminology Ukrainian-relationships between them and the proposed method as a web application for analysis of its effectiveness on real data, with the further possibility application component developed as part of the search engine of scientific documents.

Danilenko D.A. and implementation of BPM in Customer Relationship Management.

In order to improve the company's business benefit from a system that has adapted existing business processes and optimize them. The paper presents the results of implementing BPM in interaction with the client. Results of the analysis suggest that BPM adds: declarative descriptions of complex logic that facilitates its implementation; branch decision logic of common code (as a consequence, ease of maintenance and modernization).

Wisniewski R.A. Development software for analyzing relationships between people on social networks.

The paper deals with general information on social graphs, algorithms allocation of communities made an overview and comparative analysis of existing programs to analyze social graphs, web application designed to retrieve data from the social network vk.com, save them on your computer, discharge communities of friends recommendations of friends and allocation of clicks users.

Borovik S. A. Implementation evolutionary fuzzy systems means SNTK.

The paper was developed by evolutionary fuzzy system with computational network toolkit based mivarnoho approach and fuzzy logic. Implementation using python programming languages and ndl. Was also considered an example of using this system while driving

Themes of course, diploma and master’s theses for 2021-2022

TOPICS OF COURSE WORKS FOR STUDENTS OF THE 3RD COURSE

Professor Anisimov A. V.

  1. Algorithmic linguistics.
  2. Digital signatures:

1) ring; 2) irrefutable; 3) m with n

  1. Blockchain technology.
  2. Fast authentication.
  3. Internet of Things.
  4. Atomic exchange of cryptocurrencies.
Professor Tereshchenko V. M.
  1. Application of geometric constructions (Voronoi diagram, Delaunay triangulation) in computer vision problems.
  1. Algorithm for determining the probability of vehicle trajectory when crossing an intersection.
  2. Algorithms for facial recognition of symptoms of human health.
  3. Determination of 3D human posture in the image.
  4. Analysis and search of optimal solutions for problems "The Open Problems Project" in computational geometry.
  1. Support of the faculty website.
Professor Marchenko O. O.
  1. Algorithms for automatic abstracting of texts in natural language.
  2. Methods of classification / clustering of texts in natural language.

Professor Glybovets M. M.

  1. Effective application of back-training algorithms.
  2. The problem of graph isomorphism.
Professor Vergunova I. M.
  1. Neural network model of the mass transfer process (algorithm: Deep Galerkin method (DGM)).
  2. Neural network model of mass transfer dynamics (algorithm: constrained integration method (CINT)).
  3. Finite element method for evolutionary spatially distributed model.
Associate Professor Kulyabko P. P.
  1. Estimation of complexity of parallel algorithms.
  2. Automation of conversion of pre-relational databases into relational ones.
  3. Aspect-oriented programming.
Associate Professor Derevyanchenko O. V.
  1. Development and design of databases.
  2. Development of Web – interfaces.
  3. Construction of information security systems.
  4. Development and design of mobile systems.
Associate Professor Zavadsky I. O.
  1. The use of multi-separator codes to compress graphic data
  2. Application of multi-separator codes to video data compression
  3. Development and implementation of an algorithm for decoding multi-partition codes without additional memory
  4. Development and implementation of fast substring search algorithms
  5. Development of a training simulator for relational calculus.
Assistant Professor Fedorus O. M.
  1. Review of PARKS technology and comparison with existing analogues.
  2. Modern problems of parallel and distributed computing.
  3. Analysis and comparison of modern NoSQL databases.
Senior Researcher  Osadchy E. O.   
  1. Feasibility study for the development of alternative energy, which uses cold energy to power energy-intensive musculoskeletal robotic transformers.
  1. 3D modeling of the local exoskeleton - the spine.
  2. 3D modeling of a flying exoskeleton - transformer.

TOPICS OF BACHELOR'S QUALIFICATION WORKS

Professor Anisimov AV
  1. Algorithmic linguistics.
  2. Digital signatures:

1) ring;

2) irrefutable;

3) m with n

  1. Blockchain technology.
  2. Fast authentication.
  3. Internet of Things.
  4. Atomic exchange of cryptocurrencies.
  5. Burrows-Wheeler transformation and its application.
  6. Computer arithmetic in a mixed binary-ternary basis.
  7. Error-correcting codes.
  8. Blockchain consensus methods in cryptocurrencies and smart contracts
Professor Tereshchenko V. M.
  1. Research of influence of various forms of representation of input data on quality of recognition of the text on the image.
  1. Robust method of localization of text with spatial deformations in images using the Voronoi diagram.
  2. Creating optimal algorithms for dynamic computer vision problems.
  3. Creating applications for Smart Car, Smart city.
  4. Recognition and reconstruction of handwritten 3D object.
  5. Determination of 3D human posture in the image.
  6. Creating mobile applications for Android (weather station, medical diagnostics, "Live Image")
  7. Analysis and search of optimal solutions for problems "The Open Problems Project" in computational geometry.
  1. Creating a remote knowledge assessment system.
Professor Vergunova I. M.
  1. Online calculator for finite element calculations.
  2. Multi-agent investment management system.
  3. Information system with the support of voting "Academic Council".
  4. Multi-agent resource management system.
  5. Quasilinear fuzzy system (QLFM) dynamic process control
Professor Marchenko O. O.
  1. Algorithms for automatic abstracting of texts in natural language
  2. Methods of classification / clustering of texts in natural language
  3. Algorithms for overcoming linguistic ambiguity (In-depth analysis of natural language)
  4. Sentiment analysis.
Associate Professor Kulyabko P. P.
  1. Query languages for object-oriented and NOSQL databases.
  2. Models of parallel calculations based on PARKS technology.
  3. Refactoring of parallel calculations based on aspect-oriented programming.
 Associate Professor Derevyanchenko O. V.
  1. Development and design of databases.
  2. Systems of parallel information processing.
  3. Application of PARKS technology and cloud computing.
  4. Development and design of mobile systems.
Associate Professor Zavadsky I. O.
  1. The use of multi-separator codes to compress graphic data.
  2. Application of multi-separator codes to video data compression.
  3. Development and implementation of an algorithm for decoding multi-partition codes without additional memory.
  1. Development and implementation of fast substring search algorithms.
  2. Development of a training simulator for relational calculus.
Assistant ProfessorTaranukha V. Yu.
  1. Creating parsing systems for the Ukrainian language.
  2. Creating parsing systems for the Russian language.
  3. Creation of systems of automatic classification of natural language texts.
Assistant Professor Fedorus O. M.
  1. Distributed simulation of fluids by PARKS.
  2. Distributed modeling of air transportation by PARKS
  3. Development of the PARKS .Net Core system.
Senior Researcher Osadchy E. O.   
  1. Software emulation of "timer" transformation (protection and compression) of data.
  2. Statistical-probabilistic algorithms for creating an online translator on the timer conversion of information.
  3. Algorithms for multilevel timer playback of video information.

TOPICS OF MASTER'S COURSE WORKS

Professor Anisimov A. V.
  1. Information protection schemes.
  2. Modular arithmetic.
  3. Algorithmic linguistics.

Professor Tereshchenko V. M.

  1. Study of the influence of different forms of input data on the quality of object recognition (handwritten 2D,3D objects, complex textures) in the image using efficient NN (EfficientNet, SqueezeNet, MobileNet,CNN) and geometric partitioning.
  1. Analysis of data sets to build the optimal dataset in recognition problems using NN.
  2. Development of an Android application for facial image recognition of human health symptoms.
  3. Processing of the human voice on mobile devices
  4. Analysis and search for solutions to problems "The Open Problems Project" in computational geometry.
  5. 3D reconstruction of the premises.
  6. Determination of 3D human posture in the image
  7. Creating an application "makeup".

Professor Glybovets MM.

  1. Component programming and agent systems.
Professor Vergunova I. M.
  1. Multicriteria optimization of investment projects in conditions of uncertainty.
  2. Optimization of joint operation of power units that convert different types of energy.
  3. Application of radial functions to evaluate options.
  4. Application of the finite element method to calculate the value of the option.
  5. Multi-agent resource management system.
Associate Professor Kulyabko P. P.
  1. Comparative characteristics of relational, object-oriented and NOSQL databases.
  2. Models of parallel calculations based on PARKS technology.
  3. Methods of refactoring relational databases.
Associate Professor Derevyanchenko O. V.
  1. Construction of information security systems.
  2. Application of PARKS technology and cloud computing.
Professor Marchenko O. O.
  1. Methods of machine translation.
  2. Plagiarism identification algorithms.
Associate Professor Zavadsky I. O.
  1. The use of multi-separator codes to compress graphic data.
  2. Application of multi-separator codes to video data compression.
  3. Development and implementation of an algorithm for decoding multi-partition codes without additional memory.
  1. Development and implementation of fast substring search algorithms
Assistant ProfessorTaranukha V. Yu.
  1. Creating systems for acquiring knowledge of natural language texts.
  2. Creating systems for generating coherent texts.
 Professor Zaslavsky V. A.
  1. Optimization of reliability of complex systems.
  2. Tasks of water management.
  3. Principles of research of depressed regions in Ukraine.
  4. Systematic risk analysis in payment and banking systems.
Assistant Professor Kolyanova TV
  1. Modeling the impact on human nutrition.
Assistant Professor Fedorus O. M.
  1. Cognitive services. Intelligent processing in chatbots.
  2. Recognition and removal of spam in group chats.
Senior Researcher Osadchy E. O.   
  1. Feasibility study for the development of alternative energy, which uses cold energy to power energy-consuming musculoskeletal robotic devices-transformers.
  1. 3D modeling of the local exoskeleton - the spine.
  2. 3D modeling of a flying exoskeleton - transformer.

                                                            TOPICS OF MASTER'S THESES

Professor Anisimov A. V.
  1. Information protection schemes.
  2. Modular arithmetic.
  3. Algorithmic linguistics.
  4. Neural networks.
  5. Distributed computing systems.
        Professor Zaslavsky V. A.
  1. Security and risks in payment systems.
  2. Optimization of reliability of systems of complex structure.
  3. Measures and information technologies to minimize the risks of terrorist threats.
Professor Vergunova I. M.
  1. Recognition of the image of the plant dynamic symptoms of its condition.
  2. Methods for improving the accuracy of neural network models for solving differential equations in partial derivatives.
  1. Multi-agent investment project management system.
 Professor Tereshchenko V. M.
  1. Detection and maintenance of surface moving objects in real time.
  2. Robust detection and tracking the text on moving objects in real time.
  3. Recognition of facial symptoms of human health.
  4. Analysis of data sets to build the optimal dataset in recognition problems using machine learning methods.
  5. Development of object recognition algorithms for UAVs.
  6. Creating GAN models for generating datasets.
  7. Construction of SLAM system using NN.
  8. Creating an adaptive neural network model.
  9. 3D reconstruction of the premises.
  10. Analysis and search of optimal solutions for problems "The Open Problems Project" in computational geometry.
  1. Determination of 3D human posture in the image.
 Professor Marchenko O. O.
  1. Methods of machine translation.
  2. Plagiarism identification algorithms.
  3. Natural language dialogue support systems.
  4. Natural language interfaces to databases.
  5. Algorithms for overcoming language ambiguity (In-depth analysis of natural language).
  6. Sentiment analysis.
Professor Glybovets MM.
  1. Distributed computational models.
  2. Ontological systems and their application in distance learning.
Associate Professor Kulyabko P. P.
  1. Comparative characteristics of relational, object-oriented and NOSQL databases.
  2. Models of parallel calculations based on PARKS - technology.
  3. Methods of refactoring relational databases.
Associate Professor Derevyanchenko O. V.
  1. Construction of information security systems.
  2. Application of PARKS technology and cloud computing.
  3. Systems of parallel information processing.
Associate Professor Zavadsky I. O.
  1. The use of multi-separator codes to compress graphic data.
  2. Application of multi-separator codes to video data compression.
  3. Development and implementation of an algorithm for decoding multi-partition codes without additional memory.
  1. Development and implementation of fast substring search algorithms.
Associate Professor Timashov O. O.
  1. Development of new information technology for control of licensed software.
  2. Optimize the allocation of resources in a computer network with a dedicated server.
Assistant Professor Fedorus O. M.
  1. Distributed simulation of fluids by PARKS.
  2. Distributed modeling of air transportation by PARKS.
  3. Development of the PARKS .Net Core system.
  4. Cognitive services. Intelligent processing in chatbots.
  5. Recognition and removal of spam in group chats.
Senior Researcher Osadchy E. O.   
  1. Software emulation of "timer" transformation (protection and compression) of data.
  2. Statistical-probabilistic algorithms for creating an online translator on the timer conversion of information.
  3. Algorithms for multilevel timer playback of video information.
    DEFENDED WORKS(2021): http://csc.knu.ua/uk/attestation