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

Предложена методика выбора оптимальной структуры многоканальных, многофазных систем массового обслуживания (СМО). Обоснованы способы ее практического применения с учетом экономической эффективности, в условиях рыночных отношений. Теоретически определен ряд важных критериев выбора оптимальной структуры СМО.

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

Рассматриваются основные противоречия, возникающие при создании системы метрологического обслуживания средств измерительной техники в поверочных и ремонтных подразделениях. Намечены основные пути ее совершенствования и выделен комплекс задач по совершенствованию структуры и стратегии метрологического обслуживания. Показано, что в настоящее время наиболее целесообразным путем повышения эффективности метрологического обслуживания является оптимизация структуры и стратегии метрологического обслуживания средств измерительной техники и автоматизация метрологических работ.

The main contradictions arising with creation of the system of measuring technique means metrological service in calibration and repair units are considered in this work. The main ways of its perfection are outlined and the set of problems on improving the structure and strategy of metrological service is marked out. It is shown that at present the most advantageous way of metrological service efficiency increase is the optimization of the structure and strategy of measuring technique means metrological service and the automation of metrological operations.

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

Освещены некоторые методологические основы и практические аспекты проектирования и разработки сложных информационно-управляющих систем (ИУС). Проанализированы характерные особенности, проблемы разработки и перспективные направления развития современных ИУС. Предложены интегрированный модельно-технологический комплекс для проектирования и реинжинирования сложных ИУС, комплексный подход к интеллектуальному инжинирингу данных в этих системах, а также методы сопровождения и поддержки пользователей ИУС, основанные на знаниях. Рассмотрены актуальные вопросы разработки компонентного программного обеспечения ИУС с использованием технологии Java.

Рассмотрены проблемы алгоритмизации и разработки адаптивных технологий создания информационно-управляющих систем. Предложены комплекс взаимосвязанных алгоритмов мелкосерийного производства. Приведены концепция адаптивной технологии и поддерживающие ее реализацию модели, алгоритмы и средства.

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

Рассмотрены вопросы оценки надежности отказоустойчивых компьютерных систем информационно-управляющих комплексов (ОКС ИУК). Предложен подход по формированию множества базовых многофрагментных макромоделей оценки надежности ОКС ИУК, в основу которого положен введенный ранее принцип многофрагментности и анализ возможных вариантов комбинаций параметров, определяющих надежностные характеристики программных средств ОКС ИУК.

Предложен метрический подход к оценке изменений программного обеспечения (ПО) информационно-управляющих систем. Проанализированы результаты оценки изменений ПО, полученные с использованием инструментального средства статического анализа LDRA Testbed. Результаты оценки ПО представлены в виде радиальных метрических диаграмм и графов вызовов процедур.

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

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

Показаны проблемы метода оценки семантической корректности ПО ИУС, связанные со значительными ресурсными затратами. Предложен метод эффективного представления семантической информации, основанный на использовании сжимающего семантического отображения. Доказана возможность построения сжимающего отображения ограниченной области семантического пространства в упорядоченное множество семантических дескрипторов. Сформулированы необходимые условия изоморфизма. Исследованы свойства разработанного отображения. Показана возможность использования семантических дескрипторов для вычисления физической размерности результата.

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

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

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

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

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

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

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

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