Matches in SemOpenAlex for { <https://semopenalex.org/work/W1830149916> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1830149916 endingPage "7" @default.
- W1830149916 startingPage "1" @default.
- W1830149916 abstract "Kinematic analysis is a significant method when planning the trajectory of robotic manipulators. The main idea behind kinematic analysis is to study the motion of the robot based on the geometrical relationship of the robotic links and their joints, such as the Denavit-Hartenberg parameters. Given the continuous nature of kinematic analysis and the shortcoming of the traditional verification methods, we propose to use high-order-logic theorem proving for conducting formal kinematic analysis. Based on the screw theory in HOL4, which is newly developed by our research institute, we utilize the geometrical theory of HOL4 to develop formal reasoning support for the kinematic analysis of a robotic manipulator. To illustrate the usefulness of our fundamental formalization, we present the formal kinematic analysis of a general 6R manipulator." @default.
- W1830149916 created "2016-06-24" @default.
- W1830149916 creator A5000201876 @default.
- W1830149916 creator A5010088279 @default.
- W1830149916 creator A5014965312 @default.
- W1830149916 creator A5045179187 @default.
- W1830149916 creator A5060740546 @default.
- W1830149916 creator A5072412248 @default.
- W1830149916 creator A5087366755 @default.
- W1830149916 date "2015-01-01" @default.
- W1830149916 modified "2023-09-24" @default.
- W1830149916 title "Formal Kinematic Analysis of a General 6R Manipulator Using the Screw Theory" @default.
- W1830149916 cites W1981373951 @default.
- W1830149916 cites W1991803036 @default.
- W1830149916 cites W1992678654 @default.
- W1830149916 cites W2023091179 @default.
- W1830149916 cites W2049410986 @default.
- W1830149916 cites W2091456056 @default.
- W1830149916 cites W2096231567 @default.
- W1830149916 cites W2105862707 @default.
- W1830149916 cites W318050187 @default.
- W1830149916 doi "https://doi.org/10.1155/2015/549797" @default.
- W1830149916 hasPublicationYear "2015" @default.
- W1830149916 type Work @default.
- W1830149916 sameAs 1830149916 @default.
- W1830149916 citedByCount "12" @default.
- W1830149916 countsByYear W18301499162016 @default.
- W1830149916 countsByYear W18301499162017 @default.
- W1830149916 countsByYear W18301499162018 @default.
- W1830149916 countsByYear W18301499162019 @default.
- W1830149916 countsByYear W18301499162020 @default.
- W1830149916 countsByYear W18301499162021 @default.
- W1830149916 countsByYear W18301499162022 @default.
- W1830149916 crossrefType "journal-article" @default.
- W1830149916 hasAuthorship W1830149916A5000201876 @default.
- W1830149916 hasAuthorship W1830149916A5010088279 @default.
- W1830149916 hasAuthorship W1830149916A5014965312 @default.
- W1830149916 hasAuthorship W1830149916A5045179187 @default.
- W1830149916 hasAuthorship W1830149916A5060740546 @default.
- W1830149916 hasAuthorship W1830149916A5072412248 @default.
- W1830149916 hasAuthorship W1830149916A5087366755 @default.
- W1830149916 hasBestOaLocation W18301499161 @default.
- W1830149916 hasConcept C121332964 @default.
- W1830149916 hasConcept C127413603 @default.
- W1830149916 hasConcept C1276947 @default.
- W1830149916 hasConcept C133731056 @default.
- W1830149916 hasConcept C13662910 @default.
- W1830149916 hasConcept C154945302 @default.
- W1830149916 hasConcept C18788176 @default.
- W1830149916 hasConcept C19966478 @default.
- W1830149916 hasConcept C2775924081 @default.
- W1830149916 hasConcept C2781347998 @default.
- W1830149916 hasConcept C39920418 @default.
- W1830149916 hasConcept C41008148 @default.
- W1830149916 hasConcept C47446073 @default.
- W1830149916 hasConcept C62837456 @default.
- W1830149916 hasConcept C74222875 @default.
- W1830149916 hasConcept C74650414 @default.
- W1830149916 hasConcept C90509273 @default.
- W1830149916 hasConceptScore W1830149916C121332964 @default.
- W1830149916 hasConceptScore W1830149916C127413603 @default.
- W1830149916 hasConceptScore W1830149916C1276947 @default.
- W1830149916 hasConceptScore W1830149916C133731056 @default.
- W1830149916 hasConceptScore W1830149916C13662910 @default.
- W1830149916 hasConceptScore W1830149916C154945302 @default.
- W1830149916 hasConceptScore W1830149916C18788176 @default.
- W1830149916 hasConceptScore W1830149916C19966478 @default.
- W1830149916 hasConceptScore W1830149916C2775924081 @default.
- W1830149916 hasConceptScore W1830149916C2781347998 @default.
- W1830149916 hasConceptScore W1830149916C39920418 @default.
- W1830149916 hasConceptScore W1830149916C41008148 @default.
- W1830149916 hasConceptScore W1830149916C47446073 @default.
- W1830149916 hasConceptScore W1830149916C62837456 @default.
- W1830149916 hasConceptScore W1830149916C74222875 @default.
- W1830149916 hasConceptScore W1830149916C74650414 @default.
- W1830149916 hasConceptScore W1830149916C90509273 @default.
- W1830149916 hasLocation W18301499161 @default.
- W1830149916 hasOpenAccess W1830149916 @default.
- W1830149916 hasPrimaryLocation W18301499161 @default.
- W1830149916 hasRelatedWork W1830149916 @default.
- W1830149916 hasRelatedWork W1946746497 @default.
- W1830149916 hasRelatedWork W2009164778 @default.
- W1830149916 hasRelatedWork W2010618743 @default.
- W1830149916 hasRelatedWork W2102541081 @default.
- W1830149916 hasRelatedWork W2152470674 @default.
- W1830149916 hasRelatedWork W2349125042 @default.
- W1830149916 hasRelatedWork W2364781090 @default.
- W1830149916 hasRelatedWork W3214722990 @default.
- W1830149916 hasRelatedWork W90437214 @default.
- W1830149916 hasVolume "2015" @default.
- W1830149916 isParatext "false" @default.
- W1830149916 isRetracted "false" @default.
- W1830149916 magId "1830149916" @default.
- W1830149916 workType "article" @default.