Modelowanie relacyjne struktury technologicznych linii suszarni ziarna zboz

Paper presents the principles for developing and formal verifying relational structures of process lines for drying grain. Author proposes the objects representing individual process line components to be divided into classes. Relational model limits, method for recording structure, and the method of formal verification of recording accuracy are defined herein. These specifications provide a foundation for developing software capable to representing the structure of any drying plant process line.

Praca dotyczy określenia ogólnych zasad tworzenia i formalnej weryfikacji poprawności modelu relacyjnego struktury linii technologicznej suszami ziarna zbóż. Założenia te stanowią podstawę przy opracowywaniu oprogramowania pozwalającego na odwzorowanie dowolnej linii technologicznej suszarni.