Wyniki wyszukiwania - BazTech

1

Copyful Streaming String Transducers

Filiot Emmanuel, Reynier Pierre-Alain

Fundamenta Informaticae

|

2021

|

Vol. 178, nr 1/2

59--76

EN

Copyless streaming string transducers (copyless SST) have been introduced by R. Alur and P. Černý in 2010 as a one-way deterministic automata model to define transductions of finite strings. Copyless SST extend deterministic finite state automata with a set of variables in which to store intermediate output strings, and those variables can be combined and updated all along the run, in a linear manner, i.e., no variable content can be copied on transitions. It is known that copyless SST capture exactly the class of MSO-definable string-to-string transductions, and are as expressive as deterministic two-way transducers. They enjoy good algorithmic properties. Most notably, they have decidable equivalence problem (in PSpace ). On the other hand, HDT0L systems have been introduced for a while, the most prominent result being the decidability of the equivalence problem. In this paper, we propose a semantics of HDT0L systems in terms of transductions, and use it to study the class of deterministic copyful SST. Our contributions are as follows:(i) HDT0L systems and total deterministic copyful SST have the same expressive power, (ii) the equivalence problem for deterministic copyful SST and the equivalence problem for HDT0L systems are inter-reducible, in quadratic time. As a consequence, equivalence of deterministic SST is decidable, (iii) the functionality of non-deterministic copyful SST is decidable, (iv) determining whether a non-deterministic copyful SST can be transformed into an equivalent non-deterministic copyless SST is decidable in polynomial time.

2

Wzorcowanie przetworników ciśnienia w OUM w Szczecinie

Kuczyński Alfred

Metrologia i Probiernictwo : biuletyn Głównego Urzędu Miar

|

2020

|

nr 1 (24)

30--34

PL

W artykule przedstawiono ogólne informacje na temat wzorcowania przetworników ciśnienia w Laboratorium Interdyscyplinarnym Okręgowego Urzędu Miar w Szczecinie. Opisano metody stosowane do wzorcowania tych przyrządów pomiarowych oraz wyposażenie pomiarowe. Przedstawiono również możliwości pomiarowe laboratorium w tym obszarze, zgodne z aktualnym zakresem akredytacji.

EN

The article presents general information on calibration of pressure transducers in the Interdisciplinary Laboratory of the Regional Office of Measures in Szczecin. The calibration methods and measuring equipment used to calibrate these measuring instruments are described. The measurement possibilities of the laboratory in this area were also presented in line with the current scope of accreditation.

3

A Common Framework to Recognize Two-dimensional Languages

Anselmo Marcella, Giammarresi Dora, Madonia Maria

Fundamenta Informaticae

|

2020

|

Vol. 171, nr 1-4

1--17

EN

We introduce the two-dimensional rational automata (RA) to recognize languages of pictures, as an extension of the finite automata for strings. A RA processes a picture column by column changing its state. The states are columns of symbols, too. The transition function is realized by a transducer. We prove that RA recognize the family REC of languages recognized by tiling systems. Moreover, RA provide a uniform setting for a lot of important notions, techniques and results presented in the last decades for recognizable two-dimensional languages. The model is also very flexible. In fact, there can be imposed restrictions or added features to easily interesting new classes and examples or to capture known families of languages.

4

Estimation of rubber waste concrete properties by ultrasonic velocities: effect of transducers’ diameters and frequencies

Boudjedra Fatiha, Benouis Abdelhalim, Boudaoud Zineddine

Civil and Environmental Engineering Reports

|

2020

|

Vol. 30, no. 2

200--220

EN

This experimental study aimed to use the ultrasonic pulse velocity method (UPV) in order to investigate the effect of rubber tire waste content and transducers’ diameters and frequencies on the evolution of ultrasonic velocities in time and to elucidate the correlations between UPV and the properties of various concrete mixtures. The incorporation of this waste involved volume substitution (0, 5, 10, 15 and 20%) of fine aggregates (sand) by rubber waste (RW) granulates. The dry unit weight, porosity, compressive and flexural strengths, and velocity of ultrasonic waves with different transducers - which presents the non-destructive technique - were evaluated. Rubberized concrete mixtures showed increases in porosity with lower dry unit weight compared to the control concrete. Compressive strength, flexural strength and ultrasonic velocity obtained by all transducers decreases with increasing RW content. These decreases are not influenced by the curing age of concretes. Decreases in the diameter and frequency of transducers caused reductions in ultrasonic velocity. These reductions are not influenced by the volume replacement of sand by RW. Correlations showed that ultrasonic velocity represents a reliable non-destructive technique for measuring the properties of rubberized concretes.

5

Zastosowanie rachunku różniczkowo-całkowego niecałkowitych rzędów w matematycznym modelowaniu przetwornika ciśnienia

Luft M., Szychta E., Nowocień A., Pietruszczak D.

Autobusy : technika, eksploatacja, systemy transportowe

|

2016

|

R. 17, nr 6

972--976

PL

Dynamiczny rozwój badań w ostatnich latach nad zastosowaniem rachunku różniczkowo-całkowego niecałkowitych rzędów do analizy układów dynamicznych, skłonił autorów artykułu do podjęcia próby jego zastosowania w analizie i modelowaniu przetworników stosowanych w układach pneumatycznych. Przetworniki pneumatyczne znajdują szerokie zastosowanie w pojazdach autobusach, np. w układach hamulcowych. W artykule przedstawiono model matematyczny przetwornika pneumatycznego, pobudzonego stałym wymuszeniem, opisany rachunkiem różniczkowo-całkowym niecałkowitego rzędu oraz jego analizę czasową za pomocą charakterystyk skokowych, wykonanych za pomocą oprogramowania MATLAB.

EN

Dynamic development of recent research into the use of fractional calculus for the dynamic system analysis encouraged the authors of this paper to attempt the use of it for the analysis and modelling of transducers used in pneumatics. The paper presents a mathematical model of pneumatic transducer described the fractional calculus. The results of time analysis of transducer have shown. Tests are executed in the MATLAB programme.

6

Estimation of the uncertainty of the LEM CV 3-500 transducers conversion function

Dzwonkowski A., Golijanek-Jędrzejczyk A., Rafiński L.

Przegląd Elektrotechniczny

|

2015

|

R. 91, nr 8

11--14

PL

W referacie zaprezentowano metodologię szacowania niepewności funkcji przetwarzania przetwornika napięciowego, na przykładzie przetwornika LEM CV 3-500. Analizę przeprowadzono przy wykorzystaniu metody opartej na Przewodniku GUM z zastosowaniem prawa propagacji niepewności oraz metody numerycznej Monte Carlo. W artykule przeprowadzono także analizę porównawczą wyników oceny pomiaru napięcia metodą symulacji Monte Carlo oraz wyników uzyskanych metodą związaną z prawem propagacji niepewności, dla kilku wybranych wartości napięcia oraz częstotliwości.

EN

The paper presents the methodology for estimating uncertainty of a voltage transducer conversion function based on the example of LEM CV 3-500 transducer. The analysis was performed using the method based on the GUM Guide propagation of uncertainty law and the Monte Carlo numerical method. The article also presents a comparative analysis of the results of a voltage measurement evaluation done using the Monte Carlo simulation method, and results obtained with the use of the propagation of uncertainty law method, for a few selected voltage and frequency values.

7

New Grammar Systems and Their Application Perspectives

Horáček P., Meduna A.

Schedae Informaticae

|

2013

|

Vol. 22

47--68

EN

This paper presents new grammar systems that describe transfor- mations of syntactic structures. They represent two approaches: synchronous grammars and transducers. The systems consist of well-known models such as context-free grammars and finite automata. Particular attention is paid to synchronization of regulated grammars. The paper recalls formal definitions of the systems and discusses theoretical results regarding their generative and accepting power. The last part briefly introduces application perspectives in natural language translation, illustrated by examples of Czech-English trans- lation.

8

Komparacja przetworników termicznych AC/DC metodą dwukanałową

Kaźmierczak A., Kruszyński A., Zawadzki P.

Metrologia : biuletyn informacyjny Głównego Urzędu Miar

|

2011

|

nr 4

23--26

9

Thick Film Transducers for High Frequency Coded Ultrasonography

Nowicki A., Lewandowski M., Wójcik J., Tymkiewicz R., Lou-Moller R., Wolny W., Zawada T.

Archives of Acoustics

|

2011

|

Vol. 36, No. 4

945-954

EN

Recently a new technology of piezoelectric transducers based on PZT thick film has been developed as a response to a call for devices working at higher frequencies suitable for production in large numbers at low cost. Eight PZT thick film based focused transducers with resonant frequency close to 40 MHz were fabricated and experimentally investigated. The PZT thick films were deposited on acoustically engineered ceramic substrates by pad printing. Considering high frequency and nonlinear propagation it has been decided to evaluate the axial pressure field emitted (and reflected by thick metal plate) by each of concave transducer differing in radius of curvature – 11 mm, 12 mm, 15 mm, 16 mm. All transducers were activated using AVTEC AVG-3A-PS transmitter and Ritec diplexer connected directly to Agilent 54641D oscilloscope. As anticipated, in all cases the focal distance was up to 10% closer to the transducer face than the one related to the curvature radius. Axial pressure distributions were also compared to the calculated ones (with the experimentally determined boundary conditions) using the angular spectrum method including nonlinear propagation in water. The computed results are in a very good agreement with the experimental ones. The trans- ducers were excited with Golay coded sequences at 35–40 MHz. Introducing the coded excitation allowed replacing the short-burst transmission at 20 MHz with the same peak amplitude pressure, but with almost double center frequency, resulting in considerably better axial resolution. The thick films exhibited at least 30% bandwidth broadening comparing to the standard PZ 27 transducer, resulting in an increase in matching filtering output by a factor of 1.4–1.5 and finally resulting in a SNR gain of the same order.

10

Wzorzec podstawowy jednostek wielkości drgań mechanicznych

Kolasa J.

Metrologia : biuletyn informacyjny Głównego Urzędu Miar

|

2009

|

nr 2

28--35

PL

Bezwzględne metody wzorcowania przetworników drgań mechanicznych przedstawione zostały w normie ISO 16063-11:1999 (Methods for the calibration of vibration and shock transducers - Part 11: Primary vibration calibration by laser interferometry). Stosuje się je do wzorcowania przetworników drgań mechanicznych, z zastosowaniem interferometrii laserowej, w zakresie częstotliwości od 1 Hz do 10 kHz i zakresie przyspieszenia od 0,1 m/s2 do 1000 m/s2 , przy czym zakres częstotliwości i przyspieszenia zależy od wybranej metody pomiaru.

11

Pressure-Potential Conversion in a Textile-Rigid Dielectric System

Kacprzyk R., Lewandowski M.

Fibres & Textiles in Eastern Europe

|

2009

|

Vol. 17, no. 1 (72)

71--74

EN

Results of the investigation of a double layer dielectric system consisting of textile and rigid dielectric layers is discussed in this paper. It is shown that the double-layer system submitted to an external stress produces an electrical potential distribution due to the trybo-charge generated during contact between the rough surface of an elastic-textile and the rigid dielectric layers. It is shown that the local effective surface charge density on the rigid dielectric layer depends on the intensity of the local stress - local pressure value. The charge generated produces proportional voltage on the solid dielectric layer after removing the elastic (textile) one. This way the pressure may be converted into a voltage signal, which is „memorised” by the solid dielectric layer. The ”pressure map” converted into an „electric potential map” can be visualised by potential distribution determination. Potential distributions obtained for systems made of different materials (textiles) are presented in the paper.

PL

W pracy przedstawiono uproszczony opis mechanizmu przetwarzania rozkładu ciśnienia na rozkład potencjału oraz doświadczalne rozkłady potencjału otrzymane dla warstwowego układu dielektryków poddanego działaniu niejednorodnych obciążeń, w tym impulsowych. Układ zawierał warstwę miękką, wykonaną ze spienionego poliuretanu lub tkaniny, stykającą się z warstwą twardą, w formie płyty z polimetakrylanu metylu. Potwierdzono, że gęstość ładunku powierzchniowego generowanego podczas wzajemnego kontaktu obu warstw pod wpływem zewnętrznego nacisku zależy od lokalnego ciśnienia. Wykazano możliwość przetworzenia rozkładu ciśnienia na rozkład gęstości ładunku i odpowiadający mu rozkład potencjału na warstwie dielektryka twardego. Pokazano przetworzone i „zapamiętane” w postaci „mapy rozkładu potencjału” rozkłady maksymalnego ciśnienia zmierzone dla obciążeń statycznych oraz impulsowych.

12

Properties of the PZT Type Ceramics Admixed with Barium and Niobium

Zachariasz R., Bochenek D.

Archives of Metallurgy and Materials

|

2009

|

Vol. 54, iss. 4

895-902

EN

In this work a PZT type ceramics of the composition Pb0.90Ba0.10 (Zr0.53Ti0.47)0.95iNb0.04903 was obtained by a method of sintering simple oxides in the solid phase at high temperaturę. The X-ray examinations and examinations of a microstructure, an internal friction, dielectric and piezoelectric properties and a hysteresis loop of the ceramics obtained were madę. The electrophysical parameters of the ceramics obtained show a possibility to use that type of materiał as a bimorphic and ignition transducers, and high values of piezoelectric parameters and electric permittivity to build band-pass filters.

PL

W niniejszej pracy otrzymano piezoceramikę typu PZT o składzie Pb0.90Ba0.10 (Zr0.53 Ti0.47)0.95 Nb0.049O3 metodą spiekania prostych tlenków, w fazie stałej, w wysokiej temperaturze. Przeprowadzono badania rentgenowskie, mikrostrukturalne, tarcia wewnętrznego, właściwości dielektrycznych, piezoelektrycznych oraz pętli histerezy otrzymanej ceramiki. Elektrofizyczne paramenty otrzymanej ceramiki wskazują na możliwości zastosowania tego materiału jako bimorficzne i zapłonowe przetworniki, a wysokie wartości parametrów piezoelektrycznych i przenikalności elektrycznej umożliwiają jego wykorzystanie do budowy filtrów pasmowych.

13

Wirtualne przetworniki w układach regulacji - zastosowanie i realizacja

Leszczyński M.

Nowa Energia

|

2008

|

nr 1

88--90

PL

Rozwój oprogramowania i systemów DCS daje coraz szersze możliwości ich wykorzystania i dostosowania do własnych potrzeb. Działania zwiększające wydajność produkcji, przy jednoczesnym zmniejszeniu jej kosztów, dość często wychodzą poza ramy podstawowych możliwości systemów jakimi są wizualizacja czy akwizycja danych. Obecne tendencje rozwoju oprogramowania dla przemysłu wskazują możliwe kierunki opracowywania układów regulacji, z wykorzystaniem zawansowanych narzędzi modelujących dla potrzeb sterowania i predykcji wartości zmiennych procesowych. Poniżej zostanie przedstawiona koncepcja i metody wykorzystania wirtualnych sensorów dla potrzeb prowadzenia procesu.

14

Zastosowanie wymuszenia szumowego do wyznaczania właściwości dynamicznych przetworników. Cz. 2, Dziedzina częstotliwości

Hanus R.

Elektronika : konstrukcje, technologie, zastosowania

|

2008

|

Vol. 49, nr 6

154-156

PL

W artykule omówiono eksperymentalne nieparametryczne metody wyznaczania parametrów określających właściwości dynamiczne wybranych modeli przetworników typu napięcie/napięcie przy zastosowaniu zewnętrznego wymuszenia stochastycznego (stacjonarnego szumu białego) oraz funkcji gęstości widmowej mocy i wzajemnej gęstości widmowej mocy sygnałów.

EN

This article deals with experimental non-parametric methods of parameters determining qualifying dynamic properties of selected transducers models of voltage/voltage type using external stochastic input function (stationary white noise) and power spectral density functions.

15

Zastosowanie wymuszenia szumowego do wyznaczania właściwości dynamicznych przetworników. Cz. 1, Dziedzina czasu

Hanus R.

Elektronika : konstrukcje, technologie, zastosowania

|

2008

|

Vol. 49, nr 6

152-154

PL

W artykule omówiono eksperymentalną nieparametryczną metodę wyznaczania parametrów określających właściwości dynamiczne wybranych modeli przetworników typu napięcie/napięcie przy zastosowaniu zewnętrznego wymuszenia stochastycznego (stacjonarnego szumu białego) oraz analizy korelacyjnej sygnałów.

EN

This article deals with experimental non-parametric method of parameters qualifying dynamic properties of selected transducers models of voltage/voltage type using external stochastic input function (stationary white noise) and cross-correlation analysis.

16

Wyznaczanie charakterystyk wieloparametrowych przetworników pomiarowych

Janiczek J.

Pomiary Automatyka Kontrola

|

2007

|

R. 53, nr 9 bis

621--624

PL

W artykule przedstawiono podział przetworników pomiarowych ze względu na formę funkcji opisujących ich charakterystyki oraz sposób znajdowania wielomianów aproksymacyjnych mający zastosowanie do wyznaczania charakterystyk wieloparametrowych przetworników pomiarowych.

EN

This paper presents the classification of the measuring transducers for the form of functions describing their characteristics and for the mathematical method of finding the approximating polynomials to determine the characteristics of multi-parameter measuring transducers.

17

IEEE 1451 - interfejs przetwornika inteligentnego

Wyżgolik R.

Pomiary Automatyka Kontrola

|

2007

|

R. 53, nr 9 bis

723--726

PL

W referacie omówiono standard IEEE 1451, stworzony z myślą o tzw. inteligentnych przetwornikach. Jak podają autorzy standardu, pod terminem "przetwornik" rozumieć należy zarówno czujniki oraz przetworniki pomiarowe jak i aktuatory. Głównie skupiono się na narmie IEEE 1451.4, będącej częścią wspomnianego standardu. Podano przykłady zastosowań standardu w pracach własnych prowadzonych w Zakładzie Systemów Pomiarowych Instytutu Automatyki.

EN

In the paper, the IEEE 1451 standard for a smart transducer interface is discussed. The transducer is either a sensor or an actuator. The paper focuses mainly on IEEE 1451.4, the part of the IEEE 1451 standard. Also, the area of application of the standard in Measurement System Group of Automatic Control Faculty is presented.

18

Smart sensor solutions for mechanical measurements and diagnostics

Bojko T.

Metrology and Measurement Systems

|

2005

|

Vol. 12, nr 1

95-105

EN

Application of many sensors located on a mechanical structure causes serious technical problems. One of the main problems is wiring of sensors which is time-consuming and may change the system output due to high structure loading and damping. To overcome this problem new smart sensor designs have been proposed. One of the most promising technologies in this field is wireless data transfer. In the paper requirements for the developed smart wireless sensor are specified. The important part of a smart sensor is the transducer which transforms certain information from the physical world to user defined values - mostly the voltage. In the paper the application of industrial accelerometers was specified and descriptions of basic types of accelerometers are given. For smart sensor design two modern embedded accelerometers were specified and laboratory-tested.

PL

Współczesne systemy diagnostyczne i monitorujące wymagają zastosowania wielu czujników, co często wywołuje wiele problemów natury technicznej. Głównym problemem jest odpowiednie wykonanie okablowania zainstalowanych czujników w sposób, który nie wpłynąłby na zmianę parametrów konstrukcji i jednocześnie był optymalny z punktu widzenia charakterystyk połączeń elektrycznych. Montaż przewodów sygnałowych w wielu przypadkach jest również utrudniony, a sygnał jest narażony na wpływ zakłóceń o różnym charakterze. Jednym z rozwiązań, które mogą uprościć i ułatwić instalację takicj złożonych systemów diagnostycznych jest zastosowanie bezprzewodowej transmisji danych. W artykule opisano strukturę i wymagania nowoczesnego bezprzewodowego czujnika drgań projektowanego w KRiDM AGH przeznaczonego do diagnostyki układów mechanicznych. Jednym z kluczowych elementów projektowanego czujnika drgań jest akcelerometr. W artykule opisano dwa zaawansowane czujniki drgań ADXL202 i P3BXN, które zostały poddane szeregowi testów laboratoryjnych mających na celu określenie ich przydatności do budowy inteligentnego czujnika. Załączone w artykule wyniki pomiarów są pomocne w zorientowaniu się o właściwościach metrologicznych prezentowanych czujników.

19

Wykorzystanie scalonych przetworników akcelerometrycznych

Hłosta P.

Problemy Techniki Uzbrojenia

|

2004

|

R. 33, z. 92

43--48

PL

Powstałe w niedawnych czasach scalone przetworniki akcelerometryczne znacznie ułatwiają pomiary położeń kątowych i przeciążeń zarówno w pojedyńczych jak i wielowymiarowych płaszczyznach. Ze względu na swą niską cenę jak i małe gabaryty scalone przetworniki akcelerometryczne mogą mieć zastosowanie w prostych systemach pomiarowych położenia kątowego np. w nowoczesnych systemach alarmów samochodowych, zminiaturyzowanych poziomnicach z cyfrowym odczytem wartości kątowych lub w bardziej wyszukanych aplikacjach pomiarowych z zastosowaniem pomiarów kątowych z możliwością rejestracji przeciążeń dynamicznych, itp.

EN

Acceleration converters developed in recent years make it easier to measure angular positions and acceleration both in one and multidimensional planes. Because of their low cost and small size they may be effectively used in simple angular position measurement systems like car protections and compact levelling systems with digital output or in more sophisticated angular and acceleration measurement applications.

20

Elektromagnesy prądu stałego. Część pierwsza - sprawność

Jaszczuk W.

Napędy i Sterowanie

|

2003

|

R. 5, nr 4

32--34, 36

PL

Elektromagnes jest najdawniej odkrytym i jednym z najprostszych konstrukcyjnie przetworników energii elektrycznej na mechaniczną. Wynaleziono go w 1825 r. (Sturgeon), a więc 53 lata wcześniej niż żarówkę (1878 - Swan i 1879 - Edison).