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

Описывается проект "Алгоритм Очевидности'2000" как новый уровень понимания программы "Алгоритм Очевидности", инициированной В. Глушковым в начале 60-х годов. Этот проект ориентирован на подключение к международной математической деятельности по эффективному решению следующих задач: распределенное автоматизированное доказательство теорем, проверка корректности математических текстов, удаленное обучение математическим дисциплинам, извлечение знаний из математических работ, построение баз знаний для математических теорий.

Описаны события, исключения, классы С++, модель и библиотека визуальных компонентов, основы объектно-ориентированного программирования (наследование, инкапсуляция и полиморфизм), способы создания и пакеты. Значительное внимание уделяется базам данных (двумерным, реляционным и многоуровневым), а также усовершенствованным концепциям InterBase. Представлены ответы на вопросы, связанные с использованием в приложениях возможностей Internet, DCOM, OLEnterprise, ActiveX и DirectX. Связь с файлами Delphi и библиотеками сторонних разработчиков расширяет возможности разработки приложений.

Рассматриваются темы программирования среднего и высокого уровня сложности в Delphy 4, включая следующие вопросы: СОМ и распределенные вычисления (интерфейсы и основы СОМ, создание серверов и клиентов автоматизации, автоматизация Word и Exel; DCOM, MIDAS, ActiveForms, MTS, CORBA); программирование баз данных (двумерных, реляционных, программирование в InterBase); общие вопросы программирования; программирование графики и DirectX (графические классы VCL, DirectDraw, дополнительные технологии DirectX). Рассказывается о проектировании приложений, о правильном применении объектно-ориентированных технологий.

Рассмотрены основные сведения, необходимые разработчику приложений для Windows 95, Windows 98 и Windows NT. Проанализированы основные моменты объектно-ориентированного программирования. Подробно описаны новые возможности программы, интегрированная среда разработки приложений и методы управления проектами, способы использования и создания компонентов, приемы разработки, предназначенных для работы с базами данных.

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

Представлена обработка PC кластера для моделирования потоков грунтовых вод, основанная на PVM параллелизме строго неявных процедур (SIP). Даны математические модели и методы их решения. Рассчитывается эффективность параллелизма SIP метода. Приведены результаты экспериментов, работы мониторинга и визуализации.

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

Особое внимание уделяется обстоятельному описанию процессов инсталляции и последующей модификации компонентов с помощью администратора пакетов Red Hat Linux, а также вопросам администрирования и управления системой. Подробно обсуждается применение ОС в качестве базовой для почтового сервера (SMTP и РОР), FТЗ-сервера и Web-сервера (Apache). Представлены многочисленные компиляторы, начиная от широко известных (C, C++) и заканчивая более экзотическими - Perl, Tcl/Tk. Отдельные разделы, сопровождаемые примерами, предназначены для изложения сетевого программирования и специфики программирования графических интерфейсов пользователя.

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

Изложены особенности UNIX, принципы входа и выхода из системы, организации начального каталога, инициализации терминала, установки строки приглашения. Описаны переменные среды, особенности переадресации ввода-вывода, основные способы перемещения по файловой системе, основные метасимволы, раскрыто значение интерпретатора shell. Освещены вопросы резервного копирования файлов, управления доступом к файлам, приведено несколько способов освобождения дискового пространства. Исследованы особенности редактора vi, потокового редактора sed, пакетного редактирования, а также других альтернативных способов редактирования. Рассмотрено множество утилит POSIX, включая GNU-версии. Подробно описаны интерпретаторы bash и tcsh, основное внимание акцентируется на ключевых концепциях интерпретаторов sh и csh.

Подробно описаны интегрированная среда разработки, основные элементы управления Visual Basic 6.0 и приемы работы с ними, различные возможности ввода и вывода информации. Особое внимание уделено инструментам разработки и отладки приложений.

Розглянуто вимоги лінгвістичного забезпечення програмного комплексу, представлено мови опису ряду математичних моделей, побудовано формальні граматики цих мов, реалізовано їх компілятори та створено інструментальний засіб - компілятор компіляторів, що працює в OS Windows 95/NT; запропонована адаптивна організація вказаного лінгвістичного забезпечення.

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

Розглядається проблема автоматизації створення комп'ютерних діалогових середовищ. Введено поняття діалогової алгебри та розглянуто деякі її властивості. Результати щодо цієї алгебри покладено в основу розробки інструментального засобу Fancy for Windows. Цей засіб дає змогу в значній мірі автоматизувати створення програм зі складною взаємодією з користувачем.

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

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

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

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

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