Збірники наукових праць ЦНТУ
Permanent URI for this communityhttps://dspace.kntu.kr.ua/handle/123456789/1
Browse
13 results
Search Results
Item type:Item, Модель шляхів отримання вхідних даних комп’ютерної інтелектуальної системи підтримки оперативного персоналу АЕС(ЦНТУ, 2025) Вінтенко, Б. Ю.; Смірнов, О. А.; Миронець, І. В.; Смірнова, Т. В.; Коваленко, О. В.; Мацуй, А. М.; Vintenko, B.; Smirnov, О.; Myronets, І..; Smirnova, Т.; Kovalenko, О..; Matsui, А.У статті досліджуються методи підвищення відмовостійкості комп’ютерної інтелектуальної системи підтримки оператора енергоблоку АЕС. Метою даного дослідження є підвищення відмовостійкості інтелектуальних систем підтримки оператора при отриманні інформації про стан технологічних параметрів, важливих для процедур керування енергоблоком. Об’єктом дослідження є шляхи отримання вхідних даних комп’ютеризованою інтелектуальною системою підтримки оператора АЕС. Предметом дослідження є модель шляхів надходження вхідної інформації до комп’ютерної інтелектуальної системи підтримки оператора АЕС. Розглянуто задачу забезпечення надійності вхідної інформації та способи її вирішення, які основані на резервуванні та багатоверсійності застосованих компонентів. Розроблена імітаційна модель шляхів вхідних даних комп’ютерної інтелектуальної системи підтримки оператора енергоблоку АЕС, що відрізняється від відомих врахуванням показників багатоверсійності компонентів. This article investigates methods for increasing the fault tolerance of a computer intelligent support system for a nuclear power plant operator. The purpose of this study is to increase the fault tolerance of intelligent support systems for the operator when receiving information about the state of technological parameters important for the power plant control procedures. The object of the study is the ways of receiving input data by a computer intelligent support system for a nuclear power plant operator. The subject of the study is a model of the ways of receiving input information to a computer intelligent support system for a nuclear power plant operator. The problem of ensuring the reliability of input information and methods for solving it, which are based on the redundancy and multi-version of the components used, is considered. A simulation model of the input data paths of a computer intelligent support system for a nuclear power plant operator has been developed, which differs from the known ones by taking into account the indicators of multi-version of components.Item type:Item, Математична модель технології тестування комплексу DOM XSS вразливостей для аналітичної оцінки часових витрат(ЦНТУ, 2019) Коваленко, О. В.; Коваленко, А. В.; Kovalenko, O.В роботі представлені результати дослідження та алгоритми тестування на вразливість до одних з найбільш поширених видів атак на Web-застосунки – DOM XSS для аналітичної оцінки тимчасових витрат. В цілому, проведені дослідження показали, що GERT-моделювання є ефективним способом визначення заздалегідь невідомих законів і функцій розподілу випадкових величин при відомому алгоритмі функціонування (процесу). Головною метою GERT є оцінка логіки мережі і тривалість активності і отримання висновку про необхідність виконання деяких активностей. В результаті розроблено математичну модель технології тестування комплексу DOM XSS вразливостей яка відрізняється від відомих, урахуванням специфіки комплексного аналізу різних типів XSS вразливості («stored XSS», «reflected XSS» і DOM Based XSS), а також включенням в алгоритм процедур автоматичного аудиту DOM Based XSS окремо. Це дає можливість провести аналітичну оцінку тимчасових витрат тестування зазначених вразливостей в умовах реалізації стратегії розробки безпечного програмного забезпечення. В работе представлены результаты исследования и алгоритмы тестирования на уязвимость к одним из наиболее распространенных видов атак на Web-приложения – DOM XSS для аналитической оценки временных затрат. В целом, проведенные исследования показали, что GERT-моделирование является эффективным способом определения заранее неизвестных законов и функций распределения случайных величин при известном алгоритме функционирования (процесса).Главной целью GERT является оценка логики сети и продолжительность активности и получения заключения о необходимости выполнения некоторых активностей.В итоге разработана математическая модель технологии тестирования комплекса DOM XSS уязвимостей которая отличается от известных, учетом специфики комплексного анализа различных типов XSS уязвимости («stored XSS», «reflected XSS» и DOM Based XSS), а также включением в алгоритм процедур автоматического аудита DOM Based XSS отдельно. Это дает возможность провести аналитическую оценку временных затрат тестирования указанных уязвимостей в условиях реализации стратегии разработки безопасного программного обеспечения. The paper presents the results of the study and testing algorithms for vulnerability to one of the most common types of attacks on Web applications, DOM XSS, for analytic assessment of time costs. Analysis of various kinds of statistical materials of well-known organizations (for example, the Open Web Application Security Project) showed that one of the most dangerous types of attacks (vulnerabilities) is Cross Site Scripting – XSS. In a number of works, attempts of mathematical formalization the process of finding and eliminating vulnerabilities of this kind were made . However, the presented models do not take into account the latest trends of XSS vulnerability, namely the difference in their types (“stored XSS”, “reflected XSS” and DOM Based XSS) and the need to identify them. That is why a particularly relevant task in this direction seems to be the modeling of the DOM (Document Object Model) XSS vulnerability algorithm taking into account the complex of their three possible types. In general, studies have shown that GERT-modeling is an effective way to determine previously unknown laws and distribution functions of random variables with a known algorithm of functioning (process). That is why, we chose GERT modeling as a tool for mathematical modeling. The main purpose of GERT is to evaluate the network logic and the duration of the activity and obtaining a conclusion on the need to perform certain activities. As a result, a mathematical model was developed for testing the DOM XSS vulnerability complex which differs from the known ones by taking into account the specifics of complex analysis of various types of XSS vulnerability (“stored XSS”, “reflected XSS” and DOM Based XSS), as well as separately including DOM Based XSS into the algorythm of automatic audit procedures. This makes it possible to conduct an analytical assessment of the time spent testing these vulnerabilities in the context of implementing a secure software development strategy.Item type:Item, Управління ризиками розробки програмного забезпечення за умови обмеженості коштів виділених на усунення помилок безпеки(ЦНТУ, 2018) Коваленко, О. В.; Коваленко, А. В.; Kovalenko, О.В даній роботі задача управління ризиками розробки ПЗ за умови обмеженості коштів (фінансових, технічних та ін.), виділених на усунення помилок безпеки, розглядається у вигляді напівмарківської моделі прийняття рішень для керованого процесу у безперервному часі з критерієм мінімуму витрат на усунення аномалій. Для вирішення задачі пропонується метод управління ризиками розробки ПЗ, який відрізняється від відомих використанням псевдобулевих методів бівалентного програмування з нелінійною цільовою функцією і лінійними обмеженнями для визначення оптимальної стратегії усунення експлуатаційних помилок. Як приклад розглянуті ситуації виникнення помилок безпеки ПЗ і визначена оптимальна стратегія управління для усунення вказаної аномальної ситуації. В данной работе задача управления рисками разработки ПО при условии ограниченности средств (финансовых, технических и др.), выделенных на устранение ошибок безопасности, рассматривается в виде полумарковских моделей принятия решений для управляемого процесса в непрерывном времени с критерием минимума затрат на устранение аномалий. Для решения задачи предлагается метод управления рисками разработки ПО, который отличается от известных использованием псевдобулевих методов бивалентного программирования с нелинейной целевой функцией и линейными ограничениями для определения оптимальной стратегии устранения эксплуатационных ошибок. В качестве примера рассмотрены ситуации возникновения ошибок безопасности ПО и определена оптимальная стратегия управления для устранения указанной аномальной ситуации. The conducted, as studies have shown, preventive analysis and taking into account the majority of possible operational errors will reduce financial and other issues. expenses in the life researches showed that risk management of software development consists in the early detection of financial, technical, psychological and other related risks. hazards, and taking measures to reduce the risk by deliberately changing these factors, taking into account the effectiveness of the measures taken. Risk management software development includes a system of measures that are carried out both to the occurrence of a negative event and after its implementation. Howevercycle of software development. The purpose of the work is to develop a method for managing the risks of software development, provided that the funds allocated to eliminate security errors are limited. In this paper, the problem of risk management of software development on the condition of limited funds (financial, technical, etc.), allocated for the elimination of security errors, is considered as a semi-Markov decision making model for a managed process in a continuous time with a criterion for minimizing the cost of eliminating anomalies. To solve the problem, we propose a method for managing the risks of software development, which differs from the known use of pseudo-Boolean methods of bivalent programming with a nonlinear target function and linear constraints to determine the optimal strategy for eliminating operational errors. As an example, situations of software security error occurrence are considered and an optimal management strategy is identified for eliminating this abnormal situation. The conducted studies have shown that the theoretical positions used in this paper adequately reflect the standards and capabilities of modern software testing methods. It should be noted that the method presented in the work should be used not only in the management of software security risks, but also in functional, load, stress and other types of testing to prevent possible costs.Item type:Item, Архітектура і САПР : особливості комп’ютерного моделювання будівель(КНТУ, 2010) Яцун, В. В.; Яцун, В. В.; Коваленко, О. В.У статті коротко описується параметричне моделювання будівель, приводяться критерії, яким повинна задовольняти архітектурна САПР, що підтримує параметричне моделювання, а також пояснюється, чому параметризація так важлива для інформаційного моделювання будівель і споруд.Item type:Item, Порівняльний аналіз найпоширеніших фреймворків для PHP у сфері веб-розробок(КНТУ, 2010) Коваленко, О. В.У статті стисло аналізуються найпоширеніші фреймворкі в галузі інформаційних технологій за параметрами швидкодії, розміру дистрибутиву, зручність у використанні та ін.. Проводиться порівняння вихідного коду на прикладах вибірки з БД, валідації даних, контролю кешу.Item type:Item, Розширення можливостей Autocad Architecture за допомогою платформи. Net Framework(КНТУ, 2010) Коваленко, О. В.; Яцун, В. В.; Яцун, О. В.У статті коротко описується основи програмування на платформі. Net Framework, у програмному середовищі AutoCAD Architecture фірми Autodesk, пояснюється структура й попереднє налагодження проекту у Microsoft Visual Studio, описується та аналізується концепція доступу до об'єктів, приводяться приклади керування вікном програми.Item type:Item, Взаємодія мобільної платформи J2ME з комунікаційними лініями глобальної мережі(КНТУ, 2011) Коноплицька, О. К.; Коваленко, О. В.; Konoplitskaya, О.; Kovalenko, А.Описано організацію взаємодії мобільної платформи Java 2 Micro Edition (J2ME) комунікаційними лініями глобальної мережі. J2ME надає платформо-залежну функціональність мови Java для портативних пристроїв, дозволяючи широкому класу мобільних бездротових пристроїв використовувати однакові додатки. Describes the organization of interaction of mobile platforms Java 2 Micro Edition (J2ME) with communication lines of the global network. J2ME provides a platform-dependent functionality of the Java language for mobile devices, enabling a broad class of mobile wireless devices use the same applications.Item type:Item, Організаційно-економічні фактори підвищення ефективності розвитку цукрової промисловості Черкаської області(КНТУ, 2006) Коваленко, О. В.В статті розкрито та удосконалено теоретико-методологічну сутність та зміст організаційно-економічних факторів підвищення ефективності розвитку в цукровій промисловості Черкаської області. The summary: In clause is opened the theoretical and methodological essence both contents organizational and economic forces of increase of efficiency of a sugar industry is improved.Item type:Item, Експериментальне дослідження ефективності застосування кульових автобалансирів для зменшення вібрацій ручних шліфувальних машин(КНТУ, 2008) Коваленко, О. В.; Філімоніхін, Г. Б.Для ручної шліфувальної машини (РШМ) Expert 230 експериментально досліджена ефективність застосування кульових автобалансирів (АБ) для зменшення вібрацій. Дослідження проведені на автоматичному стенді при різних режимах роботи РШМ. Ефективність роботи АБ оцінювалася за зменшеням середньоквадратичного віброприскорення і його складових, викликаних дисбалансами диска і якоря електродвигуна. Вібрації вимірювалися на корпусі РШМ. Efficiency of ball autobalancer (AB) application for diminishing of vibrations for the hand polishing machine (HPM) Expert 230 is experimentally investigated. Researches are conducted on an automatic stand for the different modes of HPM operations. Work efficiency of AB was estimated on diminishing of root-mean-square vibroacceleration and his constituents, caused the disbalances of disk and anchor of electric motor. Vibrations were measured on the corps of HPM.Item type:Item, Моделювання процесу зрівноваження ротора з нерухомою точкою двохмаятниковим автобалансиром із застосуванням програми Solid Works і модуля motion(КНТУ, 2006) Філімоніхін, Г. Б.; Коваленко, О. В.Використано підпрограму Solid Motion для моделювання динаміки зрівноважування двохмаятниковим автобалансиром ротора з нерухомою точкою на одній в’язко пружній опорі. Визначено різні режими руху системи в залежності від величин сил в’язкого опору, що діють на маятники. It is used subprogram Solid Motion for the design of dynamics of balancing of rotor a two-pendulum autobalanser with an immobile point on one viscidly resilient support. Certainly different modes of motion of the system depending on the sizes of forces of viscid resistance of, which operate on pendulums.