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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Досліджено питання створення структур цифрових фільтрів (ЦФ) для пристроїв кодування графічної інформації (ПКГІ) і засобів для їх дослідження. Проаналізовано існуючі способи отримання структур ЦФ і ПКГІ. Обгрунтовано необхідність використання ЦФ у ПКГІ. Запропоновано методику проектування структур ЦФ за аналоговим прототипом із побудовою матриці провідностей і спосіб побудови УКГІ з використанням принципу частотної модуляції. Обрано оптимальні структури ЦФ. Результати запропонованих рішень підтверджено математичним моделюванням у програмних пакетах Matlab 5,3 і Matcad 7,0 і фізичним моделюванням з використанням мови Assembler.

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

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

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

Розроблено моделі та інформаційні технології реінжинірінгу (РІ) успадкованих інформаційно-управляючих систем (ІУС) в АСУ технологічними процесами. Введено класифікацію підходів до РІ успадкованих ІУС. Проаналізовано недоліки успадкованих диспетчерських ІУС (ДІУС) газокомпресорних станцій (ГКС) системи магістральних газопроводів (МГ) Укртрансгазу. На підставі використання концепції бізнес-об'єктів розроблено структурну об'єктно-орієнтовану модель РІ, що дозволило перейти до цільової компонентної архітектури. За допомогою мови UML досліджено моделі успадкованої та цільової архітектур типової ДІУС ГКС. Вперше за технологією PATTERNS розроблено універсальну модель телеметричного протоколу обміну даними в ДІУС ГКС та реалізовано компоненти, які можна повторно використати у типових ДІУС ГКС. Розроблено та досліджено перспективну Web-орієнтовану ДІУС ГКС, окремі підсистеми якої впроваджено на Ромненській ГКС.

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

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