the purpose of this study is to determine the effect of vierendeel panel width and vertical truss spacing ratio in an inelastic behavior of the stf system due to earthquake loads. the stf system is applied to a six-storey building that serves as apartments [2]. the stf system is used in the building in the transverse direction (n-s direction), while in the longitudinal direction (w-e direction)...

Introduction: The motion and the anatomy of the temporomandibular joint (TMJ) is very complex. Static or pseudo-dynamic MRI of the TMJ does not allow for full analysis of the disc deformation and displacement during the mandibular motion. The purpose of this study was to develop and evaluate a fast dynamic MRI technique for measurement of the TMJ with an arbitrary reconstruction window time poi...

This paper may be regarded as a new numerical method for the analysis of triangular thin plates using the natural area coordinates. Previous studies on the solution of triangular plates with different boundary conditions are mostly based on the Rayleigh-Ritz principle which is performed in the Cartesian coordinates. Consequently, manipulation of the geometry and numerical calculation of the int...

Several formal models combine probabilistic and nondeterministic features. To allow their probabilistic simulation and statistical model checking by means of pseudo-random number sampling, all sources of nondeterminism must first be quantified. However, current tools offer limited flexibility for the user to define how the nondeterminism should be quantified. In this paper, we propose an expres...

Abstract In the present work, a seismic analysis was performed in advance on limestone rock slope (height = 150 m) outcropping along Tagliamento River valley, Friuli Venezia Giulia Region, north-eastern Italy. The analysed is characterised by strong mass damage, thus resulting critical stability condition (unstable volume 110,000–200,000 m 3 ). adopting 2D finite difference method (FDM) and emp...

The present Master’s thesis seeks the development and analysis of static partial order reduction techniques for the models of probabilistic systems. The properties of those systems can be verified via model checking technique. Model checking suffers from the problem known as State Space Explosion, which can make the verification process intractable. Partial order reductions are aimed at allevia...

This study presents a dynamic way in a DG planning problem instead of the last static or pseudo-dynamic planning point of views. A new way in modeling the DG units’ output power and the load uncertainties based on the probability rules is proposed in this paper. A sensitivity analysis on the stochastic nature of the electricity price and global fuel price is carried out through a proposed model...

The main objective of this paper is to study pseudo-projective tensor on sequential warped products and then obtain necessary sufficient conditions for a product be pseudo-projectively flat. Moreover, we also provide characterization flat generalized Robertson–Walker standard static spacetimes.