人工智能技术对传统物流企业的影响

伴随着电商的崛起,消费习惯的改变的同时也了推动物流行业迅速崛起,但是推动物流行业的这场变革的,不仅是模式的创新和资本的涌入,更加少不了人工智能、云计算等新兴技术对物流行业的助推和渗透。人工智能等技术的发展对传统物流企业来说既是机遇也是挑战。本文就传统物流企业发展面临的一些问题及对策进行了探讨。

基于PLCopen运动控制功能块的时间自动机建模与验证

PLCopen标准库描述了常见的运动控制功能块,广泛运用于运动控制系统。不过,很少有方法来验证基于这个标准的系统。以验证运动控制程序的安全性、可达性为目标,提出针对PLCopen运动控制功能块的模型转换方法。根据可编程控制器的周期扫描特性,提出可编程控制器执行模型。提出将功能块图程序(function block diagram,FBD)转换为基于Uppaal系统的时间自动机模型,从而验证运动控制程序的可靠性。