基于形式化的NC代码自动化检测方法的研究

来源 :太原理工大学 | 被引量 : 0次 | 上传用户:w_wangjing
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
近几年,工业物联网技术的兴起使得工控系统得到了进一步的发展。而数控机床作为工控系统中极为重要的设备之一,在车辆制造、航空航天等行业的生产中起到了不可或缺的作用,数控机床的工作是完全由数控(Numerical Control,NC)代码来进行控制的,NC代码的异常就会造成数控系统的异常。要实现对数控系统的保护,需要保证NC代码的正确。NC代码具有两个显著的特征:首先,NC代码由于数控机床种类众多而出现了多种编写要求;其次NC代码使用门槛较高,NC程序编写要求严格,即使长期工作的编程人员在编写大型的NC代码时也无法保证代码的完全正确。为实现对数控系统保护,本次NC代码检测方法中系统主要设计了两个模块。第一部分是对NC代码按照所属的数控系统的类型、品牌、型号进行分类,本文利用优化K邻近算法作为分类器按照NC代码所属的数控系统的类型、品牌、型号进行分类;第二部分对分类后的NC代码进行了自动化检测,在自动化代码检测中本文使用了模型检测技术。使用线性时序逻辑实现NC代码程序模拟运行,通过判断运行系统的状态来检测代码的正确性。这两个部分的工作结果最终实现针对大部分数控系统NC代码的异常检测。通过保证NC代码正确来保护数控系统的安全。经验证本系统在NC指令完整的情况下可识别出98%的数控系统类型型号,识别准确率达到了95.25%。而后将NC代码及其识别结果一同输入到代码检测系统中,使用C语言对其进行形式化建模,并利用线性时序逻辑对NC代码进行模型检测。最终通过实验验证本方法可实现对NC代码的五类异常的检测。
其他文献
随着柔性电子器件的发展,柔性传感器的应用范围越来越广泛,其内容包括力传感器、温度传感器、湿度传感器等。近年来,柔性磁场传感器的研究也越来越进入人们的视野。目前大部分磁传感器都是刚性传感器,未来设备要求磁传感器具有出色的柔韧性和可拉伸性,以便适应复杂的检测环境和机械变形,因此对于柔性磁场传感器的研究迫在眉睫。许多研究人员基于压电、摩擦电、应力等不同机制实现了柔性磁场传感器的制备,并对其响应原理进行了
随着经济的快速发展和科技的不断进步,移动机器人在生产生活中扮演着越来越重要的角色,而移动机器人的位姿估计是实现机器人应用必须要解决的关键问题。本文着重研究非高斯噪声下的移动机器人的位姿估计算法,以提高移动机器人位姿估计精度。在同时定位与地图构建(Simultaneous Localization And Mapping,SLAM)框架下,研究内容围绕影响机器人位姿估计精度的后端优化算法和前端点集配
“十四五”规划纲要指出:加快数字化发展,打造数字经济新优势,建设数字中国。数字化必将深刻引领社会变革,数字化落地是当代科研工作者将理论与现实结合的重大使命。全面数字化的实现需要强大的算力中枢和优良的算法系统。图像检索领域的研究是数字化社会的重要内容。如何快速且准确的在海量图像中检索出所需图像是一项具有挑战性的任务,本文在传统图像检索的基础上加以改进,对其经典算法进行深入改良,结合深度学习技术在提取
人机交互是现代计算机技术不断智能化和自动化发展的一个趋势。人机交互是人体通过自己的手势、行为、语音和表情等与计算机进行交流,为人类操控计算机提供了多样且智能的方式。随着现代计算机视觉技术的兴起,基于视觉的人机交互方式成为发展的主流。其中,静态手势识别和动态人体行为识别等技术是新兴的视觉人机交互的重要方式,可以在设备解锁、机器人运动操控等方面提供出色的表现。而且基于卷积神经网络的图像处理技术表现优异
近几年,我国建筑业的规模越来越大,数量越来越多,建筑业也在激烈的市场竞争中不断创新,建筑施工中暖通工程的出现极大地提升了人们生活的舒适度。文章针对建筑工程中的暖通工程在设计方面存在的问题进行简要分析并提出相关解决方法,可供相关人员开展同类工程项目设计时参考。
抓取和放置工件是工业环境下机器人系统的主要任务之一,视觉控制是机器人系统的重要控制手段,采用图像技术对工件进行识别在现代化智能生产线上具有重要的意义。本论文主要以合页为例进行按需搬移任务,可用于机器人打磨前代替人工进行工件摆放,有助于提高机器人打磨生产线的自动化程度和生产效率。本论文主要对散乱堆叠工件的按需搬移过程进行研究,主要研究内容如下:(1)针对目前工业现场弱纹理堆叠工件识别困难的问题,提出
《简·爱》(Jane Eyre)与《呼啸山庄》(Wuthering Heights)作为世界文坛上经典的两部现实主义代表作品,是由英国同胞姐妹作家夏洛蒂·勃朗特(Charlotte Bronte)和艾米莉·勃朗特(Emily Bronte)创作的,虽然说她们所处的社会环境背景与家庭生活背景都一样,但是在这两部文学作品创作过程中却有着明显的不同之处。前者《简·爱》在叙事策略上采用的是单一叙事者
期刊
汽车保有量的迅猛增长造成城市交通供需关系的失衡,由此导致的交通拥堵范围日益扩大,已逐步发展成为区域性的拥堵问题。实践证明,新建交通基础设施或实行政策调控等措施都无法真正从根本上解决区域交通拥堵,因此寻求更加合理有效的交通信号控制策略成为研究区域交通拥堵的必然趋势。论文以“基于迭代学习控制的城市交通子区边界控制方法研究”为主题,首先对大规模路网进行了子区划分,并针对实际交通情况研究了在考虑随机扰动以
作为一种急性脑血管疾病,脑卒中已经成为我国第一大致死原因,早期防治和及时诊断对于脑卒中的预防、诊治和预后康复有着重要作用。近年来随着人工智能的不断发展,机器学习方法辅助医疗诊断可以很大程度上减少医生的诊断时间并提高医疗资源的利用率,因此引起了越来越多的关注。脑卒中患者的脑电信号(Electroencephalogram,EEG)和经颅多普勒数据(Transcranial Doppler,TCD)的
随着机器学习与计算智能的快速发展,面向海量高维数据的神经网络研究成果不断涌现。2018年,华南理工大学陈俊龙教授团队提出一种宽度学习系统(Broad Learning System,BLS)的浅层网络结构。输入BLS的数据经过特征映射与稀疏字典的有效表示生成了映射节点,映射节点再映射生成增强节点。映射节点与增强节点共同组成的宽度平层,经岭回归广义逆的最优连接矩阵共同生成输出。BLS有简捷的网络结构