Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=сети Петри<.>)
Общее количество найденных документов : 18
Показаны документы с 1 по 18
1.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Воронцов А. А.
Заглавие : Представление знаний в экспертной системе помощи экипажу
Серия: Современный хозяйственный механизм
Место публикации : Экономические науки. - 2007. - N 3. - С. 95-100
Примечания : RUMARS-ekna07_000_003_0095_1
ISSN: ХХХХ-ХХХХ
УДК : 004.8 + 621.37/.39
ББК : 32.813 + 32
Предметные рубрики: Радиоэлектроника-- Искусственный интеллект. Экспертные системы
Ключевые слова (''Своб.индексиров.''): модели представления знаний--мпз--экспертные системы--сети петри--петри сети--самолеты
Аннотация: Рассмотрена задача создания экспертной системы помощи экипажу воздушного судна. Основное внимание уделено разработке базы знаний для предметной области "Действия экипажа воздушного судна в особых ситуациях". Предложен способ представления знаний при помощи иерархической комбинированной модели.
Найти похожие

2.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Ефремов В. С. (д-р экон. наук, проф.)
Заглавие : Траснациональные бизнес-системы
Серия: Теория менеджмента
Место публикации : Менеджмент в России и за рубежом. - 2008. - N 1. - С.3-17: рис., расч., схемы. - ISSN 1028-5857. - ISSN 1028-5857
Примечания : Библиогр.: с. 17 (8 назв. )
УДК : 338.24
ББК : 65.291.2
Предметные рубрики: Экономика
Внутрифирменное управление. Менеджмент
Ключевые слова (''Своб.индексиров.''): модели бизнес-систем--бизнес-системы--стоимостная цепочка--конкурентное преимущество--стоимостные сети--модель цепочки стоимости--стоимостные кластеры--бизнес-кластеры--транснациональные компании--сети петри--петри сети--транснациональные бизнес-кластеры
Аннотация: В статье автор рассматривает системный подход к изучению всех видов деятельности, осуществляемых фирмой, а также того, как эти виды деятельности взаимодействуют между собой. Вводит понятие стоимостной цепочки как инструмента, для анализа источников конкурентного преимущества.
Найти похожие

3.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Трембач В. М. (кандидат технических наук)
Заглавие : Интеллектуальная информационная система формирования компетенций для реализации модели непрерывного образования
Серия: Новые технологии
Место публикации : Открытое образование. - 2010. - N 4. - С.79-91: рис., табл. - ISSN 1818-4243 (Шифр otob/2010/4). - ISSN 1818-4243
Примечания : Библиогр.: с. 91 (20 назв. )
УДК : 371.69:004.3
ББК : 74с
Предметные рубрики: Образование. Педагогика
Применение вычислительной техники в педагогике
Ключевые слова (''Своб.индексиров.''): модель компетенции--непрерывное образование--информационные системы--компетенции--интегрированный метод--сети петри--петри сети--представление знаний--экспертные системы--искусственный интеллект--информационные системы
Аннотация: Рассматриваются вопросы создания интеллектуальных информационных систем формирования компетенций для эффективного решения задач организации непрерывного образования специалистов на протяжении длительного периода профессиональной деятельности.
Найти похожие

4.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Трембач В. М. (кандидат технических наук)
Заглавие : Интеллектуальная информационная система формирования компетенций для реализации модели непрерывного образования
Серия: Новые технологии
Место публикации : Открытое образование. - 2010. - N 4. - С.79-91: рис., табл. - ISSN 1818-4243 (Шифр otob/2010/4). - ISSN 1818-4243
Примечания : Библиогр.: с. 91 (20 назв. )
УДК : 371.69:004.3
ББК : 74с
Предметные рубрики: Образование. Педагогика
Применение вычислительной техники в педагогике
Ключевые слова (''Своб.индексиров.''): модель компетенции--непрерывное образование--информационные системы--компетенции--интегрированный метод--сети петри--петри сети--представление знаний--экспертные системы--искусственный интеллект--информационные системы
Аннотация: Рассматриваются вопросы создания интеллектуальных информационных систем формирования компетенций для эффективного решения задач организации непрерывного образования специалистов на протяжении длительного периода профессиональной деятельности.
Найти похожие

5.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Дроздова Н. В. (кандидат экономических наук; доцент)
Заглавие : Особенности моделирования процесса формирования кластеров с использованием аппарата сетей Петри
Серия: Экономика и управление народным хозяйством
Место публикации : Актуальные проблемы экономики и права. - 2011. - N 3 (19). - С.98-102. - ISSN 1993-047x (Шифр apep/2011/3). - ISSN 1993-047x
Примечания : Библиогр.: с. 102 (6 назв. )
УДК : 338.24
ББК : 65.050
Предметные рубрики: Экономика
Управление экономикой
Ключевые слова (''Своб.индексиров.''): регионы--кластеры--моделирование--объекты моделирования--экономическая политика--ретроспективный анализ--прогнозирование--траектории развития--петри сети--сети петри
Аннотация: В статье обосновывается возможность и целесообразность применения аппарата сетей Петри для моделирования процесса формирования сложных экономических структур. В качестве объекта моделирования рассматриваются региональные кластеры. Описываются особенности данного аппарата моделирования, типы задач, решаемых с его помощью, пути практического применения.
Найти похожие

6.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Бочков М. В. (доктор технических наук; заместитель директора по научной работе), Лалушкин Ю. П., Шкадов А. А.
Заглавие : Имитационное моделирование процессов управления защищенностью ресурсов компьютерной сети на основе иерархических раскрашенных временных сетей Петри
Серия: Безопасность информации
Место публикации : Информационные технологии. - 2012. - N 6. - С.29-33. - ISSN 1684-6400 (Шифр inft/2012/6). - ISSN 1684-6400
Примечания : Библиогр.: с. 33 (8 назв. )
УДК : 004.94
ББК : 32.973-018.2
Предметные рубрики: Вычислительная техника
Имитационное компьютерное моделирование
Ключевые слова (''Своб.индексиров.''): раскрашенные временные сети--сети петри--петри сети--политика безопасности--уязвимости--управление защищенностью--компьютерные сети
Аннотация: Предложена модель управления защищенностью компьютерной сети на основе иерархических раскрашенных временных сетей Петри.
Найти похожие

7.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Калинин, Максим Олегович, Коноплев, Артем Станиславович
Заглавие : Формализация комплекса задач по обеспечению защиты ресурсов грид-систем от несанкционированного доступа
Серия: Теоретические основы информационной безопасности
Место публикации : Проблемы информационной безопасности. Компьютерные системы. - 2012. - № 2. - С.7-13: ил. - ISSN 2071-8217 (Шифр pinb/2012/2). - ISSN 2071-8217
Примечания : Библиогр.: с. 13 (10 назв.)
УДК : 004.56
ББК : 32.973
Предметные рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Ключевые слова (''Своб.индексиров.''): информационная безопасность--грид-системы--контроль доступа--сети петри--петри сети--архитектура грид-систем--компьютерное моделирование--защита ресурсов--несанкционированный доступ
Аннотация: Рассмотрена проблема обеспечения безопасности ресурсов в грид-системах. Проанализированы особенности архитектуры грид-систем, построена модель угроз. Рассмотрены существующие меры по обеспечению безопасности грид-систем, указаны их недостатки. Построено описание безопасности грид-систем с использованием сетей Петри.
Найти похожие

8.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Хорьков Д. А., Гайдамакин Н. А.
Заглавие : Модель атакующего воздействия на автоматизированные системы в рамках развития аппарата сетей Петри
Серия: Безопасность распределенных систем и телекоммуникаций
Место публикации : Проблемы информационной безопасности. Компьютерные системы. - 2013. - № 1. - С.73-80: схемы. - ISSN 2071-8217 (Шифр pinb/2013/1). - ISSN 2071-8217
Примечания : Библиогр.: с. 80 (6 назв.)
УДК : 004.94
ББК : 32.973
Предметные рубрики: Вычислительная техника
Имитационное компьютерное моделирование
Ключевые слова (''Своб.индексиров.''): петри сети--автоматизированные системы--защита автоматизированных систем--компьютерные атаки--математическое моделирование--сетевая безопасность--сетевой трафик--сетевые протоколы--сети петри--синтез сетевого трафика--стохастические сети--тестирование сетевых систем--трафик атакующего воздействия
Аннотация: Предложена имитационная модель компьютерной атаки, предназначенная для синтеза сетевого трафика атакующего воздействия. Рассмотрена задача тестирования сетевых систем обнаружения компьютерных атак.
Найти похожие

9.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Кулагин В. П. (доктор технических наук)
Заглавие : Тензорные методы исследования структур сетей Петри
Серия: Интеллектуальные системы и технологии
Место публикации : Информационные технологии. - 2015. - Т. 21, № 2. - С.83-94. - ISSN 1684-6400 (Шифр inft/2015/21/2). - ISSN 1684-6400
Примечания : Библиогр.: с. 94 (29 назв.)
УДК : 004.41/.42
ББК : 32.973-018
Предметные рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Ключевые слова (''Своб.индексиров.''): петри сети--геометрическая интерпретация--сети петри--тензорные методы--тензорные уравнения
Аннотация: Описан тензорный подход к исследованию сложных систем, представленных в терминах сетей Петри.
Найти похожие

10.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Кулагин В. П. (доктор технических наук), Дубинин В. Н.
Заглавие : Структурный анализ сетей Петри
Серия: Интеллектуальные системы и технологии
Место публикации : Информационные технологии. - 2016. - Т. 22, № 1. - С.3-13. - ISSN 1684-6400 (Шифр inft/2016/22/1). - ISSN 1684-6400
Примечания : Библиогр.: с. 13 (13 назв.)
УДК : 519.1
ББК : 22.174.1
Предметные рубрики: Математика
Комбинаторный анализ
Ключевые слова (''Своб.индексиров.''): петри сети--сп-структуры--динамические системы--дискретные системы--сети петри--системы координат--теория структур
Аннотация: Предложен новый формализм - структуры сетей Петри, предназначенный для исследования моделей сложных систем.
Найти похожие

11.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Корнев, Дмитрий Алексеевич (кандидат технических наук)
Заглавие : Расчет рисков информационной системы в терминах сетей Петри
Серия: Доверенная среда
Место публикации : Вопросы защиты информации. - 2016. - № 4. - С.23-31. - ISSN 2073-2600 (Шифр vozi/2016/4). - ISSN 2073-2600
Примечания : Библиогр.: с. 31 (5 назв. )
УДК : 004.056
ББК : 32.97
Предметные рубрики: Вычислительная техника
Вычислительная техника в целом
Ключевые слова (''Своб.индексиров.''): mitm-атаки--петри сети--вычислительные комплексы--доверенная среда--информационные системы--математические модели--расчет рисков--риски информационной системы--сети петри--угрозы
Аннотация: Представлена методика расчета вероятности потери конфиденциальности информации на защищенном вычислительном ресурсе, позволившая получить хорошую сходимость со статистикой уязвимостей корпоративных информационных систем.
Найти похожие

12.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Волосатова Т. М. (кандидат технических наук; доцент), Воронина П. А., Козарь А. А.
Заглавие : Имитационное моделирование угроз информационной безопасности систем модульной авионики
Параллельн. заглавия :Simulation Modeling of Information Security Threats Systems Modular Avionics
Серия: Моделирование и оптимизация
Место публикации : Информационные технологии. - 2017. - Т. 23, № 11. - С.776-781. - ISSN 1684-6400 (Шифр inft/2017/23/11). - ISSN 1684-6400
Примечания : Библиогр.: с. 781 (19 назв.)
УДК : 004 + 629.735.3
ББК : 32.97 + 39.53
Предметные рубрики: Вычислительная техника
Вычислительная техника в целом
Транспорт
Самолеты
Ключевые слова (''Своб.индексиров.''): петри сети--авионика--автоматизированные системы--бортовое оборудование--вычислительные системы--информационная безопасность--летательные аппараты--сети петри
Аннотация: Изложены результаты исследований и анализа вычислительных средств в комплексах связи и навигации самолета, проведенных в целях построения формализованной модели угроз.
Найти похожие

13.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Родионов А. Н. (доктор технических наук; ведущий научный сотрудник)
Заглавие : Метод и алгоритм структурного анализа достижимости узлов в сетях потоков работ
Параллельн. заглавия :Reachability of workflow nodes: the method of structural analysis and algorithm
Серия: Информационные технологии в организационных и социально-экономических системах
Место публикации : Информационные технологии. - 2018. - Т. 24, № 4. - С.274-288. - ISSN 1684-6400 (Шифр inft/2018/24/4). - ISSN 1684-6400
Примечания : Библиогр.: с. 288 (14 назв.)
УДК : 004.94
ББК : 32.973-018.2
Предметные рубрики: Вычислительная техника
Имитационное компьютерное моделирование
Ключевые слова (''Своб.индексиров.''): wf-сети--петри сети--бизнес-процессы--верификация--информационные системы--подграфы локальной свертки--сети петри--сети потоков работ
Аннотация: Постоянно растущая сложность деловых процессов, составляющих базис современной организации и управления сложными динамическими системами, объективно влечет за собой усложнение соответствующих моделей, известных как модели потоков работ. Разработано и используется множество методов обнаружения разнообразных дефектов, присущих таким моделям.
Найти похожие

14.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Кулагин В. П. (доктор технических наук), Малых Е. С.
Заглавие : Проектирование матричных вычислительных структур с использованием сетей Петри
Параллельн. заглавия :Design of matrix computing structures using Petri nets
Серия: Вычислительные системы и сети
Место публикации : Информационные технологии. - 2019. - Т. 25, № 5. - С.271-282. - ISSN 1684-6400 (Шифр inft/2019/25/5). - ISSN 1684-6400
Примечания : Библиогр.: с. 282 (17 назв.)
УДК : 004.27
ББК : 32.973-02
Предметные рубрики: Вычислительная техника
Перспективные архитектуры
Ключевые слова (''Своб.индексиров.''): петри сети--матричные структуры--параллельные вычисления--сети петри--тензорный анализ
Аннотация: На примере проектирования матричных вычислительных структур предложен алгоритм синтеза моделирующих сетей Петри.
Найти похожие

15.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Кулагин В. П. (доктор технических наук), Малых Е. С.
Заглавие : Проектирование матричных вычислительных структур с использованием сетей Петри
Параллельн. заглавия :Design of matrix computing structures using Petri nets
Серия: Вычислительные системы и сети
Место публикации : Информационные технологии. - 2019. - Т. 25, № 5. - С.271-282. - ISSN 1684-6400 (Шифр inft/2019/25/5). - ISSN 1684-6400
Примечания : Библиогр.: с. 282 (17 назв.)
УДК : 004.27
ББК : 32.973-02
Предметные рубрики: Вычислительная техника
Перспективные архитектуры
Ключевые слова (''Своб.индексиров.''): петри сети--матричные структуры--параллельные вычисления--сети петри--тензорный анализ
Аннотация: На примере проектирования матричных вычислительных структур предложен алгоритм синтеза моделирующих сетей Петри.
Найти похожие

16.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Кулагин В. П. (доктор технических наук), Логинов А. А.
Заглавие : Анализ программных средств для работы с сетями Петри
Параллельн. заглавия :Analysis of software tools for working with Petri nets
Серия: Программная инженерия
Место публикации : Информационные технологии. - 2021. - Т. 27, № 2. - С.89-96. - ISSN 1684-6400 (Шифр inft/2021/27/2). - ISSN 1684-6400
УДК : 004
ББК : 32.97
Предметные рубрики: Вычислительная техника
Вычислительная техника в целом
Ключевые слова (''Своб.индексиров.''): petri nets--discrete-event simulation--петри сети--дискретно-событийное моделирование--программное обеспечение--сети петри
Аннотация: Представлен обзор существующего программного обеспечения для моделирования с использованием сетей Петри.
Найти похожие

17.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Рубанов В. Г., Величко Д. В., Бушуев Д. А.
Заглавие : Применение адаптивного трёхпозиционного регулирования в системе автоматизированного управления тепловым объектом
Серия: Информатика, вычислительная техника и управление
Место публикации : Известия Юго-Западного государственного университета. - 2020. - Т. 24, № 4. - С.230-243. - ISSN 2223-1560 (Шифр iyz1/2020/24/4). - ISSN 2223-1560
Примечания : Библиогр.: с. 239-240 (20 назв.)
УДК : 621.398
ББК : 32.96
Предметные рубрики: Радиоэлектроника
Автоматика и телемеханика
Ключевые слова (''Своб.индексиров.''): петри сети--автоматизированные системы управления--адаптивное трёхпозиционное регулирование--графы операций--пеностекло--пеностекольные блоки--сети петри--тепловые агрегаты--управление технологическими процессами
Аннотация: Предложен подход к разработке автоматизированной системы управления технологическим процессом производства пеностекольных блоков.
Найти похожие

18.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Никишин К. И.
Заглавие : Метод ранней диагностики потерь трафика реального времени с контролем таймаутов в программно-конфигурируемых сетях
Серия: Информатика, вычислительная техника и управление
Место публикации : Известия Юго-Западного государственного университета. - 2022. - Т. 26, № 2. - С.142-158. - ISSN 2223-1560 (Шифр iyz1/2022/26/2). - ISSN 2223-1560
Примечания : Библиогр.: с. 154-156 (20 назв.)
УДК : 004.7
ББК : 32.973.202
Предметные рубрики: Вычислительная техника
Вычислительные сети
Ключевые слова (''Своб.индексиров.''): ethernet--петри сети--коммутаторы--контроль потерь--программно-конфигурируемые сети--сети петри--таймаут--трафик реального времени
Аннотация: Предложен метод ранней диагностики потерь трафика реального времени с контролем таймаутов в программно-конфигурируемых сетях и разработан алгоритм его работы.
Найти похожие

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