Principle and verification of a structure model based correction approach

被引：3

作者：

Thiem, Xaver ^{[1
]}

Riedel, Mirko ^{[1
]}

Kauschinger, Bernd ^{[1
]}

Mueller, Jens ^{[1
]}

机构：

[1] Inst Machine Tools & Control Engn, Helmholtzstr 7A, D-01069 Dresden, Germany

来源：

7TH HPC 2016 - CIRP CONFERENCE ON HIGH PERFORMANCE CUTTING | 2016年 / 46卷

关键词：

machine tool; thermal error; compensation; measurement; MACHINE-TOOLS;

D O I：

10.1016/j.procir.2016.03.169

中图分类号：

T [工业技术];

学科分类号：

08 ;

摘要：

Structure model based correction is a new approach for the reduction of thermally induced positioning errors in machine tools. Herein axisposition dependent correction values are calculated in thermal real-time using thermal and thermo-elastic models. The correction values are used for the compensation of thermal errors. Necessary input data for the thermal model are captured in the control. This approach is verified at a 6-axis-machine using a camera based pose measuring system. The paper shows the principle of the correction approach and its verification by pose measurements. In conclusion the correction model meets the qualitative displacement in the workspace quite well. (C) 2016 The Authors. Published by Elservier B.V

引用

页码：111 / 114

页数：4

共 50 条

[1] Model based correction of placement error in EBL and its verification
Babin, Sergey
Borisov, Sergey
Militsin, Vladimir
Komagata, Tadashi
Wakatsuki, Tetsuro
[J]. PHOTOMASK JAPAN 2016: XXIII SYMPOSIUM ON PHOTOMASK AND NEXT-GENERATION LITHOGRAPHY MASK TECHNOLOGY, 2016, 9984
[2] Reference model based RTL verification: An integrated approach
Hung, WNN
Narasimhan, N
[J]. NINTH IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2004, : 9 - 13
[3] A model-based approach for the specification and verification of clinical guidelines
Bernardi, Simona
Albareda, Jorge
Colom, Jose-Manuel
Mahulea, Cristian
[J]. 2014 IEEE EMERGING TECHNOLOGY AND FACTORY AUTOMATION (ETFA), 2014,
[4] A Modular Approach to Integrate Verification Tools in Model Based Development
Kanav, Sudeep
[J]. 21ST ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS: COMPANION PROCEEDINGS (MODELS-COMPANION '18), 2018, : 150 - 155
[5] AN APPROACH TO FORMAL VERIFICATION OF RULE-BASED MODEL TRANSFORMATION
Pilkauskas, Vytautas
Guginis, Gediminas
[J]. INFORMATION TECHNOLOGIES' 2009, 2009, : 93 - 99
[6] Model Based Approach to Verification of Higher-Order Programs
Walukiewicz, Igor
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (216): : 2 - +
[7] Error correction based on verification techniques
Huang, SY
Chen, KC
Cheng, KT
[J]. 33RD DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 1996, 1996, : 258 - 261
[8] Reduction Rules Based Approach of Logic Structure Verification for Services Composition
Hu, Haitao
Liu, Ying
[J]. PROCEEDINGS OF 2010 ASIA-PACIFIC YOUTH CONFERENCE ON COMMUNICATION, VOLS 1 AND 2, 2010, : 614 - +
[9] Modular verification of Petri Nets properties:: A structure-based approach
Klai, K
Haddad, S
Ilié, JM
[J]. FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2005, 2005, 3731 : 189 - 203
[10] Online correction of thermal errors based on a structure model
Thiem, Xaver
Kauschinger, Bernd
Ihlenfeldt, Steffen
[J]. International Journal of Mechatronics and Manufacturing Systems, 2019, 12 (01) : 49 - 62

← 1 2 3 4 5 →