ИПУ РАН

65943

Автор(ы): 

Автор(ов): 

4

Обложка: 

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

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

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

Название: 

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

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

1-ое издание

ISBN/ISSN: 

-

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

1998

Объём, стр.: 

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

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

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

66071

Автор(ы): 

Автор(ов): 

6

Обложка: 

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

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

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

Название: 

Модель научно-прикладного понятия ориентированного на проблемы переноса научных знаний и опыта при решении слабоструктурированных крупномасштабных проблем

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

1-ое издание

ISBN/ISSN: 

-

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

1997

Объём, стр.: 

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

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

Абрамова Н.А., Коврига С.В., Кузнецов О.П., Прангишвили И.В., Разбегин В.П., Спиридонов В.Ф. Модель научно-прикладного понятия ориентированного на проблемы переноса научных знаний и опыта при решении слабоструктурированных крупномасштабных проблем. М.: ИПУ РАН, 1997. – 70 с.

65892

Автор(ы): 

Автор(ов): 

3

Обложка: 

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

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

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

Название: 

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

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

1-ое издание

ISBN/ISSN: 

5-201-15005-5

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2007

Объём, стр.: 

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

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

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

66047

Автор(ы): 

Автор(ов): 

3

Обложка: 

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

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

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

Название: 

Ускоренное нелинейное оценивание экспоненциального тренда

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

1-ое издание

ISBN/ISSN: 

-

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

1991

Объём, стр.: 

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

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

Ромащев А.А., Бывайков М.Е., Арефьев Ю.И. Ускоренное нелинейное оценивание экспоненциального тренда. М.: ИПУ РАН, 1991. – 25 с.

65996

Автор(ы): 

Автор(ов): 

1

Обложка: 

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

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

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

Название: 

Динамика тела переменной массы в плотной среде

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

1-ое издание

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

1986

Объём, стр.: 

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

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

Антонов А.В. Динамика тела переменной массы в плотной среде. М.: ИПУ РАН, 1986. – 20 с.

65778

Автор(ы): 

Автор(ов): 

3

Обложка: 

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

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

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

Название: 

Проблемы управления безопасностью сложных систем.Международные конференции 1992-2017

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

1-ое издание

ISBN/ISSN: 

978-5-91450-228-4

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2018

Объём, стр.: 

240
Аннотация
В книге, созданной в виде информационного обзора, подведён итог более чем двадцатипятилетнему существованию Международных научно-практических конференций «Проблемы управления безопасностью сложных систем». Рассмотрен процесс появления новых направлений научных исследований, обеспечивающих заданный уровень безопасности, показана взаимосвязь всех компонентов безопасности сложных систем, найдены новые подходы к решению задач в условиях ЧС. Издание предназначено для специалистов в области управления безопасностью сложных систем. Его так же рекомендуется использовать при научных исследованиях и подготовке бакалавров, магистров и аспирантов.

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

Шелков А.Б., Муромцева А.В., Богатырева Л.В. Проблемы управления безопасностью сложных систем.Международные конференции 1992-2017. М.: ИПУ РАН, 2018. – 240 с.

65777

Автор(ы): 

Автор(ов): 

5

Обложка: 

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

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

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

Название: 

Проблемы обеспечения экономической безопасности сложных социально-экономических систем

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

1-ое издание

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2000

Объём, стр.: 

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

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

Кульба В.В., Ковалевский С.С., Кононов Д.А., Чернов И.В., Шелков А.Б. Проблемы обеспечения экономической безопасности сложных социально-экономических систем. М.: ИПУ РАН, 2000. – 127 с.

65631

Автор(ы): 

Автор(ов): 

22

Обложка: 

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

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

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

Название: 

Интеллектуальные системы автономных аппаратов для космоса и океана и метод технико-биологических аналогий

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

1-ое издание

ISBN/ISSN: 

5-201-09581

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

1997

Объём, стр.: 

213
Аннотация
Здесь объединены работы, которые проводились в течение последних десятилетий в области исследований и разработки автономных аппаратов для космоса и океана и идейно связанных с этими исследованиями экосистемно-биосферных исследований по международной программе «Эксперимент Убсу-Нур», вылившиеся в новое научное направление - функциональную экологию и выдвинувшие метод технико-биологических аналогий. Книгу мы посвящаем памяти Евгения Максимовича Карпова, который был последовательным сторонником идеи информационной общности живых организмов и машин, и много сделал для развития этого направления научных исследований.

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

Аншаков Г.И., Ахметшин Р.З., Белоглазов С.С., Бугрвоский В.В., Вогау И.А., Гольдин Д.А., Егоров В.А., Ефимов Г.Б., Зеленская Н.Н., Золотарев Б.П., Ивашкин В.В., Керженцев А.С., Курбатская С.С., Лазарев Ю.Н., Лисс О.Л., Матвеева Е.К., Мостовой Я.А., Сбродов В.В., Се Ч., Соллогуб А.В., Федоров П.И., Энеев Т.М. Интеллектуальные системы автономных аппаратов для космоса и океана и метод технико-биологических аналогий. М.: ИПУ РАН, 1997. – 213 с.

65034

Автор(ы): 

Автор(ов): 

2

Обложка: 

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

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

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

Название: 

Разработка моделей и инструментальных средств оптимизации развития холдниговой компании

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

1-ое издание

ISBN/ISSN: 

5-201-15003-9

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2007

Объём, стр.: 

46
Аннотация
Рассмотрены вопросы управления развитием холдинговой компанией, модели и методы оптимизации ее развития. Рассмотрено использование разработанных инструментальных средств ТЭО-ИНВЕСТ-Холдинг при оптимизации развития холдинговой компании, в том числе: при формировании вариантов развития предприятий, проектов и холдинга в целом; сравнении, оценке и выборе вариантов развития холдинга; комплексной оценке вариантов развития холдинга. Рассмотрены вопросы построения базы инвестиционных проектов холдинга и комплексной системы анализа финансового состояния, разработки и оценки плана развития холдинговой компании с использованием разработанной системы ТЭО-ИНВЕСТ-Холдинг-SQL

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

Горошникова Т.А., Цвиркун А.Д. Разработка моделей и инструментальных средств оптимизации развития холдниговой компании. М.: ИПУ РАН, 2007. – 46 с.

64981

Автор(ы): 

Автор(ов): 

2

Обложка: 

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

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

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

Название: 

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

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

1-ое издание

ISBN/ISSN: 

-

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

1972

Объём, стр.: 

57
Аннотация
Обобщен опыт теоретических и экспериментальных исследований, достигнутый в результате создания адаптивной системы управления процессом горячей прокатки труб. Рассмотрены общие вопросы адаптивного управления технологическими процессами. Описана адаптивная система управления, внедренная на Первоуральском новотрубном заводе (ПНТЗ).

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

Райбман Н.С., Чадеев В.М. Адаптивные системы управления технологическими процессами. М.: ИПУ РАН, 1972. – 57 с.

Страницы