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.
Подобные документы
Development and implementation of new technologies in banking services. The ability to improve the existing anti-fraud model used in real banking practice. Clusters and their impact on the assessment of the existing anti-fraud model. Data Chart Analysis.
дипломная работа, добавлен 10.12.2019Extremalization functional object as the calculus of variations. Difficulties solution of variational problems. Using nonlinear compromise scheme on the basis of rational organization to address this multi-task. Examples of these mathematical models.
статья, добавлен 29.07.2016A new general mathematical problem, suitable for public-key cryptosystems, is proposed: morphism computation in a category of Abelian groups. The problem seems to be hard for solving with a quantum computer. A demonstrative example of encryption.
статья, добавлен 15.09.2012Особенности автоматизации менеджмента на примере гостиничной деятельности. Основы локальных автоматизированных систем управления (Property Management System) средств размещения. Характеристика опыта использования данных систем в сфере бронирования.
контрольная работа, добавлен 07.09.2014The problem of the development of mathematical support to automate the process of diagnostic and recognizing model construction by precedents. The software realizing proposed transformations and indicators characterizing their properties was developed.
статья, добавлен 29.07.2016- 106. Cognitive models
Goal and task hierarchies. The model aspects of users: understanding, knowledge, intentions, processing. The study of complexity theory. Use rules of production. Device generalized transition networks. Four rules to model problem architectural spaces.
лекция, добавлен 28.12.2013 A computer based decision support system is proposed the basic tasks of which are adaptive model constructing of financial processes. The system is developed with the use of system analysis principles, forming alternatives for models and forecasts.
статья, добавлен 20.01.2017Theoretical information on personal computers, the structure of Windows XP as the operating system. Examples of projects in C ++ Builder to calculate complex mathematical formulas and solving problems with the branch. Programming in C ++ Builder.
методичка, добавлен 11.10.2014Структурный подход и методика integrated definition. Диаграммы потоков данных. Объектно-ориентированная методология, язык Unified Modeling Language. Условные графические обозначения нотаций Сарсона и Йордона. Методология функционального моделирования.
презентация, добавлен 21.02.2016Description of the developed energy saving algorithm for autonomous heating systems installed in heated premises. Determination of the moment of switching on for the transition to the specified nominal temperature after maintaining the set temperature.
статья, добавлен 03.12.2018An Introduction to Cryptography: Simple substitution ciphers, Divisibility and Common Divisors. Discrete Logarithms and Diffie–Hellman. The index calculus and discrete logarithms. Combinatorics, Probability and Information Theory, Digital Signatures.
книга, добавлен 08.03.2014The possibility of a revolutionary breakthrough in the field of health care and medicine when using artificial intelligence. The use of complex statistical and mathematical tools and multidimensional data, which increases the probability of errors.
статья, добавлен 19.03.2024Сущность, предназначение программного обеспечения имитационного моделирования Arena фирмы System Modeling Corporation. Процесс построения имитационных моделей управления организацией. Технический инструментарий ARIS, преимущества и характеристика системы.
статья, добавлен 10.05.2016Linguistic and numerical auxiliary quantities and the definition of auxiliary functions and a system of rules through them. The implementation of the proposed decision algorithm as a result of modeling processes that are performed by the operator.
статья, добавлен 25.10.2016Application software, the main types of software and operating systems. Ethics and intellectual property rights: when it is possible to copy. Guidelines for creating documents. Characteristics of communication software. Computer terms and their use.
учебное пособие, добавлен 11.10.2014Implementing IT technologies in university libraries of Ukraine in the context of foreign experience. The retrospective of development of library information systems and problematic issues related to the transition of library staff to work with them.
статья, добавлен 13.04.2023Mathematical methods for finding object boundaries and measuring the size, color, speed of bubbles in the flotation foam. The possibility of the search for this signature by measuring the deviations of the center of mass of a number of sequential images.
статья, добавлен 14.01.2017Разработка Natural Computing - научного направления, объединяющего математические и компьютерные методы с работой естественной системы флоры и фауны. Создание и применение алгоритма муравьиной колонии в задаче поиска пути в графе при наличии ограничений.
статья, добавлен 20.09.2018Принципы визуализации и построения модели бизнес-процессов, анализ последовательности транзакций в системе. Взаимодействие объектов в прецеденте, программное моделирование на языке Unified Modeling Language, его структура и особенности интерфейса.
доклад, добавлен 31.01.2016Requirements for users support. Approaches to user modeling. Problems of adaptive help. Techniques for knowledge representation. Implementation of advisory strategies. Demands for effective presentation. The need for system-oriented documentation.
презентация, добавлен 28.12.2013A comprehensive study of the potential use of GeoGebra, a dynamic mathematical software, for navigational purposes. Using GeoGebra to teach navigation concepts, study geometric relationships, and create interactive simulations of navigation scenarios.
статья, добавлен 25.11.2023The possibility using systems operational analysis in the organization and management of research and innovation projects in enterprises and Universities. The organizing principle of the multidimensional cube. Data Mining using mathematical apparatus.
статья, добавлен 06.05.2018Проблема интеграции программного обеспечения инженера: Computer Aided Modeling, Computer Aided Engineering, Computer Aided Design. Объемное конструирование и геометрическое моделирование. Системы разработки рабочих чертежей инженерных конструкций.
реферат, добавлен 10.05.2015- 124. Providing access to information systems of higher education in the case of loss of key information
Comparative analysis of the ways to reduce the contingency of loss of access. The secret key - the main part of the protection system in most cryptographic algorithms. Homomorphism property as one of the basic features of Shamir threshold scheme.
статья, добавлен 06.05.2018 Мета, цілі та функції створення бази даних, стратегії автоматизації предметної області та вимоги до інформаційного простору. Моделювання програмного забезпечення за допомогою мови Entity Relationship Modeling, особливості візуалізації основних задач.
курсовая работа, добавлен 25.03.2015