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

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

ОСНОВНИЙ ЗМІСТ РОБОТИ