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

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)

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

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

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

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

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

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

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

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

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)

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

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

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

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

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)

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

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

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

Formal verification of deep neural networks
за авторством: Panchuk, B.O.
Опубліковано: (2024)

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

Peterson’s algorithm Total correctness proof in IPCL
за авторством: Zhygallo, A.A.
Опубліковано: (2018)

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

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

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

The software tool of constructive-synthesizing modeling
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2024)

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)

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

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

Architecture metrics: a servey of the potential to improve softwar
за авторством: Liubchenko, V.V.
Опубліковано: (2024)

Algebras of general non-deterministic predicates
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)

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

Tuple calculus for multiset table algebra
за авторством: Lysenko, І.M.
Опубліковано: (2024)

Algebras of quasiary and of bi-quasiary relations
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)

Reputation-based secyrity for heterogtneous structurally complex systems
за авторством: Kussul, O.M.
Опубліковано: (2015)

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