Provability of Dangerous Goods Segregation Algorithm Description Using Finite State-machine Description Language

摘要

An option of automating supervision of dangerous goods segregation regulation compliance when carried by sea has been considered. An analysis of literary references pertaining solving problems in the field of sea transportation and storage of containers with various dangerous goods has been carried out, and the area of scientific research has been chosen. The theory of finite state machines has been proposed as the tooling that the task of segregating unit loads on board formalization requires. The main advantage of this tooling is a visual presentation of the unified logic of technological process control. As a result, the main elements of a formalized language for the segregation of dangerous goods have been determined, a finite state machine transition graph for reasonable dangerous goods disposition on / under deck has been drawn, and its applicability to two randomly chosen dangerous goods classes' compatibility plan has been substantiated. The model of a deterministic state machine proposed herein is universal, since the scope of its applicability can be expanded, for example, it can be used to automate the control of compliance with the rules for storing dangerous goods in a warehouse area of river and sea ports terminals.