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

Базы данных


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

Вид поиска

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


    Аранов, Владислав Юрьевич.
    Метод защиты от компьютерных атак, основанных на анализе исполняемого машинного кода [Текст] / В. Ю. Аранов, В. С. Заборовский // Проблемы информационной безопасности. Компьютерные системы. - 2013. - № 4. - С. 93-97 : граф. - Библиогр.: с. 97 (5 назв.) . - ISSN 2071-8217
УДК
ББК 32.973
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника

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


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

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

2.


    Исаев, Дмитрий Валентинович (кандидат экономических наук; доцент).
    Моделирование реализации проектов внедрения аналитических информационных систем [Текст] / Д. В. Исаев ; рец. Т. К. Кравченко // Аудит и финансовый анализ. - 2014. - № 6. - С. 416-422 : 1 рис. - Библиогр.: с. 422 (12 назв.). - Рец. Кравченко Т. К. на ст. автора приведена в конце . - ISSN 0236-2988
УДК
ББК 32.973-018.2
Рубрики: Вычислительная техника
   Системное программное обеспечение

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


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

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

3.


    Басыня, Евгений Александрович (кандидат технических наук).
    Моделирование метода обеспечения качества выпускаемого ПО с использованием аппарата сетей Петри [Текст] = Modeling Quality Assurance Methods for the Produced Software Using Petri Network Machinery / Е. А. Басыня, Е. А. Малышев // Защита информации. Инсайд. - 2023. - № 5 (113). - С. 16-22 : ил., схем. - Библиогр.: с. 22
УДК
ББК 73
Рубрики: Информатика
   Информатизация общества. Информационная политика

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


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

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

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