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

Базы данных


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

Вид поиска

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


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

   Транспорт

   Самолеты

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


Доп.точки доступа:
Воронина, П. А. (магистрант); Козарь, А. А. (магистрант)
Нет сведений об экземплярах (Источник в БД не найден)

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

2.


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

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

Нет сведений об экземплярах (Источник в БД не найден)

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

3.


    Кулагин, В. П. (доктор технических наук).
    Структурный анализ сетей Петри [Текст] / В. П. Кулагин, В. Н. Дубинин // Информационные технологии. - 2016. - Т. 22, № 1. - С. 3-13. - Библиогр.: с. 13 (13 назв.) . - ISSN 1684-6400
УДК
ББК 22.174.1
Рубрики: Математика
   Комбинаторный анализ

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


Доп.точки доступа:
Дубинин, В. Н. (доктор технических наук)
Нет сведений об экземплярах (Источник в БД не найден)

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

4.


    Корнев, Дмитрий Алексеевич (кандидат технических наук).
    Расчет рисков информационной системы в терминах сетей Петри [Текст] / Д. А. Корнев // Вопросы защиты информации. - 2016. - № 4. - С. 23-31. - Библиогр.: с. 31 (5 назв. ) . - ISSN 2073-2600
УДК
ББК 32.97
Рубрики: Вычислительная техника
   Вычислительная техника в целом

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

Нет сведений об экземплярах (Источник в БД не найден)

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

5.


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

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


Доп.точки доступа:
Малых, Е. С. (магистрант)
Нет сведений об экземплярах (Источник в БД не найден)

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

6.


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

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


Доп.точки доступа:
Величко, Д. В.; Бушуев, Д. А.
Нет сведений об экземплярах (Источник в БД не найден)

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

7.


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

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

Нет сведений об экземплярах (Источник в БД не найден)

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

8.


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

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


Доп.точки доступа:
Малых, Е. С. (магистрант)
Нет сведений об экземплярах (Источник в БД не найден)

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

9.


    Кулагин, В. П. (доктор технических наук).
    Анализ программных средств для работы с сетями Петри [Текст] = Analysis of software tools for working with Petri nets / В. П. Кулагин, А. А. Логинов // Информационные технологии. - 2021. - Т. 27, № 2. - С. 89-96 . - ISSN 1684-6400
УДК
ББК 32.97
Рубрики: Вычислительная техника
   Вычислительная техника в целом

Кл.слова (ненормированные):
Petri nets -- discrete-event simulation -- Петри сети -- дискретно-событийное моделирование -- программное обеспечение -- сети Петри
Аннотация: Представлен обзор существующего программного обеспечения для моделирования с использованием сетей Петри.


Доп.точки доступа:
Логинов, А. А. (аспирант)
Нет сведений об экземплярах (Источник в БД не найден)

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

10.


    Трембач, В. М. (кандидат технических наук).
    Интеллектуальная информационная система формирования компетенций для реализации модели непрерывного образования [Текст] / В. М. Трембач // Открытое образование. - 2010. - N 4. - С. 79-91 : рис., табл. - Библиогр.: с. 91 (20 назв. ) . - ISSN 1818-4243
УДК
ББК 74с
Рубрики: Образование. Педагогика
   Применение вычислительной техники в педагогике

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

Нет сведений об экземплярах (Источник в БД не найден)

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

11.


    Трембач, В. М. (кандидат технических наук).
    Интеллектуальная информационная система формирования компетенций для реализации модели непрерывного образования [Текст] / В. М. Трембач // Открытое образование. - 2010. - N 4. - С. 79-91 : рис., табл. - Библиогр.: с. 91 (20 назв. ) . - ISSN 1818-4243
УДК
ББК 74с
Рубрики: Образование. Педагогика
   Применение вычислительной техники в педагогике

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

Нет сведений об экземплярах (Источник в БД не найден)

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

12.


    Воронцов, А. А.
    Представление знаний в экспертной системе помощи экипажу [Текст] / А. А. Воронцов // Экономические науки. - 2007. - N 3. - С. . 95-100. - RUMARS-ekna07_000_003_0095_1
УДК
ББК 32.813 + 32
Рубрики: Радиоэлектроника--Искусственный интеллект. Экспертные системы
Кл.слова (ненормированные):
модели представления знаний -- мпз -- экспертные системы -- сети Петри -- Петри сети -- самолеты
Аннотация: Рассмотрена задача создания экспертной системы помощи экипажу воздушного судна. Основное внимание уделено разработке базы знаний для предметной области "Действия экипажа воздушного судна в особых ситуациях". Предложен способ представления знаний при помощи иерархической комбинированной модели.


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

13.


    Ефремов, В. С. (д-р экон. наук, проф.).
    Траснациональные бизнес-системы [Текст] / В. С. Ефремов // Менеджмент в России и за рубежом. - 2008. - N 1. - С. 3-17 : рис., расч., схемы. - Библиогр.: с. 17 (8 назв. ) . - ISSN 1028-5857
УДК
ББК 65.291.2
Рубрики: Экономика
   Внутрифирменное управление. Менеджмент

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


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

14.


    Дроздова, Н. В. (кандидат экономических наук; доцент).
    Особенности моделирования процесса формирования кластеров с использованием аппарата сетей Петри [Текст] / Н. В. Дроздова // Актуальные проблемы экономики и права. - 2011. - N 3 (19). - С. 98-102. - Библиогр.: с. 102 (6 назв. ) . - ISSN 1993-047x
УДК
ББК 65.050
Рубрики: Экономика
   Управление экономикой

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

Нет сведений об экземплярах (Источник в БД не найден)

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

15.


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

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


Доп.точки доступа:
Гайдамакин, Н. А.
Нет сведений об экземплярах (Источник в БД не найден)

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

16.


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

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

Нет сведений об экземплярах (Источник в БД не найден)

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

17.


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

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


Доп.точки доступа:
Лалушкин, Ю. П. (доктор технических наук; консультант); Шкадов, А. А. (кандидат технических наук; заместитель начальника отделения)
Нет сведений об экземплярах (Источник в БД не найден)

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

18.


    !ozboz_W.pft: FILE NOT FOUND! / М. О. Калинин, А. С. Коноплев // Проблемы информационной безопасности. Компьютерные системы. - 2012. - № 2. - С. 7-13 : ил. - Библиогр.: с. 13 (10 назв.) . - ISSN 2071-8217
УДК
ББК 32.973
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника

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


Доп.точки доступа:
Коноплев, Артем Станиславович
Нет сведений об экземплярах (Источник в БД не найден)

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

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