| Shared manufacturing is an important part of service-oriented manufacturing and a new way of manufacturing resource allocation that is suitable for the development of the sharing economy.It breaks down industry barriers,tackles uneven resource distribution on the supplyside,and achieves more rational and efficient matching of idle equipment,technology,and talent in manufacturing industry.Smart contracts play a key role in trust building for unfamiliar nodes in shared manufacturing,automatic execution of manufacturing processes,providing a good solution for achieving the rapid implementation of shared manufacturing.This paper focuses on smart contracts for shared manufacturing,designs a dual-chain blockchain architecture for shared manufacturing,studies the autonomous maintenance mechanism of blockchain stability during shared manufacturing,and designs a multi-objective optimization algorithm for shared manufacturing task assignment.Firstly,the mechanism of blockchain empowerment for shared manufacturing is analyzed.Through meta-modeling,the three-party information models of service consumers,service providers,and shared manufacturing platforms in shared manufacturing are abstracted,and the enterprise information chain and transaction business chain that store different information in the shared manufacturing process are designed.A dual-chain blockchain architecture for shared manufacturing is proposed,and the stability self-maintenance of the Blockchained Shared Manufacturing Network(BSMN)and the task assignment process between shared manufacturing nodes in the architecture are introduced.Secondly,aiming at the problem of self-maintenance of BSMN stability,the evolutionary process of its stable state is analyzed.Based on the evolutionary game theory,an asymmetric evolutionary game mathematical model is constructed for incomplete rational agents,five stable states of BSMN are derived,and the stable states are verified by simulation.Based on the evolutionary stable states,three stable strategies are determined to incentivize different game subjects to participate in account-keeping operations.The incentive model is designed and the smart contract is developed to dynamically adjust the stable scores of the accountkeeping process reward,so as to realize the independent maintenance of BSMN stability.Thirdly,aiming at the problem of shared manufacturing task assignment,a multi-objective mathematical optimization model is established from the perspectives of service consumers,service providers,and shared manufacturing platforms.Based on the sparrow search algorithm,a population update mechanism is designed to achieve continuousization of discrete problems.Two-stage encoding and decoding methods are used to initialize the population,while fast nondominated sorting is introduced to form a multi-objective sparrow search algorithm for solving discrete problems.Smart contract is designed to call multiple node computational powers of BSMN to obtain more excellent solutions,and the results are optimized again.Finally,a prototype system is developed based on the above models and methods.A dualchain blockchain system for shared manufacturing is built,stable-autonomous-maintenance smart contract and task assignment smart contract between shared manufacturing nodes are developed,and the operation process of the developed prototype system is tested with case studies to verify the feasibility of the models and methods. |