Home|AllCC'13HPC-UA'13HPC Day'13PDCS'14HPC-UA'14HPC Day'14HPC-UA'18
HPC-UA on Facebook

High Performance Computing
Kyiv, October 22-23, 2018

Schedule

Monday Tuesday

Monday

09:00 – 09:20

Registration

@ Foyer
09:20 – 09:30

Opening Session

@ KPI, Building 6 (Museum, 37-e Peremohy ave.)
09:30 – 11:30

Keynote Session

@ KPI, Building 6 (Museum, 37-e Peremohy ave.)
09:30

High Performance Compute and Storage Solutions Innovations and Trends

Volodymyr Saviak- Exascale computing approach
- Memory driven computing
- HPC Storage with AI tasks focused capabilities
10:00

Supporting Manufacturing SMEs with Cloud/HPC solutions

Tamas KissInformation and Communication Technology (ICT) is essential for the digitalization of the manufacturing sector. However, less than 25% of manufacturing companies in Europe profit from ICT-enabled solutions. In order to boost the competitiveness of European manufacturers (especially Small and Medium-sized Enterprises - SMEs), innovative solutions need to consider technological and commercial scalability from the beginning. From this perspective, cloudification of services has become the ideal enabler in manufacturing digitalization. Successful European initiatives have already demonstrated the benefits of cloudifying engineering services, by combining High Performance Computing (HPC) resources, computational tools, and cloud computing platforms. CloudiFacturing is a new EU funded Innovation Action that is brings and progresses advanced ICT in the field of Cloud/HPC-based modelling and simulation, data analytics for online factory data, and real-time support to European manufacturing SMEs, contributing to their competitiveness and resource efficiency via optimizing production processes and producibility. CloudiFacturing demonstrates technical and economic impact on the basis of more than 20 cross-national application experiments involving manufacturing companies, independent software vendors, technology consultants, digital innovation hubs and resource providers. CloudiFacturing takes the results of previous EU projects CloudFLow and CloudSME to a new level, and integrates them into a Digital Marketplace. The CloudiFacturing Digital Marketplace will be the one-stop-shop for the communities addressed by the project, and will become the primary access point for European manufacturing SMEs for Cloud/HPC-based tools for modelling and simulating producibility and production processes leveraging real factory data. This presentation will provide a short overview of the CloudiFacturing project, outlining its aims and objectives and supported technologies, and describing how the manufacturing sector can benefit from the provided solutions. Additionally, it will highlight the current and upcoming CloudiFacturing Open Calls that provide opportunity European SMEs to get funding and participate in the project.
10:30

Supercomputer technologies for mathematical modeling of complex systems

Oleksandr KhimichThe efficiency of application supercomputer technologies is examined from the viewpoint of basic mathematical modeling paradigms implementation: high performance computing, computational mathematics and computational intelligence. Efficient realization of the listed components allows distinctly redistribute the work of problem specification and solving between a human user and the computer in comparison to conventional approach. By providing automatization of the problem studying and solving with estimation of the computer solution reliability and accuracy this approach significantly reduces the time of mathematical modeling.
11:00

Toward High-Level Programming for Modern Parallel and Distributed Systems

Sergii GorlatchIn this talk I will provide a brief overview of the topics which are currently studied in my research group in Muenster:
1) high-level patterns and their use in developing efficient parallel programs;
2) a uniform, C++-based PACXX framework for programming systems with multi-core CPUs and many-core GPUs;
3) a generic ATF framework for auto-tuning parallel applications to achieve their optimal performance on a given target architecture;
4) a high-level RTF framework for developing real-time interactive distributed applications and ensuring their QoS using software-defined networking.
11:30 – 12:00

Coffee Break

@ Foyer
12:00 – 13:30

Keynote Session

@ KPI, Building 6 (Museum, 37-e Peremohy ave.)
12:00

Blockchain technology for computing: crowdsourcing and new protocols for consensus

Anton KudinПредложены новые принципы построения протоколов соглашения блокчейнов, которые обладают преимуществами протоколов PoW и PoS, а также использования технологии блокчейна для решения сложных вычислительных задач в режиме краудсорсинга. Идея построения протоколов основана на принципиальной невозможности вычисления обратной функции с требуемой точностью. Предложенные протоколы обладают эффективностью по быстродействию на уровне «византийских» протоколов, но менее требовательны к соотношению количества честных/нечестных участников протокола. Также предложена блокчейн-система, позволяющая организовать решение сложных вычислительных задач в режиме краудсорсинга. Определены необходимые и достаточные условия стойкости блокчейна с новым протоколом консенсуса к атаке подмены блока. Получены аналитические выражения для вероятности атаки в зависимости от параметров сети и количества блоков подтверждения, а также численные расчеты этих вероятностей.
12:30

A generic approach to Cloud Orchestration at the Level of Application: Reference Architecture and Application Description Language approach

Gabriele PierantoniSMEs and public sector organizations increasingly investigate the possibilities to use cloud computing services in their everyday business conduct. Accessing services and resources in the cloud on-demand and in a flexible and elastic way could result in significant cost savings due to more efficient and convenient resource utilization. On the other hand, the take up of cloud computing by SMEs and the public sector is still relatively low due to limited application-level flexibility and security concerns. Typical industry and public sector applications require resource scalability and efficient resource utilization in order to serve a variable number of customers with dynamic resource demands, and to suitably optimize resource consumption and costs. However, the dynamic and intelligent utilization of cloud infrastructure resources from the perspective of cloud applications is not trivial. Although there have been several efforts to support the intelligent and coordinated deployment, and to a smaller extent also the run-time orchestration of cloud applications, no comprehensive solution has emerged until now that could be applied in large scale near operational level industry trials. In order to achieve these results, COLA (https://project-cola.eu/cola-project/) has focused on two main areas: A pluggable and generic framework called MiCADO which can be connected to different Container and Cloud Providers and a flexible and expressive template for the description of policies and applications based on the TOSCA language specifications. These two achievements of COLA have been successfully tested with different applications which belong to the academia, the industry and the public sector.
13:00

Formal and Adaptive Methods for Development of Efficient Parallel Programs

Anatoliy DoroshenkoA mixed method combining formal and adaptive approaches is presented that aimed at maximizing efficiency of parallel programs. The formal approach is based on algorithmic algebra and tools for automated design and synthesis of programs. Adaptive part of the methodology, called auto-tuning, is the method of adjusting some structural parameters of a program to a target hardware platform to speed-up computation as much as possible. A framework intended to automate generation of an auto-tuner from a program source code is depicted. To give auto-tuning more performance for complex and nontrivial parallel systems, as it is time- consuming due to empirical evaluation of huge amount of parameter values combinations, the method is extended with statistical modeling and neural network algorithms that allow to reduce significantly the space of possible parameter combinations. The improvement consists in automatic training of a neural network model on results of “traditional” tuning cycles and subsequent replacement of some auto-tuner calls with evaluation from the statistical model. The methodology is illustrated by examples of tuning a number of applied parallel programs.
13:30 – 14:30

Lunch

14:30 – 16:00

Algorithms & Performance Session

@ KPI, Building 13 (IASA, 14-v Politekhnichna str.), Auditorium 5
14:30

On a quasistability radius for multicriteria integer linear

Yury Nikulin

We consider a multicriteria problem of integer linear programming with a targeting set of optimal solutions given by the set of all individual criterion minimizers. In this work, the lower and upper attainable bounds on the quasistability radius of the set of extremum solutions are obtained in the situation where solution and criterion spaces are endowed with various H¨older’s norms. As corollaries, an analytical formula for the quasistability radius is specified in the case where criterion space is endowed with Chebyshev’s norm. Some computational challenges are also discussed.

15:00

Sensitivity Analysis as a Data Mining for Engineering of Intelligent 0-1 Discrete Linear Optimization Software Packages

Victor Mikhailyuk

For 0-1 discrete linear programming problems, sensitivity analysis reduces to determining such changes in the coefficients of the problem under which the optimal solution remains unchanged. Using the theory of inference duality and the family of proofs that is complete with respect to constraints, the primal and dual problems have the same optimal value. In general, it is possible to characterize a primal method for solving a problem as a method that checks possible values of variables and a dual method that tests possible proofs of optimality without interpreting variables. In classical optimization, the branch and bound method is primal, and the method of cutting planes is dual. Inference dual discrete optimization can be solved by a primal method, in particular, using the search tree. The search for improved constraints is the key concept of no-good constraints and is used in the resolution method. The method of proving resolutions is not in itself necessary for analyzing sensitivity. It is necessary for knowing only what its premises are (which falsified clauses are used at leaf nodes). Because the resolution rule continues to be executed when the data changes with the available pre-conditions, associated with each node continues to be performed with false clauses(no-good constraints) . As a result sensitivity analysis reduces to solving a system of linear inequalities tha is make up an intelligent data set for the initial task. The case of arbitrary target and constraint functions for 0-1 discrete problems is considered.

15:30

Reconfigurable Manycore System

Anatoliy Sergiyenko

An approach for designing the reconfigurable computing systems in FPGA is proposed, which is based on mapping synchronous data flow graphs to a manycore system. The reconfiguration is performed by switching data flows and exchanging the instruction sets of the processor cores. To implement the processor elements of such a system, a 16-bit RISC-processor core is developed, which has small hardware costs and a configurable instruction set.

16:00 – 16:30

Coffee Break

@ Foyer
14:30 – 16:00

Simulation & Data Analysis Session

@ KPI, Building 13 (IASA, 14-v Politekhnichna str.), Auditorium 2
14:30

GPU algorithms for solving time-fractional diffusion equation with generalised Caputo derivative with respect to a function

Vsevolod Bohaienko

In the paper we study numerical modelling of non-equilibrium diffusion processes on the base of the model containing fractional derivative with respect to the time variable. We consider the generalised Caputo derivative with respect to a function and use finite-difference scheme to solve one-dimensional diffusion equation. As the computation of the values of fractional derivative's approximation has the biggest impact on total computational complexity, we propose several parallel GPU algrorithms that, particularly, address this issue. The paper presents the results of numerical experiments for measuring parallel algorithms' performance depending on the number of time steps and the size of a grid.

15:00

Feature extraction of digital rock image via convolutional autoencoders

Yunfeng Bai

Rock core analysis has been widely used in petroleum industry. And it has been noticed that rock classification is of one of time consuming process of rock core analysis. Traditionally, rocks are classified by experts based on their characteristics. In this paper, we propose convolutional autoencoder algorithm to extract feature of rock images, which can be applied to classify rock in further research aimed to accelerate the processes of rock core analysis for petroleum industry. Experimental results on image dataset exhibit the promising value of convolutional autoencoder algorithm to extract feature of rock images.

15:30

Parallel algorithm for solving a multi-extreme problem of optimal loading of power systems

Oleksii Lykhovyd

Розглядається паралельний алгоритм розв’язання задачі знаходження електричних навантажень енергоблоків з неопуклою сепарабельною функцією витрат умовного палива. Він використовує r-алгоритм у сполученні з методом мультистарту. Алгоритм реалізовано на мові С++ в середовищі MPI. Наведено результати обчислювальних експериментів на кластері СКІТ Інституту кібернетики iм. В.М. Глушкова НАН України.

16:00 – 16:30

Coffee Break

@ Foyer
16:30 – 18:00

Algorithms & Performance Session

@ KPI, Building 13 (IASA, 14-v Politekhnichna str.), Auditorium 5
16:30

Models of parallel fuzzy logic

Roman Ponomarenko

В роботі представлені нові моделі паралельного нечіткого логічного виведення для ієрархічних нечітких інтелектуальних систем. Наведені теоретичні та експериментальні оцінки прискорення для розроблених моделей та здійснена їх порівняльна характеристика.

17:00

Some Parallel Algorithms for Solving Eigenvalue Problems on Hybrid Computers

Oleksii Chystyakov

Розглядаються паралельні алгоритми для розв’язування часткової узагальненої алгебраїчної проблеми власних значень розріджених матриць довільної структури на багатоядерних комп’ютерах з графічними процесорами (гібридні алгоритми), а саме алгоритм поперемінно-трикутного методу, методу спряжених градієнтів та методу ітерацій на підпросторі. В роботі наводяться деякі підходи створення ефективних гібридних алгоритмів та програм. Демонструються результати комп’ютерних експериментів розроблених алгоритмів та програм на гібридних комп’ютерах різної структури, які свідчать про їх ефективність. Наводяться порівняльні часові характеристики результатів математичного моделювання задачі стійкості композитних матеріалів, яка зводиться до розв’язування часткової проблеми власних значень розріджених матриць, на різних паралельних комп’ютерах.

17:30

Hybrid Single-Node Algorithm for Factorization of Sparse Matrixes of Block Structure

Volodymyr Sidoruk

Відомо, що велика кількість науково-технічних задач зводяться до розв’язування задач обчислювальної математики, значну частину яких складають завдання, пов’язані з розв’язуванням та дослідженням СЛАР. Тому розробка ефективних підходів знаходження розв’язків систем рівнянь є надзвичайно актуальною проблемою, вирішенню якої приділяють чимало уваги. У роботі розроблено і досліджено гібридний алгоритм розв’язування СЛАР з матрицями нерегулярної структури прямим методом, що базується на LLT-розвиненні, запропоновано розподіл даних по процесорах та графічних прискорювачах, а також представлено результати експериментального дослідження розробленого алгоритму на матрицях систем, що виникають при математичному моделюванні процесів з різних проблемних областей. Розрахунки проводились на вузлі кластера СКІТ-4.

16:30 – 18:00

Simulation & Data Analysis Session

@ KPI, Building 13 (IASA, 14-v Politekhnichna str.), Auditorium 2
16:30

Multidimensional analysis in characterizing gastric pathologies by non-invasive indicators

Andriy Kharchenko

The connective tissue is the key medium maintaining the basic homeostatic parameters of the body, taking a direct part in physiological and adaptive processes of the organism. Changes in connective tissue affect the course of gastrointestinal tract pathologies as an organ containing the greatest amount of collagen fibers. In this work, we investigate the pre-epical barrier of the stomach by an array of 13-dimensional indirect non-invasive indicators of primary pathological reactions: immunoglobulins, lysozyme, antimicrobial peptides, glycosaminoglycans, sialic acids, and fucose. We apply discriminant analysis, factor analysis, and principal component analysis to characterize a genetic interference in gastric diseases in order to match each marker with the biological basis of the diagnoses and to identify a diagnosis. We apply a principal component representation to describe each diagnostic group by a non-trivial profile of the principal component features. We show that diagnosing can be implemented via low-dimensional categorization by the quadratic discriminant analysis. We consider multidimensional configurations and apply projection on a factor basis with a maximum likelihood method to improve categorization accuracy. As a result we propose a biochemically conditioned basis for reducing the indicator dimensionality helpful in optimizing the clinical laboratory practice.

17:00

The Solution for Parallel Computing the Functions Constructed in Web Browser with R-operations

Roman Uvarov

The idea of the solution including the web browser as an editor and CUDA program as a solver for automating the simulation of various physical fields in two-dimensional domains of complex geometrical shapes is represented. Automation is achieved by solving the direct and inverse problems of automatic translation of geometric information into analytical and programming form, supporting the meshless natural elements method with R-functions method as well as using CUDA technology for parallel computing the single analytical function describing the geometrical object in two- and three-dimensional domains.

17:30

Parallelization on a cluster and in grid of the synthetic seismogram calculation for super-large seismic field models on the example of the profile DOBRE-4

Oleksandr Kolomiyets

Розглянуто методику розпаралелювання скінченно-різницевого сейсмічного моделювання для обчислення хвильових полів підвищеної точності з використанням сучасних паралельних обчислювальних систем: кластерів та гріду. Розраховано критерії ефективності розпаралелювання. Виконано обчислювальний експеримент на матеріалах сейсмічних досліджень літосфери, що проводились в рамках міжнародного проекту вздовж профіля DOBRE-4, що знаходиться на північно-західному узбережжі Чорного моря і має довжину приблизно 500 км. Розраховано сейсмограми повних хвильових полів, які враховують інтерференцію різних типів хвиль та непроменеві ефекти, що забезпечує збільшення детальності і точності досліджень розрізів зі складною геологічною будовою.

Tuesday

09:00 – 09:30

Registration

@ Foyer
09:30 – 11:30

Methods & Technology Session

@ KPI, Building 13 (IASA, 14-v Politekhnichna str.), Auditorium 5
09:30

Methods of Minimizing Computing Resources when Processing “Big Data”

Olena Syrotkina

This article addresses the question of creating and applying mathematical methods to optimize the main characteristics of "big data." This includes reducing the amount of stored and processed information, increasing the search speed, as well as processing and transferring data while preserving their value and reliability. We reviewed and analyzed the main methodologies used to solve tasks of these types. The lists of definitions are presented to introduce the main structural elements and functional dependences for data structures "m-tuples based on ordered sets of arbitrary cardinality." We described some properties of these data structures that allow predetermining the result of an operation on its elements without executing a computational algorithm. We also calculated the components of pairwise combinations of Boolean elements. These operands satisfy the data structure properties. The graphs demonstrate the dynamics of changes in these components. These depend on the cardinality of the basis set for different groups of the data structure properties. The logic-based conclusions about the influence of the properties we investigated and methods to work with "m-tuples" allow us to minimize computational resources when processing "big data."

10:00

Digital Filter Design using VHDL

Anatoliy Sergiyenko

A method is proposed, which consists in integer searching for the filter coefficients, forming the filter structure and modeling it. The use of the VHDL language in all the steps of the filter design helps to speed-up and improve the filter optimization. Examples of the multiplierless IIR filter design show the method effectiveness.

10:30

Parallel solution in fast methods of timer coding of information

Ruslan Skuratovskii

The statistical-oriented data compression method using unconventional timer encryption and encoding information are proposed by us. We find the possibility of parallel implementation of this method by building a block of timer tags. The necessary complex assessments are made. The method can be used to compress SMS messages.

Probabilistic-statistical analysis and evaluation of their effectiveness are obtained.

11:00

Algorithm for estimating solutions of some ill-conditioned systems of linear algebraic equations

Evgen Shevchenko

An algorithm for estimating unknown values ​​of a system of linear algebraic equations (SLAE) is proposed. Its features are: bad conditionality, equality of unknowns, presence of interference (noise), which act on free terms of the SLAE. This algorithm is based on the possibility of constructing a certain set of SLAE with a significantly lower number of conditionality than the number of conditionality of the initial system, followed by statistical processing of solutions of these SLAE. Statistical processing consists in finding the median of the sample, formed by a set of solutions, and constructing the interval, includes an exact solution. The influence of interference values ​​on the accuracy of the solutions obtained is analyzed. The resulted examples of use of the offered algorithm. It is noted that it is possible to apply parallelization in the process of estimating solutions of poorly conditioned SLAEs and on examples of improving signal processing this possibility is illustrated

09:30 – 11:30

Modeling & Applications Session

@ KPI, Building 13 (IASA, 14-v Politekhnichna str.), Auditorium 2
09:30

Distributed Computing in Molecular Modeling: Practical Experience on the Joint ISMA-ISC Cluster

Oleg Zhikol

The experience of using a set of molecular modeling programs on the Joint ISMA-ISC computer cluster is discussed. The main attention is paid to the computational efficiency and the scalability of the tasks in different applied program packages. Hardware issues limiting the efficiency are pointed out. Specific features of some quantum chemical modeling programs are mentioned briefly.

10:00

Numerical Simulation of Flows around Unsteady Moving Bodies

Yaroslav Zagumennyi

The paper present results on 3D numerical simulation of unsteady flows around bodies performing periodic oscillating motions in the uniform free stream based on direct numerical simulation of the non-stationary Navier-Stokes equations at transitional Reynolds numbers. The idea comes from aero- and hydrobionts which developed the most rational ways of swimming and flying due to their long biological evolution. The numerical simulation is implemented using dynamic mesh libraries and codes of own development within the open source computational tools OpenFOAM in parallel regime on multicore personal computers and cluster systems. The calculation results show 3D perturbed flow field on the flat surface under action of oncoming uniform free stream can be controlled downstream by varying both wave and amplitude characteristics of a deformable region on the surface. The results also show possibility of degeneration of the 3D growing perturbations in the boundary layer on the surface of a rotating oscillating wing profile and formation of coherent vortex structures in the wake with a finite amplitude at St≥0.5 and transitional Reynolds numbers.

10:30

Compound single-electron density matrices of 33,432 molecules: creation of data set and its statistical analysis

Tymofii Nikolaienko

Продемонстровано можливість виявлення емпіричних закономірностей ковалентного зв’язування на основі автоматизованих створення та подальшої статистичної обробки набору даних зі зведених одноелектронних матриць густини, отриманих в результаті квантово-хімічних розрахунків. Створений набір даних містить інформацію про електронну структуру 33432 молекул, що мають нульовий сумарний заряд, та містять від 2 до 12 атомів. Показано, що спосіб визначення ковалентно-зв’язаних атомів, заснований на апроксимації зведеної одноелектронної матриці густини з допомогою локалізованих орбіталей CLPO, поєднаний з наступним статистичним аналізом пар зв’язаних атомів дозволяє знайти валентності атомів та їхні ковалентні радіуси з перших принципів

11:00

Spin-lattice simulation of magnetic nanowires with geometry-driven parameters

Artem Tomilo

Сучаснi дослiдження в галузi наноелектронiки спонукають до розробки спецiалiзованих програмних пакетiв, якi дозволяють чисельно аналiзувати властивостi складних фiзичних систем та перевiряти теоретичнi передбачення до постановки повномасштабних експериментiв. У данiй роботi описано пакет спiн-ґраткових моделювань SLaSi для дослiдження статичних станiв та колективної динамiки магнiтних моментiв у феро- та антиферомагнiтних наночастинках. Архiтектура пакету орiєнтована в першу чергу на дослiдження тривимiрних спiнових ланцюжкiв та дозволяє подальше узагальнення на дво- i тривимiрнi кристалiчнi ґратки рiзної симетрiї. SLaSi розроблено на мовi C iз розширенням функцiоналу модулями Python.

11:30 – 12:00

Coffee Break

@ Foyer
12:00 – 14:00

Methods & Technology Session

@ KPI, Building 13 (IASA, 14-v Politekhnichna str.), Auditorium 5
12:00

Parallel computer algebra: a new scheme for controlling the parallelization of matrix recursive algorithms

Gennadi Malaschonok

Посвящается исследованиям в области параллельной компьютерной алгебры, в частности распараллеливанию матричных рекурсивных алгоритмов на кластере с распределенной памятью. Предлагается новая схема динамического управления для матричных рекурсивных алгоритмов. Причиной появления этой технологии управления параллельными вычислениями было открытие большого класса матричных рекурсивных алгоритмов в последние десятилетия. Все они, включая и алгоритмы В.Штрассена, являются результатом развития идей, заложенных в известных работах А.Карацубы о быстром умножении чисел и полиномов. Это уже третье поколение динамических схем распараллеливания, в котором учтены особенности, которые проявляются при вычислениях с разреженными матрицами на кластере с распределенной памятью. Подробно рассматриваются новые программные объекты, которые обеспечивают эффективную работу динамической схемы управления. Для иллюстрации приводятся два примера: алгоритм обращения треугольной матрицы и алгоритм умножения матриц.

12:30

Scalability of static algorithms using the method of homomorphic images

Gennadi Malaschonok

Посвящается исследованиям в области параллельной компьютерной алгебры, в частности статическому распараллеливанию алгоритма обращения целочисленной матрицы.
Классический подход к решению полиномиальных и целочисленных задач компьютерной алгебры состоит в применении метода гомоморфных образов. Он заключается в выборе нужного числа конечных полей, решению задачи в каждом конечном поле и восстановлению результата в требуемой области. Такой подход позволяет не только уменьшить общую сложность вычислений, но и проявить естественный параллелизм, который позволяет применять схемы статического распараллеливания. Мы рассматриваем случай, когда задача в каждом конечном поле может быть решена на одном процессоре кластера. Такой же подход можно применить и для матриц большего размера. Для обращения матрицы в кончном поле потребуется выделить не отельные ядра, а изолированные коммуникаторы состоящие из групп ядер одинакового размера. В каждом таком коммуникаторе можно вычислять обратную матрицу с использованием динамического или статического распараллеливания. Все остальные вычисления со статической схемой управления сохраняются.
Мы приводим результаты экспериментов с матрицами в пределах 1000 на кластере, в котором менялось число ядер от четырех до 1000. и демонстрируем масштабируемлсть алгоритма в широком диапазоне.
Полученные результаты позволяют предсказывать время работы и рекомендуемое число ядер кластера для обращения матриц больших размеров. Следующие серии экспериментов можно проводить на кластере, у которого число ядер порядка 10000 - 100000.

13:00

Development of the PARKS-WCF system

Oleksii Fedorus

Анотація. У статті представлено деталі реалізації системи ПАРКС-WCF, наводяться аргументи щодо використаних технологій. Система ПАРКС-WCF забезпечує створення та функціонування асинхронно-рекурсивних процесів при вирішенні задач паралельних обчислень на комп’ютерній мережі. Вона дозволяє різним модулям обмінюватися інформацією забезпечуючи обмін даними в системах з розподіленою та не розподіленою пам’яттю.

13:30

Centralized synthesis in the grid environment of reconfigurable information security tools

Sergii Gilgurt

Рассмотрены вопросы применения реконфигурируемых устройств на базе ПЛИС для построения аппаратных технических средств кибербезопасности, работа которых основана на выявлении злонамеренной активности в информационных средах по известным признакам (сигнатурам). Изучен мировой опыт построения реконфигурируемых систем одновременного распознавания множества сигнатур. Предложена методика автоматизированного построения цифровой схемы распознающего устройства, комбинирующего несколько известных решений таким образом, чтобы для данного набора сигнатур и ряда заданных условий / критериев вычислительная структура обладала оптимальными свойствами. С целью повышения эффективности вычислительного процесса предложен принцип централизованного синтеза средств информационной безопасности. Для практической проверки принципа разработан и испытан грид-сервис, основанный на использовании передовых достижений Украинского национального грида.

12:00 – 14:00

Modeling & Applications Session

@ KPI, Building 13 (IASA, 14-v Politekhnichna str.), Auditorium 2
12:00

Implementation of Numerical Experiment for Analysis of Rock Porous Properties by Sonic Well-Logging

Valerii Khalimendik

Solution of very big computational problems is an important part of research activities in geophysics. Tests on real geology objects or core rocks are very important for proving or rejection of theoretical models, but in many cases, even big archives of real samples are insufficient to solve inverse problems in general case. The straightforward approach is to create a uniform collection of the direct problem solutions and then to solve the inverse problem by finding the nearest samples of known properties for the observed parameters within the defined limitations. However, direct problem solutions usually are too computationally intensive. Grid and cloud are the most common methods to break the limitations of available computers. Solving a geophysical problem of porous rock analysis by sonic well-log within the distributed computing paradigm is described.

12:30

Numerical research of singular integral equations systems of the first kind and an indefinable index

Igor Sayko

Numerical research of the problem of mathematical physics on the effect of stationary waves of planar deformation on a hole with an arbitrary clamped contour located in an infinite elastic medium is carried out, by reducing to two different types of singular integral equations(SIE) systems. The problem was solved using the SIE systems of the first and second kind, but the latter with an indefinable index. Using high-precision computational schemes investigated conditioning models.

13:00

Implementation of electronic trust services using open source software

Andrii Melashchenko

В роботі розглянуто розроблені Державним агентством з питань електронного урядування України вимоги до форматів даних електронного документообігу, зокрема використання контейнерів асоційованих підписів ASiC. Описано реалізований прототип системи, заснований на бібліотеці Євросоюзу DSS та доповнений можливостями підтримки комплекту підписів ДСТУ ГОСТ 34.311 з ДСТУ 4145:2002.

13:30

High-Performance Recurrent-and-Parallel Computations in Inductive Modelling Algorithms

Serhiy Yefimenko

The paper presents the conception, theoretical grounds and mathematical tools for designing high-performance searching and iterative GMDH algorithms on the basis of recurrent-and-parallel computing for modelling and prediction of complex processes. Its effectiveness is experimentally tested using a multiprocessor cluster system and multi-core mobile Intel processors. Test experiments shows that efficiency of the constructed algorithms is proportional to the number of the processors while ensuring their uniform loading. Intelligent information technology for inductive modeling of complex processes on the basis of recurrent-and-parallel computing is constructed.

14:00 – 14:30

Closing

@ Foyer
14:30 – 18:00

Workshop Fundamentals of Deep Learning for Computer Vision

@ KPI, Building 13 (IASA, 14-v Politekhnichna str.), Auditorium 5
The NVIDIA Deep Learning Institute (DLI) and National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" (Igor Sikorsky KPI) invite you to attend a hands-on deep learning workshop "Fundamentals of Deep Learning for Computer Vision". This is the satellite event of the HPC-UA 2018 conference.
To Whom: exclusively for verifiable academic students, staff, and researchers.
Level: Beginning
Price: FREE
Registration (obligatory): https://goo.gl/mu8p1P
Details: https://www.facebook.com/events/180776149468644/
Contact: dli.ntuu.kpi@gmail.com

Please note! Schedule may change for some reason. Please check it now and then.

Powered by Icybcluster community