Modeling of powertrain system dynamic behavior with torsional vibration damper

score: 7collation: 586-59

Measurements of Strain in Ceramic Components Using Magnetostrictive Delay Line

score: 0collation: 29-3

Incremental Equal Channel Angular Pressing for Grain Refinement

score: 0collation: 19-2

Performance Tests of a 4,1x4,1mm\\textless\sup\\textgreater\2\\textless\/sup\\textgreater\ SiC LCVJFET for a DC/DC Boost Converter Application

score: 0collation: 722-72

Hybrid Numerical-Optical Methods for Analysis of Mechanical Structures

score: 0collation: 4297-430

The Use of Trimethylaluminum for Producing Surface Layers by the PACVD Method

score: 0collation: 3887-389

Energy loss and the choice of damper of torsional vibration combustion engines

score: 5collation: 188 - 19

Numerical Study of Joint Behaviour for Robustness Assessment

abstractEN: AbstractThe paper presents studies on numerical modelling of beam-to-column joint behaviour in typical service and exceptional design situations. The complexity of such investigations arises from highly nonlinear effects associated with the prediction of joint performance, such as structural imperfections, large displacements and rotations, inelastic properties of steel and concrete, bonding effects between steel and concrete, and slip between concrete and structural steel, among others. The paper addresses these problems and provides validation of numerical modelling techniques trough comparison with experimental data for joints under hogging and sagging moments. © (2012) Trans Tech Publications.score: 0collation: 3114-311

Electrical Properties of Mixed Electronic-Ionic Glassy Conductors of the Ag2O-V2O5-B2O3 System

score: 0collation: 297-30

Timed concurrent state machines

abstractPL: Współbieżne maszyny stanowe z czasem TCSM są aplikacją automatów czasowych Alura w środowisku koincydencyjnym współbieżnych maszyn czasowych CSM (w przeciwieństwiedo środowisk przeplotowych). TCSM pasują do idei automatów testujących, które pozwalają wyspecyfikować zależności czasowe łatwiej niż poprzez formuły temporalne. Ponadto zdefiniowano sposób wyznaczania globalnej przestrzeni stanów w dziedzinie czasu (współbieżne maszyny stanowe regionów RCSM), co pozwala przechowywać badany system w postaci gotowej do weryfikacji i mnożyć go przez różne automaty testujące.abstractEN: Timed Concurrent State Machines are an application of Alur Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support theidea of testing automata, allowing to specify time properties easier than temporal formulas.Also, calculation of a global state space in real-time domain (Region Concurrent State Machines) is defined, allowing to store a verified system in ready-to-verification form, and tomultiply it by various testing automata.score: 6collation: 23-3