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.
Подобные документы
Об игре Spider2 и начало ее разработки. Схема работы приложения, представление в виде блок схемы. Изучение операционной системы Android. Разработка класса Graph, рисование с помощью android.graph. Класс GameLogic и техника разработка логики игры.
курсовая работа, добавлен 25.12.2014Conducting a comprehensive study of tools intended for modeling and digitization of business processes. Proving the importance of using infographics for better visualization and perception by specialists of individual details of the business process.
статья, добавлен 08.01.2024Pulsation effects and the directional diagram on the basis of mathematical modeling of the system "antenna–fuselage of helicopter". Causes of the pulsations and their characteristics. Effects that may result from the pulsations of the radiation pattern.
статья, добавлен 26.06.2016The opportunities that create application of computer visualization using mathematical software to improve the quality of interactive teaching of students. Visualization of numerical solution of problems of mathematical physics by finite element method.
статья, добавлен 20.01.2016The values of indicators of the quality of TCP connections specific to each type of Slow HTTP-attacks. A mathematical model formalizing the behavior of the web server when implementing Slow HTTP-attacks of various types, architecture of detection.
статья, добавлен 14.01.2017Assessment of fire threat in Ukraine. Creation of an information database of classes of fire protection of buildings and premises. Prediction of the spread of fire in time and space. Modeling the behavior and movement of people in an emergency situation.
статья, добавлен 22.12.2016Computational and Mathematical Preliminaries: computability, complexity, intractability. Efficient Number-Theoretic Algorithms and Intractable Problems. Public-Key Cryptography and Type Crytposystems. Integer Factorization and Discrete Logarithm Attacks.
книга, добавлен 08.03.2014The results of program modeling of biological "molecular current generator" are described. Simulation was done on the base of experimental studying of electrical currents through molecular channel-receptor complex in membrane of natural brain neurons.
статья, добавлен 14.09.2016Concept of algorithm and its appointment. Algorithmic method - precisely established procedure or a set of instructions which can be applied to all cases of a problem. Mathematical properties of algorithms described by the British mathematician Turing.
реферат, добавлен 31.10.2012A concept of a decision support system (DSS) for modeling and forecasting of economic and financial processes is proposed as well as its software implementation. The main functions of the DSS are in modeling of nonstationary nonlinear time series.
статья, добавлен 29.07.2016Analysis of information modeling processes and tasks, and options for improvement using extensive programming capabilities. Characteristics of the main methods of automating and speeding up the design process using programming and their properties.
статья, добавлен 30.08.2022This article describes the main features of the design in 3D format. Demonstrated the usefulness of this method in the design and in the analysis. Presents basic examples of the practical application of data modeling functions for real design solutions.
статья, добавлен 28.09.2016Analytical modeling of typical documents about education, for integration in a computerized learning environment KoHaC. Scheme of the analytical modeling training documentation. The components of the analytical apparatus of a computerized training system.
статья, добавлен 14.09.2016Rule of formation of positional structural and weight numbers with variable length that provides potential for implementation of the principle of a codes formation on the code word’s maximum filling of the given length in the conditions of an exception.
статья, добавлен 23.02.2016Особенности составных частей концептуальной модели, сущностей и отношений Unified Modeling Language – языка графического описания для объектного моделирования в области разработки программного обеспечения. Анализ видов диаграмм для моделирования.
контрольная работа, добавлен 10.11.2016The possibility of forming an algorithm that allows reconstructing the lost works of easel painting by outstanding masters of the Ancient world is being investigated. The study used methods of computer modeling and analysis, which increased accuracy.
статья, добавлен 04.09.2022- 42. The bias of the initial information flows intensities estimates of the global cyber-physical network
Forecasting the development of the statistical reporting network. Improving the accuracy of predicting the development of the Internet of things in the context of the dynamics of primary information flows. Deterministic models of mathematical programming.
статья, добавлен 07.09.2022 Методические аспекты автоматизированного проектирования информационных технологий. Описание пакета Allfusion Modeling Suite, его возможности и функциональные особенности. Функции и принципы автоматизации диспетчера районов курсирования грузовых вагонов.
учебное пособие, добавлен 18.02.2014A comprehensive study of the suitability of computerized virtual clothing modeling programs for the development of models of men's climbing pants. Comparative methods of virtual dressing, determination of pressure points, assessment of appearance.
статья, добавлен 05.04.2023Fuzzy controller has two inputs and one output linguistic variables. Structural diagram of neuro-fuzzy controller. The basic mathematical models of each of the five layers neuro-fuzzy controller. Block diagram of genetic algorithm and feature matching.
статья, добавлен 21.06.2016Basic Notions of Systems and Signals. State-space Models. Process Modeling for Control Purposes. Input–output Models and Realization Theory. Controllability and Observability of LTI Systems. Stability and The Lyapunov Method. State Feedback Controllers.
учебное пособие, добавлен 25.11.2013Replacing 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 problem of parametric identification of mathematical models of reservoir systems for the porosity and permeability functions of ground rock. A solve the problem based on the gradient projection method with minimization of a squared quality criterion.
статья, добавлен 28.08.2016The 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.2023