Authors

Abstract

With the development of artificial intelligence technology, in order to alleviate the labor 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.

Abstract in Chinese

随着人工智能技术的发展，为了缓解农业水田生产作业的劳动强度，提升生产效率，用于水田生产的机器人的研制一直是农业生产领域的热点研究。与工业环境不同，农业生产环境复杂，对智能机器人的干扰因素较多，因此，保证作业中机器人的可靠性成为生产过程中的重要指标。模型检测技术可以在系统设计时对系统的可靠性做评估，本文采用时间自动机对农业水田智能机器人进行建模，引入环境影响因素模型，从而在农业水田机器人的设计时对系统的可靠性进行定性与定量的评价。最后对系统安全进行控制预测，并且为实际工程中设计提供确定的依据。