Search results for " Push."

Seismic Performance of Masonry Infilled RC Structures via N2 Pushover Assessment Procedures: Outcomes under Different Modeling Hypotheses of a Case S…

2016

The assessment of the capacity of RC masonry infilled RC structures constitutes nowadays a still debated issue. Pushover based procedures for the evaluation of seismic performance, such as N2 method, are largely used in practice and in force in several technical codes. The latter has proved to be reliable for a large number of structural typologies, however in the case of infilled frames, the choices made on the modelling strategy may radically modify the outcomes observable from the capacity curves and the consequent performance levels achievable. In the paper, the extent of different modelling choices on the results of the application of N2 procedure is investigated by the deep analysis o…

Influence Of Lateral Load Distributions On Pushover Analysis Effectiveness

2008

The effectiveness of two simple load distributions for pushover analysis recently proposed by the authors is investigated through a comparative study, involving static and dynamic analyses of seismic response of eccentrically braced frames. It is shown that in the upper floors only multimodal pushover procedures provide results close to the dynamic profile, while the proposed load patterns are always conservative in the lower floors. They over-estimate the seismic response less than the uniform distribution, representing a reliable alternative to the uniform or more sophisticated adaptive procedures proposed by seismic codes. © 2008 American Institute of Physics.

Hill's Equation in the Arm Push of Shot Put

2016

Aims: The purpose of this paper was to continue the previous study of arm rotation movement where A.V. Hill’s force-velocity relationship was transformed into a constant maximum power model consisting of three different components of power. Methodology: In the present study a new model of Hill’s equation was applied for accelerated motions. This theoretically derived model of further development of Hill’s force-velocity relationship was tested by fitting it into two arm push measurements of shot put experiments. The results of the further development of Hill’s equation for accelerated motions were compared with the mechanics of the constant power model of the previous study. Results: The an…

A Push Forward Construction and the Comprehensive Factorization for Internal Crossed Modules

2014

In a semi-abelian category, we give a categorical construction of the push forward of an internal pre-crossed module, generalizing the pushout of a short exact sequence in abelian categories. The main properties of the push forward are discussed. A simplified version is given for action accessible categories, providing examples in the categories of rings and Lie algebras. We show that push forwards can be used to obtain the crossed module version of the comprehensive factorization for internal groupoids.

Visibly pushdown modular games,

2014

Games on recursive game graphs can be used to reason about the control flow of sequential programs with recursion. In games over recursive game graphs, the most natural notion of strategy is the modular strategy, i.e., a strategy that is local to a module and is oblivious to previous module invocations, and thus does not depend on the context of invocation. In this work, we study for the first time modular strategies with respect to winning conditions that can be expressed by a pushdown automaton. We show that such games are undecidable in general, and become decidable for visibly pushdown automata specifications. Our solution relies on a reduction to modular games with finite-state automat…

Exact affine counter automata

2017

We introduce an affine generalization of counter automata, and analyze their ability as well as affine finite automata. Our contributions are as follows. We show that there is a language that can be recognized by exact realtime affine counter automata but by neither 1-way deterministic pushdown automata nor realtime deterministic k-counter automata. We also show that a certain promise problem, which is conjectured not to be solved by two-way quantum finite automata in polynomial time, can be solved by Las Vegas affine finite automata. Lastly, we show that how a counter helps for affine finite automata by showing that the language MANYTWINS, which is conjectured not to be recognized by affin…

Influence of column shear failure on pushover based assessment of masonry infilled reinforced concrete framed structures: A case study

2017

Structural frames, constructed either of steel or reinforced concrete (RC), are often infilled with masonry panels. However, during the analysis of the structural frames, it has become common practice to disregard the existence of infills because of the complexity in modeling. This omission should not be allowed because the two contributions (of infills and of frames) complement each other in providing a so different structural system. The use of different modeling assumptions significantly affects the capacity as well as the inelastic demand and safety assessment. In specific, the adoption of equivalent diagonal pin-jointed struts leaves open the problem of the evaluation of the additional…

Muscle Activity During Unilateral vs. Bilateral Battle Rope Exercises.

2015

High training intensity is important for efficient strength gains. Although battle rope training is metabolically demanding, no studies have quantified intensity of muscle activity during this type of training. This study analyzes muscle activity during unilateral alternating waves vs. bilateral waves of battle rope training. Twenty-one volunteers participated in a repeated-measures study on 2 different occasions. Surface electromyographic signals were recorded from the anterior deltoid (AD), external oblique (OBLIQ), lumbar erector spinae (LUMB), and gluteus medius (GM) during bilateral waves and unilateral waves and were normalized to the maximum voluntary isometric contraction (MVIC). Re…

Il recupero parziale di opere in muratura di interesse storico in zona sismica

2011

Developing Solutions For Healthcare : Deploying Artificial Intelligence to an Evolving Target

2017

—The pace of deploying artificial intelligence (AI) techniques to healthcare has been speeding up. Many of the initiatives have been technology driven aiming at finding problems matching the new technology while systematic, demand driven search for solutions has been limited. Here we describe the process of identifying opportunities for deploying artificial intelligence to healthcare and social services on regional and national levels in Finland. The process includes idea generation and elaboration using a design thinking method complemented with architectural design for identifying required AI capabilities for the 34 best use cases. In this paper, we focus on the development of use case “M…