S. Zivanovic, Nikola Slavković, S. Tabaković, Z. Dimić
{"title":"执行加工任务的机器人的编程和程序验证","authors":"S. Zivanovic, Nikola Slavković, S. Tabaković, Z. Dimić","doi":"10.5937/tehnika2302167z","DOIUrl":null,"url":null,"abstract":"The paper presents the programming and program verification of industrial robots that perform machining tasks. The paper considers the different methods for robot programming and the possibilities for configuring virtual robots for machining simulation and program verification for such tasks.","PeriodicalId":22484,"journal":{"name":"Tehnika","volume":"1 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Programming and program verification for robots that perform machining tasks\",\"authors\":\"S. Zivanovic, Nikola Slavković, S. Tabaković, Z. Dimić\",\"doi\":\"10.5937/tehnika2302167z\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The paper presents the programming and program verification of industrial robots that perform machining tasks. The paper considers the different methods for robot programming and the possibilities for configuring virtual robots for machining simulation and program verification for such tasks.\",\"PeriodicalId\":22484,\"journal\":{\"name\":\"Tehnika\",\"volume\":\"1 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2023-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Tehnika\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.5937/tehnika2302167z\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Tehnika","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.5937/tehnika2302167z","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Programming and program verification for robots that perform machining tasks
The paper presents the programming and program verification of industrial robots that perform machining tasks. The paper considers the different methods for robot programming and the possibilities for configuring virtual robots for machining simulation and program verification for such tasks.