Sökning: id:"swepub:oai:research.chalmers.se:6d9e18e6-c538-4ac1-a017-e89df429dd86" >
Using a Formal High...
Using a Formal High-level Language to Instruct Manikins to Assemble Cables
-
- Mårdberg, Peter, 1980 (författare)
- Stiftelsen Fraunhofer-Chalmers Centrum för Industrimatematik (FCC),Fraunhofer-Chalmers Research Centre for Industrial Mathematics (FCC)
-
- Carlson, Johan, 1972 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Bohlin, Robert, 1972 (författare)
- Stiftelsen Fraunhofer-Chalmers Centrum för Industrimatematik (FCC),Fraunhofer-Chalmers Research Centre for Industrial Mathematics (FCC)
-
visa fler...
-
- Delfs, N. (författare)
- Stiftelsen Fraunhofer-Chalmers Centrum för Industrimatematik (FCC),Fraunhofer-Chalmers Research Centre for Industrial Mathematics (FCC)
-
- Gustafsson, S. (författare)
- Stiftelsen Fraunhofer-Chalmers Centrum för Industrimatematik (FCC),Fraunhofer-Chalmers Research Centre for Industrial Mathematics (FCC)
-
- Hanson, Lars, 1970 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
visa färre...
-
(creator_code:org_t)
- Elsevier BV, 2014
- 2014
- Engelska.
-
Ingår i: Procedia CIRP. - : Elsevier BV. - 2212-8271. ; 23:C, s. 29-34
- Relaterad länk:
-
http://dx.doi.org/10...
-
visa fler...
-
https://research.cha... (primary) (free)
-
https://doi.org/10.1...
-
https://research.cha...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- In this paper, a formal high-level language is used to generate simulations where a manikin assembles flexible cables. The language generates assembly instructions for the manikin, which automatically performs the corresponding assembly motion with as good ergonomic as possible. Due to weight, stiffness and narrow regions, it may be difficult to perform an assembly of the cable. Our approach allows us to verify that it may be performed in an ergonomically sound way. The generated instructions are formally verified to ensure that assembly order is held and to prevent erroneous assembly states. The simulations have been made on industrial test cases.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Maskinteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Mechanical Engineering (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Maskinteknik -- Produktionsteknik, arbetsvetenskap och ergonomi (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Mechanical Engineering -- Production Engineering, Human Work Science and Ergonomics (hsv//eng)
- NATURVETENSKAP -- Matematik (hsv//swe)
- NATURAL SCIENCES -- Mathematics (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Nyckelord
- Formal methods
- Digtal human modeling
- Assembly
Publikations- och innehållstyp
- kon (ämneskategori)
- ref (ämneskategori)
Hitta via bibliotek
Till lärosätets databas
- Av författaren/redakt...
-
Mårdberg, Peter, ...
-
Carlson, Johan, ...
-
Bohlin, Robert, ...
-
Delfs, N.
-
Gustafsson, S.
-
Hanson, Lars, 19 ...
- Om ämnet
-
- TEKNIK OCH TEKNOLOGIER
-
TEKNIK OCH TEKNO ...
-
och Maskinteknik
-
- TEKNIK OCH TEKNOLOGIER
-
TEKNIK OCH TEKNO ...
-
och Maskinteknik
-
och Produktionstekni ...
-
- NATURVETENSKAP
-
NATURVETENSKAP
-
och Matematik
-
- NATURVETENSKAP
-
NATURVETENSKAP
-
och Data och informa ...
- Artiklar i publikationen
-
Procedia CIRP
- Av lärosätet
-
Chalmers tekniska högskola