AVATAR is a real-time extension of SysML supported by the TTool open-source toolkit. So far, formal verification of AVATAR models has relied on reachability techniques that face a state explosion problem. The paper explores a new avenue: applying structural analysis to AVATAR model, so as to identify mutual exclusion situations. In practice, TTool translates a subset of an AVATAR model into a P...

Rooted in structural dynamics theory, three approximate procedures for estimating seismic demands for bridges crossing fault-rupture zones and deforming into their inelastic range are presented: modal pushover analysis �MPA�, linear dynamic analysis, and linear static analysis. These procedures estimate the total seismic demand by superposing peak values of quasi-static and dynamic parts. The p...

Why do stabilized images fade? How can X cells in the retina respond linearly to a broad range of spatiotemporal stimulation functions in spite of possible nonlinear preprocessing? Why have models of spatial vision that utilize static images and assume linearity of preprocessing led to reasonable results in spite of the two questions above? This chapter introduces the push-pull shunting network...

double- unsymmetric-plan medium-rise buildings subjected to bi-directional seismic excitation are complex structures where higher-mode effects in plan and elevation are important in estimating the seismic responses using nonlinear static or pushover analysis. considering two horizontal components of the ground motions makes the problem more intricate. this paper presents a method for nonlinear ...

in the present study, the mechanical behavior of aa5052 aluminum alloy during cold deformation and subsequent isothermal annealing in a temperature range of 225-300oc was investigated using the uniaxial tensile test data. it is found that by increasing the annealing time and temperature the material yield strength is decreased. the microstructural investigations of the annealed samples show tha...

Unfortunately, the major group of the systems in industry has nonlinear behavior and control of such processes with conventional control approaches with fixed parameters causes problems and suboptimal or unstable control results. An adaptive control is one way to how we can cope with nonlinearity of the system. This contribution compares classic adaptive control and its modification with Wiener...

in methods presented to calculate the voltage collapse point, the transmission system is usually the only part of the power system that is completely modeled. distribution systems are often replaced by aggregate load models because the use of the detailed model of distribution systems in voltage stability analysis not only increases the computation time, but also decreases the probability of co...

Objective- We assessed the effect of change in core isometric strength and endurance on upper limb isometric strength in female athletes. Methods- In this experimental study, 32 female athletes aged 18-25 years were recruited based on the inclusion criteria. (17 cases in the experimental group and 15 cases in the control group). Before and after the core stabilization knockdown protocol, parti...