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.
Подобные документы
Application of mathematical methods - important condition in the analysis, work optimization of industrial structures. Use of the device of imitating modeling for research of production systems. The program table parameters for collecting statistics.
дипломная работа, добавлен 10.11.2014The importance of forecasting electricity consumption to improve its efficiency and increase the competitiveness of manufactured products by reducing the share of costs. Development of software to solve this problem, its functions and differences.
статья, добавлен 27.02.2023Development of software applications, tools settings of the information system. The connection of additional interfaces and applications, tools to create, configure and manage database tools to generate reports in MS Word, edit them on the server side.
дипломная работа, добавлен 02.05.2015Documentation for the software systems as an important factor in maintenance. Status of the existing documentation practices as well as an overview of the quality of the documentation. Creating a discussion of current practices, analysis of the results.
статья, добавлен 23.02.2016Hardware-in-the-loop test bench for testing and verification navigational equipment structure is investigated. Equation for determination hardware-in-the-loop test bench for testing and verification navigational equipment effectiveness is determined.
статья, добавлен 26.06.2016Instructional 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.2014- 82. Анімація
Основні типи 3D-анімації, game development, як створюється 3D анімація game development. Ригінг та спінінг, особливості Plastic Animation Paper. Створення анімації, реалістичних моделец з урахуванням усіх нюансів, текстур і навіть міміки персонажів.
статья, добавлен 11.12.2023 Feature 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.2016Principles of development of the markets of the National Technological Initiative "AutoNet", aimed at the creation of unmanned vehicles. Ways of modernization of the motor transport network and its prospects. The need to develop a roadmap "AutoNet".
статья, добавлен 04.09.2024Development 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.2022Description 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.2016A 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.2017History 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.2016A 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.2012Synthesis 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.2017- 95. 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- 97. 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 The 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.2018Stages of the development of computer technologies for compilation of dictionaries. Determination of the prerequisites that led to the emergence of such a direction in linguistics as computer lexicography. The tasks of the Language and Information Fund.
статья, добавлен 04.09.2024Theoretical 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