Formal systems of mathematical logic are reviewed, and inter alia, the system of finite predicates algebra, with regard to solution of problems of electronic document flow management systems (EDMS). The substantiation of selection of themathematical apparatus for description and study of automatic processes of formalized documents processing in EDMS is given taking into account specific features of human intellectual activities. The description of the reviewed formal systems is presented in comparison table. Conclusion is made to the effect that it is necessary to describe processes in EDMS in the language of mathematics logics theories enabling researches to take account not only the content but also the structure of a formalized electronic document. The total procedure of the process of automatic classification of documents with application of the finite predicates algebra is demonstrated. Fundamental conclusions have been made: application logical models in description of automatic classification of documents in electronic document flow makes it possible to cut costs for computing capacities and to reduce the machine time for processing documents. The most adequate approach for describing automatic processes in EDMS is to apply the finite predicates algebra to be used to obtain the most accurate and complete description of formalized electronic documents, their properties and relations between them, and the system for users’ access rights differentiation in EDMS. It is also possible to obtain a mathematical description and research of automatic processes for processing formal documents in EDMS.
THE SUBSTANTIATION OF MATHEMATICAL LOGIC FORMAL SYSTEMS FOR SOLVING TASKS OF AUTOMATIC ELECTRONIC DOCUMENT MANAGEMENT
2018
Aufsatz (Zeitschrift)
Elektronische Ressource
Unbekannt
Metadata by DOAJ is licensed under CC BY-SA 1.0
Additively Manufactured Component Substantiation
SAE Technical Papers | 2019
A36 Wing Temporary Repair Substantiation
British Library Conference Proceedings | 2010
|Fatigue substantiation of helicopter components
Engineering Index Backfile | 1963
|