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

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

Приводятся данные разработки и исследования усовершенствованных гидравлических струйных элементов (ГСЭ), действие которых основано на использовании эффекта соударения встречных струй. Описываются опыты, проведенные с целью оптимизации характеристик этих элементов. Рассматриваются вопросы динамики ГСЭ. Даны схемы построения модифицированных вариантов струйного элемента, рекомендуемые к применению в специальных случаях. Эти струйные элементы являются базовыми для созданной в Институте проблем управления модульно-агрегатной гидравлической системы (МАГС); они будут использованы в струйных устройствах управления рядом объектов.

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

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