Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Powiadomienia systemowe

Sesja wygasła!
Sesja wygasła!

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Implementation of an active mass driver for increasing damping ratios of the laboratorial model of a building

Moutinho C., Cunha A., Caetano E.

Journal of Theoretical and Applied Mechanics

2011

Vol. 49 nr 3

791-806

This paper describes the experimental work involving a laboratorial implementation of an active system to increase the damping ratios of a plane frame physical model of a building structure of three storeys. For this purpose, the use of an Active Mass Driver commanded by the Direct Velocity Feedback control law is suggested. The study developed to define the maximum control gain based on the classical Root-Locus technique, as well as the analysis of system stability is presented. The efficiency of the proposed control system to achieve pre-defined damping ratios is verified experimentally by observing free decay responses of the system at several natural frequencies before and after control.

W pracy opisano badania doświadczalne przeprowadzone na stanowisku laboratoryjnym, których celem była analiza układu aktywnej redukcji drgań zwiększającego współczynniki tłumienia w płaskim, ramowym modelu trzykondygnacyjnego budynku. Cel ten zrealizowano na modelu z inercyjnym układem redukcji drgań sterowanym w prędkościowej pętli sprzężenia zwrotnego. Przedyskutowano problem stateczności modelu metodą linii pierwiastkowych (Root-Locus), pozwalającą na określenie maksymalnego dopuszczalnego współczynnika wzmocnienia w układzie sterowania. Skuteczność zaproponowanej metody sterowania ukierunkowanej na uzyskanie żądanych właściwości tłumiących zweryfikowano eksperymentalnie poprzez obserwację spadku amplitudy drgań swobodnych pobudzanych wcześniej przy kilku częstościach własnych modelu z włączonym i wyłączonym układem sterowania.

Point-free Program Transformation

Cunha A., Pinto J. S.

Fundamenta Informaticae

2005

Vol. 66, nr 4

315-352

Functional programs are particularly well suited to formal manipulation by equational reasoning. In particular, it is straightforward to use calculational methods for program transformation. Well-known transformation techniques, like tupling or the introduction of accumulating parameters, can be implemented using calculation through the use of the fusion (or promotion) strategy. In this paper we revisit this transformation method, but, unlike most of the previous work on this subject, we adhere to a pure point-free calculus that emphasizes the advantages of equational reasoning. We focus on the accumulation strategy initially proposed by Bird, where the transformed programs are seen as higher-order folds calculated systematically from a specification. The machinery of the calculus is expanded with higher-order point-free operators that simplify the calculations. A substantial number of examples (both classic and new) are fully developed, and we introduce several shortcut optimization rules that capture typical transformation patterns.