Use of the "model checking" technique for verification of territorial development programs
Analysis of the widespread approach to modeling and verification of systems, known as Model Checking, which allows to identify errors at different stages of development and maintenance of territorial development programs in order to eliminate them.
Подобные документы
Instructional design model is approaching creating rules to address into learning. The model was designed for simulation and that may easy to utilize by adept and beginner. The Ausubel’s Assimilation Theory is theory focus on "meaningful learning".
реферат, добавлен 06.02.2014Development of an algorithm for obtaining a video depth map using the method of image division. Using web cameras to determine the object and calculate the distance to it. Development of software code for streaming video of the experimental setup.
статья, добавлен 13.07.2022Feature models for the study of cyber-physical systems in the field of industrial production. Description of the installation of equipment and software environment. Analysis of the current approach for modeling of distributed software and semantic data.
статья, добавлен 23.02.2016Description of the mathematical model of technological processes of variational inequalities. Search for the maximum of the Hamiltonian function of the state space functions. Development of a method for numerical realization of mathematical models.
статья, добавлен 22.12.2016Study of the activities of leading companies operating in the global information technology market in the context of the transnationalization of international business. The current trends in the development of international production are determined.
статья, добавлен 19.08.2020Research of aspects of information protection procedure development on the basis of software development. Characteristics of the Raspberry PI platform and the Raspbian system. Possibilities of influence of third-party means on management of object.
статья, добавлен 29.10.2020Процесс применимости технологии Test-Driven Development, сущность моделирования сетями Петри, их верификация. Характеристика и предназначение функции загрузки сети из файла, описание и отличительные черты методов выявления, разработки бизнес процессов.
дипломная работа, добавлен 27.08.2016History of game technology, from simple pixel games to modern digital. The development of games and software video games from the point of view of the programmer. Experts participating in the development of games. Classification types of popular games.
курсовая работа, добавлен 07.03.2016- 84. 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 The article is devoted to the issue of development and application of an interactive electronic textbook for students of "Applied Mechanics" and "Industrial Mechanical Engineering" from the discipline "English". Integration of an interactive e-textbook.
статья, добавлен 07.03.2023- 86. Gamifying "Whole-person education": the development of a mobile application with augmented reality
Description of the development of a gaming mobile application that integrates augmented reality. Augmented reality and gamification "Formation of a holistic personality" as educational strategies in learning in the period of innovative technologies.
статья, добавлен 11.07.2023 A new model of the take-off weight of the aircraft determining process and the weight distribution of passengers’ law. A simulation of the operations in the preparation for departure process. The effect of weight on the passenger aircraft alignment.
статья, добавлен 27.06.2016A 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.2017The basic tendencies of development of mobile marketing in Ukraine are considered. The development of Internet marketing. The advantages of hybrid mobile applications, the essence of their use, as one of the modern means of communication for business.
статья, добавлен 10.10.2018A negligibility-based framework to model network-centric security problems in mobile ad hoc networks. Modeling network-centric security in a negligibility-based framework with network scale as the input parameter and anti-disruption secure routing.
статья, добавлен 15.09.2012Theoretical aspects of the development of digital platform for engineering controlling business. Digital platform as part of the global economy. Conceptual apparatus for the research. Problems of product exchange between the city and the rural settlement.
дипломная работа, добавлен 14.12.2019- 92. Strategies of information and innovation activity development at enterprise in digital conditions
The robotics complex as a strategy for the development of information and innovation activity in the enterprise in terms of digitalization. The digital recording, chronology, accessibility and openness, globality - the main benefits of blockchain.
статья, добавлен 08.04.2022 Synthesis SIS model with a uniform two-dimensional spatial distribution of individuals who are in the evolution of such discrete time Markov. The simple square lattice. Computer simulations of a stochastic model for the non-immune disease spread.
статья, добавлен 14.01.2017The means of digital communications in the field of public administration and cyber education. The definition of "Instant messages" and "chatbot" is defined. The impact of the COVID-19 pandemic on the development of digital communication systems.
статья, добавлен 03.02.2021More sophisticated laser scanning solutions. Uncontrolled movements as breathing, muscle contraction. Special optical systems and mirrors. The result of the scanning process in case a complete surface model of the person. Acquire texture information.
статья, добавлен 22.02.2014- 96. National cyber security system of Ukraine: perspectives of policy development and capacity building
The main need is to build a national cybersecurity system that will allow Ukraine to counter current cyber threats to its security, stability and prosperity. Characteristics of identifying the main problems that hinder the further development of NCSS.
статья, добавлен 03.12.2020 Overview of software designed to solve engineering problems. Identify the features of Microsoft Office programs, Pascal, AutoCAD, KOMPAS, MATLAB, MATLAB Simulink and MATLAB Plots which are used for graphing, solving equations, functions, matrices.
презентация, добавлен 16.01.2016The development of the document "functional requirements" for an automated system of monitoring program execution in company related to oil industry. The process of implementation of information system. The importance of proper writing of such a paper.
статья, добавлен 13.02.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.2018Сomputer facilities and microprocessor systems, data manipulation. The general principles of programming. The branched and cyclic programs organization using Assembler-86 language. X-bit Motorola microprocessors. Communication networks designing.
методичка, добавлен 11.10.2014