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

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

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

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

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

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

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

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

Зроблено теоретичне обгрунтування алгоритму ідентифікації мікротріщин. Ідентифікація базується на цифровій обробці РЕМ-зображень. Наводяться приклади модельного трасування тріщин.

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

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

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

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

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

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

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

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

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

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

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