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

Дисертація присвячена питанням проектування розподілених програмних систем із застосуванням принципів об'єктно-орієнтованої парадигми. В дисертації розроблено новий метод проектування об'єктно-орієнтованих програмних систем на основі використання формалізованої візуальної мови контурних Р-схем. Обгрунтовано представлення декларативної семантики контурних Р-схем за допомогою графової алгебри процесів. Розроблена аксіоматична семантика Р-схем на базі програмної логіки Хоара. Запропоновані графові алгебри опису типів даних та обгрунтовані методи їх використання для специфікації класів об'єктно-орієнтованих програмних систем. Основні результати праці використані при створенні розподіленої системи керування національною комп'ютерною мережею України, проект INCO-COPERNICUS 96-0114 Європейського Союзу.

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

Розвинуто порозрядний та рекурентний методи логарифмічного аналого-цифрового перетворення (ЛАЦП) на комутованих конденсаторах. Виявлено джерела похибок і встановлено, що вплив на процес перетворення неідеальності елементів проявляється в основному через ефекти проникнення напруги управління ключами та передачі паразитного заряду заслонів ключів, а також через струми витікання. Запропоновано математичні моделі похибок порозрядних ЛАЦП з накопиченням заряду, які дозволяють аналітично оцінити точність порозрядних ЛАЦП. Розроблено ряд структурних, функціональних і принципових схем порозрядних і рекурентних ЛАЦП з покращеними метрологічними характеристиками.

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

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

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

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

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

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

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

Обгрунтовано шляхи розв'язання науково-практичної задачі редокументування успадкованого програмного забезпечення (ПЗ) з метою використання створюваної в результаті редокументування документації в реінженерії. Вперше розроблено метод редокументування успадкованого ПЗ, який, на відміну від існуючих, забезпечує створення документів ПЗ з урахуванням вимог технології розробки, яка застосовується під час прямої інженерії, що дозволяє здійснювати цілеспрямоване документальне забезпечення процесів прямої інженерії й уникнути зайвих витрат під час реінженерії, які необхідні для створення відповідної документації. Вперше побудовано моделі документу ПЗ в аспекті редокументування на рівнях загальної концепції документу, вимог технологій розробки ПЗ, а також особливостей певного документу обраної технології, що надає можливість реалізувати запропонований метод редокументування шляхом використання модельно-керованої розробки - Model Driven Development (MDD) і спростити редокументування за рахунок повторного використання нових моделей. На підставі побудованих моделей документів розроблено архітектуру засобів редокументування відповідно до запропонованого методу, які забезпечують шляхом застосування представлень успадкованого ПЗ автоматизоване створення документів успадкованого ПЗ для певної технології та фаз розробки ПЗ.

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

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

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

Розроблено підсиcтему підтримки прийняття проектних рішень (ПППР) у процесі створення систем безпеки об'єктів невиробничої сфери на стадії проектування, модернізації та функціонування. Удосконалено математичні моделі надання знань про об'єкт охорони та технічні засоби (ТЗ) програмно-апаратного комплексу охоронної системи за рахунок застосування алгебри кінцевих предикатів (АКП). Удосконалено математичні моделі оцінки наслідків виникнення позаштатної ситуації за рахунок застосування АКП і процесу підтримки прийняття рішень оператором з локалізації, усунення позаштатної ситуації та відновлення працездатності системи шляхом застосування принципу прийнятого ризику. Запропоновано удосконалений метод багатокритеріального синтезу проектних рішень під час формування складу КТЗ. Наведено структуру та програмне забезпечення підсистеми ПППР шляхом створення системи безпеки об'єкта, у яких реалізовано запропоновані математичні моделі та алгоритми.

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

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

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

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

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

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

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

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

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

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

За результатами теоретичних і експериментальних досліджень запропоновано нові структури та формальні методи синтезу керувальних автоматів з "жорсткою" логікою (АЖЛ). Показано, що оптимізація апаратурних витрат у схемах формування змінних може бути одержана у разі використання методу кодування наборів фрагмента змінних. Запропоновано застосовувати метод кодування наборів фрагмента змінних у структурах керуючого автомату Мілі з кодуванням наборів мікрооперацій та кодуванням рядків прямої структурної таблиці, а також у структурах керуючого автомата Мура з кодуванням наборів мікрооперацій та з кодуванням класів псевдоеквівалентних станів. Розроблено нові структури та методи синтезу для структур автоматів Мілі та Мура з кодуванням наборів фрагмента змінних. Використання запропонованих методів дозволяє зменшити апаратурні витрати у схемах автомата Мілі до 20 % та у схемах автомата Мура до 10 % у порівнянні з відомими структурами. Одержано результати аналітичного оцінювання ефективності запропонованих структур АЖЛ у аспекті апаратурних витрат як функції від параметрів граф-схеми алгоритму. За результатами дослідження визначено область ефективного використання запропонованих структур мікропрограмних автоматів.

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

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

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

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

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

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

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

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

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

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

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