Course: M2-6: Abstract interpretation: application to verication and static analysis Note: Other internships are possible on the topic of static analysis, abstract interpretation , and applications to Systems Biology. Please contact the internship supervisor for more information.

Multibody dynamic musculoskeletal models capable of predicting muscle forces and joint contact pressures simultaneously would be valuable for studying clinical issues related to knee joint degeneration and restoration. Current three-dimensional multibody knee models are either quasi-static with deformable contact or dynamic with rigid contact. This study proposes a computationally efficient met...

For the static contact problem with limited interpenetration with the obstacle the existence of solutions is proved. The frictionless case is studied at first, then the problem with Coulomb friction is investigated as well. The body has nowhere a Dirichlet boundary value condition prescribed. In both cases, if the prescribed bound of the interpenetratiom tends to 0, the solutions tend to a solu...

Abstract We study the observability properties of a nonlinear parabolic system that models the temperature evolution of a thermoelastic rod that may come into contact with a rigid obstacle. Basically the system dynamics are described by a one-dimensional nonlocal partial differential equation of parabolic type with a nonlinear and nonlocal boundary condition. For a specified nonlocal observatio...

A viable solution to the ever-demanding weight-saving target in aerospace industry is the replacement of conventional engineering alloys with composite materials in primary structures. A major concern to the effective use of composite laminates is the substantial reduction in the compressive strength when the contact force has exceeded the delamination threshold load (DTL). This paper focuses o...

We numerically study the distribution P(f) of contact forces in frictionless bead packs, by averaging over the ensemble of all possible force network configurations. We resort to umbrella sampling to resolve the asymptotic decay of P(f) for large f , and determine P(f) down to values of order 10{-45} for ordered and disordered systems in two (2D) and three dimensions (3D). Our findings unambigu...

Aiming at predicting what happens in reality inside mills, the contact parameters of iron ore particles for discrete element method (DEM) simulations should be determined accurately. To allow the irregular shape to be accurately determined, the sphere clump method was employed in modelling the particle shape. The inter-particle contact parameters were systematically altered whilst the contact p...

We perform quantitative measurements of the actual area of contact, A, formed by two rough solids that are subjected to different normal loading protocols. We show that microscopic motion, induced by Poisson contraction or expansion, produces a strong memory dependence of on the loading history with a large corresponding influence on the system's frictional strength. These effects, together wit...

This study investigated the effects of modifying contact finger forces in one direction-normal or tangential-on the entire set of the contact forces, while statically holding an object. Subjects grasped a handle instrumented with finger force-moment sensors, maintained it at rest in the air, and then slowly: (1) increased the grasping force, (2) tried to spread fingers apart, and (3) tried to s...

Static grasping of a spherical object by two robot fingers is studied in this paper. The fingers may be rigid bodies or elastic beams, they may grasp the body with various orientation angles, and the tightening displacements may be linear or angular. Closed-form solutions for normal and tangential contact forces due to tightening displacements are obtained by solving compatibility equations, fo...