Библиотека Амурского Государственного Университета

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

БД "Статьи" - результаты поиска

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

Область поиска

Найдено в других БД:

БД "Книги" (2)

Формат представления найденных документов:
полный	информационный	краткий

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

Поисковый запрос: (<.>A=Лебедев, В. Г.$<.>)

Общее количество найденных документов : 10
Показаны документы с 1 по 10

Шифр: prog/2007/1
Журнал

Программирование [Текст] : журнал Российской академии наук. - ISSN 0132-3474. - Выходит раз в два месяца
2007г. N 1 . - Указатель статей за 2006 г.

Содержание:
Бабичев, А. В. Язык спецификации взаимодействующих процессов Model-100 / А.В. Бабичев, В.Г. Лебедев. - С.5-21. - Библиогр. в конце ст.
Кл.слова: Язык Model-100, архитектура, макрогенерация, управление порядком вычисления
Лисица, А. П. Верификация как параметризованное тестирование : (эксперименты с суперкомпилятором SCP4) / А.П. Лисица, А.П. Немытых. - С.22-34
Кл.слова: верификация, тестирование программы, интерпретатор игры moesl
Терехов, А. Н. Реализация стыка между msc- b sdl- диаграммами в технологии real / А.Н. Терехов, В.В. Соколов. - С.35-50. - Библиогр. в конце ст.
Кл.слова: верификация, новый способ, тестирование программ
Клепинин, А. В. Об универсальной модели организации доступа к базам данных / А.В. Клепинин. - С.51-64. - Библиогр. в конце ст.
Кл.слова: система управления базами данных, программный продукт
Кузнецов, М. Б. Трансформация UML- моделей и ее использование в технологии MDA / М.Б. Кузнецов. - С.65-78
Кл.слова: технология MDA, трансформация моделей, язык описания, моделирования UML
Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие
Перейти к описаниям статей

Бабичев, А. В.
Язык спецификации взаимодействующих процессов MODEL-100 [Текст] / А. В. Бабичев, В. Г. Лебедев // Программирование. - 2007. - N 1. - С. 5-21. - Библиогр.: с. 14 (6 назв. )

УДК

^a519.6

ББК 22.19
Рубрики: Математика
Кл.слова (ненормированные):
языки программирования
Аннотация: Описываются идеология и основные конструкции языка Model-100, предназначенного для описания поведения множества взаимодействующих процессов.

Доп.точки доступа:
Лебедев, В. Г.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Асратян, Рубен Эзрасович (канд. техн. наук; вед. науч. сотрудник).
Межсерверная маршрутизация HTTP/SOAP-взаимодействий в распределенных системах [Текст] / Р. Э. Асратян ; ст. представлена к публ. В. Г. Лебедевым // Проблемы управления. - 2008. - N 5. - С. 57-61 : 5 рис. - Библиогр.: с. 61 (5 назв.) . - ISSN 1819-3161

УДК

^A004.738.5

ББК 32.973.202
Рубрики: Вычислительная техника
Интернет

Кл.слова (ненормированные):
распределенные системы -- сетевые протоколы -- Web-сервисы -- межсерверное взаимодействие -- межсерверная маршрутизация -- Интернет-технологии -- пакеты файлов -- REPS-серверы -- HTTP-протокол -- SOAP-протокол -- программные средства
Аннотация: Рассмотрен подход к повышению эффективности TTP/SOAP-взаимодействий в глобальных сетях путем организации тоннеля между HTTP-клиентами и HTTP-серверами, обеспечивающего возможность межсерверного взаимодействия и межсерверной маршрутизации данных в сети, защиту от несанкционированного доступа и концептуальную к сетевым сбоям. Описаны принципы организации такого тоннеля, включая принципы функционирования сетевых шлюзов, необходимых для его построения.

Доп.точки доступа:
Лебедев, В. Г. (член редколлегии) \.\

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Гилязов, Руслан Леонидович (аспирант).
Об одном подходе к учету иерархической структуры критериев оптимальности мультисервисной сети передачи данных [Текст] / Р. Л. Гилязов, В. Ю. Столбов ; ст. представлена к публ. В. Г. Лебедевым // Проблемы управления. - 2009. - N 1. - С. 44-52 : 9 табл.; 3 рис. - Библиогр.: с. 52 (13 назв.) . - ISSN 1819-3161

УДК

^A621.394

ББК 32.88
Рубрики: Радиоэлектроника
Электрическая связь в целом

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

Доп.точки доступа:
Столбов, Валерий Юрьевич (д-р техн. наук; профессор); Лебедев, В. Г. (член редколлегии) \.\

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Кулида, Е. Л.
Информационно-аналитический центр системы промышленного экологического мониторинга объекта уничтожения химического оружия [Текст] / Е. Л. Кулида, И. П. Крюкова, В. Г. Лебедев // Приборы и системы. Управление, контроль, диагностика. - 2009. - N 7. - С. 50-54. : 4 рис. - Библиогр.: с. 54 (4 назв. )

ГРНТИ	50.43
УДК	^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
промышленный экологический мониторинг -- химическое оружие -- объекты уничтожения -- информационно-аналитические центры
Аннотация: Рассматриваются структура и задачи информационно-аналитического центра систем промышленного экологического мониторинга, реализованных в зонах влияния объектов уничтожения химического оружия.

Доп.точки доступа:
Крюкова, И. П.; Лебедев, В. Г.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Меры семантической близости в онтологии [Текст] / К. В. Крюков [и др.] ; ст. представлена к публ. В. Г. Лебедевым // Проблемы управления. - 2010. - N 5. - С. 2-14 : 5 рис. - Библиогр.: с. 14 (27 назв.) . - ISSN 1819-3161

УДК

^A001

ББК 1
Рубрики: Общенаучные и междисциплинарные знания
Общие вопросы общенаучного и междисциплинарного знания

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

Доп.точки доступа:
Крюков, Кирилл Вячеславович (ст. математик); Панкова, Людмила Александровна (канд. техн. наук; ст. науч. сотрудник); Пронина, Валерия Александровна (канд. техн. наук; ст. науч. сотрудник); Суховеров, Виктор Степанович (канд. техн. наук; ст. науч. сотрудник); Шипилина, Любовь Борисовна (канд. техн. наук; ст. науч. сотрудник); Лебедев, В. Г. (член редколлегии) \.\

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Галенко, П. К.
Градиентная устойчивость численных алгоритмов в локально-неравновесных задачах критической динамики [Текст] / П. К. Галенко, В. Г. Лебедев, А. А. Сысоева // Журнал вычислительной математики и математической физики. - 2011. - Т. 51, N 6. - С. 1148-1165. . - Библиогр.: c. 1164-1165

УДК

^a519.6

ББК 22.19
Рубрики: Математика
Вычислительная математика
Кл.слова (ненормированные):
градиентно-устойчивые численные методы -- критическая динамика пространственно-неоднородной системы -- необратимая термодинамика -- структурообразование -- уравнения критической динамики
Аннотация: Рассмотрена критическая динамика пространственно-неоднородной системы. Анализ динамики расширен учетом локальной неравновесности, что приводит к сингулярному возмущению используемых уравнений за счет появления второй производной по времени. Построено расширение теоремы Эйра (Eyre), справедливой для классических уравнений критической динамики, описываемых уравнениями первого порядка по времени и базирующихся на гипотезе локального равновесия. Показано, что на основе разложения свободной энергии на растягивающую и сжимающую части, предложенного Эйром для классических уравнений, для уравнений второго порядка по времени также могут быть построены численные алгоритмы, обладающие градиентной устойчивостью. Эти градиентно-устойчивые алгоритмы приводят к монотонному невозрастанию свободной энергии при моделировании процесса с произвольным шагом по времени. Показано, что условия градиентной устойчивости для модифицированных и классических уравнений критической динамики совпадают между собой при определенной аппроксимации по времени соотношений инерционной динамики, вводимых для описания локальной неравновесности. Рассмотрены модельные задачи, демонстрирующие расширенную теорему Эйра для задач критической динамики.

Доп.точки доступа:
Лебедев, В. Г.; Сысоева, А. А.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Григорьев, Леонид Иванович (доктор технических наук; профессор; заведующий кафедрой).
Анализ и обработка архивных данных в системах диспетчерского управления в целях построения информационных моделей нештатных ситуаций [Текст] / Л. И. Григорьев, Н. Е. Елов, И. В. Абдуллин ; ст. представлена к публ. В. Г. Лебедевым // Проблемы управления. - 2012. - № 1. - С. 55-61 : рис. - Библиогр.: с. 61 (8 назв.) . - ISSN 1819-3161

УДК

^A621.398

^A004.94

ББК 32.96 + 32.973-018.2
Рубрики: Радиоэлектроника
   Автоматика и телемеханика
   Вычислительная техника
   Имитационное компьютерное моделирование
Кл.слова (ненормированные):
нештатные ситуации -- аварийные ситуации -- информационные модели -- диспетчерское управление -- архивные данные -- автоматизированные системы управления -- ассоциативные правила -- оперативное управление -- система поддержки принятия решений -- SCADA-система -- анализ архивной информации -- обработка архивных данных -- информационные образы -- программные продукты
Аннотация: Описаны алгоритм поиска шаблонов и методика его применения для построения информационных образов нештатных и аварийных ситуаций в архивах событий систем управления технологическим процессом. Отмечено, что получаемые данные предназначены для использования в системах поддержки принятия диспетчерских решений, а также аналитических системах, компьютерных тренажерных комплексах подготовки диспетчерского персонала.

Доп.точки доступа:
Елов, Николай Евгеньевич (главный инженер проектов); Абдуллин, Игорь Валерьевич (студент); Лебедев, В. Г. (член редколлегии) \.\

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Промыслов, Виталий Георгиевич (кандидат физико-математических наук; ведущий научный сотрудник).
Моделирование вычислительных систем с переменным потоком данных [Текст] / В. Г. Промыслов ; ст. представлена к публ. В. Г. Лебедевым // Проблемы управления. - 2012. - № 1. - С. 62-69 : рис. - Библиогр.: с. 69 (17 назв.) . - Прил. 1. - с. 69. - Прил. 2. - с. 69 . - ISSN 1819-3161

УДК

^A004.94

ББК 32.973-018.2
Рубрики: Вычислительная техника
Имитационное компьютерное моделирование
Кл.слова (ненормированные):
вычислительные системы -- распределенные вычислительные системы -- преобразование Лежандра -- Лежандра преобразования -- метод network calculus -- функции обслуживания (вычислительная техника) -- пакеты данных -- потоки данных
Аннотация: Рассмотрены вопросы моделирования и расчета вычислительных распределенных систем. Для моделирования применен метод "Network calculus", базирующийся на мини-(макси-) плюс алгебре. Основное внимание уделено вычислительным системам с неравным на длительном интервале наблюдения объемом принимаемых и передаваемых компонентом данных. Предложено применять обобщенное преобразование Лежандра для расчета конверта выходного потока системы с суммирование двух потоков, где основной поток имеет вид T-SPEC и моделирования фрагмента вычислительной системы с линейным преобразованием потока и пакетированием.

Доп.точки доступа:
Лебедев, В. Г. (член редколлегии) \.\

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

10.

Лебедев, В. Г.
О влиянии неизотермичности на ранние стадии спинодального распада [Текст] / В. Г. Лебедев, П. К. Галенко // Журнал экспериментальной и теоретической физики. - 2019. - Т. 156, вып. 1. - С. 105-117. - Библиогр. в конце статьи . - ISSN 0044-4510

УДК

^a530.1

ББК 22.31
Рубрики: Физика
Теоретическая физика
Кл.слова (ненормированные):
Гинзбурга - Ландау энергия -- Кана - Хилльярда модель -- бинарные системы -- модель Кана - Хилльярда -- спинодальный распад -- энергия Гинзбурга - Ландау
Аннотация: Предложена неизотермическая модель спинодального распада для бинарной системы, описываемой энергией Гинзбурга - Ландау.

Доп.точки доступа:
Галенко, П. К.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Тематический навигатор

Статистика за 28.07.2024
Число запросов	22543
Число посетителей	1
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)