Удосконалено методи керування трубопровідними транспортними системами з метою вирішення проблеми підвищення надійності та ефективності їх функціонування на етапах експлуатації та розвитку. Розроблено новий підхід до імітаційного керування процесами експлуатації та розвитку трубопровідних транспортних систем, що враховує якість, ефективність і надійність їх функціонування. Розв'язано основні задачі диспетчерського керування трубопровідними транспортними системами: пряму задачу аналізу, ідентифікації станів та оптимізації режиму роботи активних елементів. Доведено існування та одиничність розв'язку прямої задачі аналізу, оцінено швидкість збіжності її розв'язку з методом Ньютона, сформульовано задачі математичного програмування, задачі оптимізації режиму роботи насосних станцій під час їх спільної роботи на трубопровідну транспортну мережу, а також задачі ідентифікації стану потокорозподілу у трубопровідних транспортних системах. Запропоновано способи зведення даних задач до розв'язку нелінійних рівнянь спеціального виду: перша зведена до розв'язку системи нелінійних рівнянь, що мають єдиний розв'язок і розрахунки за формулами, друга - до розв'язання спеціальної системи нелінійних рівнянь. Розроблено алгоритм розв'язку даної задачі, що дозволяє одержати необхідний результат.

  Скачати повний текст

Об'єкт – процеси відмовостійкої маршрутизації із захистом рівня якості обслуговування в телекомунікаційних мережах. Мета – підвищення рівня якості обслуговування для забезпечення відмовостійкості телекомунікаційних мереж шляхом розроблення нових та вдосконалення наявних моделей і методів відмовостійкої маршрутизації. Методи досліджень – тензорне обчислення та тензорний аналіз мереж; теорія ієрархічних багаторівневих систем; методи нелінійного та змішаного цілочисельного програмування; методи імітаційного моделювання. Результати – удосконалено тензорну модель телекомунікаційної мережі, яку представлено в базисі міжполюсних шляхів і внутрішніх вузлових пар; уперше запропоновано математичну модель швидкої перемаршрутизації трафіка даних із захистом рівня якості обслуговування за показниками пропускної здатності та ймовірності втрат пакетів у телекомунікаційній мережі; удосконалено систему тензорних моделей швидкої перемаршрутизації із захистом рівня якості обслуговування в ТКМ за множиною показників мережної продуктивності; уперше запропоновано систему тензорних моделей маршрутизації та швидкої перемаршрутизації голосового трафіка із забезпеченням захисту рівня якості сприйняття послуг, що надаються кінцевим користувачам у телекомунікаційній мережі за R-фактором, в умовах реалізації схем захисту каналів, вузлів та маршруту (маршрутів); уперше запропоновано систему тензорних моделей маршрутизації та швидкої перемаршрутизації мультимедійного трафіка із забезпеченням захисту рівня якості сприйняття послуг, що надаються кінцевим користувачам у телекомунікаційній мережі за показником мультимедійної якості, під час реалізації схем захисту каналів, вузлів і маршруту (маршрутів); отримала подальший розвиток декомпозиційна модель міждоменної маршрутизації із забезпеченням якості обслуговування в телекомунікаційній мережі, яка складається з множини послідовно з'єднаних доменів; подальшого розвитку набули методи ієрархічно-координаційної маршрутизації в мультидоменних ТКМ; отримав подальший розвиток метод ієрархічно-координаційної відмовостійкої маршрутизації в мультидоменних ТКМ. Впроваджено – в навчальному процесі кафедри інфокомунікаційної інженерії ім. В. В. Поповського Харківського національного університету радіоелектроніки (ХНУРЕ): в лекційному курсі й на практичних заняттях з дисциплін «Маршрутизація в ТКС», «Алгоритми управління та адаптації в ТКС» і «Telecommunication transmission systems» для підготовки студентів зі спеціальності 172 – Телекомунікації та радіотехніка; в науково-дослідних роботах «Підвищення масштабованості технологічних рішень щодо забезпечення якості обслуговування в конвергентних телекомунікаційних системах» (ДР № 0115U002432), «Методи підвищення продуктивності безпроводових мереж наступного покоління» (ДР № 0111U002627); на підприємстві «ХДРНТЦ ТЗІ», ТОВ «Воркнест» та ПрАТ «Фарлеп-Інвест». Галузь використання – телекомунікаційні системи та мережі.^UObject – fault-tolerant routing processes with provision of the quality of service in telecommunication networks. Purpose – the improving the quality of service to ensure the fault tolerance of telecommunications networks by developing new and improving existing models and methods of fault-tolerant routing. Methods of research – tensor calculus and analysis, postulates and principles of the theory of hierarchical multilevel systems; methods of mathematical programming; methods of simulation modeling. Results – the tensor model of the telecommunication network, which is presented in the basis of interpolar paths and internal node pairs, has been improved; for the first time, a mathematical model of fast rerouting of data traffic with protection of the QoS in terms of bandwidth and probability of packet loss indicators in a telecommunications network has been proposed; the system of tensor models of fast rerouting with protection of the TCN QoS level by a set of network performance indicators has been improved; for the first time, there has been proposed a system of tensor models for routing and fast rerouting of voice traffic with ensuring the QoE of services provided to end users in the TCN on the R-factor in the implementation of protection schemes for links, nodes and a path (paths); for the first time, there has been proposed a system of tensor models of routing and fast rerouting of multimedia traffic with ensuring the QoE of services provided to end users in the telecommunications network in terms of multimedia quality during the implementation of protection schemes for links, nodes and a path (paths); the decomposition model of inter-domain routing with the provision of the Quality of Service in the TCN, which consists of a set of sequentially connected domains, has been further developed; methods of hierarchical coordination routing in multi-domain telecommunication networks have been further developed; the method of hierarchical coordination fault-tolerant routing in multi-domain telecommunication networks has been further developed. Implementation – – in the educational process of the V.V. Popovskyy department of infocommunication engineering of Kharkiv National University of Radio Electronics (NURE): in a lecture course and in practical classes in the disciplines «Routing in TCS», «Algorithms of control and adaptation in TCS» and «Telecommunication transmission systems» to prepare students for specialty 172 – Telecommunications and radio engineering; in research works «Increasing the scalability of technological solutions to ensure the quality of service in converged telecommunications systems» (SR № 0115U002432), «Methods of improving the performance of next generation wireless networks» (SR № 0111U002627); at the enterprise "KhSRSTC TPI", LLC "Worknest" and PJSC "Farlep-Invest". The field of use is telecommunication systems and networks.

В дисертаційній роботі вирішена актуальна наукова проблема розробки теоретичних основ створення методів, моделей та технології керування процесами в складних організаційно-технічних виробничих об'єктах на базі кібер-фізичних систем в рамках концепції Іndustry 4.0. Вперше запропонована архітектурно-логічна модель декомпозиції кібер-фізичного керування процесами в складних організаційно-технічних об'єктах, яка на відміну від існуючих еталонних архітектурних моделей дає можливість уявити керування процесом у вигляді єдиного інформаційного простору, що об'єднує в собі фізичні, кібернетичні і стратегічні складові. Вперше запропоновані взаємопов'язані методи керування процесами в організаційно-технічних об'єктах, як логічно узгоджені послідовності прийняття рішень, які формуються на фізичному рівні за допомогою апаратних засобів, що дозволило реалізувати технологію «Digital Twins». Вперше запропонована технологія розробки кібер-фізичних виробничих систем, яка дозволяє представити їх структуру як логічно пов'язану послідовність алгоритмов функціонування кожного рівня, що дає можливість реалізувати гнучкість процесу керування організаційно-технічним об'єктом. Удосконалено метод представлення структурних системних моделей кібер-фізичного керування, що дозволило формалізувати алгоритм функціонування у вигляді системної моделі, який, на відмінну від існуючих, дає можливість побудови структурних і подієвих моделей функціонування організаційно-технічного об'єкта. Удосконалено метод синтезу алгоритмів функціонування кібер-фізичного керування, що дозволило об'єднати алгоритми функціонування кожного рівня керування організаційно-технічним об'єктом в єдину систему функціонування, який, на відмінну від існуючих методів, дозволив мінімізувати кількість операторів і спростити структуру системи функціонування організаційно-технічного об'єкту. Удосконалено модель життєвого циклу керування організаційно-технічним об'єктом, що дало можливість автоматизувати процес керування кібернетичною складовою організаційно-технічного об'єкта, яка, на відмінну від існуючих, дозволила визначити послідовність виконання і взаємозв'язки процесів, дій і завдань, з урахуванням структури синтезованої системи функціонування організаційно-технічним об'єктом. Вперше розроблена модель формалізації кібернетичної складової організаційно-технічного об'єкта, з представленням HMI у вигляді взаємопов'язаних багаторівневих GUI елементів, з урахуванням параметрів і подій, що дозволило автоматизувати реалізацію заданих функцій, відповідно до вимог, які висуваються до організаційно-технічного виробничого об'єкта. Вперше запропоноване структурне уявлення кібернетичної складової організаційно-технічного об'єкта у вигляді математичного опису зв'язків між основними елементами HMI, що дозволило реалізувати представлення адитивного кібер-дизайну, за рахунок автоматизації процесу реалізації подій GUI елементів у вигляді фрагментів програмного коду. Отримала подальший розвиток методологія сигнально-кодової конструкції, на базі якої запропонований метод графічного представлення конструкції кібернетичної складової організаційно-технічного об'єкта, яка, на відміну від існуючих (методології Джексона, Гейн-Сарсон), дозволяє відображати взаємодію основних елементів HMI для редукції розробки структури. Вперше розроблені синтаксична і семантична моделі декларативної мови визначення і маніпулювання даними предметної області, близької до деякої підмножини природної мови. Запропонована мова, на відміну від існуючих, не вимагає від розробника знання об'єктно-орієнтованих мов високого рівня програмування, на базі яких розробляються кібернетичні складові, що істотно спрощує процес керування організаційно-технічним виробничим об'єктом. Впровадження розроблених у дисертаційній роботі методів, моделей та технології дозволить модернізацію існуючих і розробку перспективних систем керування процесами в складних організаційно-технічних виробничих об'єктах на базі кібер-фізичних систем.^UIn the dissertation work, the urgent scientific problem of developing the theoretical foundations for creating methods, models and technology for processes control in complex organizational and technical production facilities based on cyber-physical systems within the framework of the concept of Industry 4.0 is solved. As a result of the research, the following results were obtained: firstly, an architectural and logical model of processes cyber-physical control decomposition in complex organizational and technical objects was proposed; firstly, methods of process control in organizational and technical objects are interconnected; firstly a technology for the development of cyber-physical production systems was proposed; the method of representing structural system models of cyber-physical control has been improved; the model of the the organizational and technical object control life cycle has been improved; the introduction of the methods, models and technologies developed in the dissertation work will allow the modernization of existing and development of promising process control systems in complex organizational and technical production facilities based on cyber-physical systems; the method of algorithms synthesis for the functioning of cyber-physical control has been improved, which made it possible to combine the algorithms for the functioning of each level of management of an organizational and technical object into a single functioning system; firstly, a model of the organizational and technical object cybernetic component formalization was developed; firstly, a structural representation of the organizational and technical object cybernetic component was proposed in the form of connections mathematical description the between the HMI main elements, which made it possible to implement the representations of additive cyber design; the methodology of signal-code construction was further developed; firstly, syntactic and semantic models of a declarative language for defining and manipulating data in the subject area have been developedThe implementation of the methods, models and technologies developed in the dissertation work will allow the modernization of existing and the development of promising process control systems in complex organizational and technical production facilities based on cyber-physical systems.

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

  Скачати повний текст

Дисертаційну роботу присвячено розробці методів та алгоритмів автоматичної генерації бази знань системи логічного виведення для задач класифікації на основі експериментальних даних, вдосконаленню методів логічного виведення, методів налаштування параметрів моделі представлення знань, методів доведення коректності бази знань та дослідженню якості побудованої системи логічного виведення. Наукова новизна одержаних результатів полягає у наступному:– дістав подальшого розвитку метод побудови нечіткої продукційної моделі для представлення знань про об'єкти предметної області на основі навчальної вибірки за допомогою розроблених алгоритмів навчання;– запропоновано вид нечіткого продукційного правила, що поєднує моделі Мамдані та Такагі-Сугено-Канг та містить у консеквенті правила в якості вагового коефіцієнту функцію, що визначає ступінь належності вихідної змінної до результуючої терм-множини; – удосконалено методику побудови сукупності правил бази знань та алгоритм їх автоматичного формування за допомогою попереднього аналізу ознак навчальної вибірки, матричного представлення антецедентів та векторного представлення консеквентів правил;– дістав подальшого розвитку метод логічного виведення з використанням бази знань нечіткої продукційної моделі для розв’язання задачі класифікації в умовах нечіткості та неповноти інформації про об’єкти предметної області; за наявності конфлікту при прийнятті рішення, що полягає у неспроможності системи однозначно визначити належність об’єкта певному класу, запропоновано процедуру порівняння відстані між об'єктами та класами;– дістав подальшого розвитку метод ідентифікації та налаштування значень параметрів нечіткої продукційної моделі, зокрема автоматизовано визначення лінгвістичних змінних, терм-множин, границь термів, параметрів функцій належності, вагових коефіцієнтів правил, кількості правил;– вперше для перевірки коректності автоматично побудованої бази правил за критеріями повноти, мінімальності, зв’язності і несуперечності застосовано логіку Хоара, метод резолюцій та програмне забезпечення Simplify;– вперше запропоновано адаптивний алгоритм редукції бази правил із використанням методу дихотомії з динамічним кроком та інтегральної метрики, що враховує кількість активацій певного правила та ступінь належності об'єктів навчальної вибірки правилу. Множина правил поділяється на підмножину правил, що виконуються, та підмножину правил, що є надмірними для досягнення критерію якості; – досліджено якість побудованої нечіткої продукційної моделі з використанням матриці невідповідностей та метрик, що визначають частину правильних відповідей моделі (accuracy), точність (precision), повноту (recall), f-міру (f1-score);– створено нові ефективні алгоритми розв’язання вищеназваних задач;– створено програмний продукт на об’єктно-орієнтованих мовах програмування C++, JavaScript та Python, що реалізує розроблені алгоритми;– методи і алгоритми застосовано до розв’язання модельних задач класифікації.Практичне значення одержаних результатів полягає у наступному: В дисертаційної роботі досліджено застосування нечітких продукційних моделей для розв’язання задач класифікації в умовах нечіткості та неповноти інформації про об’єкти предметної області.^UThe dissertation is devoted to the development of methods and algorithms for the automatic generation of the knowledge base of a logical inference system for classification tasks based on experimental data, the improvement of logical inference methods, methods for tuning the parameters of the knowledge representation model, methods for proving the correctness of the knowledge base, and the research of the quality of the constructed logical inference system. The scientific novelty of the obtained results is as follows:– the method of constructing a fuzzy production model for representing knowledge about objects of the subject domain based on a training set using developed learning algorithms has been further developed;– a type of fuzzy production rule that combines Mamdani and Takagi-Sugeno-Kang models has been proposed. The rule consequent contains a weighting function that determines the degree of membership of the output variable to the resulting term set;– the methodology for constructing a set of rules in the knowledge base has been improved, as well as the algorithm for their automatic formation using a preliminary analysis of the features of the training set, a matrix representation of antecedents, and a vector representation of the consequents of rules;– the method of logical inference using the knowledge base of a fuzzy production model for solving the classification problem in the presence of fuzziness and incompleteness of information about objects of the subject domain has been further developed. In the presence of a conflict in decision-making, which consists in the inability of the system to unambiguously determine the membership of an object to a certain class, a procedure for comparing the distance between objects and classes is proposed;– the method of identification and setting of the parameters of a fuzzy production model has been further developed, including automated determination of linguistic variables, term sets, term boundaries, parameters of membership functions, rule weights, and the number of rules;– for the first time, Hoare logic, the resolution method, and the Simplify software were used to verify the correctness of an automatically constructed rule base for the criteria of completeness, minimality, connectedness, and consistency;– for the first time, an adaptive rule base reduction algorithm has been proposed using the dichotomy method with a dynamic step and an integral metric that takes into account the number of activations of a certain rule and the degree of membership of the objects of the training set to the rule. The set of rules is divided into a subset of rules that are executed and a subset of rules that are redundant to achieve the quality criterion;– the quality of the constructed fuzzy production model was investigated using the confusion matrix and accuracy, precision, recall, and f1-score metrics;– new efficient algorithms for solving the above-mentioned problems have been created;– a software product has been created by object-oriented programming languages C++, JavaScript, and Python that implements the developed algorithms;– the methods and algorithms were applied to solving model classification tasks.The practical significance of the results obtained is as follows: in the dissertation research, the application of fuzzy production models for solving classification problems in conditions of uncertainty and incompleteness of information about objects of the subject area is researched.

Об'єктом дослідження є процес підвищення сталості функціонування мережевої синхронізації в мультисервісній макромережі. Метою дисертаційної роботи є підвищення сталості мережевої синхронізації, що дозволяє забезпечити працездатність мережевої синхронізації при збільшенні зв'язності мережі і значному збільшенні кількості аварійних ситуацій в мультисервісній макромережі. Вирішення поставлених завдань здійснювалося за допомогою математичного аналізу із застосуванням теорії графів, методу аналізу марковських процесів з дискретними станами і безперервним часом; методу аналізу структурної надійності; методу чисельного вирішення диференціальних рівнянь; методу об'єднання простих ланцюгів з врахуванням ефекту поглинання; методи теорії кінцевих автоматів і методів лінійного програмування. Підтвердження правильності вирішення поставлених завдань було виконане за допомогою методів прямого машинного моделювання основних положень і висновків. Для всіх розроблених алгоритмів, а також імітаційного моделювання фрагментів мережі синхронізації було використано пакет Simulink програми Matlab. Новизна: вперше розроблено метод визначення сталості функціонування мережевої синхронізації з врахуванням інтенсивностей потоків відмов і відновлень, топології мережі й алгоритмів функціонування мережевих елементів; удосконалено метод аналізу працездатності фрагмента мережі синхронізації довільної топології і протоколів взаємодії між мережевими елементами для формування дерева синхронізації; удосконалено метод динамічної адаптації дерева синхронізації в мережах синхронної цифрової ієрархії; удосконалено метод переконфігурування мережевої синхронізації в мережах IP/MPLS, який на відміну від відомих заключається у врахуванні сталості та живучості мережі синхронізації, він відхиляє канали без достатніх ресурсів, які не відповідають обмеженням або сформованій політиці. Результати дисертаційної роботи впроваджено у Державному підприємстві «Науковий центр точного машинобудування» Державного космічного агентства України (акт впровадження № 013 від 4.04.2018 р.), ТОВ ”Світ-ІТ”, (акт впровадження № 1211-19 від 11.12.2019 р.), у навчальному процесі в Київському національному університеті будівництва і архітектури (Довідка про впровадження від 25.09.2020 р. № 17). Сфера використання – кібербезпека.^UThe work is devoted to the development of methods for improving the sustainability of network synchronization of a modern multiservice macro network, the use of which will allow a 25% increase in the reliability and sustainability of network synchronization of a multiservice macro network when emergency situations arise during the provision of services and improve the efficiency of network synchronization planning and the use of algorithms of network elements taking into account probability characteristics events occurring in network synchronization by 10-13%. In the work: - а method for determining the stability of the network synchronization for each of the fragments of the synchronization network under the given initial conditions: failure rate, recovery intensity and initial conditions in which the system was and taking into account the following parameters:- algorithm of functioning of synchronization node; - method of setting priorities for input interfaces (ports) of synchronization; - setting quality levels of synchronization signals;- network fragment topology. - the method of functioning of a network element on the basis of change of priorities and introduction of the mechanism of the programmed delay in algorithm of formation of messages on the synchronization status allows to appear emergence of time loops in the closed topological structures of a multiservice macronetwork is improved; - the method of reconfiguration of network synchronization in IP / MPLS networks is improved, which will increase the efficiency of planning and use of algorithms for functioning of network elements taking into account the probabilistic characteristics of events occurring in the synchronization network by 10-13%; - it is established that the use of an advanced method of dynamic adaptation of the synchronization tree based on a closed topology is more appropriate than the use of existing algorithms on this topology and will increase by 25% network reliability and stability in case of emergencies. The quality of functioning of the fragment of the synchronization network, in which the network elements operate according to the algorithm with dynamic adaptation of the synchronization tree can achieve the quality of functioning of the fragment with the ideal algorithm, the theoretical limit of quality of functioning can be reached.

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

  Скачати повний текст

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

  Скачати повний текст

Проаналізовано та складено еквівалентні схеми фотоелектричної батареї, вітряного генератора, акумуляторної батареї та навантажень локального об'єкта, які є базою для створення алгоритмів оптимізації споживання електроенергії. Визначено доцільність застосування методу динамічного програмування з метою одержання оптимального закону керування навантаженнями локального об'єкта. Запропоновано використання методу нечіткої логіки для керування перетворювачами електроенергії з метою уточнення стратегії керування, одержаної за допомогою методу динамічного програмування. Розроблено алгоритм виведення активно-індуктивного й активно-ємнісного навантажень на заданий режим на базі методу динамічного програмування. Проаналізовано та визначено доцільність застосування числових методів для розв'язання задачі динамічного програмування. Розроблено алгоритм керування електроспоживання локального об'єкта на базі методу нечіткої логіки, в якому загальну задачу споживання розділено на окремі підзадачі для кожного окремого елемента системи. Одержано аналітичні залежності потужності на виході фотоелектричної батареї від зміни параметрів навантаження та її внутрішнього опору. Розроблено алгоритм нечіткого керування ШІП для відбирання максимальної потужності від фотоелектричої батареї.

  Скачати повний текст

Дисертація присвячена розробці методів і моделей для автоматизації оптимізації програм у сучасних паралельних платформах. Розроблені методи формалізовані у побудованих моделях автотюнінга. Ефективність методів пояснюється й аналізується у моделі PRAM* – запропонованому розширенні класичної моделі додатковим рівнем пам'яті. Коректність методів доводиться у термінах дискретних динамічних систем. Для цього було побудовано алгебро-динамічну модель автотюнінгу для мультипроцесорних платформ. Також створено програмну реалізацію усіх запропонованих методів автотюнінга, що не залежить від предметної області задачі й операційної системи обчислювального середовища. Система автотюнінга базується на системі правил переписування й орієнтована в першу чергу на програмні додатки на мові Java. Загалом запропоноване рішення підходить для будь-якої імперативної мови програмування. Розроблені засоби було застосовано для оптимізації складних обчислювальних задач, в результаті досягнуто значні показники їх ефективності.^UThe thesis is devoted to the development of methods and models for automating optimization of software for parallel platforms. Thesis offers five new autotuning methods. The scientific novelty of the obtained results is a formal description of proposed autotuning methods. Work presents autotuning framework TuningGenie that uses term rewriting approach for source code transformations. With such approach, some formulated characteristics of computational logic can be automatically checked so correctness of optimizing transformations can be validated. Also utilizing means of rewriting rule systems is more agile comparing to text-like transformations – you can apply structural changes to your code like reversing the order of iterations over multidimensional data, etc. Effectiveness and nature of proposed methods are explained and estimated in a proposed model PRAM*. This model extends the conventional PRAM model with an additional layer of quick but limited memory and uses only one strategy for concurrent memory access orchestration. The correctness of the methods is proved in terms of discrete dynamic systems. Dynamic algebra model for multicore systems was created for this purpose. The results of the dissertation work are of a theoretical and practical nature and were motivated directly by a practical application. Therefore, a program implementation of all proposed methods of auto-tuning was created. This implementation is domain-independent and is suitable for any operating system that has Java virtual machine implementation. The auto-tuning system is based on rewriting rules framework and is focused primarily on software applications written in Java language. In general, the proposed solution is suitable for any imperative programming language. The effectiveness of the developed methods and tools was demonstrated with well-known model examples – optimization of sequential and parallel sorting algorithms, as well as the problem of modeling Brownian motion in an ideal gas. Also, the autotuning system was used to optimize the complex practical real-time task – a parallel algorithm for short-term meteorological forecasting.

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

  Скачати повний текст

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

  Скачати повний текст

Удосконалено теоретико-методологічні положення моделювання на сучасному ринку деривативів. Розроблено нові економіко-математичні моделі процесів ціноутворення нестандартних опціонів із урахуванням стохастичного характеру їх параметрів. За допомогою математичного інструментарію та сучасних засобів програмування розроблено ефективні методи практичного обчислення цін нестандартних опціонів із стохастично змінними параметрами. Запропоновано нові підходи до моделювання на безарбітражних ринках динаміки цін нестандартних опціонів з метою вирішення проблеми врахування стохастичного характеру їх параметрів, які базуються на послабленні ряду обмежень в класичних моделях типу Блека - Шоулса та нових способах обчислення умовного математичного сподівання від мартингалів, які описують такі процеси ціноутворення. З'ясовано, що, на відміну від відомих моделей із фіксованими параметрами, нові підходи дозволяють суттєвим чином підвищувати точність прогнозованих цін опціонів. Розроблено економіко-математичні моделі ціноутворення: стандартних і нестандартних опціонів європейского стилю виконання із урахуванням стохастичних стрибкоподібних змін відсоткової ставки без ризику; нестандартних опціонів європейського стилю виконання із урахуванням стохастичного стрибкоподібного характеру дохідності базового активу; нестандартних опціонів європейського стилю виконання з урахуванням стохастичного характеру параметрів змінності цін інвестиційного портфеля декількох базових активів. У межах розроблених моделей виведено формули для визначення цін широкого класу нестандартних опціонів, на базі яких проведено експериментальні розрахунки із використанням сучасних засобів математичного програмування, зокрема, на реальних даних ряду суб'єктів господарювання під час побудови їх інвестиційних стратегій і стратегій хеджування, за допомогою портфелів активів із нестандартних опціонів, що дозволило більш точно прогнозувати ціни таких деривативів у разі раптових випадкових змін ринкової кон'юнктури.

  Скачати повний текст

Виконано системний аналіз методів побудови теле- та інфокомунікаційних мереж і на його основі визначено показники якості інфокомунікаційної мережі FGN. Удосконалено метод багатокритеріальної оптимізації для синтезу мережі FGN. Розроблено методику експертних оцінок для визначення значень вагових коефіцієнтів показників якості інфокомунікаційної мережі FGN. Запропоновано визначення суб'єктивної результуючої цільової функції, за допомогою якої здійснюється векторний синтез мережі FGN. Вперше розроблено алгоритм і програму на мові програмування Borland Delphi для синтезу інфокомунікаційної мережі FGN на основі методики векторного синтезу.

  Скачати повний текст

Проаналізовано монографічну, наукову, психолого-педагогічну, методичну літературу з метою дослідження історії становлення, розвитку й організації самостійної роботи майбутніх фахівців з програмування у ВНЗ I - II рівнів акредитації. Конкретизовано зміст понять "організація", "самостійність", "самостійна робота", "педагогічні технології", "компетенція", "компетентність", "професійна компетентність", що становлять теоретико-методологічне підгрунтя моделей. На основі нормативно-правових документів розроблено навчально-методичний комплекс, що сприяє покращанню організації самостійної роботи майбутніх фахівців з програмування та підвищення ефективності й якості підготовки до професійної діяльності. Досліджено педагогічні умови підвищення ефективності самостійної роботи студентів, а також експериментально перевірено модель навчальної діяльності майбутніх фахівців з програмування.

  Скачати повний текст

Дисертацію присвячено підвищенню рівня ефективності управління охороною праці на машинобудівному виробництві.Для виділення найбільш значущих причини виробничого травматизму в галузі машинобудування використано метод головних компонент, АВС-аналіз.Розроблено та застосовано модель рейтингового оцінювання рівня стану охорони праці в галузі машинобудування шляхом застосування правил ранжування.Сформульовано механізм розроблення та вибору заходів з охорони праці для машинобудівних виробництв, що забезпечує оптимальне управління розподілом економічних ресурсів, шляхом застосування математичного інструментарію параметричного програмування і дозволяє підвищити рівень ефективності управління охороною праці завдяки цільовій орієнтації.Розроблено та наведено методику бенчмаркінгу охорони праці, яка сприяє новим підходам до вирішення завдань управління охороною праці.^UThe dissertation is devoted to the solution of the actual scientific problem  to increase the level of effectiveness of the management of labor protection in the machine-engineering industry with the use of mathematical modeling methods, which enable the optimal selection of projects on occupational safety in the framework of the proposed models. To identify the most significant causes of occupational injuries in the field of machine-engineering by financing the projects of occupational safety, which are most needed to reduce the rate of occupational injuries and simultaneously reduce the cost of other projects by eliminating unnecessary functions and types of work applied two approaches. The first approach is based on expert analysis (for the preliminary analysis, expert-statistical selection was used, and the final selection and grouping of the factors was done by the method of the main components), the second  on the statistical data (ABC-analysis). The analysis of the safety of the labor process of machine - engineering production by the criterion of labor losses has been analyzed, which made it possible to analyze the total losses associated with the production activity of the production personnel and the loss from disability. The method of integer step-by-step optimization has been improved and adapted, which gives the opportunity to choose the optimal set of annual implementation of occupational safety measures, taking into account the provided economic resources. Target function is aimed at minimizing the rates of occupational injuries and hazardous production equipment. Based on the provisions of benchmarking in relation to the management system, a methodology has been developed that provides an optimal choice of projects, complements and improvements to the system of management of labor protection, expansion of its functional capabilities in order to improve the task of distributing economic resources in machine-engineering industries. The stages of the methodology of benchmarking of labor protection are developed, the analysis and justification of each of them is given.

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

  Скачати повний текст

У дисертаційній роботі обґрунтовано теоретичні положення та запропоновано практичні рекомендації щодо менеджменту маркетингової підсистеми підприємств агропродовольчої сфери в контексті глобалізації. Уточнено визначення менеджменту маркетингової підсистеми підприємств агропродовольчої сфери як сукупності взаємопов'язаних інструментів і методів впливу на взаємодію учасників виробничо-збутових ланцюгів галузевого продуктового набору та трансформаційних процесів в господарській активності з метою формування сталих конкурентних переваг підприємств агропродовольчої сфери в динамічному ринковому середовищі. На основі аналізу передумов розвитку менеджменту маркетингової підсистеми на прикладі зернопереробних підприємств виявлено суттєву залежність національного ринку від кон'юнктури світового борошномельно-круп'яного ринку. За допомогою візуального тривимірного аналізу визначено ступінь стабільності технологічного ланцюга, тобто схильність виробників агропродовольчої сировини до однотипних та прогнозованих дій в умовах контрольованих та неконтрольованих змін їх діяльності в менеджменті маркетингової підсистеми зернопереробного підприємства. Апробовані засоби програмування результативності управління якістю сировини в системі менеджменту маркетингової підсистеми через обґрунтування управлінських рішень, пов'язані з виробленням маркетингової політики зернопереробного підприємства по відношенню до зерновиробників-постачальників сировинного зерна на основі стимулювання оптимальної агротехнологічної політики аграрних підприємств. В результаті дослідження встановлено, що за відповідних економічних умов існують обставини сумісного створення синергетичного ефекту в зерновому підкомплексі.^UThe dissertation substantiates the theoretical principles and offers the practical recommendations for management of marketing subsystem of agro-food enterprises in the context of globalization. The definition of management of marketing subsystem of agro-food enterprises, as a set of interconnected tools and methods that affect the interaction of participants in the supply chains of the industry products and transformation processes in the economic activity in order to create sustainable competitive advantages of agro-food enterprises in a dynamic market, has been specified. A significant dependence of the national market on the world flour and cereals market has been revealed by analyzing the preconditions for the development of marketing subsystem management on the example of grain processing enterprises. The degree of stability of the technological chain has been determined by the visual three-dimensional analysis. That is the tendency of producers of agro-food raw materials toward the same-type and predicted actions in the conditions of controlled and uncontrolled changes of their activity in management of marketing subsystem of grain processing enterprise. It has been established that the expectations of grain processing enterprises to grow revenues by increasing production costs are justified, but the limit of their optimality is slightly lower than expected. Approved means for programming the effectiveness of management of raw material quality in the management system of marketing subsystem through the justification of management decisions, connected with the development of marketing policy of a grain processing enterprise in relation to suppliers of grain raw materials based on stimulating optimal agro-technological policy of agricultural enterprises. As a result of research, it has been determined that there are circumstances of mutual creation of synergetic effect in a grain subcomplex under the proper economic conditions.

Розроблено методологію вибору раціонального шляху проектування та реконструкції систем теплопостачання (СТ), що базується на забезпеченні мінімуму вартості теплової енергії, використаної протягом опалювального сезону та мінімуму строку окупності реконструкції за умов її здійснення. На базі результатів числового та експериментального дослідження розроблено єдину математичну модель функціонування СТ, що дає змогу оцінити економічні характеристики СТ залежно від її конфігурації та розмірів. Формалізовано та реалізовано на базі методів нелінійного математичного програмування задачу пошуку оптимальних розмірів теплової мережі та раціонального складу котельного устаткування, теплообмінників та інших елементів СТ, що забезпечують використання мінімуму теплової енергії. Проведено структуризацію загальної оптимізаційної задачі на базі основних положень системного аналізу. Створено структуру локальних взаємозалежних оптимізаційних задач, розв'язання яких дає змогу визначити оптимальні розміри різних елементів СТ та скоротити час рішення загальної оптимізаційної задачі. Запропоновано методи та залежності для розв'язання задачі оптимальної реконструкції. З'ясовано раціональний склад СТ, знайдено значення величини діаметрів трубопроводів, типи котлів та їх кількість, типи теплообмінників і місце установки (на котельній чи теплорозподільній станції), схеми підмішування теплоносія.

  Скачати повний текст

Висвітлено актуальну проблему використання фізкультурно-оздоровчих занять для покращання стану здоров'я дівчат-підлітків. Розглянуто деякі аспекти захворюваності учнів, що сприяє більш ефективному застосуванню профілактично-оздоровчих заходів. Визначено взаємозв'язок показників рівня фізичної підготовки дівчат 12 - 13 років, на основі якого обгрунтовано нормативи, що відповідають стабільному стану їх здоров'я. Запропоновано модифіковану систему оцінки біологічного віку. Обгрунтовано раціональне співвідношення спрямованості фізичних навантажень та їх нормування у процесі фізкультурно-оздоровчих занять дівчат-підлітків. За результатами проведення комплексних фізіологічних, антропометричних і педагогічних досліджень розроблено методику фізкультурно-оздоровчих занять з дівчатами 12 - 13 років різного рівня здоров'я, що містить оздоровчі гімнастичні вправи та спортивні ігри з фіксованим співвідношенням фізичних навантажень різної спрямованості та інтенсивності.

  Скачати повний текст