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…

Prospective comparison of push enteroscopy and push-and-pull enteroscopy in patients with suspected small-bowel bleeding.

2006

BACKGROUND The management of patients with suspected mid-gastrointestinal bleeding has in the past been AND AIMS: difficult, as push enteroscopy (PE) only allows limited endoscopic access for diagnosis and treatment. Recently published uncontrolled data on push-and-pull enteroscopy (PPE) using the double-balloon technique suggest that this new method has a high diagnostic yield and therapeutic efficacy. A prospective controlled study was therefore carried out to compare PPE with PE as the common nonsurgical gold standard method. METHODS: The diagnostic yield, complications, and various examination parameters were compared in 52 consecutive patients with suspected mid-gastrointestinal bleedi…

ag) Push-and-pull enteroscopy in the small bowel using the double-balloon technique: results of a prospective European multicenter study.

2005

BACKGROUND AND STUDY AIMS The aim of this study was to evaluate the feasibility, safety, and clinical impact of push-and-pull enteroscopy (PPE) in patients with suspected or documented small-bowel diseases, in a prospective multicenter trial in three European medical centers. PATIENTS AND METHODS A total of 100 patients (mean age 56 +/- 16 years; range 13 - 90) were included at the three institutions between July and November 2004. The leading symptoms were: acute recurrent or chronic gastrointestinal bleeding (n = 64), polyposis syndrome (n = 8), chronic abdominal pain (n = 7), chronic diarrhea (n = 7), and others (n = 14). RESULTS No major PPE-associated complications such as perforation,…

Push-and-Pull Enteroscopy using the Double-Balloon Technique: Method of Assessing Depth of Insertion and Training of the Enteroscopy Technique using …

2005

Background and study aims This study was conducted to test a method of measuring the depth of insertion into the small bowel during push-and-pull enteroscopy using the Erlangen Endo-Trainer. Furthermore, the Erlangen Endo-Trainer model for training in the new method of push-and-pull enteroscopy using the double-balloon technique was also evaluated. Materials and methods Specially prepared packages of porcine upper visceral organs were used, including the esophagus, stomach, duodenum, and small bowel, implanted into the Erlangen Endo-Trainer. In the first step of this study, all of the modifications needed to obtain a model useful for training in the new enteroscopy technique were tested, in…

Mid-gastrointestinal bleeding: capsule endoscopy and push-and-pull enteroscopy give rise to a new medical term.

2006

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…