Розглянуто використання логічного програмування мовою Prolog для розробки систем автоматизованого проектування пристроїв ASIC (спеціалізованих інтегральних схем) на базі досвіду, набутого під час розробки системи CAD-LOGIC. Описано використання мови Prolog на прикладах, що ілюструють евристичне спрощення логічних функцій за допомогою булевої алгебри, символьного перетворення логічних послідовностей та декомпозиції опису моделі, заданого у вигляді послідовностей у підмножинах, які реалізовано структурами PAL.

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

Описано систему Delphi, яка дає змогу створювати програми для роботи під керуванням операційної системи Windows. Розглянуто головні елементи середовища Delphi, визначення та використання команд, прийоми роботи. Наведено назви подій та концепцію їх застосування під час програмування, а також повний перелік компонент Delphi та загальні принципи їх побудови. Головні властивості компонент систематизовано в логічну структуру, визначено роботу з інспектором об'єктів, описано роботу з довідковою системою. Розглянуто основні особливості мови Objekt Pascal, яка є в основі Delphi. Наведено навчально-демонстраційні проекти, які дають змогу зрозуміти суть програмування в Delphi та використання компонент.

Викладається нова мова ХВИЛЯ для паралельної обробки і управління великими розподіленими системами різної природи. Вона основана на динамічному створенні та навігації розподілених віртуальних мереж за допомогою мобільного рекурсивного програмного коду у режимі просторового паттерн-метчінгу. Мова дозволяє створювати складні моделюючі та керуючі системи, котрі можуть ефективно функціонувати у відкритих мережах ЕОМ без жодних центральних ресурсів. Наводяться також приклади програмування ряда мережних задач.

Представлено основні конструкції та типи даних нової мови програмування ФОЛІ, наведено формальний опис його ядра. Розглянуто можливість використання ФОЛІ як внутрішньої мови високого рівня в інтелектуальних комп'ютерних системах.

Розглянуто основні принципи побудови ЕОМ. Значну увагу приділено арифметичним операціям у двійковій системі обчислення, типовим елементам і вузлам мікропроцесорної техніки: тригерам, регістрам, лічильникам, дешифраторам, мультиплексорам. Висвітлено основи програмування мікропроцесорів.

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

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

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

Розглянуто процесори сімейства х86, а саме - їх 32-розрядні нащадки (від 80386). Наведено опис їх програмної моделі, режими роботи, системи команд, відмінності.

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

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

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

Вивчається мова програмування Бейсик в інтегрованому середовищі Microsoft QBasic. Описуються принципи роботи з текстовим редактором, системою налагодження й виконання програм та інформаційно-довідковою системою середовища. Розглядаються синтакис і семантика сучасної версії мови Бейсик, яка дає змогу складати програми розв'язування різноманітних задач з дотриманням правил структурного програмування і не має недоліків ранніх версій мови. Матеріал супроводжується ілюстраціями режимів функціонування середовища, зразками та прикладами програм і результатами їх виконання. Наводиться добірка задач, яка може слугувати основою для формування завдань для практичних і лабораторних занять. Для користувачів середовищами Turbo та Power Basic даються описи як середовищ, так і можливостей мови.

Вимірювання в сучасних мережах телекомунікації вивчаються з системних позицій, які враховують перехід цифрових вимірювальних засобів на новий щабель технологічних рішень повної автоматизації та програмування. На цьому рівні вимірювальні прилади набувають всіх ознак інтелектуальних вимірювальних інформаційних систем. Приділено увагу особливостям вимірювальних інформаційних систем при автоматизації збирання і обробки вимірювальної інформації, при автоматизації контролю якості, технічного діагностування та ідентифікації. Вимірювальні задачі групуються за сферами охоплення напрямів телекомунікації, за призначенням і принципами роботи засобів вимірювання, за ділянками типової мережі телекомунікації. Наголошено на тенденції розвитку телекомунікаційного тестування трьома шляхами: внутрішнє самотестування, зовнішнє тестування і комбінації двох попередніх. Доводиться, що саме з допомогою зовнішнього тестування на етапі створення, пуску, експлуатації та сертифікації можливе досягнення високої якості роботи більшості телекомунікаційних систем. На прикладі модульної системи HP VXI вивчається концепція інтеграції приладових вимірювальних технологій MEK 625 з високопродуктивними комп'ютерними технологіями VME. Значну увагу приділено середовищу HP VEE, в якому виконується весь лабораторний практикум з курсу. У межах єдиної термінології інформатики в тексті наведені найважливіші визначення понять, вкрай необхідних для розуміння суті предмета.

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

Подано основні положення інженерії утилізації програм - нового розділу інженерії програмування. Описано конструкції реалізованих інформаційно-програмних засобів.

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

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

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