Зображення обкладинки

Algebraic modeling in international and local service logistical systems

International and internal service logistics are advancing at a tremendous pace in our modern life, and future forecasts for this area are optimistic. For this reason, we face a task in the control, optimization and safety and security checking of complex logistical systems with many internal agents...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2021
Автори:	Letychevskyi, O.O., Gorbatuk, S.O., Gorbatuk, V.A.
Формат:	Стаття
Мова:	Українська
Опубліковано:	PROBLEMS IN PROGRAMMING 2021
Теми:	behavior algebra insertion modeling formal verification supply chain modeldriven development security properties UDC 004.05
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/442
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

Decentralized systems in logistics: usage overview and security issues
за авторством: Letichevsky, O.O., та інші
Опубліковано: (2020)

Method of detection of http attacks on a smart home using the algebraic matching method
за авторством: Gorbatiuk, V.O., та інші
Опубліковано: (2023)

Algebraic approach to the analysis of legal documents
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2023)

Algebraic patterns of binary code vulnerabilities
за авторством: Yakovlev, V.M.
Опубліковано: (2020)

Formal semantics and analysis of tokenomics properties
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2023)

Modern technological aspects of decision support systems
за авторством: Churubrova, S.M.
Опубліковано: (2017)

Molecular modeling in the radiation therapy. The algebraic approach
за авторством: Volkov, V.A., та інші
Опубліковано: (2023)

Digital twins in intrusion detection systems based on deep learning
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2025)

Use of methods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)

Algebraic modeling in international and local service logistical systems
за авторством: O. O. Letychevskyi, та інші
Опубліковано: (2020)

The concept and evaluating of big data quality in the semantic environment
за авторством: Novitsky, A.V.
Опубліковано: (2023)

Gram matrices and Stirling numbers of a class of diagram algebras, I
за авторством: Karimilla Bi, N., та інші
Опубліковано: (2018)

Gram matrices and Stirling numbers of a class of diagram algebras, II
за авторством: Karimilla Bi, N., та інші
Опубліковано: (2018)

Some (Hopf) algebraic properties of circulant matrices
за авторством: Albuquerque, Helena, та інші
Опубліковано: (2018)

Insertion semantics of quantum interactions
за авторством: Tarasich, Yu.G., та інші
Опубліковано: (2023)

Increase the temporal efficiency of data structures in memory based on adaptation
за авторством: Shinkarenko, V.I., та інші
Опубліковано: (2015)

INTRODUCTION OF RENEWABLE ENERGY SOURCES INTO THE SOCIAL INFRASTRUCTURE. REVIEW OF RESEARCH
за авторством: Dranik, Maksym
Опубліковано: (2025)

The center of the wreath product of symmetric group algebras
за авторством: Tout, O.
Опубліковано: (2021)

The completeness of the algorithm algebra with data
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2018)

On solvable \(Z_3\)-graded alternative algebras
за авторством: Goncharov, Maxim
Опубліковано: (2016)

On nilpotent Lie algebras of derivations of fraction fields
за авторством: Petravchuk, Anatoliy P.
Опубліковано: (2016)

Method of information and analytical support for information security risk management of information systems
за авторством: Rodin, Y.S.
Опубліковано: (2019)

Tasks for information security risks management in making-decision process
за авторством: Rodin, Y.S.
Опубліковано: (2018)

Correctness Property Proof for the Banking System for Money Transfer Payments
за авторством: Ostapovska, Yu.A., та інші
Опубліковано: (2018)

Lie algebras associated with quadratic forms and their applications to Ringel-Hall algebras
за авторством: Kosakowska, Justyna
Опубліковано: (2018)

Security basic model for applied tasks of the distributed information system
за авторством: Rodin, Y.S., та інші
Опубліковано: (2021)

Ideally finite Leibniz algebras
за авторством: Kurdachenko, L. A., та інші
Опубліковано: (2023)

Equivalence of two parallel execution systems
за авторством: Panchenko, T.V., та інші
Опубліковано: (2018)

\(C^*\)-algebra generated by four projections with sum equal to 2
за авторством: Savchuk, Yuri
Опубліковано: (2018)

Gentle \(m\)-Calabi-Yau tilted algebras
за авторством: Garcia Elsener, A.
Опубліковано: (2020)

Structural features of head supply service metropolitan market organization
за авторством: Botsula D.O.
Опубліковано: (2007)

Survey on modern tools and methods of formal models verification
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)

Means of parametrically controlled generation of algorithms on the basis of algebra of hyperscales
за авторством: Yatsenko, O.A.
Опубліковано: (2015)

Assessment of Agricultural Biomass Potential in Sustainable Biofuel Production
за авторством: Talavyria, Mykola, та інші
Опубліковано: (2025)

ANTHROPOGENIC GLOBAL WARMING. ENERGY, ENVIRONMENTAL AND CLIMATE SECURITY
за авторством: Fialko, Nataliia, та інші
Опубліковано: (2024)

Regulation of power consumption regimes of regions in researches and in practice
за авторством: Dryomin V.P., та інші
Опубліковано: (2002)

Mathematical Simulation for Optimizing the Gas Supply System Development and Reconstruction
за авторством: Shcherbyna Ye.V.
Опубліковано: (1999)

Gas industry development prognostication in the conditions of market and ecological limitations
за авторством: Kostyukovskyi B.A., та інші
Опубліковано: (2008)

About relationship between table algebra of infinite tables and multiset table algebra
за авторством: Glushko, I.M.
Опубліковано: (2018)

Automorphic equivalence of the representations of Lie algebras
за авторством: Shestakov, I., та інші
Опубліковано: (2018)