Москва

4072

Автор(ы): 

Автор(ов): 

2

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

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

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

Название: 

Язык спецификации взаимодействующих процессов MODEL-100

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

  • Программирование

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

№ 1

Город: 

  • Москва

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

  • Наука

Год издания: 

2007

Страницы: 

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

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

Бабичев А.В., Лебедев В.Г. Язык спецификации взаимодействующих процессов MODEL-100 // Программирование. 2007. № 1. С. 1-18.

8746

Автор(ы): 

Автор(ов): 

1

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

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

Доклад

Название: 

Распараллеливание рекурсивных программ

Электронная публикация: 

Да

ISBN/ISSN: 

ISBN 978-5-91450-064-8

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

  • 6-ая Международная конференция «Параллельные вычисления и задачи управления» (РАСО'2012, Москва)

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

  • Труды 6-й Международной конференции «Параллельные вычисления и задачи управления» (РАСО'2012, Москва)

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2010

Страницы: 

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

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

Бабичев А.В. Распараллеливание рекурсивных программ / Труды 6-й Международной конференции «Параллельные вычисления и задачи управления» (РАСО'2012, Москва). М.: ИПУ РАН, 2010. С. 583-606.

5433

Автор(ы): 

Автор(ов): 

1

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

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

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

Название: 

Распознавание и спецификация структур данных

ISBN/ISSN: 

978-5-9710-0215-4

Город: 

  • Москва

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

  • ЛЕНАНД

Год издания: 

2008

Объём, стр.: 

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

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

Бабичев А.В. Распознавание и спецификация структур данных. М.: ЛЕНАНД, 2008. – 192 с.

4073

Автор(ы): 

Автор(ов): 

1

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

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

Доклад

Название: 

Распознавание структур данных

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

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

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

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

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2007

Страницы: 

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

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

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

6981

Автор(ы): 

Автор(ов): 

1

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

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

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

Название: 

Протуберанцы макроэкономики

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

  • Экономические стратегии

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

№7

Город: 

  • Москва

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

  • ИНЭС

Год издания: 

2009

Страницы: 

42-49

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

Райков А.Н. Протуберанцы макроэкономики // Экономические стратегии. 2009. №7. С. 42-49.

4870

Автор(ы): 

Автор(ов): 

2

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

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

Доклад

Название: 

Стенд для анализа влияния скорости подъема мощности ядерного реактора на маневренные характеристики АПЛ

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

  • Управление движением морских судов и специальных аппаратов

Город: 

  • Москва

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

  • -

Год издания: 

2008

Страницы: 

5

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

Дорри М.Х., Рощин А.А. Стенд для анализа влияния скорости подъема мощности ядерного реактора на маневренные характеристики АПЛ / . М.: -, 2008. С. 5.

5296

Автор(ы): 

Автор(ов): 

1

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

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

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

Название: 

Управление проектами: учебно-методический комплекс для специальностей «Государственное и муниципальное управление» и «Менеджмент организации»

Город: 

  • Москва

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

  • РГГУ

Год издания: 

2008

Объём, стр.: 

88

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

Кубышкин В.А. Управление проектами: учебно-методический комплекс для специальностей «Государственное и муниципальное управление» и «Менеджмент организации». М.: РГГУ, 2008. – 88 с.

8862

Автор(ы): 

Автор(ов): 

1

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

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

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

Название: 

Политэкономические системы и сценарии циклического развития

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

  • Научный эксперт

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

Т.1

Город: 

  • Москва

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

  • Научный эксперт

Год издания: 

2010

Страницы: 

437-451
Аннотация
Мондиальные системы – это системы управления эволюцией мирового сообщества государств на основе идеологии однополярного мира – мондиализма. Централизованные партийные мондиальные системы основаны на использовании Хрематистического интернационала (Хринтерна), а либеральные - на концепции геополитического реализма. Идеология однополярного мира – мондиализм приводит к социал-дарвинизму в международном сообществе, управляемому Глобальным центром капитала (ГЦК). Однако либеральная система приводит к разобщению ее последователей в протестантской цивилизации, и не оказывает атомизирующего воздействия на другие цивилизации, основанные на традиционных ценностях. Эти цивилизации являются конкурентами ГЦК и создают предпосылки для его миграции. Будущие демократические системы развития мирового сообщества должны сочетать просвещенный либерализм элиты мирового сообщества – поддержку стремления государств и цивилизаций к самоорганизации и накоплению капитала - с централизованным регулированием, стимулирующим выполнение государствами и цивилизациями своих обязанностей в интересах мирового сообщества.

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

Цыганов В.В. Политэкономические системы и сценарии циклического развития // Научный эксперт. 2010. Т.1. С. 437-451.

1331

Автор(ы): 

Автор(ов): 

1

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

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

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

Название: 

Средства измерения параметров цепей переменного тока (приборы)

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

  • Электронные компоненты

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

№5

Город: 

  • Москва

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

  • ИД "Электроника"

Год издания: 

2005

Страницы: 

138 - 141
Аннотация
Рассмотрен современный рынок средств измерений параметров цепей переменного тока (СИ ПЦПТ). Показаны технические характеристики более 60 моделей приборов 10 ведущих фирм в области построения приборов данного класса. Отмечены некоторые особенности отдельных приборов. Выявлены новые тенденции в развитии СИ ПЦПТ.

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

Сапронов П.В. Средства измерения параметров цепей переменного тока (приборы) // Электронные компоненты. 2005. №5. С. 138 - 141.

5519

Автор(ы): 

Автор(ов): 

1

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

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

Доклад

Название: 

Сапронов П.В. Распознавание действий пользователя в интеллектуальном интерфейсе пользователя средства измерений

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

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

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

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

Город: 

  • Москва

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

  • Учреждение Российской Академии наук Институт проблем управления им В.А.Трпезникова РАН

Год издания: 

2008

Страницы: 

1963-1966
Аннотация
Одним из методов создания средств измерений с интеллектуальными возможностями является внедрение интеллектуального интерфейса пользователя (ИнИП), который позволяет значительно улучшить интерфейс «человек-прибор». Рассматривается модель функционирования ИнИП средства измерения. Описываются варианты организации работы, учитывающие функциональные возможности аппаратной части прибора, состояния работоспособности прибора, состояния элементов интерфейса пользователя.

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

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

Страницы