Москва

2896

Автор(ы): 

Автор(ов): 

1

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

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

Статья в журнале/сборнике

Название: 

Разнесенный грамматический разбор

Наименование источника: 

  • Проблемы управления

Обозначение и номер тома: 

№ 1

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2006

Страницы: 

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

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

Выхованец В.С. Разнесенный грамматический разбор // Проблемы управления. 2006. № 1. С. 32-43.

3233

Автор(ы): 

Автор(ов): 

1

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

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

Тезисы доклада

Название: 

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

Наименование конференции: 

  • 1-я Международная конференция «Управление развитием крупномасштабных систем» (MLSD-2007, Москва)

Наименование источника: 

  • Тезисы докладов 1-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2007, Москва)

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2007

Страницы: 

124-125
Аннотация
Для репрезентации данных и знаний, накопленных в информационной системе, предприятия, предлагается использовать механизм автоматической генерации документов, основанный на понятийном моделировании некоторого фрагмента предметной области репрезентации.

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

Выхованец В.С. Репрезентация знаний в системах управления крупномасштабными производствами / Тезисы докладов 1-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2007, Москва). М.: ИПУ РАН, 2007. С. 124-125.

4290

Автор(ы): 

Автор(ов): 

1

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

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

Доклад

Название: 

Репрезентация знаний

Наименование конференции: 

  • 7-я международная конференция «Системы проектирования технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2007, Москва)

Наименование источника: 

  • Труды 7-й Международной конференции «Системы проектирования технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2007, Москва)

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2007

Страницы: 

49-52
Аннотация
При репрезентации знания преобразуются в новую форму с учетом некоторой активной проблематики, а сам процесс преобразования описывается знанием о накопленных ранее знаниях, или метазнанием. Для представления метазнаний используется понятийная структура области репрезентации, где заданы отображения одних понятий в другие, задающие способы их абстрагирования. Приведено описание разработанной системы текстовой репрезентации знаний, накопленных в CAD/CAM/PDM системах.

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

Выхованец В.С. Репрезентация знаний / Труды 7-й Международной конференции «Системы проектирования технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2007, Москва). М.: ИПУ РАН, 2007. С. 49-52.

5788

Автор(ы): 

Автор(ов): 

1

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

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

Доклад

Название: 

Сертификация систем логического управления на основе количества выполняемых операций и объема обрабатываемых данных

ISBN/ISSN: 

ISBN 978-5-91450-022-8

Наименование конференции: 

  • 1-я Российская конференция с международным участием «Технические и программные средства систем управления, контроля и измерения» (УКИ-2008, Москва)

Наименование источника: 

  • Труды 1-й Российской конференции с международным участием «Технические и программные средства систем управления, контроля и измерения» (УКИ-2008, Москва)

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2008

Страницы: 

02-07
Аннотация
Для устранения субъективности в оценке качества программ и устройств предлагается использовать верхние оценки трудоемкости вычислений для задач дискретной обработки данных конечной размерности, для чего служит разработанная методика абсолютной оценки эффективности дискретных моделей, которая применима не только при программной, но и для аппаратурной реализации логической обработки данных.

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

Выхованец В.С. Сертификация систем логического управления на основе количества выполняемых операций и объема обрабатываемых данных / Труды 1-й Российской конференции с международным участием «Технические и программные средства систем управления, контроля и измерения» (УКИ-2008, Москва). М.: ИПУ РАН, 2008. С. 02-07.

7245

Автор(ы): 

Автор(ов): 

1

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

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

Доклад

Название: 

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

Наименование конференции: 

  • 4-я Международная конференция по проблемам управления (МКПУ 2009, Москва)

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2009

Страницы: 

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

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

Анулова С.В. Теорема существования для стохастических уравнений Ито-Вольтерра с отражением и ее применение в теории массового обслуживания / . М.: ИПУ РАН, 2009. С. 1773-1776.

7390

Автор(ы): 

Автор(ов): 

1

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

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

Доклад

Название: 

Спектральная идентификация дискретных систем

Наименование конференции: 

  • 8-я Международная конференция «Идентификация систем и задачи управления» (SICPRO'2009, Москва)

Наименование источника: 

  • Труды 8-й Международной конференции «Идентификация систем и задачи управления» (SICPRO'2009, Москва)

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2009

Страницы: 

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

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

Выхованец В.С. Спектральная идентификация дискретных систем / Труды 8-й Международной конференции «Идентификация систем и задачи управления» (SICPRO'2009, Москва). М.: ИПУ РАН, 2009. С. 1500-1517.

5653

Автор(ы): 

Автор(ов): 

2

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

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

Тезисы доклада

Название: 

Синтез и моделирование системы стабилизации динамики нестационарного объекта

Наименование конференции: 

  • Устойчивость и колебания нелинейных систем управления

Город: 

  • Москва

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

  • -

Год издания: 

2008

Страницы: 

200-201

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

Митришкин Ю.В., Карцев Н.М. Синтез и моделирование системы стабилизации динамики нестационарного объекта / . М.: -, 2008. С. 200-201.

5663

Автор(ы): 

Автор(ов): 

2

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

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

Статья в журнале/сборнике

Название: 

Система с прогнозирующей моделью для управления формой и током плазмы в токамаке

Наименование источника: 

  • Проблемы управления

Город: 

  • Москва

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

  • -

Год издания: 

2008

Страницы: 

19-25

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

Митришкин Ю.В., Коростелев А.Я. Система с прогнозирующей моделью для управления формой и током плазмы в токамаке // Проблемы управления. 2008. С. 19-25.

8574

Автор(ы): 

Автор(ов): 

4

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

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

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

Название: 

Введение в параллельные вычисления. Основы программирования на языке Си с использованием интерфейса MPI

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

2-е изд.

ISBN/ISSN: 

978-5-91450-065-5

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2010

Объём, стр.: 

123
Аннотация
Рассматривается архитектура многопроцессорных вычислительных систем. Описывается работа на суперкомпьютерах кластерного типа и особенности параллельного программирования на языке Си с использованием интерфейса MPI. Изложенный материал адаптирован применительно к суперкомпьютеру ИПУ РАН.

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

Сальников А.М., Ярошенко Е.А., Гребенник О.С., Спиридонов С.В. Введение в параллельные вычисления. Основы программирования на языке Си с использованием интерфейса MPI. 2-е изд. М.: ИПУ РАН, 2010. – 123 с.

6713

Автор(ы): 

Автор(ов): 

1

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

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

Доклад

Название: 

Самоподстройка в каскадно-иерархических саморазвивающихся системах

Наименование конференции: 

  • 4-я Международная конференция по проблемам управления (МКПУ 2009, Москва)

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2009

Страницы: 

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

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

Клепарский В.Г. Самоподстройка в каскадно-иерархических саморазвивающихся системах / . М.: ИПУ РАН, 2009. С. С. 640-647.

Страницы