ИПУ РАН

65951

Автор(ы): 

Автор(ов): 

1

Обложка: 

Параметры публикации

Тип публикации: 

Книга (брошюра, монография, стандарт)

Название: 

Аналитические функции: современный взгляд

Сведения об издании: 

1-ое издание

ISBN/ISSN: 

-

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2004

Объём, стр.: 

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

Библиографическая ссылка: 

Агаджанов А.Н. Аналитические функции: современный взгляд. М.: ИПУ РАН, 2004. – 20 с.

65953

Автор(ы): 

Автор(ов): 

9

Обложка: 

Параметры публикации

Тип публикации: 

Книга (брошюра, монография, стандарт)

Название: 

Автоматизированная система непрерывного оперативного планирования работы морского флота

Сведения об издании: 

1-ое издание

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

1983

Объём, стр.: 

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

Библиографическая ссылка: 

Авен О.И., Алексейчук А.Е., Ловецкий С.Е., Моисеенко Г.Е., Парадизов В.С., Воронков А.В., Богнычев Г.И., Кисиль А.П., Левый В.Д. Автоматизированная система непрерывного оперативного планирования работы морского флота. М.: ИПУ РАН, 1983. – 46 с.

65847

Автор(ы): 

Автор(ов): 

3

Обложка: 

Параметры публикации

Тип публикации: 

Книга (брошюра, монография, стандарт)

Название: 

Адаптивные механизмы управления качеством на предприятии

Сведения об издании: 

1-ое издание

ISBN/ISSN: 

-

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2004

Объём, стр.: 

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

Библиографическая ссылка: 

Михеев Г.В., Цыганов В.В., Клюквин А.Б. Адаптивные механизмы управления качеством на предприятии. М.: ИПУ РАН, 2004. – 41 с.

65889

Автор(ы): 

Автор(ов): 

4

Обложка: 

Параметры публикации

Тип публикации: 

Книга (брошюра, монография, стандарт)

Название: 

Методика верификационной отладки алгоритмов, заданных функциональными схемами

Сведения об издании: 

1-ое издание

ISBN/ISSN: 

-

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

1990

Объём, стр.: 

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

Библиографическая ссылка: 

Абрамова Н.А., Амбарцумян А.А., Коврига С.В., Рубцова Э.Е. Методика верификационной отладки алгоритмов, заданных функциональными схемами. М.: ИПУ РАН, 1990. – 51 с.

65943

Автор(ы): 

Автор(ов): 

4

Обложка: 

Параметры публикации

Тип публикации: 

Книга (брошюра, монография, стандарт)

Название: 

Новый математический аппарат для анализа внешнего поведения и верификации программ

Сведения об издании: 

1-ое издание

ISBN/ISSN: 

-

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

1998

Объём, стр.: 

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

Библиографическая ссылка: 

Абрамова Н.А., Баталина Т.С., Гегамов Н.А., Коврига С.В. Новый математический аппарат для анализа внешнего поведения и верификации программ. М.: ИПУ РАН, 1998. – 109 с.

65892

Автор(ы): 

Автор(ов): 

3

Обложка: 

Параметры публикации

Тип публикации: 

Книга (брошюра, монография, стандарт)

Название: 

Модели и методы информационной поддержки принятия управленческих решений на различных этапах жизненного цикла малого предприятия

Сведения об издании: 

1-ое издание

ISBN/ISSN: 

5-201-15005-5

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2007

Объём, стр.: 

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

Библиографическая ссылка: 

Кульба В.В., Красицкий П.В., Красицкая Л.М. Модели и методы информационной поддержки принятия управленческих решений на различных этапах жизненного цикла малого предприятия. М.: ИПУ РАН, 2007. – 63 с.

65922

Автор(ы): 

Автор(ов): 

2

Обложка: 

Параметры публикации

Тип публикации: 

Книга (брошюра, монография, стандарт)

Название: 

Логическое управление гибким интегрированным производством

Сведения об издании: 

1-ое издание

ISBN/ISSN: 

-

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

1989

Объём, стр.: 

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

Библиографическая ссылка: 

Юдицкий С.А., Покалев С.С. Логическое управление гибким интегрированным производством. М.: ИПУ РАН, 1989. – 55 с.

65984

Автор(ы): 

Автор(ов): 

2

Обложка: 

Параметры публикации

Тип публикации: 

Книга (брошюра, монография, стандарт)

Название: 

АРС - автоматизация разработки спецификации и смет

Сведения об издании: 

1-ое издание

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

1980

Объём, стр.: 

38
Аннотация
Рассматривается автоматизация разработки спецификаций и омет при проектировании. Даны краткое описание системы "АРС-ХИМФОТО" и методика ее создания. Работа предназначена дм специалистов проектных организаций, разрабатывавших различные системы АРС. Глава I написана В.А.Грузманом и А.Б.Силкиным, глава 2 - А.Б.Самкннм. Научный руководитель разработки системы АРС д.т.н., профессор В.Л.Эпатейн.

Библиографическая ссылка: 

Грузман В.А., Симкин А.Б. АРС - автоматизация разработки спецификации и смет. М.: ИПУ РАН, 1980. – 38 с.

65911

Автор(ы): 

Автор(ов): 

4

Обложка: 

Параметры публикации

Тип публикации: 

Книга (брошюра, монография, стандарт)

Название: 

Формализованное представление результатов анализа и проектирования автоматизированных систем управления

Сведения об издании: 

1-ое издание

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

1970

Объём, стр.: 

41
Аннотация
Описывается формализованное представление результатов анализа и проектирования автоматизированных систем управления (АСУ). Предлагаются стандартные формы документов, позволяющие формализовать основные этапы работ по анализу и проектированию АСУ: изучение структуры, целей и ограничений существующей системы управления; изучение и анализ информационных потоков и алгоритмов обработки данных в существующей системе управления; представление результатов проектирования в виде, удобном для программирования. Стандартные формы документов разработаны на основе изучения и обобщения опыта разработок и внедрения АСУ за рубежом, ранее выполнявшихся работ ИАТ по информационным системам, практического опыта использования предлагаемых документов, методических указаний ЦЭМИ и других организаций.

Библиографическая ссылка: 

Мамиконов А.Г., Авен О.И., Кульба В.В., Косяченко С.А. Формализованное представление результатов анализа и проектирования автоматизированных систем управления. М.: ИПУ РАН, 1970. – 41 с.

66014

Автор(ы): 

Автор(ов): 

2

Обложка: 

Параметры публикации

Тип публикации: 

Книга (брошюра, монография, стандарт)

Название: 

Современные аспекты аналитической психологиии

Сведения об издании: 

1-ое издание

ISBN/ISSN: 

-

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

1998

Объём, стр.: 

68
Аннотация
Настоящая работа представляет некоторые результаты исследования, развивающего подход К. Г. Юнга к формальному описанию психики человека. Исследование выполнено с применением специально разработанною психо-физического формального аппарата, позволившего впервые описать существо ряда объектов и процессов, присущих психике человека, как объекта, включённого в реальный мир с множеством идущих в нём процессов. Авторами впервые введена углублённая классификация структурных элементов сознания и уточнено понятие архетипа. Также впервые введено понятие и исследованы некоторые свойства ноотипа - основного информационного компонента любого социума. Приведённый в данной работе общин анализ структуры сознания и некоторых энергоинформационных процессов, имеет не только теоретическое значение, но может представлять интерес в областях практической психиатрии и психологии, а так же при разработках моделей социально-экономических систем.

Библиографическая ссылка: 

Дмитренко Л.Г., Воробьев Г.Г. Современные аспекты аналитической психологиии. М.: ИПУ РАН, 1998. – 68 с.

Pages