Suche
Ergebnisse
-
-
-
Unified simulation of elastic rods, shells and solids
(2011)Technical reportThis technical report explains in more detail the implementation of the plasticity model as well as the virtual node and cutting algorithms used in the paper ’Unified Simulation of Elastic Rods, Shells and Solids’ [Martin et al. 2010].Report -
-
Integrated volume rendering and data analysis in wavelet space
(1996)Internal report / Swiss Federal Institute of Technology, Computer Science DepartementReport -
Plane wave approximation in linear elasticity
(2011)Research reportsWe consider the approximation of solutions of the time-harmonic linear elastic wave equation by linear combinations of plane waves. We prove algebraic orders of convergence both with respect to the dimension of the approximating space and to the diameter of the domain. The error is measured in Sobolev norms and the constants in the estimates explicitly depend on the problem wavenumber.Report -
Contour edge analysis for polyhedron projections
(1996)Technical report / Department Informatik, ETH ZürichReport -
Symbolic Reachability Graph Generation for High-level Models based on Synthesized Operators
(2009)TIK reportThis paper introduces a new technique for generating Binary Decision Diagrams (BDDs) representing high-level model’s underlying state/tran- sition systems. The obtained decision diagram may serve as input for various analysis methods such as symbolic (probabilistic) model checking and/or Markovian performance and reliability analysis. As usual the pro- posed technique makes use of partitioned symbolic reachability analysis. ...Report