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

Базы данных


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

Вид поиска
Книги фонда НБ СГЮА
Дипломные работы выпускников СГЮА за последние 5 лет
Авторефераты
Диссертации
Период.издания науч.абонемента
Редкие книги Научной библиотеки СГЮА
Каталог электронных носителей
Труды ученых СГЮА
Саратовский край
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=Петри сеть<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.

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

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

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