Рассматриваются основные понятия концепции гипертекста, факторы эффективности применения гипертекстовых систем в качестве инструмента информационной поддержки интеллектуальной деятельности, особенности алгоцентрического и антропоцентрического подходов в информатике, архитектура гипертекстовой системы, процессы навигации и броузинга, содержание и проблемы авторской деятельности, приводится описание гипертекстовых операторов управления. Указаны области применения гипертекстовых систем, приводятся примеры (информационное обслуживание процессов принятия инвестиционных решений, подготовка персонала для обслуживания и ремонта нового сложного оборудования, медицинская диагностика и мониторинг пациентов, защита окружающей среды, электронные издания). Работа может быть интересной ученым, специалистам и предпринимателям, желающим познакомиться с основными понятиями и идеями этого нового и перспективного направления научно-технического и социального прогресса. Рецензент д.т.н. А.Г. Бутковский

Вводятся основные понятая, необходимые для формализации описания документов и таблиц при проектировании АСУ и САПР. Предлагается процедура, программирующая процесс описания на таком уровне строгости, который оказывается достаточным для того, чтобы программные средства АРКУС могли автоматически разработать соответствующие компоненты программного обеспечения целевой системы. Приводится таблица основных вопросов, которые могут возникнуть у пользователей, и ответов на них. Это уменьшает вероятность неправильной интерпретации методологии.

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

Предложена методика верификационной отладки алгоритмов регулирования и вычислительных задач АСУ ТП, заданных функциональными схемами, использующая свойства аппарата LF-функций. Исследованы типичные критерии правильности алгоритмов данного типа. Разработаны схемы извлечения знаний разработчика о правильности алгоритмов различных типов, необходимые для построения и доказательства теорем верификации. Возможности методики верификационной отладки показаны на примерах функциональных схем различных типов.

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