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

Описывается идеология и основные конструкции языка Model-100, предназначенного для описания поведения множества взаимодействующих процессов. Правила взаимо-действия процессов задаются предложениями вида "если … то …" (хорновскими дизъюнктами). Структура взаимодействий представляется графом, который описывается рациональным термом. Исполнение одного шага программы сводится к одновременному применению всех правил ко всем вершинам, к которым правило применимо (ко всем рациональным подтермам, с которыми хорновский дизъюнкт унифицируем).

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

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