Автореферати
Постійний URI для цієї колекції
Перегляд
Перегляд Автореферати за датою видання
Зараз показано 1 - 20 з 41
Результатів на сторінку
Варіанти сортування
Публікація Моделі, методи та інформаційна технологія аналізу розподілених програмних моделей GRID-систем(2015) Грідель, Р. М.Дисертаційна робота присвячена вирішенню науково-практичної проблеми створення на єдиній методологічній основі нових моделей, методів та інформаційної технології аналізу розподілених програмних моделей. У роботі розроблені моделі предметної області на підставі процесного подання окремих моделей як програмних елементів обчислювального середовища; розроблені модифікації моделей для випадків синхронних, консервативних, оптимістичних методів синхронізації розподілених імітаційних моделей. На основі розроблених моделей запропоновано методи аналізу розподілених програмних моделей: метод порівняння ефективності розподілених імітаційних моделей за максимальним просуванню модельного часу, метод оцінки можливості розподілу окремих моделей на основі динамічної зміни обсягів віртуальної пам'яті, метод отримання оцінок простою ресурсів для алгоритмів синхронізації розподілених імітаційних моделей. На основі розроблених методів запропонована інформаційна технологія та програмне забезпечення аналізу процесів розподіленого імітаційного моделювання. The thesis is devoted to scientific and practical problems of creating a single methodological basis for new models, methods and information technology analysis of distributed software models. Domain model based on process models as representing private program elements computing environment is developed; modifications models for the cases of synchronous, conservative and optimistic synchronization methods of distributed simulations are developed. Methods of analysis software distributed models are proposed: a method of comparing the effectiveness of distributed simulation models to maximize the promotion of model time, the method of assessing the sharing of private models based on dynamic changes in the size of virtual memory, a simple method for obtaining estimates of resources for synchronization algorithms of distributed simulations . Information technology and analysis software processes of distributed simulation based on developed methods are proposed.Публікація Застосування волоконно-оптичних та інтерференційних елементів у кореляційній спектроскопії(2015) Андреєв, О. М.Дисертаційна робота присвячена обґрунтуванню можливостей застосування ІБХ, волоконних та капілярних світловодів для визначення статичних і динамічних характеристик світла, розсіяного рідкими розчинами в реальному масштабі часу. Експериментально доведено, що результати вимірювань динамічних характеристик світла за допомогою одномодового ВОД, капілярного ВОД та традиційної методики (оптична схема) співпадають. В роботі запропоновано використовувати одномодові ВОД для вивчення кінетики зростання наночастинок двоокису титану в золь-гель хімічному реакторі. Капілярні світловоди запропоновано використовувати для вимірювань розмірів наночастинок за умов наявності в резервуарі реактору макроскопічного руху рідини (реактор зі змішувачем). Для проведення вимірювань в випадках необхідності змішування реагентів, в роботі запропоновано використовувати розроблений анізотропний хімічний реактор. За допомогою розробленої математичної моделі ІБХ в роботі були докладно досліджені залежності вихідного сигналу ІБХ від параметрів інтерферометра та характеристик вихідного сигналу. Запропоновано застосування ІБХ у кореляційній спектроскопії. The thesis is devoted to the possibilities of fiber, capillary and interferometer devices in determination of the static and dynamic characteristics of light scattered by a liquid solution in real time. It was proved experimentally that the results of measurements of the lihgt dynamic scattering characteristics with single-mode fiber light sensor using fiber light sensor, capillary fiber light sensor and traditional (optical scheme with lenses) methods coincide. In the paper it is proposed to use fiber light sensor for studying titanium dioxide nanoparticles kinetics of growth in sol-gel chemical reactor. Capillary fiber is proposed to use for measuring the size of nanoparticles upon macroscopic motion availability in the fluid reservoir of reactor (reactor with a mixer). Anisotropic chemical reactor scheme was developed for measurements in case of reagents strong mixing. Using the mathematical model developed for running wave interferometer the dependence of running wave interferometer output signal on running wave interferometer parameters and characteristics of input signal has been extensively investigated.Публікація Методи та засоби визначення гемодинамічних показників при діагностуванні порушень системи кровообігу людини(2015) Владов, С. І.У дисертації обґрунтовано наукові методи визначення гемодинамічних показників при діагностуванні функціональних порушень ділянок системи кровообігу людини, що базуються на математичній моделі системи кровообігу людини у вигляді неоднорідної узгодженої довгої лінії з розподіленими варіаційними параметрами, за допомогою якої отримана можливість підвищення достовірності прогнозування подальшого усунення патологічних процесів руху крові по судинах: оперативне хірургічне втручання, установка того або іншого виду кава-фільтра (за наявності тромбу), призначення курсу лікування залежно від стадії того чи іншого захворювання. Проведення математичного моделювання гемодинамічних процесів у великому і малому, церебральному та коронарному колах кровообігу за допомогою побудованої моделі дозволило отримати аналітичні вирази для опису процесу проходження сигналу пульсової хвилі через ту чи іншу судину, що надало змогу розробити метод доказового визначення ступеня ураження тієї чи іншої ділянки системи кровообігу людини найпоширенішими патологічними процесами руху крові по судинах. Основні результати роботи знайшли впровадження у Кременчуцькому обласному госпіталі для інвалідів війни Полтавської області при діагностуванні пацієнтів із симптомами артеріальної гіпертонії, аортального стенозу, ішемічного інсульту та ішемічної хвороби серця. This dissertation substantiates the research methods for determining hemodynamic parameters when diagnosing functional disorders in certain areas of the human circulatory system, which is based a mathematical model of a human circulatory system as a heterogeneous coordinated long line with distributed variation parameters, which made it possible to improve the reliability of forecasting methods for further elimination of pathological processes in blood flow through the vessels: prompt surgical intervention, installation of a particular type of cava-filter (in case of a blood clot), prescription of therapy depending on the stage of a particular disease. Mathematical modeling of hemodynamic processes in the greater and lesser, cerebral and coronary circulation circuits using the developed model allowed us to obtain analytical expressions to describe how a pulse wave signal passes through a particular vessel, which made it possible to develop a method for verification determine the degree of damage caused to a certain section of the human circulatory system by the most common pathological processes in movement of blood through the vessels. The main results of the work have been implemented in Kremenchug Regional Hospital for Disabled Veterans in Poltava region for diagnosing patients with symptoms of hypertension, aortic stenosis, ischemic stroke and coronary heart disease.Публікація Підвищення точності прогнозування розвитку технологій на телекомунікаційних мережах(2015) Яцук, П. П.Дисертаційна робота присвячена вирішенню важливої науково-технічної задачі підвищення точності прогнозування розвітку телекомунікаційних технологій, а також практичній реалізації програмного планування модернізації телекомунікаційних мереж, яка забепечує підвищення ефективності їх функціонування. Наукова цінність роботи полягає в запронованому комплексі методів та моделей для прогнозування РТТ, що забезпечує підвищення точності прогнозу:помилка прогнозу, не перевищує 0,71...1,5 %. Практичне значення отриманих результатів полягає в тому, що розроблена аналітична модель дослідження РТТ реалізована в програмному комплексі, який дає можливість зменьшити витрати часу на проектування ТМ на 40%, порівняно з кращими з відомих засобів автоматизованого проектування.Публікація Методи та моделі формування інформаційного забезпечення ГІС-додатків(2015) Бєльчева, Г. В.Дисертація присвячена розробці методів, моделей та інформаційної технології формування інформаційного забезпечення ГІС-додатків. Вперше розроблено метод генерації тестових наборів просторових даних, який містить створення базових просторових об'єктів, а також атрибутів цих об’єктів з можливістю імітації помилок і спотворень просторових стосунків і форм, що дозволяє сформувати тестове інформаційне забезпечення ГІС-додатків. Отримала подальший розвиток модель оцінки якості просторових даних, що комплексно враховує вимоги користувача при виборі просторових даних для формування інформаційного забезпечення. Вдосконалено метод вибору просторових даних за показником тематичної точності, який дозволяє врахувати тематику ГІС-додатка та реалізується в умовах відсутності еталонного картографічного матеріалу. Вдосконалено метод вибору просторових даних за показником позиційної точності, який передбачає можливість коригування похибок планової та висотної точності, враховує вимірність картографічного матеріалу; модель мінімізації часових витрат на реалізацію ГІС-додатків, що дозволяє скоротити час на отримання даних для розробки функціональних задач ГІС-додатків. На основі запропонованих методів і моделей створено інформаційну технологію формування інформаційного забезпечення ГІС-додатків, та здійснено її практичну реалізацію у вигляді програмного продукту. The thesis is devoted to the development of methods, models and information technology of information support of GIS applications’ formation. The method of generating test sets of spatial data was developed for the first time, which includes creating of the base spatial objects, as well as attributes of these objects with the capability of simulating errors and distortions of spatial relationships and shapes, which allows generating test information support for GIS applications. The model for evaluating of spatial data quality was further developed, which presents versatile consideration of the user’s demands during the choice of spatial data with the aim of formation of informational support. The selection method of spatial data on the basis of data rate thematic accuracy was improved, it allows taking into consideration the theme of GIS application and was implemented under the condition of the absence of reference cartographic material. The minimizing model of the time, spent for implementation of GIS applications, was improved, thereby reducing the time for obtaining the data, needed to develop the functional tasks of GIS applications. 20 Based on the proposed methods and models, the informational technology of formation of information support of GIS applications was created, its practical implementation was issued in the form of a software module.Публікація Потокові моделі та метод багатоадресної та відмовостійкої маршрутизації в мультисервісних телекомунікаційних мережах(2015) Арус, К. М.Дисертаційна робота присвячена розв’язанню актуальної наукової задачі, яка пов’язана з оптимізацією процесів багатоадресної та відмовостійкої маршрутизації в мультисервісних телекомунікаційних мережах шляхом розробки відповідних математичних моделей і методів для підвищення продуктивності і масштабованості ТКМ в цілому. Вперше запропоновано потокову модель багатоадресної маршрутизації в мультисервісній ТКМ. Використання моделі дозво- лило оптимізувати процес багатоадресної і широкомовної маршрутизації множини потоків. Отримала подальший розвиток потокова модель відмовостійкої маршрутизації в телекомунікаційній мережі. Новизна моделі полягає в отриманні умов запобігання перевантаження каналів зв'язку, за якими, в загальному випадку, одночасно можуть протікати потоки як основних, так і резервних маршрутів, що дозволило в ході реалізації як одношляхової, так і багатошляхової маршрутизації запобігти перевантаженню каналів зв'язку навіть у випадку, якщо тільки деякі потоки будуть перемикатися з основних шляхів на резервні. Отримав подальший розвиток ієрархічно-координаційний метод багатоадресної та відмовостійкої маршрутизації в телекомунікаційній мережі. Новизна методу полягає в тому, що він дозволяє реалізувати ієрархічно-координаційну маршрутизацію не тільки одноадресних, але й багатоадресних/широкомовних потоків та забезпечує підвищення масштабованості кінцевих рішень. Dissertation is devoted to solving actual scientific problem associated with optimization process of multicast and fault-tolerant routing in multiservice telecommunication networks (TCN) by developing appropriate mathematical models and methods to improve performance and scalability of TCN as a whole. It was firstly proposed the flow-based model for multicast routing in multiservice TCN, which also includes the case for broadcast flows routing. Using the model allowed to optimize the process of multicast and broadcast routing set of flows. It was further developed the flow-based model of fault-tolerant routing in telecommunication network. The novelty of the model is in obtaining conditions for overload prevention of communication links, which, in general, can include both primary and backup paths used for flows transmission, which enabled during implementation both single path and multipath routing overload prevention of communication links even if only some of the flows will switch from primary to backup paths. It was further developed hierarchical method with coordination of multicast and fault-tolerant routing in telecommunication network. The novelty of the method is that it allows realization of hierarchical routing with coordination not only for unicast, but also for multicast/broadcast flows and provides increase of scalability final solutions.Публікація Моделі, методи та інформаційна технологія динамічного формування замовлень веб-базованих систем управління поліграфічними підприємствами(2015) Хорошевський, О. І.Дисертаційна робота присвячена розв’язанню актуальної науково-практичної задачі розробки моделей, методів та інформаційної технології динамічного формування замовлень у веб-базованих системах управління поліграфічними підприємствами. Таку веб-базовану систему пропонується розглядати, як складову автоматизованої системи керування поліграфічним підприємством, що спрямована на вирішення задач додрукарської стадії. В основі розробки веб-базованої системи управління поліграфічними підприємствами був закладений спеціалізований математичний інструментарій у вигляді методу ідентифікації функціональних вимог до системи та моделі процесу вибору системи управління вмістом для її розробки, а також прикладна інформаційна технологія для реалізації системи. Для розв’язання задач додрукарської стадії були розроблені: модель процесу динамічного формування пакету замовлень, метод формування параметрів макета замовлення та модель вибору факторів підвищення безпеки ВСУПП. This thesis offers a solution to the contemporary scientific and practical problem of developing models, methods and information technology of dynamic generation of orders in web-based printing business management systems. This web-based system is proposed to be considered an element of an automated printing business management system devised to handle preprinting tasks. A web-based printing business management system was developed on the basis of specialized mathematical tools in the form of a method of identifying functional requirements to the system, a model of the content management system selection process for its development, and an applied information technology for implementation of the system. The following tools were developed to handle preprinting tasks: a model of the process of dynamic generation of order packages, a method of generating parameters of the order template, and a model of selecting factors that improve security of the web-based printing business management system.Публікація Методи, моделі та інформаційні технології моніторингу і оптимізації процесу вирощування монокристалів напівпровідників(2015) Шевченко, І. В.Сформулевано і розв'язано актуальну науково-прикладну проблему створення теоретичніх та прикладніх основ інформаційної підтримки процесу вирощування монокристалів напівпровідників і процесів оптимізації параметрів технологічної оснастки для забезпечення підвищення якості продукції. Запропоновано модель інформаційно- аналітичної системи управління якістю, модель підсистеми підтримки прийняття оперативних рішень для корекції процесу вирощування монокристалів, метод побудови прикладної інформаційної технології діагностики стану складного виробничого процесу, модель підсистеми прийняття оперативних рішень. Для інформаційного забезпечення моніторингу процесу вирощування запропоновано нейромережеву модель розрахунку температурного поля в розплаві нечіткий навчений клітинний автомат. Розроблено інформаційну технологію моніторингу та візуалізації температурного поля в процесі вирощування монокристалів.Публікація Знання-орієнтовані інтелектуальні методи і моделі аналізу складних систем(2015) Трохимчук, С. М.Дисертаційна робота присвячена розробці нових знання-орієнтованих інтелектуальних методів та моделей аналізу складних систем, що функціонують за умов невизначеності та обмежень на матеріальні ресурси. У роботі проведено аналітичний огляд особливостей розвитку інтелектуальних методів, моделей аналізу (Data mining) та інструментальних засобів підвищення якості складних об’єктів. Отримано нові наукові результати, що мають переваги над існуючими рішеннями. Запропоновано новий метод реалізації процесів інтелектуального управління якістю виробів у складних системах. Запропоновано нову гібридну модель, яка заснована на інтеграції розширених імовірнісних і нечітких мереж Петрі, модифікованих нечітких правилах продукцій на знаннях і штучних нейронних мережах. Набув подальшого розвитку інтелектуальний метод оперативного аналізу даних та знань, який дозволяє функціонування як при імовірнісному оцінюванні, так і при нечітких вихідних даних нечіткого логічного виведення Мамдані й Такагі – Сугено – Канга. Набула подальшого розвитку гібридна модель процесів, яка функціонує в нечіткому просторі станів і додатково включає модулі адаптації й аналізу функцій тестування. Отримані теоретичні результати обґрунтовані, досліджені й впроваджені у виробництво, де вони показали свої переваги й значущість над відомими рішеннями. Подальшим етапом дослідження у даному напрямку є удосконалення математичного апарату побудови моделей і адаптація отриманих результатів на об’єктах предметних галузей. The thesis is devoted to development of new knowledge oriented intellectual methods and models of analysis of complex objects which operate under conditions of uncertainty and restrictions on the material resources. The paper considers an analytical survey of development features of intellectual methods, analytical models (Data miming) and tools improving the quality of complex objects. New scientific results, which have advantages over existing solutions, have been obtained. A new implementation method of intellectual quality control processes of products in complex systems has been offered. Considered a new hybrid model based on integration of advanced probabilistic and fuzzy Petri net, modified knowledge-based fuzzy production rules and artificial neural networks. The method of operational data analysis has got further development, which allows operating with both probabilistic estimation and fuzzy initial data of Mamdani or Takagi-Sugeno-Kang fuzzy inference. The hybrid process model has got further development, which operates in fuzzy state space and additionally includes modules of adaptation and analysis of testing functions. The obtained theoretical results have been justified, investigated and introduces into production, where they showed their importance and advantages over the known solutions. Prospects for further research in the given area include improvement of the mathematical apparatus of model constructing, and adaptation of the obtained results on the objects of subject areas.Публікація Удосконалення мережевих методів та алгоритмів оцінки та урахування іоносферних і тропосферних затримок сигналів глобальних навігаційних супутникових систем в задачах точного позиціонування(2015) Безсонов, Є. А.У дисертаційній роботі вирішено актуальну науково-практичну задачу підвищення точності оцінки та урахування затримок сигналів ГНСС в іоносфері і тропосфері шляхом удосконалення відомих і створення нових методів і алгоритмів обробки фазових спостережень, що дозволяє виконувати позиціонування на сантиметровому рівні точності. Викладені результати удосконалення методу побудови, оптимізації і верифікації регіональної моделі повного електронного вмісту іоносфери, яка використовує однозначні фазові спостереження мережі перманентних референцних ГНСС-станцій і дозволяє істотно підвищити точність позиціонування в порівнянні з відомими моделями та може бути застосована у багатопозиційних системах широкозонної диференціальної навігації, точного позиціонування, високоточного моніторингу іоносферних процесів. Проведено оцінювання просторово-часових характеристик трендової і варіаційної складових диференціальних іоносферних затримок для міжбазових відстаней ~50÷200 км в різні сезони року. Визначені обмеження однобазового диференціального режиму координатних визначень і показано, що використан- ня подвійної (мережевої) диференціальної корекції дозволяє на ~30÷40 % ефек- тивніше компенсувати іоносферні затримки сигналів ГНСС. Вдосконалено метод оцінювання та урахування зенітних тропосферних затримок з використанням диференціальних фазових спостережень, який дозволяє визначати тропосферні затримки з сантиметровою точністю на міжбазових відстанях ~50÷200 км і дає можливість підвищити точність визначення ви- соти на 20÷90% (залежно від сезону). This thesis solves the scientific and practical task on improving the accuracy of estimation and accounting of GNSS signals delays in ionosphere and troposphere by updating of the known methods and creating of new methods and algorithms of carrier- phase observations processing, which allows to perform positioning at centimeter- level accuracy. The results of development of the method of formation, optimization and verification of the regional two-dimensional model of the ionospheric total electron content (TEC), which uses unambiguous carrier-phase observations of the permanent reference GNSS stations network and allows to increase considerably the accuracy of positioning as compared with the known models are stated. The modelling is performed by joint least-squares estimation of the ionospheric TEC parameters and unknown nuisance parameters.Публікація Розвиток методів аналізу тонкопроводових антен з неліній-ними властивостями поверхневого імпедансу(2015) Уаiд, С. Р.На основі аналізу літературних джерел зроблено висновок про необхідність розвитку методів моделювання випромінювачів та розсіювачів, до складу яких входять нелінійні елементи з розподіленими та зосередженими параметрами, які відносяться до класу антен з нелінійним поверхневим імпедансом (АНПІ). У дисертації наведено нове розв’язання цієї актуальної задачі, а саме – створено метод аналізу проводових антен довільної конфігурації з нелінійними властивостями поверхневого імпедансу при нестаціонарному режимі їх роботи. Це розв’язання отримано на основі методу нелінійних інтегральних рівнянь, які сформульовані в просторово-часовій області для тіл з нелінійними граничними умовами. На основі розробленої моделі тонкопроводових АНПІ створено алгоритм і програму аналізу нестаціонарних режимів досліджуваних пристроїв. З їхньою допомогою вперше вивчено характеристики АНПІ з нерівномірним розподілом поверхневого імпедансу вздовж провідника. Показано, що за рахунок зміни абсолютних значень та форми розподілу нелінійності можна керувати розподілом струму на поверхні антени і, відповідно, формою діаграми спрямованості. Це стосується як основної робочої частоти антени, так і її вищих гармонік. Важливим також виявляється і тип джерела живлення антени, від якого значною мірою залежать її характеристики на частотах гармонік. На прикладі вібратора з нелінійними властивостями поверхневого імпедансу показано, що в нелінійних електродинамічних пристроях з індуктивним характером НПІ режими слабкої і сильної нелінійності мають суттєві відмінності. При цьому, в режимі сильної нелінійності не виконуються умови конвергентності і за певних значень параметрів нелінійності та рівня зовнішнього впливу спостерігаються явні ознаки режиму динамічного хаосу: безперервний спектр коливань, сильна залежність форми коливань струму від незначних змін початкових умов. Based on the analysis of the literature that the need to develop modeling tech-niques radiators and scatterers, which include nonlinear elements with distributed and lumped parameters that belong to a class of antenna with nonlinear surface imped-ance (ANSI).The dissertation presented a new solution to this actual problem – the namely method of analysis established wire antenna configuration with arbitrary non-linear properties of surface impedance in the non-stationary mode of operation. This solution is obtained on the basis of non-linear integral equations formu-lated in the space-time domain for bodies with nonlinear boundary conditions Based on the developed model thin-wirе ANSI created algorithm and program analysis non-stationary regimes studied devices. By their uses, firstly studied the characteristics of ANSI uneven distribution of surface impedance along the wire. It is shown that by changing the absolute values and forms of distribution of non-linearity can be controlled distribution of current on the antenna surface and thus form pattern. This applies to the basic operating fre-quency of the antenna and its higher harmonics. An important manifested type of power source antenna, which largely depends on its characteristics at frequencies of harmonics. For example vibrator with nonlinear properties of surface impedance shown that nonlinear electromagnetic devices with inductive nature NSI regimes of weak and strong nonlinearity are important differences. Thus, in the mode of strong nonlinearity convergence conditions are not met and in some nonlinearity parameter values and level of exposure there are clear signs of dynamical chaos mode: continuousПублікація Кубітні моделі та методи аналізу і діагностування цифрових пристроїв(2015) Багдаді Аммар Авні АббасМета дисертаційного дослідження – істотне підвищення швидкодії програмних і апаратних засобів аналізу цифрових пристроїв за рахунок збільшення розмірності структур даних і пам'яті на основі використання кубітних покриттів функціональних елементів, методів адресного паралельного моделювання, убудованого діагностування та ремонту, що дозволяє значно підвищити вихід придатної продукції завдяки створенню інфраструктури сервісного обслуговування. Основні результати: кубітні моделі опису цифрових систем і компонентів, які характеризуються компактністю опису таблиць істинності у формі Q-покриттів і дозволяють підвищити швидкодію програмних і апаратних засобів інтерпретативного моделювання обчислювальних пристроїв; матрична модель кубітних примітивів для реалізації комбінаційних схем, яка характеризується адресним об'єднанням Q-покриттів на елементах пам'яті, з'єднаних у цифрову схему за допомогою вектора станів ліній, і дає можливість відновлювати працездатність відмовних логічних примітивів; автоматна MQT-модель цифрового пристрою, яка характеризується використанням тільки адресовних структур пам'яті та операції транзакції для програмної і апаратної реалізації комбінаційних і послідовностних функциональностей та дозволяє створювати швидкодіючі та надійні обчислювачі для проектування сервісів кіберпростору; Q-метод інтерпретативного справного моделювання цифрових схем, який характеризується використанням компактних Q- покриттів замість таблиць істинності та дозволяє істотно підвищити швидкодію аналізу схеми. The aim of the research is a considerable increase in the speed of hardware and software for analyzing digital units by increasing the dimension of the data structures and memory through the use of qubit coverage of functional elements, methods for address parallel simulation, embedded diagnosis and repair, which make it possible significantly increase the product yield due to the development of the infrastructure IP. The main results are the following: qubit models for description of digital systems and components, which are characterized by compact representation of the truth table in the form of Q-coverage and allow improving the performance of software and hardware interpretative simulation of computing units; matrix model of qubit primitives to implement combinational circuits that is characterized by address union of Q-coverage on memory cells, connected in a digital circuit by using the state vector of lines, provides an opportunity to repair faulty logic primitives; MQTautomaton model of digital unit that is characterized by using only addressable memory structures and operation of transaction for software and hardware implementation of combinational and sequential functionalities, allows creating fast and reliable calculators for designing cyberspace services; Q-method for interpretative fault-free simulation of digital circuits that is characterized by the use of compact Q-coverage instead of the truth table makes it possible to significantly improve the performance of circuit analysis.Публікація Методи та моделі маршрутизації мобільних об'єктів на основі інтеграції ймовірнісної та нечіткої логіки(2015) Дрюк, О. Д.У роботі проведено аналітичний огляд особливостей розвитку інтелектуальних методів, моделей та підходів до оптимізації керування мобільними об’єктами. Отримано нові наукові результати, що мають переваги над існуючими рішеннями. Запропонований новий гібридний метод маршрутизації мобільних об’єктів. Запропонована нова гібридна модель процесів керування мобільними об’єктами на основі інтеграції стохастичних, нечітких та мережевих моделей. Удосконалений новий метод аналізу процесів на гібридній моделі, який додатково включає інтелектуальні функції та технології на основі правил функціонування об’єкта на множині частинних моделей. Набула подальшого розвитку нечітка модель переміщення мобільного об’єкта, заснована на формальних правилах переміщення, що дозволяє оптимізувати керування системою мобільних об’єктів на основі розроблених критеріїв. Отримані теоретичні результати обґрунтовані, досліджені й впроваджені у виробництво, де вони продемонстрували свої переваги й значимість над відомими рішеннями. Подальшим етапом дослідження у даному напрямку є удосконалення математичного апарату побудови моделей та адаптація отриманих результатів на об’єктах предметних областей. The thesis is devoted to the development of new methods and models of intelligent control of complex objects, which operate under conditions of uncertainty and constraints on time and material resources. An analytical review of development features of intelligent methods, models and approaches to optimization of mobile objects control. Obtained new scientific results that have advantages over existing solutions. A new hybrid method for routing mobile objects has been proposed. A new hybrid model of mobile objects control processes based on the integration of stochastic, fuzzy and network models has been developed. Advanced new method of analysis processes on hybrid models, further comprising intelligent features and technologies based on the rules of the object on the set of partial models. Further developed fuzzy model of mobile object movement, based on formal movement rules to optimize the system of mobile objects management based on the developed criteria. The theoretical results have been proved, explored and introduced in production, where they showed their significance and advantages on the known solutions. A further step in this direction research is to improve the mathematical apparatus building models and adaptation of the results to sites domains.Публікація Метод управління трафіком в процесі встановлення ТЕ-тунелів з використанням лінійних МAX-PLUS моделей(2015) Лозинська, В. Н.Дисертаційна робота присвячена розв’язанню актуальної наукової задачі, пов’язаної зі вдосконаленням моделей та методів управління трафіком в MPLS- мережах в умовах реалізації стратегій QoS-маршрутизації та методів оцінки параметрів ТЕ-туннелів шляхом розробки відповідних математичних моделей для підвищення ефективності використання мережних ресурсів в цілому. У ході проведеного аналізу встановлено, що впроваджені в MPLS комплекси для забезпечення гарантованої якості обслуговування трафіка, що надходить, мають низку функціональних обмежень, що пов’язано з недосконалістю математичних моделей та методів, на яких вони основані. Отримав подальший розвиток метод маршрутизації «від джерела» з підтримкою якості обслуговування для MPLS-мереж. Новизна методу полягає в формуванні композитних маршрутних метрик, які розраховуються на основі функцій «корисності» трафіка різних телекомунікаційних послуг, що дозволило формувати ТЕ-тунелі відповідно до характеристик трафіка, який ними буде передано. Вперше розроблено метод оцінки пропускної здатності віртуальних каналів телекомунікаційної мережі, який відрізняється від існуючих використанням прогностичної ARFIMA-моделі, що враховує фрактальні властивості трафіка. Це дозволило зменшити обсяг використаного канального ресурсу із забезпеченням заданих параметрів обслуговування в середньому на 18%. Вперше розроблено дискретно-подієву модель роботи планувальника приграничного мережного пристрою в базисі Max-Plus алгебри, яка враховує затримки на обробку пакетів та дозволяє формалізувати процес управління чергами 18 пакетів в просторі станів. На основі розробленої моделі запропоновано метод оцінки розміру буферів черг MPLS-маршрутизатора, який дозволяє підвищити точність оцінок міжкінцевих затримок передачі трафіка. Запропоновані математичні моделі та метод можуть бути покладені в основу відповідних протокольних рішень під час розв’язання задач управління трафіком в транспортних MPLS-мережах, при балансуванні навантаження в приграничних мережних пристроях, при визначенні обсягу пропускної здатності для ТЕ-тунелів, що встановлюються, та їхньої маршрутизації з підтримкою якості обслуговування. Dissertation is devoted to actual scientific task solving. It is connected with traffic management models and methods in MPLS-network improvement under the implementation of the QoS-routing strategy and TE-tunnel’s parameters estimation method conditions by right mathematical models designing on purpose of more efficient network resources using in generally. Main parts of TE-tunnel’s setting process mathematical models are designed. They are TE-tunnel’s setting bandwidth estimation, route metrics forming for its routing and queue service planning for guarantee quality of service in border routers. The results novelty is in more efficient network resources using with guarantee quality of service assurance by decreasing channel resource capacity in virtual channel’s setting process. Proposed mathematical models and method can be the basis of right protocols in which are MPLS-network’s management traffic tasks solving. They can be used for load balancing in border routers, TE-tunnels’ setting bandwidth rate and its routings with guarantee quality of service.Публікація Методи класифікації функціонального стану технологічного процесу в автоматизованій системі керування вирощуванням монокристалів(2015) Берест, О. Б.Дисертаційна робота присвячена підвищенню функціональної ефективності системи підтримки прийняття рішень (СППР) у складі АСКТП вирощування великогабаритних лужно-галоїдних сцинтиляційних монокристалів із розплаву за умов апріорної невизначеності. Надання СППР властивості адаптивності досягається шляхом її машинного навчання у рамках інформаційно-екстремальної інтелектуальної технології аналізу даних, яка ґрунтується на максимізації інформаційної спроможності системи. Розроблено новий інформаційно-екстремальний метод аналізу і синтезу здатної навчатися СППР на базі контейнерів циліндроїдної форми та запропонованого трьохальтернативного інформаційного критерію оптимізації параметрів функціонування, який дозволяє будувати безпомилкові за навчальною матрицею вирішальні правила за умов складних конфігурацій розподілу реалізацій образу в просторі ознак. Удосконалено метод оптимізації часового інтервалу формування корегуючих дій та інтервалу спостереження нестаціонарного технологічного процесу, на якому параметри регуляторів залишаються незмінними. Крім того, удосконалено метод візуалізації багатовимірних даних, представлених в бінарному вигляді з урахуванням характеристик та особливостей об’єкту керування, який дозволяє зображувати поточний функціональний стан технологічного процесу у вигляді точки на площині зі спірально розташованими осями координат. Розроблено програмне забезпечення здатної навчатися СППР і розглянуто питання її фізичної реалізації у вигляді окремого модуля другого рівня АСКТП вирощуванням великогабаритних сцинтиляційних монокристалів із розплаву на установці типу «РОСТ» та запропоновано метод візуалізації даних в процесі машинного навчання. Thesis is devoted to the increasing of the functional efficiency of decision support system (DSS) of automateted control system of the growing large alkali halide scintillation single crystals from the melt under conditions of a priori uncertainty. Providing DSS with adaptability is reached by machine learning using extreme intellectual information technology of data analysis, which is based on maximizing the ability of information system. A new information-extreme method of analysis and synthesis, which is based on cylindroid shapes of class recognition containers was developed. Also it is proposed to use three alternative information criterion of functionality optimization, which allows to generate unmistakable decision rules for conditions of complex configurations and distributions of realizations in feature space. Method of time interval formation of corrective action and observation interval optimization of unsteady process when regulators parameters remain unchanged was proposed. In addition, visualization method of multidimensional data presented in binary form is also improved. This allows to represent current functional status of the process as a point in the plane. It was also developed necessary DSS software and it was considered physical implementation as a separate module to the second level of the automated control system of the growing large alkali halide scintillation single crystals from the melt. Method of data visualization under the machine learning is also was improved.Публікація Розвиток методів просторової локалізації об’єктів на базі технології радіочастотної ідентифікації(2015) Савочкін, Д. О.Удосконалено трилатераційний метод двовимірної просторової локалізації при використанні пасивних RFID-міток. Розроблено комбінований метод локалізації, що підвищує точність за рахунок об'єднання різних алгоритмів локалізації та видів вимірювальної інформації. Розроблено методику пошуку оптимального розміщення антен RFID-системи просторової локалізації, яка мінімізує середню помилку локалізації при використанні комбінованого методу локалізації на базі алгоритмів трилатерації, відбитків і перетинів. Розроблено методику імітаційного моделювання процесу отримання вимірювальної інформації від пасивних RFID-міток. Розроблено методику верифікації блоку квадратурного перетворення, що виділяє фазову вимірювальну інформацію з сигналів відповіді пасивних RFID-міток. The two-dimensional spatial trilateration localization method is improved for use with passive RFID tags. The combinational localization method that increases accuracy by jointly using several localization algorithms and measurement data of different types is developed. The procedure of search for the optimal placement of RFID localization system antennas, which minimizes the average localization error for the case of using the combinational method based on the algorithms of trilateration, fingerprinting and intersections, is developed. The procedure for simulation of the process of obtaining measurement data from passive RFID tags is created. The procedure for verification of a quadrature transformation unit, which extracts phase measurement data from response signals of passive RFID tags, is developed.Публікація Методи аналізу властивостей високорівневих конструкцій та схем формування циклових ключів блокових симетричних шифрів(2015) Кайдалов, Д. С.Дисертаційна робота присвячена аналізу властивостей сучасних блокових симетричних шифрів, зокрема проводиться оцінка ефективності основних високорівневих конструкцій блокових шифрів, а також аналізується стійкість блокового шифру Калина до атак на зв’язаних ключах. У роботі отримано оцінки ефективності трьох високорівневих конструкцій блокових шифрів: ланцюга Фейстеля, схеми Лей-Месі та SPN-структури. Встановлено, що SPN-структура є найбільш ефективною конструкцією за критерієм розрізнювання із випадковою функцією/ перестановкою. Запропонований метод оцінки стійкості блокових шифрів на основі Rijndael-подібної SPN-конструкції до атак на зв’язаних ключах (практичний критерій). Застосування методу до алгоритму шифрування Калина показало захищеність цього перетворення до розглянутого класу атак. The thesis is devoted to the analysis of properties of modern block symmetric ciphers. In particular the efficiency of basic high-level constructions for block ciphers is being analyzed. Security of block cipher Kalina against related-key attacks has also been researched. The thesis represents a complex of researches with the main three high-level constructions: Feistel scheme, Lai-Massey scheme and SPN-structure. Research results confirm that the SPN-structure is the most efficient high-level construction according to the criteria of distinguishing with the random function. Research on security analysis of the Kalina cipher against related-key attacks was also made. The developed method proved that this cipher is secure against such attacks.Публікація Методи та засоби комп'ютерного планування пластичних втручань на обличчі людини(2015) Кнігавко, Ю. В.Дисертаційна робота присвячена розробці нових методів і засобів комп'ютерного планування пластичних втручань на обличчі людини. Робота є синтезом трьох напрямків досліджень, об'єднаних спільною метою. З них два напрямки є прикладними, а один можна назвати методичним, оскільки методи, розроблені в рамках цього напрямку, дозволяють практично вирішувати прикладні завдання дослідження. Розробка методів і засобів комп'ютерного планування пластичних втручань на обличчі людини проводилася у такій послідовності. Спочатку були створені алгоритми і програми, які забезпечили можливість проведення 3D візуалізації голови людини. При цьому вирішувалися завдання створення такого програмного комплексу, який може бути розгорнутим на будь-якому універсальному швидкодіючому комп'ютері. З цією метою дисертантом розв’язувалися такі завдання: початкова комп'ютерна обробка томографічних даних або даних фотограмметрії; тональна компресія; сегментація томографічних зображень голови людини; визначення контурів сегментованих областей на томографічних зрізах; розробка підсистеми візуалізації полігональних моделей анатомічних структур; побудова полігональних моделей обличчя і верхніх дихальний шляхів за результатами рентгенівського томографічного дослідження голови пацієнта; розробка методів програмної об'ємної візуалізації томографічних даних; використання методу програмного відкидання променів і створення алгоритму його реалізації. Реалізація завдань цього напрямку досліджень дозволила перейти до розв’язання наступного завдання ‑ створення віртуальних комп'ютерних моделей обличчя людини з можливістю такої корекції, яка відповідає бажанням пацієнта і відповідним природним біолого-анатомічним вимогам. Для випадку вирішення зазначеної задачі з використанням даних комп'ютерної томографії розроблений метод пересування зв’язаних вокселів, як найменш трудомісткий, а, отже, і найбільш швидкодіючий. Створені два методи пересування елементів томографічного об’єму, з яких один ефективний при не надто великій кількості вокселів, що пересуваються, але допускає біологічну інтерпретацію процесу, а другий ‑ абстрактний та універсальний. Для другого метода визначено клас функцій, які надають можливості різних за формою трансформацій просторової моделі і при цьому позбавлені невизначеностей, які випливають з вимоги відсутності стикання вокселів. Для моделювання пластичних втручань на обличчі людини з використанням даних фотограмметрії розроблений спосіб 3D деформації, що ґрунтується на деформуючих перетвореннях полігональних сіток і застосуванні деформуючого інструменту. Вивчено і обґрунтовано використання різних функціональних виразів, що визначають характер використання цього «деформуючого пензля». Третій напрямок досліджень ‑ визначення показань до ринопластики на основі створення тривимірної моделі верхніх дихальних шляхів і оцінки, виходячи з цієї моделі, функціональної спроможності повітряпровідної системи носа пацієнта. Для цього побудована аеродинамічна модель, яка описує рух повітря у верхніх дихальних шляхах, що разом з результатами інтроскопічних досліджень дозволило створити ітераційний алгоритм, який дає можливість оцінити стан повітряносних шляхів носа і, тим самим, встановити їх функціональну спроможність, а, отже, і наявність або відсутність показань до ринопластики. The thesis is devoted to the development of new methods and tools for plastic interventions planning on the human face. The work is a synthesis of three research areas united by a common purpose. The two areas have applied nature. And one are can be called methodical because the methods developed in this direction allow practically solve applied problems of research. The development of methods and tools of computer planning plastic interventions on the human face was performed in the following sequence. First the algorithms and programs that provide the possibility of 3D visualization of the human head were created. Thus formulate and solve the task of creating a software that can be deployed to any universal high-performance computers. By the author of the work were resolved local problems: initial computer processing CT data or photogrammetric data, tone mapping, segmentation of CT images of the human head, defining the contours of the segmented regions on the CT slices, development of a visualization subsystem for the rendering of polygonal models of facial anatomical structures and upper respiratory tract, constructing polygonal models of a face and upper respiratory tract by processing CT of the patient’s head, development of methods for software volume rendering of CT data. The implementation of these research goals allows move to the next problem - the problem of creation of virtual computer models of the human face, that allow to make necessary adjustments in the model according to the wishes of the patient and corresponding to the natural biological and anatomical requirements. For the solution of this problem by using a CT data method based on voxels moving was developed. This method is the least operator time-consuming and, also most fast. Two methods of moving elements tomographic volume were developed. One of them is effective if not many voxels was moved, but allows biological interpretation of the process. The second one is more abstract and more universal. For the second method the was developed class of functions that provide opportunities for various forms of transformation of the spatial model. For plastic interventions modeling using photogrammetric data the deformation method was developed. This 3D deformation method is based on polygonal meshes transformations and using of the sculpting brush. The use of different functional expressions that define the nature of the use of this deformation tool was investigated. The third area of research was the solving problem of determining the indications for rhinoplasty through the creation of three-dimensional model of the upper respiratory tract and evaluation on the basis of this model, the functional viability of the patient's nose breathe. For this purposes was built aerodynamic model which describes the movement of air in the upper airways, and together with the results of introscopic investigations allows to create iterative algorithm for establishing functional viability of the patient’s nose, and, therefore, the presence or absence indications for rhinoplasty.Публікація Розвиток теорії і техніки багатопозиційних пасивних радіотехнічних систем високоточної частотно-часової синхронізації(2015) Костиря, О. О.Підвищення точності, надійності, безперервності та ефективності кординатно-часового та частотного забезпечення з використанням ГНСС перебуває під пильною увагою світового наукового співтовариства, про що свідчать як публі- кації, так і виконувані роботи з розгортання систем функціонального космічного доповнення. Однак розв'язання зазначених завдань можливо за допомогою пасивних систем, які мають ряд безперечних переваг – економічність, завадоза- хищеність, скритність, надійність, безпечність, електромагнітна сумісність. Широке впровадження пасивних систем стримується недостатнім розвитком теорії і практики їх побудови. З метою подолання зазначеного протиріччя в дисертації вирішена актуальна науково-технічна проблема розробки теоретич- них положень, методів і способів створення високоточних пасивних радіотехні- чних систем синхронізації часу та частоти, що забезпечує підвищення надійно- сті, достовірності, безперервності та ефективності отримання частотно-часової інформації. Результати експериментальних досліджень розроблених багатопозиційних пасивних систем синхронізації свідчать про можливість реалізації та працездатність принципів побудови, спроможність досягнення високих показників з точності звірення шкал часу еталонів - одиниці наносекунд при вимірах за обвідною сигналу і сотні пікосекунд при фазових вимірах, що знаходиться на рівні показників GPS і ГЛОНАСС в режимі диференціальної корекції. Побудова пасивної системи синхронізації з використанням сигналів спільних джерел як наземного, так і космічного базування, дозволяє отримати високу надійність функціонування системи в цілому та забезпечити єдність частотно-часових вимірювань в Україні. The work is devoted to the development of the theory and techniques of passive multi-radio systems for high precision time and frequency synchronization using signals of third-party sources and is aimed at solving scientific and technical problems of development of theoretical principles, methods and ways of creating high-precision passive radio systems synchronization of time and frequency that provides improved reliability, accuracy, continuity and efficiency for time-frequency information. Offers principles, methods, ways and means of building these systems, which allows to obtain the synchronization accuracy on the level of existing foreign systems to ensure secrecy, electromagnetic compatibility, efficiency and noise immunity.Публікація Моделі, методи та засоби дослідження режимів роботи блокових симетричних шифрів по критеріям стійкість-складність(Харк. нац. ун-т радіоелектроніки, 2015) Мордвінов, Р. І.У дисертаційній роботі запропоновано та обґрунтовано методи дослідження статистичних властивостей випадкових послідовностей. Запропоновано метод статистичного тестування, який заснований на наборі тестів NIST STS, але відрізняється тим, що враховує похибки вихідних послідовностей та дає оцінку не тільки послідовності зокрема, а й джерелу послідовності в цілому. Це стало можливим завдяки використанню теорії ймовірності та проходженню тестів на великій кількості (100 шт.) послідовностей для одного джерела даних. Отримано результати статистичного тестування для БСШ ДСТУ ГОСТ 28147:2009, AES, Belt, Camellia, та БСП «Калина». Отримані результати показали високі статистичні властивості з точки зору випадковості, що є гарним показником для БСШ. Крім того тестування показало, що отримана оцінка є дуже точною, адже повторне тестування з іншими вхідними даними отримали майже таку саму оцінку під час тестування. Розроблено прискорену математичну модель, яка дозволяє значно прискорити швидкодію БСП «Калина» за рахунок використання таблиці передобчислень, яка замінює елементи, що часто використовуються у алгоритмі. In the thesis proposed and proved methods of statistical properties of random sequences. The method of statistical testing, which is based on a set of tests NIST STS, but differs in that takes into account the error output sequences and evaluates not only the sequence in particular, but also the source of a whole sequence. This is made possible through the use of probability theory and testing on a large number (100 pcs.) Sequences for a data source. The results of statistical tests for SBC GOST 28147:2009, AES, Belt, Camellia, and SBC "Kalina". The results showed high statistical properties in terms of cases, which is a good indicator for SBC. Besides testing has shown that the resulting score is very accurate, because retest with other inputs received nearly the same assessment in testing. Developed accelerated mathematical model that can significantly accelerate the speed of the SBC "Kalina" by using the precomputing table which replaces often usable elements of the algorithm.
- «
- 1 (current)
- 2
- 3
- »