Добірка наукової літератури з теми "Програмовані логічні системи"

Метою даної роботи є дослідження принципів динамічного з’єднання фотоелементів в сонячних панелях. У роботі показано переваги використання таких з’єднань, оскільки розвиток техніки потребує живлення пристроїв з різними напругами та струмами. Відмічено, що динамічні з’єднання можуть формувати довільну топологію ланцюгів генерування електричної енергії шляхом зміни з’єднань з послідовних на паралельні і навпаки. Також відмічено, що є можливість динамічної зміни параметрів безпосередньо при експлуатації системи. Відзначено, що для динамічної коммутації паралельних і послідовних з’єднань потрібно три елементи електричного кола, показно елементарне коло динамічних з’єднань, та коло для динамічної зміни полярності вихідної напруги сонячної панелі. Побудована базова схема динамічної комутації фотоелементів в сонячній панелі з використанням польових транзисторів. Запропоновано шляхи вирішення проблем, які пов’язані з паралельним з’єднанням та паразитними елементами. Розглянуто використання двох, з‘єднаних на зустріч, MOSFET-транзисторів для динамічної комутації. Відмічено, що для керування таким колом доцільно використовувати програмовані логічні контролери, які можуть керувати коммутацією з використанням зазделегідь завантаженої мікропрограми та є гнучкими в оперативному керуванні і мають додаткові функції моніторингу та зв’язку з віддаленими пристроями. На прикладі чотирьох фотоелементів показана конструкція сонячної панелі з динамічними з’єднаннями фотоелементів і використанням SMD-транзисторів та керуванням за допомогою контролера. Відмічено, що в такій конструкції всі елементи можуть бути максимально інтегрованими. Наголошено, що застосування динамічної комутації також є кроком до формування змінного струму різної форми. Відмічено певні обмеження запропонованої системи, зокрема кратність кількості фотоелементів в панелях, та намічено її подальший розвиток. Бібл. 14, рис. 5.

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

Актуальність теми дослідження. Вирішення ряду таких актуальних проблем імпульсних напівпровідникових перетворювачів енергії (ІНПП) для бортових систем, що входять до складу рухомих платформ і безпілотних літальних апаратів (БПЛА), як підвищення точності стабілізації цільового параметру (кута, швидкості, напруги, струму), а також покращення динаміки систем автоматичного керування, масо-габаритних та теплових характеристик можливо шляхом розробки нових структур ІНПП та алгоритмів керування ними. Постановка проблеми. Зміна періоду та форми резонансної кривої (РК) напруги/струму в квазірезонансних імпульсних перетворювачах (КРІП) в залежності від імпедансу навантаження призводить до неузгодженості сигналу закриття силового транзисторного ключа (СТК) з моментом переходу РК через нульове значення, а отже, – до різкого зниження ККД системи. Аналіз останніх досліджень і публікацій. Типові реалізації частотно-імпульсних модуляторів (ЧІМ) містять у своєму складі керований напругою генератор та одновібратор, а повністю керовані рішення виконують на основі реверсивних лічильників та керуючого автомату. В якості новітніх ланок ЧІМ для задач керування ІНПП вводяться спостерігачі імпедансу навантаження та модулятори, побудовані на кільцевих зсувних регістрах та лініях затримки. Швидкодія ЧІМ підвищується за рахунок каскадування та використання табличного синтезу сигналу. Виділення недосліджених частин загальної проблеми. Існуючі рішення не корегують тривалість імпульсу керування СТК для забезпечення його комутації при нульових значеннях напруги/струму, що нівелює можливість практичного втілення КРІП з широким діапазоном навантажень. Постановка завдання. Стаття присвячена розробці структури цифрового частотно-імпульсного модулятора з адаптивною корекцією тривалості імпульсу (ЦЧІМ-АКТІ) та метода автоматичного слідкування за РК з метою прогнозування її переходу через нуль. Викладення основного матеріалу. Запропонована схемотехнічна структура та алгоритм функціонування модулятора у складі блоків ЦЧІМ та АКТІ на основі декількох цифрових автоматів, набору лічильників та арифметико-логічних пристроїв. Пара зовнішніх гістерезисних компараторів детектує перехід резонансної кривої через порогові рівні, розміщені симетрично відносно нульового рівня. Висновки відповідно до статті. Створено новий завершений цифровий блок, який реалізований на основі програмованої логічної інтегрованої схеми (ПЛІС) з використанням мови VHDL. Введення цього блоку до складу стабілізатора напруги ланки постійного струму (ЛПС) на основі КРІП в електроприводі точного позиціювання рухомої платформи з безколекторним двигуном постійного струму (БДПС) дозволяє стабілізувати напругу ЛПС з точністю до 1%. Роздільна здатність за часом ширини імпульсу та паузи не перевищує 5нс.

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

Сучасний світ прямує в напрямку побудови гнучкого виробництва, яке передбачає задоволення потреб кожного клієнта, виготовлення якісного продукту, високоефективне використання всіх ресурсів підприємства. Під час дослідження, результати якого наведені у статті, було розглянуто моделі архітектур Індустрії 4.0, які передбачають задоволення принципів побудови ефективного виробництва. Детально був проведений аналіз німецької моделі Reference architecture model for Industrie 4.0. Її основною ідеєю є представлення всіх активів підприємства у вигляді кібер-фізичних систем та забезпечення можливості комунікації із зовнішнім світом, усуваючи при цьому власні кордони для встановлення зв’язку з активами інших підприємств. Модель передбачає наявність єдиної, сумісної для всіх учасників, мережі. Як механізм інтеграції всіх компонентів було визначено необхідність застосування хмарних технологій. Тому метою роботи освітленої у статті було дослідження шляхів інтеграції існуючих АСУТП з урахуванням їх реалізацій у вигляді SCADA-програм та програмованих логічних контролерів, із хмарною платформою. З метою задоволення вимог моделі Індустрії 4.0 були запропоновані конкретні варіанти реалізації передачі історичних даних та даних реального часу зі SCADA-програм та програмованих логічних контролерів у хмару Microsoft Azure, при чому використовувалися її служби: IoT Hub, Service Bus, Azure SQL Database. Дослідження включало аналіз найбільш поширених комунікаційних можливостей SCADA-програм, аналіз існуючих хмарних платформ користувацького та промислового спрямування, вибір конкретної хмарної платформи та дослідження служб, які вона надає, пошук шляхів інтеграції SCADA-програм та програмованих логічних контролерів з обраною хмарною платформою, використовуючи попередній аналіз, подібні рішення та існуючі додаткові ресурси

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

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

Під час роботи над проектом було досліджено процес керування роботою пожежної безпеки програмованих логічних систем. Також було звернено увагу на розміщення таких датчиків: димний, газовий, водяний . Використовував методи дослідження такі як метод синтезу та аналізу. А метою досліджуваної роботи була розробка та моделювання роботи на платі системи на програмованій логіці для керування пожежної системи. Матеріали дипломної роботи можна використовувати для створення справжньої автоматичної системи керування пожежною безпекою будинку.

Однією з важливих сфер застосування програмних систем у системній інженерії є програмування різних мікропроцесорних систем управління. До таких систем належать програмовані логічні контроле- ри (ПЛК), які часто використовуються для управління різними промисловими об’єктами та ін. За розрахунковою потужністю, кількістю входів/виходів і відповідно ціною ПЛК можна розділити на кілька груп. Сучасні ПЛК мають однотипну побудову, схожі інструменти програмування, їх мови програмування відповідають одному стандарту IEC 61131-3.

Під час роботи над проектом було досліджено процес керування роботою автостоянки на базі програмованих логічних інтегральних схем. Також було звернено увагу на на автоматичну система підрахунку кількості авто на стоянці і інформування водіїв про кількість вільних місць. Використовував методи дослідження такі як метод синтезу та аналізу. А метою досліджуваної роботи була розробка та моделювання роботи на платі системи на програмованій логіці для керування роботи автостоянки. Матеріали дипломної роботи можна використовувати для створення справжньої автоматичної системи керування автостоянкою.

Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.05 – комп'ютерні системи та компоненти. – Національний технічний університет "Харківський політехнічний інститут", Харків, 2018 р. Дисертаційна робота присвячена розробленню методів та засобів забезпечення виконання вимог до кібербезпеки систем на програмовній логіці. Науковими результатами є: 1) вперше запропонований метод кейс-орієнтованого оцінювання кібербезпеки цифрових компонентів і систем на програмовній логіці, який базується на використанні множини взаємопов'язаних формальних і напівформальних процедур та аналізі можливих помилок при оцінюванні, що дозволяє підвищити рівень запевнення виконання вимог; 2) удосконалено онтологічну модель та нотацію для оцінювання кібербезпеки систем на програмовній логіці, яка, на відміну від відомих, враховує їх процесно-продуктні вразливості та додаткову декомпозицію вимог, а також вводить алгоритми дій при аналізі виконання вимог, що дозволяє підвищити достовірність оцінювання; 3) удосконалено показники глибини деталізації та чіткості формування вимог до кібербезпеки шляхом класифікації вимог з урахуванням можливості їх декомпозиції, а також наявності, типу і структури свідоцтв реалізовності, що дозволяє оцінити граничні значення методичних похибок при оцінюванні та сформувати рекомендації щодо деталізації вимог; 4) отримав подальшого розвитку метод забезпечення інформаційної кібербезпеки цифрових компонентів і систем на програмовній логіці, який, на відміну від відомих, аналізує невідповідності вимог з використанням процедур опису вразливостей і оцінки критичності наслідків втручань, а також визначає множини контрзаходів за критерієм "безпека-вартість", що дозволяє зменшити ризики до прийнятного рівня. Запропоновані методи та засоби дозволяють підвищити достовірність оцінювання та забезпечення виконання вимог до кібербезпеки систем на програмовній логіці.
Thesis for scientific degree of candidate of technical sciences (philosophy doctor) in the specialty 05.13.05 – computer systems and components. – National Technical University "Kharkіv Polytechnic Institute", Kharkіv 2018. The dissertation is devoted to the development of methods and tools of ensuring the cybersecurity requirements compliance of the programmable logic systems. The scientific results are: 1) for the first time, a case-oriented method for the cybersecurity evaluation of digital components and systems on programmable logic is proposed, which is based on using a set of interrelated formal and semi-formal procedures and analyzing possible gaps in the evaluation, that allows increasing the safety and security requirements assurance; 2) the ontological model and notation for cybersecurity evaluation of programmable logic – based systems is improved, which unlike the known ones, takes into account its process-product vulnerabilities and additional decomposition with the introduction of algorithms of requirements compliance actions, which allows increasing the reliability of the evaluation; 3) the indexes of cybersecurity requirements clarity and depth detail are improved taking into account the possibility of their decomposition, as well as the presence, type, and structure of evidence of its implementation, which allows to estimate the limits of methodological errors in the evaluation and to formulate recommendations concerning the requirements detailing; 4) the method of cybersecurity ensuring for digital components and systems on the programming logic have been further developed, which unlike the known ones, allows analyzing the discrepancies of the requirements using the procedures for describing the vulnerabilities and assessing the criticality of the consequences of the intrusions as well as the defining of a set of countermeasures by the "cybersecurity-cost" criterion, that allows risk reduction to an acceptable level.

Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.05 – комп'ютерні системи та компоненти. – Національний технічний університет "Харківський політехнічний інститут", Харків, 2018 р. Дисертаційна робота присвячена розробленню методів та засобів забезпечення виконання вимог до кібербезпеки систем на програмовній логіці. Науковими результатами є: 1) вперше запропонований метод кейс-орієнтованого оцінювання кібербезпеки цифрових компонентів і систем на програмовній логіці, який базується на використанні множини взаємопов'язаних формальних і напівформальних процедур та аналізі можливих помилок при оцінюванні, що дозволяє підвищити рівень запевнення виконання вимог; 2) удосконалено онтологічну модель та нотацію для оцінювання кібербезпеки систем на програмовній логіці, яка, на відміну від відомих, враховує їх процесно-продуктні вразливості та додаткову декомпозицію вимог, а також вводить алгоритми дій при аналізі виконання вимог, що дозволяє підвищити достовірність оцінювання; 3) удосконалено показники глибини деталізації та чіткості формування вимог до кібербезпеки шляхом класифікації вимог з урахуванням можливості їх декомпозиції, а також наявності, типу і структури свідоцтв реалізовності, що дозволяє оцінити граничні значення методичних похибок при оцінюванні та сформувати рекомендації щодо деталізації вимог; 4) отримав подальшого розвитку метод забезпечення інформаційної кібербезпеки цифрових компонентів і систем на програмовній логіці, який, на відміну від відомих, аналізує невідповідності вимог з використанням процедур опису вразливостей і оцінки критичності наслідків втручань, а також визначає множини контрзаходів за критерієм "безпека-вартість", що дозволяє зменшити ризики до прийнятного рівня. Запропоновані методи та засоби дозволяють підвищити достовірність оцінювання та забезпечення виконання вимог до кібербезпеки систем на програмовній логіці.
Thesis for scientific degree of candidate of technical sciences (philosophy doctor) in the specialty 05.13.05 – computer systems and components. – National Technical University "Kharkіv Polytechnic Institute", Kharkіv 2018. The dissertation is devoted to the development of methods and tools of ensuring the cybersecurity requirements compliance of the programmable logic systems. The scientific results are: 1) for the first time, a case-oriented method for the cybersecurity evaluation of digital components and systems on programmable logic is proposed, which is based on using a set of interrelated formal and semi-formal procedures and analyzing possible gaps in the evaluation, that allows increasing the safety and security requirements assurance; 2) the ontological model and notation for cybersecurity evaluation of programmable logic – based systems is improved, which unlike the known ones, takes into account its process-product vulnerabilities and additional decomposition with the introduction of algorithms of requirements compliance actions, which allows increasing the reliability of the evaluation; 3) the indexes of cybersecurity requirements clarity and depth detail are improved taking into account the possibility of their decomposition, as well as the presence, type, and structure of evidence of its implementation, which allows to estimate the limits of methodological errors in the evaluation and to formulate recommendations concerning the requirements detailing; 4) the method of cybersecurity ensuring for digital components and systems on the programming logic have been further developed, which unlike the known ones, allows analyzing the discrepancies of the requirements using the procedures for describing the vulnerabilities and assessing the criticality of the consequences of the intrusions as well as the defining of a set of countermeasures by the "cybersecurity-cost" criterion, that allows risk reduction to an acceptable level.