Поисковый запрос: (<.>K=Петри сети<.>) |
Общее количество найденных документов : 18
Показаны документы с 1 по 18 |
1.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Кулагин В. П. (доктор технических наук), Логинов А. А.
Заглавие : Анализ программных средств для работы с сетями Петри
Параллельн. заглавия :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--петри сети--дискретно-событийное моделирование--программное обеспечение--сети петри Аннотация: Представлен обзор существующего программного обеспечения для моделирования с использованием сетей Петри.
Найти похожие
|
2.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Бочков М. В. (доктор технических наук; заместитель директора по научной работе), Лалушкин Ю. П., Шкадов А. А.
Заглавие : Имитационное моделирование процессов управления защищенностью ресурсов компьютерной сети на основе иерархических раскрашенных временных сетей Петри
Серия: Безопасность информации
Место публикации : Информационные технологии. - 2012. - N 6. - С.29-33. - ISSN 1684-6400 (Шифр inft/2012/6). - ISSN 1684-6400 Примечания : Библиогр.: с. 33 (8 назв. )
УДК : 004.94 ББК : 32.973-018.2 Предметные рубрики: Вычислительная техника Имитационное компьютерное моделирование Ключевые слова (''Своб.индексиров.''): раскрашенные временные сети--сети петри--петри сети--политика безопасности--уязвимости--управление защищенностью--компьютерные сети Аннотация: Предложена модель управления защищенностью компьютерной сети на основе иерархических раскрашенных временных сетей Петри.
Найти похожие
|
3.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Волосатова Т. М. (кандидат технических наук; доцент), Воронина П. А., Козарь А. А.
Заглавие : Имитационное моделирование угроз информационной безопасности систем модульной авионики
Параллельн. заглавия :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 Предметные рубрики: Вычислительная техника Вычислительная техника в целом Транспорт Самолеты Ключевые слова (''Своб.индексиров.''): петри сети--авионика--автоматизированные системы--бортовое оборудование--вычислительные системы--информационная безопасность--летательные аппараты--сети петри Аннотация: Изложены результаты исследований и анализа вычислительных средств в комплексах связи и навигации самолета, проведенных в целях построения формализованной модели угроз.
Найти похожие
|
4.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Трембач В. М. (кандидат технических наук)
Заглавие : Интеллектуальная информационная система формирования компетенций для реализации модели непрерывного образования
Серия: Новые технологии
Место публикации : Открытое образование. - 2010. - N 4. - С.79-91: рис., табл. - ISSN 1818-4243 (Шифр otob/2010/4). - ISSN 1818-4243 Примечания : Библиогр.: с. 91 (20 назв. )
УДК : 371.69:004.3 ББК : 74с Предметные рубрики: Образование. Педагогика Применение вычислительной техники в педагогике Ключевые слова (''Своб.индексиров.''): модель компетенции--непрерывное образование--информационные системы--компетенции--интегрированный метод--сети петри--петри сети--представление знаний--экспертные системы--искусственный интеллект--информационные системы Аннотация: Рассматриваются вопросы создания интеллектуальных информационных систем формирования компетенций для эффективного решения задач организации непрерывного образования специалистов на протяжении длительного периода профессиональной деятельности.
Найти похожие
|
5.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Трембач В. М. (кандидат технических наук)
Заглавие : Интеллектуальная информационная система формирования компетенций для реализации модели непрерывного образования
Серия: Новые технологии
Место публикации : Открытое образование. - 2010. - N 4. - С.79-91: рис., табл. - ISSN 1818-4243 (Шифр otob/2010/4). - ISSN 1818-4243 Примечания : Библиогр.: с. 91 (20 назв. )
УДК : 371.69:004.3 ББК : 74с Предметные рубрики: Образование. Педагогика Применение вычислительной техники в педагогике Ключевые слова (''Своб.индексиров.''): модель компетенции--непрерывное образование--информационные системы--компетенции--интегрированный метод--сети петри--петри сети--представление знаний--экспертные системы--искусственный интеллект--информационные системы Аннотация: Рассматриваются вопросы создания интеллектуальных информационных систем формирования компетенций для эффективного решения задач организации непрерывного образования специалистов на протяжении длительного периода профессиональной деятельности.
Найти похожие
|
6.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Родионов А. Н. (доктор технических наук; ведущий научный сотрудник)
Заглавие : Метод и алгоритм структурного анализа достижимости узлов в сетях потоков работ
Параллельн. заглавия :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-сети--петри сети--бизнес-процессы--верификация--информационные системы--подграфы локальной свертки--сети петри--сети потоков работ Аннотация: Постоянно растущая сложность деловых процессов, составляющих базис современной организации и управления сложными динамическими системами, объективно влечет за собой усложнение соответствующих моделей, известных как модели потоков работ. Разработано и используется множество методов обнаружения разнообразных дефектов, присущих таким моделям.
Найти похожие
|
7.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Никишин К. И.
Заглавие : Метод ранней диагностики потерь трафика реального времени с контролем таймаутов в программно-конфигурируемых сетях
Серия: Информатика, вычислительная техника и управление
Место публикации : Известия Юго-Западного государственного университета. - 2022. - Т. 26, № 2. - С.142-158. - ISSN 2223-1560 (Шифр iyz1/2022/26/2). - ISSN 2223-1560 Примечания : Библиогр.: с. 154-156 (20 назв.)
УДК : 004.7 ББК : 32.973.202 Предметные рубрики: Вычислительная техника Вычислительные сети Ключевые слова (''Своб.индексиров.''): ethernet--петри сети--коммутаторы--контроль потерь--программно-конфигурируемые сети--сети петри--таймаут--трафик реального времени Аннотация: Предложен метод ранней диагностики потерь трафика реального времени с контролем таймаутов в программно-конфигурируемых сетях и разработан алгоритм его работы.
Найти похожие
|
8.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Хорьков Д. А., Гайдамакин Н. А.
Заглавие : Модель атакующего воздействия на автоматизированные системы в рамках развития аппарата сетей Петри
Серия: Безопасность распределенных систем и телекоммуникаций
Место публикации : Проблемы информационной безопасности. Компьютерные системы. - 2013. - № 1. - С.73-80: схемы. - ISSN 2071-8217 (Шифр pinb/2013/1). - ISSN 2071-8217 Примечания : Библиогр.: с. 80 (6 назв.)
УДК : 004.94 ББК : 32.973 Предметные рубрики: Вычислительная техника Имитационное компьютерное моделирование Ключевые слова (''Своб.индексиров.''): петри сети--автоматизированные системы--защита автоматизированных систем--компьютерные атаки--математическое моделирование--сетевая безопасность--сетевой трафик--сетевые протоколы--сети петри--синтез сетевого трафика--стохастические сети--тестирование сетевых систем--трафик атакующего воздействия Аннотация: Предложена имитационная модель компьютерной атаки, предназначенная для синтеза сетевого трафика атакующего воздействия. Рассмотрена задача тестирования сетевых систем обнаружения компьютерных атак.
Найти похожие
|
9.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Дроздова Н. В. (кандидат экономических наук; доцент)
Заглавие : Особенности моделирования процесса формирования кластеров с использованием аппарата сетей Петри
Серия: Экономика и управление народным хозяйством
Место публикации : Актуальные проблемы экономики и права. - 2011. - N 3 (19). - С.98-102. - ISSN 1993-047x (Шифр apep/2011/3). - ISSN 1993-047x Примечания : Библиогр.: с. 102 (6 назв. )
УДК : 338.24 ББК : 65.050 Предметные рубрики: Экономика Управление экономикой Ключевые слова (''Своб.индексиров.''): регионы--кластеры--моделирование--объекты моделирования--экономическая политика--ретроспективный анализ--прогнозирование--траектории развития--петри сети--сети петри Аннотация: В статье обосновывается возможность и целесообразность применения аппарата сетей Петри для моделирования процесса формирования сложных экономических структур. В качестве объекта моделирования рассматриваются региональные кластеры. Описываются особенности данного аппарата моделирования, типы задач, решаемых с его помощью, пути практического применения.
Найти похожие
|
10.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Воронцов А. А.
Заглавие : Представление знаний в экспертной системе помощи экипажу
Серия: Современный хозяйственный механизм
Место публикации : Экономические науки. - 2007. - N 3. - С. 95-100 Примечания : RUMARS-ekna07_000_003_0095_1
ISSN: ХХХХ-ХХХХ
УДК : 004.8 + 621.37/.39 ББК : 32.813 + 32 Предметные рубрики: Радиоэлектроника-- Искусственный интеллект. Экспертные системы Ключевые слова (''Своб.индексиров.''): модели представления знаний--мпз--экспертные системы--сети петри--петри сети--самолеты Аннотация: Рассмотрена задача создания экспертной системы помощи экипажу воздушного судна. Основное внимание уделено разработке базы знаний для предметной области "Действия экипажа воздушного судна в особых ситуациях". Предложен способ представления знаний при помощи иерархической комбинированной модели.
Найти похожие
|
11.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Рубанов В. Г., Величко Д. В., Бушуев Д. А.
Заглавие : Применение адаптивного трёхпозиционного регулирования в системе автоматизированного управления тепловым объектом
Серия: Информатика, вычислительная техника и управление
Место публикации : Известия Юго-Западного государственного университета. - 2020. - Т. 24, № 4. - С.230-243. - ISSN 2223-1560 (Шифр iyz1/2020/24/4). - ISSN 2223-1560 Примечания : Библиогр.: с. 239-240 (20 назв.)
УДК : 621.398 ББК : 32.96 Предметные рубрики: Радиоэлектроника Автоматика и телемеханика Ключевые слова (''Своб.индексиров.''): петри сети--автоматизированные системы управления--адаптивное трёхпозиционное регулирование--графы операций--пеностекло--пеностекольные блоки--сети петри--тепловые агрегаты--управление технологическими процессами Аннотация: Предложен подход к разработке автоматизированной системы управления технологическим процессом производства пеностекольных блоков.
Найти похожие
|
12.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Кулагин В. П. (доктор технических наук), Малых Е. С.
Заглавие : Проектирование матричных вычислительных структур с использованием сетей Петри
Параллельн. заглавия :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 Предметные рубрики: Вычислительная техника Перспективные архитектуры Ключевые слова (''Своб.индексиров.''): петри сети--матричные структуры--параллельные вычисления--сети петри--тензорный анализ Аннотация: На примере проектирования матричных вычислительных структур предложен алгоритм синтеза моделирующих сетей Петри.
Найти похожие
|
13.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Кулагин В. П. (доктор технических наук), Малых Е. С.
Заглавие : Проектирование матричных вычислительных структур с использованием сетей Петри
Параллельн. заглавия :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 Предметные рубрики: Вычислительная техника Перспективные архитектуры Ключевые слова (''Своб.индексиров.''): петри сети--матричные структуры--параллельные вычисления--сети петри--тензорный анализ Аннотация: На примере проектирования матричных вычислительных структур предложен алгоритм синтеза моделирующих сетей Петри.
Найти похожие
|
14.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Корнев, Дмитрий Алексеевич (кандидат технических наук)
Заглавие : Расчет рисков информационной системы в терминах сетей Петри
Серия: Доверенная среда
Место публикации : Вопросы защиты информации. - 2016. - № 4. - С.23-31. - ISSN 2073-2600 (Шифр vozi/2016/4). - ISSN 2073-2600 Примечания : Библиогр.: с. 31 (5 назв. )
УДК : 004.056 ББК : 32.97 Предметные рубрики: Вычислительная техника Вычислительная техника в целом Ключевые слова (''Своб.индексиров.''): mitm-атаки--петри сети--вычислительные комплексы--доверенная среда--информационные системы--математические модели--расчет рисков--риски информационной системы--сети петри--угрозы Аннотация: Представлена методика расчета вероятности потери конфиденциальности информации на защищенном вычислительном ресурсе, позволившая получить хорошую сходимость со статистикой уязвимостей корпоративных информационных систем.
Найти похожие
|
15.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Кулагин В. П. (доктор технических наук), Дубинин В. Н.
Заглавие : Структурный анализ сетей Петри
Серия: Интеллектуальные системы и технологии
Место публикации : Информационные технологии. - 2016. - Т. 22, № 1. - С.3-13. - ISSN 1684-6400 (Шифр inft/2016/22/1). - ISSN 1684-6400 Примечания : Библиогр.: с. 13 (13 назв.)
УДК : 519.1 ББК : 22.174.1 Предметные рубрики: Математика Комбинаторный анализ Ключевые слова (''Своб.индексиров.''): петри сети--сп-структуры--динамические системы--дискретные системы--сети петри--системы координат--теория структур Аннотация: Предложен новый формализм - структуры сетей Петри, предназначенный для исследования моделей сложных систем.
Найти похожие
|
16.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Кулагин В. П. (доктор технических наук)
Заглавие : Тензорные методы исследования структур сетей Петри
Серия: Интеллектуальные системы и технологии
Место публикации : Информационные технологии. - 2015. - Т. 21, № 2. - С.83-94. - ISSN 1684-6400 (Шифр inft/2015/21/2). - ISSN 1684-6400 Примечания : Библиогр.: с. 94 (29 назв.)
УДК : 004.41/.42 ББК : 32.973-018 Предметные рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Ключевые слова (''Своб.индексиров.''): петри сети--геометрическая интерпретация--сети петри--тензорные методы--тензорные уравнения Аннотация: Описан тензорный подход к исследованию сложных систем, представленных в терминах сетей Петри.
Найти похожие
|
17.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Ефремов В. С. (д-р экон. наук, проф.)
Заглавие : Траснациональные бизнес-системы
Серия: Теория менеджмента
Место публикации : Менеджмент в России и за рубежом. - 2008. - N 1. - С.3-17: рис., расч., схемы. - ISSN 1028-5857. - ISSN 1028-5857 Примечания : Библиогр.: с. 17 (8 назв. )
УДК : 338.24 ББК : 65.291.2 Предметные рубрики: Экономика Внутрифирменное управление. Менеджмент Ключевые слова (''Своб.индексиров.''): модели бизнес-систем--бизнес-системы--стоимостная цепочка--конкурентное преимущество--стоимостные сети--модель цепочки стоимости--стоимостные кластеры--бизнес-кластеры--транснациональные компании--сети петри--петри сети--транснациональные бизнес-кластеры Аннотация: В статье автор рассматривает системный подход к изучению всех видов деятельности, осуществляемых фирмой, а также того, как эти виды деятельности взаимодействуют между собой. Вводит понятие стоимостной цепочки как инструмента, для анализа источников конкурентного преимущества.
Найти похожие
|
18.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Калинин, Максим Олегович, Коноплев, Артем Станиславович
Заглавие : Формализация комплекса задач по обеспечению защиты ресурсов грид-систем от несанкционированного доступа
Серия: Теоретические основы информационной безопасности
Место публикации : Проблемы информационной безопасности. Компьютерные системы. - 2012. - № 2. - С.7-13: ил. - ISSN 2071-8217 (Шифр pinb/2012/2). - ISSN 2071-8217 Примечания : Библиогр.: с. 13 (10 назв.)
УДК : 004.56 ББК : 32.973 Предметные рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Ключевые слова (''Своб.индексиров.''): информационная безопасность--грид-системы--контроль доступа--сети петри--петри сети--архитектура грид-систем--компьютерное моделирование--защита ресурсов--несанкционированный доступ Аннотация: Рассмотрена проблема обеспечения безопасности ресурсов в грид-системах. Проанализированы особенности архитектуры грид-систем, построена модель угроз. Рассмотрены существующие меры по обеспечению безопасности грид-систем, указаны их недостатки. Построено описание безопасности грид-систем с использованием сетей Петри.
Найти похожие
|
|