Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "Nabiałek, Wojciech" wg kryterium: Autor


Wyświetlanie 1-6 z 6
Tytuł:
Analysis of a web application supporting gym management in terms of control and systems theory
Autorzy:
Tchórzewski, Jerzy
Nabiałek, Wojciech
Księżopolski, Artur
Powiązania:
https://bibliotekanauki.pl/articles/27323576.pdf
Data publikacji:
2023
Wydawca:
Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
Tematy:
gym management
identity theory
MATLAB
Simulink environment
modeling
simulations
web systems
Opis:
An analysis of the web application supporting the management of the gym was carried out, which was designed in terms of the theory of control and systems. The obtained results of measurements of input and output quantities of selected subsystems were used to carry out the identification, as a result of which models of web application subsystems were obtained. On the basis of the obtained subsystem models, appropriate models were then designed in Simulink for the purposes of simulation and comparative studies of the behavior of subsystem models in relation to real systems that are web applications, including an appropriate analysis of the web application system model was carried out under the name of the gym on its selected subsystems, including in particular the subsystem called Generating a diet. In addition, testing and simulation studies were carried out to check the correct functioning of the web application management system model and the introduction of appropriate changes to the model was proposed, and the obtained research results were discussed, indicating the high accuracy of the obtained web application models.
Źródło:
Studia Informatica : systems and information technology; 2023, 1(28); 47--68
1731-2264
Pojawia się w:
Studia Informatica : systems and information technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Unbounded Model Checking for ATL
Autorzy:
Kański, Michał
Niewiadomski, Artur
Kacprzak, Magdalena
Penczek, Wojciech
Nabiałek, Wojciech
Powiązania:
https://bibliotekanauki.pl/articles/2175150.pdf
Data publikacji:
2021
Wydawca:
Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
Tematy:
ATL
temporal logics
model checking
SAT
SMT
QBF
Opis:
In this paper, we deal with verification of multi-agent systems represented as concurrent game structures. To express properties to be verified, we use Alternating-Time Temporal Logic (ATL) formulas. We provide an implementation of symbolic model checking for ATL and preliminary, but encouraging experimental results.
Źródło:
Studia Informatica : systems and information technology; 2021, 1-2(25); 5--22
1731-2264
Pojawia się w:
Studia Informatica : systems and information technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Minimizing the number of layers of the quasi one-dimensional phononic structures
Autorzy:
Garus, Sebastian
Sochacki, Wojciech
Kubanek, Mariusz
Nabiałek, Marcin
Powiązania:
https://bibliotekanauki.pl/articles/2173523.pdf
Data publikacji:
2022
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
mechanical waves
phononic
transfer matrix
band gap
genetic algorithm
fale mechaniczne
fononiczny
macierz przejścia
pasmo wzbronione
algorytm genetyczny
Opis:
In the work, multi-criteria optimization of phononic structures was performed to minimize the transmission in the frequency range of acoustic waves, eliminate high transmission peaks with a small half-width inside of the band gap, and what was the most important part of the work – to minimize the number of layers in the structure. Two types of the genetic algorithm were compared in the study. The first one was characterized by a constant number of layers (GACL) of the phononic structure of each individual in each population. Then, the algorithm was run for a different number of layers, as a result of which the structures with the best value of the objective function were determined. In the second version of the algorithm, individuals in populations had a variable number of layers (GAVL) which required a different type of target function and crossover procedure. The transmission for quasi-one-dimensional phononic structures was determined with the use of the transfer matrix method algorithm. Based on the research, it can be concluded that the developed GAVL algorithm with an appropriately selected objective function achieved optimal solutions in a much smaller number of iterations than the GACL algorithm, and the value of the k parameter below 1 leads to faster achievement of the optimal structure.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2022, 70, 1; e139394, 1--8
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Influence of spatial distribution and the type of material on the occurrence of bandgaps in phononic crystals
Autorzy:
Garus, Sebastian
Sochacki, Wojciech
Kwiatoń, Paweł
Nabiałek, Marcin
Petrů, Jana
Kubanek, Mariusz
Powiązania:
https://bibliotekanauki.pl/articles/27311439.pdf
Data publikacji:
2023
Wydawca:
Polska Akademia Nauk. Czasopisma i Monografie PAN
Tematy:
finite difference time domain
band gap
phononic crystal
mechanical waves
propagation
domena czasowa różnic skończonych
kryształ fononiczny
fale mechaniczne
propagacja
przerwa energetyczna
Opis:
The study investigated the effect of the fill factor, lattice constant, and the shape and type of meta-atom material on the reduction of mechanical wave transmission in quasi-two-dimensional phononic structures. A finite difference algorithm in the time domain was used for the analysis, and the obtained time series were converted into the frequency domain using the discrete Fourier transform. The use of materials with large differences in acoustic impedance allowed to determine the influence of the meta-atom material on the propagation of the mechanical wave.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2023, 71, 3; art. no. e144609
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Influence of material distribution and damping on the dynamic stability of Bernoulli-Euler beams
Autorzy:
Garus, Sebastian
Garus, Justyna
Sochacki, Wojciech
Nabiałek, Marcin
Petru, Jana
Borek, Wojciech
Šofer, Michal
Kwiatoń, Paweł
Powiązania:
https://bibliotekanauki.pl/articles/27311458.pdf
Data publikacji:
2023
Wydawca:
Polska Akademia Nauk. Czasopisma i Monografie PAN
Tematy:
mechanical vibrations
damping
beam
dynamic stability
Mathieu equation
wibracje mechaniczne
tłumienie
belka
stabilność dynamiczna
równanie Mathieu
Opis:
The study analyzed the influence of materials and different types of damping on the dynamic stability of the Bernoulli-Euler beam. Using the mode summation method and applying an orthogonal condition of eigenfunctions and describing the analyzed system with the Mathieu equation, the problem of dynamic stability was solved. By examining the influence of internal and external damping and damping in the beam supports, their influence on the regions of stability and instability of the solution to the Mathieu equation was determined.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2023, 71, 4; art. no. e145567
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Senat szaleńców; Proza poetycka; Utwory radiowe
Autorzy:
Korczak, Janusz
Współwytwórcy:
Makaruk, Katarzyna
Kotwica, Wojciech
Choromańska, Paulina
Kowalska, Dorota
Nabiałek, Zuzanna
Kopeć, Aleksandra
Data publikacji:
2017-03-09
Wydawca:
Fundacja Nowoczesna Polska
Biuro Rzecznika Praw Dziecka
Tematy:
Dwudziestolecie międzywojenne
Nowela
Epika
Dramat współczesny
Pogadanka
Proza poetycka
Felieton
Opis:
Publikacja zrealizowana w ramach projektu Wolne Lektury (http://wolnelektury.pl) we współpracy z Biurem Rzecznika Praw Dziecka. Przekład "Dzieci Biblii. Mojżesz" autorstwa Ewy Świderskiej został udostępniony na Licencji Wolnej Sztuki 1.3. (http://artlibre.org/licence/lal/pl/).
Źródło:
Janusz Korczak, Senat szaleńców; Proza poetycka; Utwory radiowe, Oficyna Wydawnicza "Latona", Warszawa 1994.
Dostawca treści:
Wolne Lektury
Książka
    Wyświetlanie 1-6 z 6

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies