Проблема обґрунтування вибору характеристик ЕОМ реального часу для розв’язання задач керування та обробки даних - Автореферат

Національна академія наук України Інститут кібернетики імені В.М. Автореферат дисертації на здобуття наукового ступеня доктора технічних наукГлушкова НАН України, завідувач відділу управляючих машин, доктор технічних наук, професор, академік НАН України Скуріхін Володимир Ілліч, завідувач відділу, Міжнародний науково-навчальний центр інформаційних технологій та систем НАН України та МОН України, доктор технічних наук Цикунов Ігор Кирилович, пенсіонер. Захист відбудеться 26 квітня 2006 р. о 14 годині на засіданні спеціалізованої вченої ради Д 26.194.03 при Інституті кібернетики ім. Розроблено задачний підхід до обґрунтованого вибору характеристик спеціалізованих ЕОМ реального часу, що підвищує якість проектування. Результати досліджень були ефективно використані при проектуванні низки різних автоматизованих обєктів нової техніки, що функціонують у реальному часі. Разработана методика обоснованного проектирования (выбора целей, средств и направления проектирования) на начальных (задающих) этапах, являющаяся конкретизацией задачного подхода применительно к специализированным ЭВМ и базирующаяся на составлении и этапных насыщениях проектными данными граф-схемы переработки управляющей информации в ЭВМ во времени, что интерпретирует процессы решения данных задач управления в автоматизируемых системах.Дана дисертаційна робота стосується пошуків оптимальних властивостей (характеристик, показників) проектованих електронно-обчислювальних машин (ЕОМ) у широкому розумінні й належить до розділу, де перехрещуються напрямки вибору оптимальних рішень, аванпроектування (передпроектування) ЕОМ і проектування ЕОМ реального часу (ЕОМ РЧ). Через відносну недостатність розвитку необхідного апарату, структурну і змістовну складність обєкта й істотність впливу результатів на ефективність проектування ЕОМ РЧ комплекс наведених досліджень має проблемний характер і суттєве прикладне значення, особливо відчутне при проектуванні спеціалізованих ЕОМ РЧ для розробки високовідповідальних систем переробки інформації в реальному часі. Проблема обґрунтування вибору характеристик ЕОМ РЧ є особливо актуальною у складних і важливих проектах, коли поява помилок більш ймовірна, а їхня значущість більш висока. Потрібно знайти правило (метод, процедуру), користуючись яким можна було б так повязувати мету (ціль) вибору із засобами її досягнення, аби безпомилково (на рівні вихідних даних і уявлень, що склалися) вибирати ті варіанти ЕОМ, котрі більшою (і достатньою) мірою підходять для даної ситуації та вибираються з множини конкретно розглядуваних варіантів, що описуються сукупностями своїх характеристик. Сутність наукової новизни даної дисертації полягає в запропонованих автором способах визначення та реалізації позиції, що обґрунтованість проектних рішень, які приймаються (вибираються), прямо залежить від обсягу корисної (релевантної) інформації у вихідних даних, від її збереження при проектних перетвореннях і що на результативність обґрунтованого проектування - отримання (або вказівку) варіантів ЕОМ з характеристиками, які більшою мірою задовольняють поставлені вимоги, - також безпосередньо впливають не тільки можливості використаних методів, але й здібності проектувальників ЕОМ, що особливо виразно виявляється у випадках, коли йдеться про проектування якісно нових спеціалізованих ЕОМ РЧ для використання в нетривіальних ситуаціях керування та обробки даних.Можливості таких засобів обґрунтування вибору, що оперують в основному даними "у внутрішній сфері" проектування, можуть бути достатніми для проектування ЕОМ ВЧ, коли мета вибору є слабовизначеною, що виявляється в завданні широкого діапазону допустимих вимог до характеристик ЕОМ. Це означає орієнтацію на проектування ЕОМ з таким рівнем ефективності, якого можна досягти при оперуванні лише одними співвідношеннями так званих загальних характеристик, наприклад при обслуговуванні потоку задач "в загальному та в цілому", коли можна не звертати увагу на витончені питання задовільного обслуговування окремих задач, що виникають в основному в "зовнішній сфері" проектування ЕОМ. Тому очевидно, що для проектування ЕОМ з відповідним рівнем (аспектом) ефективності більш дієвими мають бути критеріальні правила вибору К, які реалізуються у функціоналах типу Q, де оперування проектними даними в цьому аспекті означає комбіноване оперування співвідношеннями характеристик q та вимогами до цих характеристик W(q). Ця область служить розгорнутим ТЗ на проектування, а вимоги, що її складають, - уявленнями про ті властивості шуканої ЕОМ, які необхідні для "нормальної" переробки інформації при обслуговуванні (розвязанні) даної задачі (комплексу задач) в даних умовах, причому в деяких ситуаціях наведені вимоги можуть залишитися невиконаними через свою відносну "високість", тобто отримання шуканої ЕОМ (множини прийнятних варіантів шуканої ЕОМ) стане неможливим.

Основний зміст роботи