基于精确标识对象Petri网模型的检测方法

精确标识PNO要求一个对象实例既不能同时出现在多个库所,也不能在一个托肯中出现多次,SMV是一个功能强大的符号化模型检验工具.本文提出了将精确标识PNO模型转换成相应SMV程序的算法,并通过列车运行区域模型(TOPNO)演示了具体的转换过程.通过该转换算法不仅能有效地解决精确标识PNO活性、安全性等属性的检测问题,还能验证与模型中对象相关的属性.     

球杆仪安装误差对机床圆测试精度的影响

为了提高球杆仪测量机床误差的准确度,研究了其安装误差对机床圆测试数据的影响及辨识和分离方法.通过分析球杆仪测量过程中某任意位置的几何特征,推导了球杆仪测量值与安装误差间的数学关系.继而利用数学仿真揭示了测量值随安装误差变化的规律,并建立了相应的数学模型.在此基础上,提出了一种对安装误差进行辨识和分离的新方法.仿真实验数据证明,该安装误差辨识方法具有较高的辨识精度.最后,对非接触激光圆进行了测试实验,结果表明,所提出的方法可以有效地辨识和分离球杆仪安装误差,提高了球杆仪圆测试数据的准确度.