Ensuring correct behavior of Petri nets by adding transition prioritiesм
A Petri net as a mathematical modeling notation, a bipartite graph which described by the five-tuple. Markings - natural numbers, when the maximal bound is set by last property described above - boundedness. Constructing and extending a spine tree.
Подобные документы
Replacing symbolic information, such as a sequence of bits or a message written in a natural language, by another message using different symbols. The properties of arithmetic coding. The problem of reliable communication. Coding natural languages.
книга, добавлен 08.03.2014The impact of the used modeling language for the result of the synthesis models. Generating artificial logs events according to the BPMN 2.0, their implementation in the form of a program that extends the software platform Process Mining Framework (ProM).
курсовая работа, добавлен 30.08.2016The pproaches to testing program interfaces in the context of their use in the educational process. An online tool for testing - UsabilityHub.com. Methods of testing the usability of 3D graphics programs for studying threedimensional modeling at school.
статья, добавлен 19.03.2023Mathematical model of transformation of stochastic and fuzzy information in quantum information in the form of multiplication of unitary operators from not commutative von Neumann group. Theoretical basis of information technologies of quantum-logic.
статья, добавлен 29.01.2016Modeling attempts of unauthorized extraction of stegano content (halftone test images) for different variants of disintegration of the array of lengths of the series of reference blocks of the original images. Modeling using portrait and landscape.
статья, добавлен 25.02.2024Natural Language Processing as a subfield of computer science and artificial intelligence is concerned with interactions between computers and human languages. The purpose of this paper, is to outline the linguistic and NLP methods for textual processing.
статья, добавлен 18.05.2022The place of neural network modeling of language units as an innovative tool for modern research. The value of linguistic units, the genesis of which can be traced thanks to the interaction of an artificial neural network with an array of text data.
статья, добавлен 04.09.2024Построение абстрактных машин и определения их характеристик с использованием структур B метода. Проблема детализации и завершимости моделей. Программное обеспечение, с помощью которого создаются абстрактные машины в нотации Abstract Machine Notation.
статья, добавлен 28.02.2016The study of the sequence of stages of reconstruction of graphical images on a computer using decoding dual vectors of the tuple. Decoding code values in software components. Ways of coding information. Methods of the decrypting computer codes cost.
статья, добавлен 25.03.2016An overview of the most popular approaches to the modeling of automated systems for intelligent monitoring and management of environmental safety in the water sector. Principles of construction of adaptive systems of this class and requirements to them.
статья, добавлен 30.04.2018Methodic of programming and ways of using of object oriented programming software Microsoft Excel Visual Basic for Applications for laboratory workshops of students in studies of computer modeling courses. Consequences for numerical simulation.
статья, добавлен 01.10.2014Анализ систем формирования поведения игрового агента и способов их применения. Описание систем Behavior Trees, Utility AI. Критерии сравнения жанров разработанных игр: форма, доступность, порог вхождения. Разработка алгоритмов поведения игрового агента.
дипломная работа, добавлен 01.12.2019Loop statements, functions. The example of a program that reads numbers from Memo until number zero is found. A two-dimensional array as a collection of components, all of the same type, structured in two dimensions (rows and columns), examples.
курс лекций, добавлен 11.10.2014A problem of binary pseudo random sequences creation of cryptographic security system for sequences of maximal length, with static characteristics. The questions of Galois and Fibonacci of creation primitive matrices random size over the simple field.
статья, добавлен 22.12.2016Построение центра обработки данных на основе коммутаторов второго и третьего уровня семейства Cisco Nexus 9000. Топология "Spine-left". Преимущества VXLAN (виртуальных локальны сетей). Особенности устранения отказов оборудования за счет его однородности.
статья, добавлен 10.03.2021Тенденции к разработке автоматизированной системы построения оптимального маршрута между объектами. Геоинформационная система как информационная система, предназначенная для сбора, хранения, анализа и графической визуализации пространственных данных.
курсовая работа, добавлен 18.03.2016Рассмотрение атрибутного подхода к реализации контекстных условий при построении синтаксического анализатора языка с использованием инструментального средства SynGT (Syntax Graph Тransformations). Введение преобразователя, построенного на грамматике.
статья, добавлен 20.08.2017Show that computing e-th roots modulo n is easier than factoring n with currently known methods, given subexponential access to an oracle outputting the roots of numbers of the form xi + c. The strategy – a general outline. Polynomial construction.
курс лекций, добавлен 08.03.2014Reported from a basic introduction to block cipher design and analysis. The tiny encryption algorithm. The study a concepts and design principles of block ciphers. Notation some binary operations of addition. Modern block cipher cryptanalysis methods.
статья, добавлен 08.03.2014Теоретические аспекты компьютерной графики, характеристика и экономическое значение ее использования в бизнесе. Программа деловой графики MS GRAPH: ее возможности и принципы работы (запуск редактора диаграмм, их классификация и основные свойства).
реферат, добавлен 27.09.2010Cryptography is the science of using mathematics to encrypt and decrypt data. PGP data compression routines, the random numbers used as session keys, the message digest. Compromised passphrase and private key. Protecting against bogus timestamps.
дипломная работа, добавлен 08.03.2014Особенности наноматериалов и их классификация. Использование Uniform Description System, иерархия системы классификаторов. Разработка онтологии и графического интерфейса. Настройка веб-сервисов Open Semantic Framework, реализация Bootstrap Tree View.
дипломная работа, добавлен 11.08.2017Рассмотрение базовых операций с наиболее распространенными типами структуры данных "Дерево". Разработка программы "Tree Modeler" для работы с бинарным и общим деревом поиска. Последовательности посещений узлов при прямом, внутреннем и обратном обходах.
курсовая работа, добавлен 04.05.2021Значение Интернета для построения локальных сетей предприятия. Анализ преимуществ и недостатков применения Web-технологий в современной корпорации, механизмы использования серверов и баз данных. Назначение протокола Spanning Tree в построении сети.
контрольная работа, добавлен 19.11.2014Составление программы на языке Pascal с использованием графических процедур модуля GRAPH и аффинных преобразований графических объектов в пространстве. Выполнение перемещения объекта по экрану, его масштабирование. Закраска граней с разного угла зрения.
курсовая работа, добавлен 03.04.2013