Publication

Ph.D. Research Proposal: Biomimetic Characteristics of an Active Deployable Structure

Publications associées (52)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search

Towards biomimetic behavior of an active deployable tensegrity structure

Nicolas Willy Veuve

Tensegrity structures have non-conventional structural properties since they require self-stress in order to be stable. When a tensegrity structure integrates sensors, actuators, (structural members able to change their length) and a control system, deploy ...

EPFL2016

A Double-Layered Timber Plate Shell - Computational Methods for Assembly, Prefabrication, and Structural Design

Yves Weinand, Mark Pauly, Christopher Werner Matthias Robeller, Mina Konakovic Lukovic, Mira Dedijer

This paper presents a new lightweight construction system for doubly-curved shells, built from two interconnected layers of structural wood veneer plates. The system uses integral through-tenon joints for a fast, precise, and simple assembly, allowing for ...

vdf Hochschulverlag AG2016

Non-parallel transformations of structural equilibrium

Corentin Jean Dominique Fivet

This paper presents a geometric method to distort statically equilibrated structures into new ones where initial parallelism between bars is not maintained. Among other applications, the method helps increase the diversity of irregular self-stressed tridim ...

IASS2015

Induction for SMT Solvers

Viktor Kuncak, Andrew Joseph Reynolds

Satisfiability modulo theory solvers are increasingly being used to solve quantified formulas over structures such as integers and term algebras. Quantifier instantiation combined with ground decision procedure alone is insufficient to prove many formulas ...

Springer-Verlag Berlin2015

A Decision Procedure for (Co)datatypes in SMT Solvers

Andrew Joseph Reynolds

We present a decision procedure that combines reasoning about datatypes and codatatypes. The dual of the acyclicity rule for datatypes is a uniqueness rule that identifies observationally equal codatatype values, including cyclic values. The procedure deci ...

Springer-Verlag Berlin2015

Equivalent-Design Crack Model for Structural Glass Elements

Pieter Christian Louter, Manuel Santarsiero

Analytical determination of safety in glass structures often uses oversimplified resistance criteria or fully probabilistic models which require special software to numerically solve the complex equations. Due to computation cost and remaining uncertainty ...

Asce-Amer Soc Civil Engineers2014

Toward development of a biomimetic tensegrity footbridge

Ian Smith, Nicolas Willy Veuve, Seif Dalil Safaei

Biomimetic structures interact with their environment, change their properties, learn and self-repair, thereby providing properties that are similar to living organisms. Interactions with the environment involve unique challenges in the field of computatio ...

International Center for Numerical Methods in Engineering (CIMNE)2014

Bridge "examineering" or how monitoring and UHPFRC improve the performance of structures

Examination engineering (short: "Examineering") of existing bridges comprises accurate determination of structural behavior and targeted use of advanced materials for improvement of structural behavior with the ultimate goal of limiting construction interv ...

Crc Press-Taylor & Francis Group2014

Safety examination of existing concrete structures using the global resistance safety factor concept

Current design procedures for structural concrete elements are based on member level (or local) safety checks, in the sense that the safety condition is evaluated at each cross-section individually. In the examination of existing structures, the exploitati ...

Elsevier2014

On Induction for SMT Solvers

Viktor Kuncak, Andrew Joseph Reynolds

2014