Buchumschlag

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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2021
Hauptverfasser:	Letychevskyi, O.O., Gorbatuk, S.O., Gorbatuk, V.A.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2021
Schlagworte:	behavior algebra insertion modeling formal verification supply chain modeldriven development security properties UDC 004.05
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/442
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Method of detection of http attacks on a smart home using the algebraic matching method
von: Gorbatiuk, V.O., et al.
Veröffentlicht: (2023)

Decentralized systems in logistics: usage overview and security issues
von: Letichevsky, O.O., et al.
Veröffentlicht: (2020)

Algebraic approach to the analysis of legal documents
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2023)

Molecular modeling in the radiation therapy. The algebraic approach
von: Volkov, V.A., et al.
Veröffentlicht: (2023)

Algebraic patterns of binary code vulnerabilities
von: Yakovlev, V.M.
Veröffentlicht: (2020)

Formal semantics and analysis of tokenomics properties
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2023)

Modern technological aspects of decision support systems
von: Churubrova, S.M.
Veröffentlicht: (2017)

Digital twins in intrusion detection systems based on deep learning
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2025)

Use of methods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V.S., et al.
Veröffentlicht: (2018)

The concept and evaluating of big data quality in the semantic environment
von: Novitsky, A.V.
Veröffentlicht: (2023)

Insertion semantics of quantum interactions
von: Tarasich, Yu.G., et al.
Veröffentlicht: (2023)

Correctness Property Proof for the Banking System for Money Transfer Payments
von: Ostapovska, Yu.A., et al.
Veröffentlicht: (2018)

Algebraic modeling in international and local service logistical systems
von: O. O. Letychevskyi, et al.
Veröffentlicht: (2020)

Equivalence of two parallel execution systems
von: Panchenko, T.V., et al.
Veröffentlicht: (2018)

Gram matrices and Stirling numbers of a class of diagram algebras, I
von: Karimilla Bi, N., et al.
Veröffentlicht: (2018)

Gram matrices and Stirling numbers of a class of diagram algebras, II
von: Karimilla Bi, N., et al.
Veröffentlicht: (2018)

Some (Hopf) algebraic properties of circulant matrices
von: Albuquerque, Helena, et al.
Veröffentlicht: (2018)

Increase the temporal efficiency of data structures in memory based on adaptation
von: Shinkarenko, V.I., et al.
Veröffentlicht: (2015)

Method of information and analytical support for information security risk management of information systems
von: Rodin, Y.S.
Veröffentlicht: (2019)

Tasks for information security risks management in making-decision process
von: Rodin, Y.S.
Veröffentlicht: (2018)

The completeness of the algorithm algebra with data
von: Akulovskiy, V.G., et al.
Veröffentlicht: (2018)

Security basic model for applied tasks of the distributed information system
von: Rodin, Y.S., et al.
Veröffentlicht: (2021)

Peterson’s algorithm Total correctness proof in IPCL
von: Zhygallo, A.A.
Veröffentlicht: (2018)

The center of the wreath product of symmetric group algebras
von: Tout, O.
Veröffentlicht: (2021)

On nilpotent Lie algebras of derivations of fraction fields
von: Petravchuk, Anatoliy P.
Veröffentlicht: (2016)

Assessment of Agricultural Biomass Potential in Sustainable Biofuel Production
von: Talavyria, Mykola, et al.
Veröffentlicht: (2025)

Means of parametrically controlled generation of algorithms on the basis of algebra of hyperscales
von: Yatsenko, O.A.
Veröffentlicht: (2015)

On maximal and minimal linear matching property
von: Aliabadi, M., et al.
Veröffentlicht: (2018)

On solvable \(Z_3\)-graded alternative algebras
von: Goncharov, Maxim
Veröffentlicht: (2016)

Lie algebras associated with quadratic forms and their applications to Ringel-Hall algebras
von: Kosakowska, Justyna
Veröffentlicht: (2018)

\(C^*\)-algebra generated by four projections with sum equal to 2
von: Savchuk, Yuri
Veröffentlicht: (2018)

Ideally finite Leibniz algebras
von: Kurdachenko, L. A., et al.
Veröffentlicht: (2023)

Gentle \(m\)-Calabi-Yau tilted algebras
von: Garcia Elsener, A.
Veröffentlicht: (2020)

On the algebra of derivations of some Leibniz algebras
von: Kurdachenko, Leonid A., et al.
Veröffentlicht: (2024)

Derived tame and derived wild algebras
von: Drozd, Yuriy A.
Veröffentlicht: (2018)

About relationship between table algebra of infinite tables and multiset table algebra
von: Glushko, I.M.
Veröffentlicht: (2018)

Survey on modern tools and methods of formal models verification
von: Kolchin, A.V., et al.
Veröffentlicht: (2015)

The generalized path algebras over standardly stratified algebras
von: Wang, Shugui
Veröffentlicht: (2018)

Automorphic equivalence of the representations of Lie algebras
von: Shestakov, I., et al.
Veröffentlicht: (2018)

On the structure of the algebra of derivations of cyclic Leibniz algebras
von: Kurdachenko, L. A., et al.
Veröffentlicht: (2022)