No abstract

To ensure the normal operation of the automated guided vehicle, the system must pass the reliability test in the process of design and manufacturing. Unreliable events are small probability events, which is not easy to be detected by using experimental methods. Besides, a lot of testing work is needed. In this paper, a time automata based reliability detection method of automated guided vehicle is proposed and the model of the vehicle is built in the design stage.The counting function related to reliability calculation is introduced to record the occurrence number of reliability-related events. The timed automata is used to qualitatively test the design model of the automated guided vehicle. After the model is proved to be correct, the timed automata model of the automated guided vehicle is automatically iterated by using the simulation function of the model detection tool. The simulation data can be used to quantitatively test the reliability of the design model of the automated guided vehicle. The simulation results show that the proposed method can calculate the reliability of the automated guided vehicle for the design stage. The reliability is evaluated quantitatively to provide reliability guarantee for engineering design.

No abstract

With the development of artificial intelligence technology, in order to alleviate the labour intensity of agricultural paddy field production and improve production efficiency, the development of robot used in paddy field production has been a hot research in the field of agricultural production. Different from the industrial environment, the agricultural production environment is complex, and there are many interference factors to the intelligent robot. Therefore, ensuring the reliability of the robot in the operation has become an important index in the production process. The model checking technique can evaluate the reliability of the system when designing the system. In this paper, timed automata is used to model the agricultural paddy field intelligent robot, and the environmental influence factor model is introduced, so as to evaluate the reliability of the system qualitatively and quantitatively in the design of the agricultural paddy field robot. Finally, the control prediction of the system safety is carried out, and to provide a definite basis for the actual engineering design.

As a scarce public resource, carbon emission rights are essentially a new type of development rights. The rational allocation of limited carbon emission rights is crucial to international climate governance. On the basis of the multi-index method allocation model, this paper proposes a global carbon emission rights allocation model based on FAHP-EWM-TOPSIS, which uses fuzzy analytic hierarchy process and entropy weight method respectively. Determine the subjective weight and objective weight of the evaluation indicators, and use the idea of minimizing the difference to find the optimal proportion of the subjective and objective weights, and then obtain the optimal combination weight, and finally combine the TOPSIS method to score and calculate the reasonable distribution of rights and interests of countries around the world. The results show that the fair share of most countries in the world is between 1% and 2%. Compared with other carbon emission rights allocation strategies, this model takes into account the more comprehensive distribution principles, and the differences between different countries are small, which can better reflect the principle of fairness. The research results provide a new scheme for the allocation of global carbon emission rights, which has certain reference value for future global climate governance.