Boron Synthesis in Type Ic Supernovae [PDF]
We investigate the neutrino-process in an energetic Type Ic supernova (SN Ic) and resultant productions of the light elements including boron and its stable isotopes.
Cappellaro +20 more
core +2 more sources
Mixin Composition Synthesis based on Intersection Types
We present a method for synthesizing compositions of mixins using type inhabitation in intersection types. First, recursively defined classes and mixins, which are functions over classes, are expressed as terms in a lambda calculus with records ...
Bessai, Jan +5 more
core +5 more sources
Type Synthesis Method for Parallel Robots With Special Topologies
This contribution presents a type synthesis method for parallel robots with special topologies. First, we defined the constraint-incidence matrix (CIM) to describe serial chains by utilizing the geometric properties of screw theory, revealing the motion ...
Hongpeng Chu +3 more
doaj +1 more source
Type Synthesis of 4-DOF Non-Overconstrained Parallel Mechanisms with Symmetrical Structures
This paper presents the type synthesis of 4-DOF non-overconstrained parallel mechanisms (PMs) with symmetrical structures. A special topological structure that includes two intermediate platforms and one moving platform is employed. Constraint conditions
Wei Ye, Qinchuan Li, Xinxue Chai
doaj +1 more source
Safety Analysis, Design and Evaluation of 2-DOF Parallel Lifting Actuator on Stereo Parking Robot
Stereo garage technology can effectively alleviate the problem of parking difficulties, but the safety problems of its actuators, via which the core of stereo parking function can be realized, seriously affect its promotion and further development.
Jingang Jiang +4 more
doaj +1 more source
Research on the Type Synthesis of a Regular Hexagonal Prism Rubik’s Cube Mechanism
The Rubik’s Cube mechanism (RCM) is a kind of reconfigurable mechanism with multiple characteristics such as multiple configurations, variable topology, strong coupling, and reconfigurability.
Dabao Fan +5 more
doaj +1 more source
A New Methodology for Type Synthesis of Planar Linkages for Exoskeletons up to Five Angular Outputs
Mechanical linkage systems are a very important issue for exoskeleton design to meet the required number of angular outputs. In this paper, a new methodology is developed for type synthesis of planar linkages to establish a complete set of one degree of ...
Mahmoud Helal +3 more
doaj +1 more source
Type Synthesis of 2T1R Planar Parallel Mechanisms and Their Moduling Development Applications
The two translational degrees-of-freedom (DOF) and one rotational DOF (2T1R) planar parallel mechanisms (PMs) have the characteristics of simple structures, simple kinematic and dynamic models, and ease of control and allow for a variety of application ...
Dongsheng Zhang +5 more
doaj +1 more source
Type Synthesis of 5-DOF Hybrid (Parallel-Serial) Manipulators Designed from Open Kinematic Chains
The article proposes an approach for synthesizing hybrid (parallel-serial) manipulators with five degrees of freedom (5-DOF) using open kinematic chains.
Anton Antonov +4 more
doaj +1 more source
Type Synthesis and Kinematic Analysis of a 2-DOF Shape-Morphing Wheel Mechanism for Step-Overcoming
This study presents a novel shape-morphing wheel that enables to not only traverse flat ground quickly in a circular configuration but also overcome obstacles like steps effectively in a transformed configuration.
Youngsoo Kim, Hwa Soo Kim, TaeWon Seo
doaj +1 more source

