Process Aigebraic Modeling And Simulation Verification Of Intelligent Situational Printing System

As customer demand is becoming more and more different,the demand for product customization is increasing,and the pressure of rapid introduction of new products is increasing.The print manufacturing system must sense the current situation in real time,that is,the real-time production environment and production needs.It can intelligently,dynamically and quickly configure and organize all kinds of manufacturing resource reconfiguration manufacturing systems based on different printed product features at high frequency.Aiming at the demand of intelligent production of printing system,this paper studies the architecture of intelligent situational printing system,and realizes its algebraic modeling and simulation.The main works are as follows:(1)The concept of situational awareness and Markov Logic Network(MLN)is integrated into the design of Agent to realize the function of intelligent transformation of production path in printing system.The intelligent system can be analyzed by capturing real-time context information,and effectively change the production line according to the production process requirements of different products.(2)Based on Agent technology,the Agent-Resource-Worker(ARW)component model for printing production system is proposed,and the algebraic model of printing system is constructed by using ARW component model and process algebra.The algebraic model integrates the composite mechanism of the ARW component model and combines the characteristics of printing production to perform algebraic modeling of the printing production process.The mathematical model can simulate the flow and function of the reconstructed printing production system.(3)The process algebraic model of printing production system is validated and simulated,and the validity of the algebraic model is verified.Based on the relevant operation rules of process algebra,the algebraic model is formally validated and the corresponding process migration map is obtained.At the same time,the process diagram of the whole system is obtained by programming and simulation with mCRL2 software.The obtained process migration diagram and process diagram are consistent with the expected system behavior.