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.
Подобные документы
Mathematical 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.2016Natural 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.2022Modeling 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.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.2019Построение центра обработки данных на основе коммутаторов второго и третьего уровня семейства Cisco Nexus 9000. Топология "Spine-left". Преимущества VXLAN (виртуальных локальны сетей). Особенности устранения отказов оборудования за счет его однородности.
статья, добавлен 10.03.2021Loop 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Тенденции к разработке автоматизированной системы построения оптимального маршрута между объектами. Геоинформационная система как информационная система, предназначенная для сбора, хранения, анализа и графической визуализации пространственных данных.
курсовая работа, добавлен 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.2014Теоретические аспекты компьютерной графики, характеристика и экономическое значение ее использования в бизнесе. Программа деловой графики MS GRAPH: ее возможности и принципы работы (запуск редактора диаграмм, их классификация и основные свойства).
реферат, добавлен 27.09.2010Reported 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Особенности наноматериалов и их классификация. Использование Uniform Description System, иерархия системы классификаторов. Разработка онтологии и графического интерфейса. Настройка веб-сервисов Open Semantic Framework, реализация Bootstrap Tree View.
дипломная работа, добавлен 11.08.2017Cryptography 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Рассмотрение базовых операций с наиболее распространенными типами структуры данных "Дерево". Разработка программы "Tree Modeler" для работы с бинарным и общим деревом поиска. Последовательности посещений узлов при прямом, внутреннем и обратном обходах.
курсовая работа, добавлен 04.05.2021Значение Интернета для построения локальных сетей предприятия. Анализ преимуществ и недостатков применения Web-технологий в современной корпорации, механизмы использования серверов и баз данных. Назначение протокола Spanning Tree в построении сети.
контрольная работа, добавлен 19.11.2014Составление программы на языке Pascal с использованием графических процедур модуля GRAPH и аффинных преобразований графических объектов в пространстве. Выполнение перемещения объекта по экрану, его масштабирование. Закраска граней с разного угла зрения.
курсовая работа, добавлен 03.04.2013To develop an extension to a traditional RDF model of describing knowledge graph in accordance with the standards of the Semantic Web. The concept of Executable Knowledge for Protege based on traditional types of properties within the RDF model.
статья, добавлен 29.01.2016The essence of using a functionally complete tolerant elements. Comparison of the exponential reliability functional performance. Rating and characteristic tree of the transmitting transistors. Description of redundancy of the transmitting transistors.
статья, добавлен 28.02.2016Discriminating computer graphics images with hidden Markov tree model. Detection of tampering inconsistencies on mobile photos. Robust audio watermarking by using low-frequency histogram. A reversible acoustic steganography by integrity verification.
учебное пособие, добавлен 08.03.2014Criteria for optimally discretizing measurable sets in Euclidean space. General notion of extremal equivalent energy. Using the diffusion metric to learn via normalized graph Laplacian dimension reduction and the discepancy is used to discretize.
учебное пособие, добавлен 08.02.2013