Filters
total: 1478
-
Catalog
- Publications 1272 available results
- Journals 1 available results
- People 32 available results
- Inventions 6 available results
- Projects 8 available results
- Laboratories 2 available results
- Research Teams 5 available results
- e-Learning Courses 80 available results
- Events 8 available results
- Open Research Data 64 available results
displaying 1000 best results Help
Search results for: pakiety symulacyjne
-
Numeryczna analiza wpływu kierunku rozchodzenia się fali wybuchu na krzywiznę asymetrycznie walcowanego pasma Al-Cu. Numerical analysis the influence of the direction of explosion wave at the curvature of asymmetrical rolling of bimetallic plate.
PublicationW artykule przedstawiono numeryczną analizę wpływu kierunku rozchodzenia się fali wybuchu na krzywiznę asymetrycznie walcowanego pasma Al-Cu. Przeprowadzono symulacje dla procesu walcowania w temperaturze 20 C. Proces walcowania prowadzono w walcarce duo D 150 mm, o prędkości obwodowej 18,5 obr/min. Badania przeprowadzono dla dwóch stosunków grubości warstw 2/10 i 4/8. Symulację procesu przeprowadzono dla trzech gniotów 10%, 20%,...
-
The effect of mechanical coupling on the beam pattern of a multielementarray
PublicationW artykule opisano nową metodę redukcji listków bocznych hydroakustycznej anteny wieloelementowej. Wykorzystano tu efekt ważenia amplitud sygnałów odbieranych przez poszczególne elementy poprzez kontrolowane ich mechaniczne sprzężenie. Opisane zostały wyniki badań kilku modeli anten zbudowanych z pięciu elementów. Wyniki badań zostały zweryfikowane obliczeniami symulacyjnymi. Stwierdzono, zarówno na drodze eksperymentalnej jak...
-
Diagnostyka betonowych belek poddanych zginaniu z zastosowaniem propagacji fal sprężystych
PublicationW artykule przedstawiono badania eksperymentalne i symulacje numeryczne propagacji fal sprężystych w belce betonowej zginanej trójpunktowo przeprowadzone na potrzeby diagnostyki ultradźwiękowej. W eksperymencie wykorzystano zjawisko propagacji fal generowanych wzbudnikiem piezoelektrycznym i ich pomiar za pomocą odbiornika piezoelektrycznego umieszczonego po przeciwległej stronie belki. Porównanie danych pomiarowych z wynikami...
-
Modelowanie matematyczne transportu lodu w rejonie projektowanego Stopnia Wodnego Siarzewo
PublicationPrzedstawiono wpływ planowanego stopnia Siarzewo na Wiśle na dynamikę lodu w obszarze powyżej i poniżej stopnia. Do tego celu zaimplementowano model matematyczny i przeprowadzono symulacje numeryczne dla różnych scenariuszy. Obliczenia służyły do wyznaczeniu trasy spływu lodu przez zbiornik i poniżej zbiornika oraz sił z jakimi lód będzie oddziaływał na brzegi i dno rzeki oraz projektowane na zbiorniku wyspy. Badaniami objęto odcinek...
-
Hodgkin lymphoma, nodular sclerosis, NOS - Female, 12 - Tissue image [6030730027627611]
Open Research DataThis is the histopathological image of LYMPH NODES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: VS200 Olympus slide scanner (20x magnification) and saved to DICOM format.
-
Hodgkin lymphoma, nodular sclerosis, NOS - Female, 12 - Tissue image [704024710495921]
Open Research DataThis is the histopathological image of LYMPH NODES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: VS200 Olympus slide scanner (20x magnification) and saved to DICOM format.
-
Hodgkin lymphoma, nodular sclerosis, NOS - Female, 12 - Tissue image [603073002762431]
Open Research DataThis is the histopathological image of LYMPH NODES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: VS200 Olympus slide scanner (20x magnification) and saved to DICOM format.
-
Hodgkin lymphoma, nodular sclerosis, NOS - Female, 12 - Tissue image [6030730027621371]
Open Research DataThis is the histopathological image of LYMPH NODES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: VS200 Olympus slide scanner (20x magnification) and saved to DICOM format.
-
Hodgkin lymphoma, nodular sclerosis, NOS - Female, 12 - Tissue image [6030730027629961]
Open Research DataThis is the histopathological image of LYMPH NODES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: VS200 Olympus slide scanner (20x magnification) and saved to DICOM format.
-
Hodgkin lymphoma, nodular sclerosis, NOS - Female, 12 - Tissue image [6030730027626361]
Open Research DataThis is the histopathological image of LYMPH NODES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: VS200 Olympus slide scanner (20x magnification) and saved to DICOM format.
-
Hodgkin lymphoma, nodular sclerosis, NOS - Female, 12 - Tissue image [6030730027624391]
Open Research DataThis is the histopathological image of LYMPH NODES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: VS200 Olympus slide scanner (20x magnification) and saved to DICOM format.
-
Hodgkin lymphoma, nodular sclerosis, NOS - Female, 12 - Tissue image [6030730027628861]
Open Research DataThis is the histopathological image of LYMPH NODES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: VS200 Olympus slide scanner (20x magnification) and saved to DICOM format.
-
Hodgkin lymphoma, nodular sclerosis, NOS - Female, 12 - Tissue image [6030730027626751]
Open Research DataThis is the histopathological image of LYMPH NODES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: VS200 Olympus slide scanner (20x magnification) and saved to DICOM format.
-
Hodgkin lymphoma, nodular sclerosis, NOS - Female, 12 - Tissue image [6030730027624371]
Open Research DataThis is the histopathological image of LYMPH NODES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: VS200 Olympus slide scanner (20x magnification) and saved to DICOM format.
-
Hodgkin lymphoma, nodular sclerosis, NOS - Female, 12 - Tissue image [6030730027621761]
Open Research DataThis is the histopathological image of LYMPH NODES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: VS200 Olympus slide scanner (20x magnification) and saved to DICOM format.
-
Hodgkin lymphoma, nodular sclerosis, NOS - Female, 12 - Tissue image [6030730027622211]
Open Research DataThis is the histopathological image of LYMPH NODES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: VS200 Olympus slide scanner (20x magnification) and saved to DICOM format.
-
Hodgkin lymphoma, nodular sclerosis, NOS - Female, 12 - Tissue image [6030730027627381]
Open Research DataThis is the histopathological image of LYMPH NODES tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: VS200 Olympus slide scanner (20x magnification) and saved to DICOM format.
-
Quadratic stochastic operators as a tool in modelling the dynamics of a distribution of a population trait
PublicationQuadratic stochastic operators can exhibit a wide variety of asymptotic behaviours and these have been introduced and studied recently. In the present work we discuss biological interpretations that can be attributed to them. We also propose a computer simulation method to illustrate the behaviour of iterates of quadratic stochastic operators.
-
Underwater acoustic communications system with error correction and synchronization coding
PublicationNiezawodna transmisja danych w wielodrogowym i niestacjonarnym płytkim kanale podwodnym wymaga zastosowania efektywnej techniki modulacji oraz equalizacji adaptacyjnej. W zaproponowanym artykule w systemie transmisji danych zastosowano modulację OFDM oraz equalizację adaptacyjną opartą o filtrację Kalmana. Ponadto zaimplementowano dwie techniki kodowania: FEC w celu eliminacji błędów transmisji oraz kodowanie pseudoszumowe, którego...
-
Analiza rezonansowego układu emisji impulsów pola elektromagnetycznego
PublicationW literaturze przedmiotu są opisane właściwości emiterów impulsów pola elektromagnetycznego w postaci układów bazujących na antenach wysokonapięciowych HVR (ang. High Voltage Radiator) [2, 5]. W celu podniesienia skuteczności emisji poprzez wydłużenie czasu trwania impulsu oraz zwiększenie jego amplitudy możliwe jest zastosowanie systemów rezonansowych dostrojonych do parametrów sygnału kształtowanego w układzie formowania impulsu...
-
A SEARCH OF AN INDUCER GEOMETRY THAT IS BENEFICIAL FOR LIFTING PARAMETERS OF A LIFTED OBJECT OF A SELECTED SHAPE
PublicationThe literature describes acoustic levitation phenomena with the utilization of air squeeze film between the vibrating inducer and the lifted object. The objective of the study is to determine the shape of the inducer with vibration characteristics that would allow the levitation of an object of the assumed geometry. In this paper, the influence of the dimension ratio of the inducer on the frequency of the first mode of vibration...
-
Konwertery mocy
e-Learning CoursesKurs składa się z 30 godzinnego wykładu oraz 15 godzinnego laboratorium. Przedstawiane są informacje o układach zasilających realizowanych w formie przetwornic impulsowych. Na wykładzie omawiane są podstawowe konfiguracje przetwornic, zasada działania, ważniejsze parametry oraz sposób analizowania i projektowania. W laboratorium w sposób praktyczny ćwiczy się symulacje działania przetwornic oraz wyznaczanie charakterystyk i podstawowych...
-
Wykorzystanie wyników badań
PublicationProjekt MAYDAY realizowany w ramach Inicjatywy Wspólnotowej Equal, ma na celu stworzenie trwałych rozwiązań minimalizujących skutki dyskryminacji pracowników 50+ na rynku pracy ze względu na kwalifikacje niedostosowane do wymagań pracodawców. Niniejsze opracowanie stanowi jeden z siedmiu rozdziałów monografii zatytułowanej Metodyka badań 50+. Rozdział ten stanowi rozszerzenie rozdziału pod tytułem Weryfikacja metodyki. Przedstawiono...
-
Calculation of adiabatic potentials of Li2
PublicationInformujemy o adiabatycznych krzywych energii potencjalnej cząsteczki litu. Nasze krzywe są stabelowane według odległości międzyatomowej od 3,2 a0 do 88a0. Porównujemy nasze wyniki teoretyczne z wynikami obliczonymi przez innych autorów oraz krzywymi energii potencjalnej wyprowadzonymi z eksperymentów. W naszym podejściu używamy metody konfiguracji wzajemnego oddziaływania, gdzie tylko elektrony walencyjne atomu Li są traktowane...
-
Dissolved oxygen control for activated sludge processes
PublicationRegulatory do nadążania za trajektorią referencyjną stężenia tlenu w komorze reaktora biologicznego są proponowane i badane. W artykule badany jest nieliniowy regulator predykcyjny oraz regulator adaptacyjny z modelem referencyjnym. Uwzględniono zarówno usuwanie ze ścieków pożywki oraz fosforu za pomocą technologii osadu czynnego. Podejście do projektowania regulatora wykorzystuje strukturę dynamiki rozpuszczonego tlenu i jej dwie...
-
Elektryczne autonomiczne jednostki trakcyjne na linii Pomorskiej Kolei Metropolitalnej?
PublicationZasobniki energii są instalowane na pokładach elektrycznych pojazdów szynowych głównie w celu odzyskiwania energii hamowania. Postęp technologiczny w zakresie energoelektroniki i magazynowania energii umożliwił wykorzystanie energii elektrycznej do autonomicznej jazdy pojazdów w przypadku awarii sieci trakcyjnej oraz na niezelektryfikowanych odcinkach linii. Zastosowanie te mogą być alternatywą dla sieci trakcyjnej i mają miejsca...
-
Rezultaty rozwoju nowych produktów niemieckich producentów sprzętu gospodarstwa domowego
PublicationCelem pracy jest przedstawienie poziomu rezultatów rozwoju nowych produktów, osiąganych przez niemieckich producentów sprzętu gospodarstwa domowego, oraz związków pomiędzy miernikami użytymi do oceny tych rezultatów. Realizacja celu pracy została oparta na danych zebranych metodą ankiety pocztowej.
-
Instytucja wezwania na akcje a nadzór korporacyjny
PublicationW opracowaniu zawarta jest ocena struktur własności i kontroli w polskich spółkach publicznych. Stwierdzono wysoką koncentrację pakietów akcji, która wynika miedzy innymi z obowiązujących przepisów o wezwaniach. Przeprowadzono analizę znaczenia płynności akcji dla kształtu nadzoru korporacyjnego.
-
Numerical algorithms of planning safe ship trajectories for ARPA systems
PublicationTeza rozprawy: ''Połączenie odpowiedniej miary ryzyka kolizji obiektów i metody unikania kolizji za pomocą manewru niezbędnego pozwala na opracowanie szybkiej, efektywnej i prostej w implementacji metody planowania bezpiecznych trajektorii statków dla systemów ARPA, uwzględniającej dowolną zadaną domenę obiektu. Dobór kształtu domeny obiektu ma znaczny wpływ na zgodność wynikowej trajektorii z regułami MPDM. Minimalizacja liczby...
-
Control of a wind power generator in case of voltage sags in power network
PublicationW artykule poruszono problem związany ze sposobem sterowania generatorem elektrowni wiatrowej w przypadku wystąpienia po stronie sieci zapadów napięcia.Jako generator wykorzystano maszynę dwustronnie zasilaną której stojan podłączono bezpośrednio do sieci natomiast wirnik zasilano poprzez kaskadę przekształtników. Wystąpienie spadku lub zapadu napięcia sieci w przypadku pracy tego typu generatora może doprowadzić do uszkodzenia...
-
Analiza i badania transformatora hybrydowego z przekształtnikiem AC/DC/AC współdziałającym z przełącznikiem zaczepów
PublicationRozprawa dotyczy badań nad układem transformatora hybrydowego, który oprócz możliwości regulacji ciągłej napięcia za pomocą przekształtnika energoelektronicznego, posiada układ regulacji skokowej w postaci przełącznika zaczepów. Badane urządzenie przeznaczone jest do stabilizacji napięcia w dystrybucyjnej sieci niskiego napięcia. Dzięki skoordynowanej pracy układów (ciągłego i skokowego) uzyskana zostaje tzw. Wielostrefowa Regulacja...
-
Discrete-time predictive control design based on overparameterized delay-plant models and identified cancellation order.
PublicationPraca dotyczy uogólnionego sterowania predykcyjnego (GPC) obiektami opisanymi dyskretnoczasowymi modelami CARIMA z uproszczeniami (nieminimalnych, przeparametryzowanych) oraz o niezerowym opóźnieniu transportowym. Optymalne sterowanie predykcyjne wyznacza się na podstawie minimalnowariancyjnego oszacowania przyszłej odpowiedzi sterowanego obiektu. Poprzez analizę warunków rozwiązywalności zadania syntezy sterownika GPC, sformułowano...
-
Analiza możliwości automatycznego rozpoznawania zachowań zwierząt doświadczalnych
PublicationAutomatyzacja analizy zachowań zwierząt laboratoryjnych umożliwia szybką i obiektywną ocenę obserwacji. Rozwiązania w istniejących systemach skupiają się na detekcji prostych aspektów zachowań, która jest możliwa dzięki pomiarowi parametrów motorycznych zwierząt, ich punktów charakterystycznych czy kształtu ciała. Jednym z istotnych problemów w dziedzinie rozpoznania zachowań są zachowania złożone, dla których trudno jest zdefiniować...
-
Programmable linearized CMOS OTA for fully differential continuous-time filter design
PublicationW artykule przedstawiono metodę linearyzacji wzmacniacza wykorzystującą sprzężenie w przód. Wzmacniacz składa się z par różnicowych i referencyjnego rezystora. W wyniku uzyskano skuteczną metodę linearyzacji charakterystyk przejściowych wzmacniacza. Programowalność wartości transkonduktancji wzmacniacza realizowana jest poprzez lustro prądowe. Wykonane symulacje komputerowe SPICE z użyciem modeli dla technologii 0.35um AMS CMOS...
-
Problemy związane z wymiarowaniem platform roboczych
PublicationW referacie przedstawiono problem wymiarowania konstrukcji służących tymczasowemu wzmocnieniu podłoża, umożliwiającemu prowadzenie robót fundamentowych na gruntach słabonośnych. Omówiono dostępne metody obliczeniowe, kładąc szczególny nacisk na metodę projektowania platform roboczych pod ciężki sprzęt do robót ziemnych przedstawioną w poradniku BRE 470 „Working platforms for tracked plant”. Analiza ma na celu określenie niezbędnej...
-
Optymalizacja krawędzi wirnika Savoniusa
PublicationReferat traktuje o symulacjach numerycznych i optymalizacji kształtu łopatek wirnika Savoniusa. Głównym celem jest znalezienie takiej geometrii wirnika, zmieniając tylko kąt ścięcia łopatek, aby jego sprawność była jak najwyższa. Ze względu na różnorodność wariantów modyfikacji kształtu, przyjęto iż obliczenia numeryczne będą przebiegać dwutorowo. Symulacje były prowadzone oddzielnie dla przypadków ze ściętymi końcówkami zewnętrznymi...
-
Parallel simulations of electrophysiological phenomena in myocardium on large 32 and 64-bit Linux clusters.
PublicationW pracy podjęto badania i przeprowadzono symulacje zjawisk elektrofizjologicznych w mięśniu sercowym z wykorzystaniem wytworzonego w tym celu oprogramowania równoległego opartego na MPI. Zaimplementowano i zbadano ulepszenia kodu prowadzące do uzyskania dobrej skalowalności oraz przeprowadzono testy wydajności na najnowszych 32 i 64-bitowych klastrach linuksowych. Praca stanowi próbę równoległej implementacji znanego podejścia...
-
Methods for evaluation packet delay distribution of flows using Expedited Forwarding PHB.
PublicationArtykuł dotyczy problemu zapewnienia statystycznych gwarancji jakości obsługi dla strumieni czasu rzeczywistego korzystających z Expedited Forwarding Per Hop Behavior (EF PHB) w sieci IP Differentiated Services. Statystyczne podejście do określenia gwarancji jakościowych, oparte na obliczaniu prawdopodobieństwa że opóźnienie pakietów od końca do końca jest większe niż określona wielkość, pozwala lepsze wykorzystanie sieci niż poprzednio...
-
Export diversification and dependence on natural resources
PublicationLow export diversification is a risk-augmenting factor for many countries dependent on natural resources. The literature tends to focus on the growth effects of resource dependence (‘resource curse’ debate) while not much is known on how it affects the variety of non-resource exports. To quantify this effect we decompose the relative Theil index using product-level export data from 160 countries over the time period 1996–2018....
-
Application of Spinel and Hexagonal Ferrites in Heterogeneous Photocatalysis
PublicationSemiconducting materials display unique features that enable their use in a variety of applications, including self-cleaning surfaces, water purification systems, hydrogen generation, solar energy conversion, etc. However, one of the major issues is separation of the used materials from the process suspension. Therefore, chemical compounds with magnetic properties have been proposed as crucial components of photocatalytic composites,...
-
Export diversification and economic development: A dynamic spatial data analysis
PublicationThis paper contributes to the empirical literature on the relationship between “export variety” (export diversification) and economic development by relaxing the assumption of cross-country independence and allowing for spatial diffusion of shocks in observed and unobserved factors. Export variety is measured for a balanced panel of 114 countries (1992–2012) using very detailed information on their exports (HS 6-digit product level)....
-
Road texture influence on tire rolling resistance
PublicationTire rolling resistance is one of the most important resistive forces acting on road vehicles. It depends on tire and surface characteristics as well as vehicle operating parameters. This paper deals with the influence of road surface texture on rolling resistance of passenger car tires. Results of road measurements performed on variety of road surfaces are presented.
-
Ship course control system taking into account the steering gear dynamic properties
PublicationW artykule zostały przedstawione różne konfiguracje regulatorów nieliniowych do sterowania kursem statku. Zaprojektowane regulatory oparto na metodzie backstepping, regulatorze PD oraz sterowaniu ślizgowym. Algorytmy uwzględniają na etapie projektowania liniowe własności dynamiczne urządzenia wykonawczo - sterującego maszyny sterowej. Dokonano analizy porównawczej jakości pracy rozpatrywanych struktur sterowania podczas badań symulacyjnych...
-
Eksprtna sistema proektirovani sudovyh sistem avtomatiki. Izv. SPGETU** 2002 ser. ''Informatika, upravlenie i komp´ternye tehnologii'' vyp. 1 c. 1-8 1 rys. bibliog. 4 poz. System ekspertowy projektowania okrętowych systemów automatyki.
PublicationSystem ekspertowy opracowany w wyniku analizy procesów projektowych systemówautomatyki. System zawiera bazę danych oraz metody i procedury projektowaniawspółpracujących z pakietem programów MATLAB Simulink i bazą wiedzy. Wyko-rzystano system ekspertowy Exsys Developer, a bazę danych w oparciu o systemMS Access 7.
-
Badanie jakości transmisji w podsystemie EDGE.
PublicationPrzedstawiono wyniki badań symulacyjnych jakości transmisji w podsystemie EDGE, będącego rozwinięciem systemu GSM w kierunku systemu trzeciej generacji. Uzyskane wyniki odnoszą się do szybkiej transmisji danych, realizowanej w oparciu o komutację kanałów ECSD oraz komutację pakietów EGPRS dla wybranych środowisk propagacyjnych.
-
Remote Sensing in Vessel Detection and Navigation
PublicationThe Special Issue (SI) “Remote Sensing in Vessel Detection and Navigation” highlighted a variety of topics related to remote sensing with navigational sensors. The sequence of articles included in this Special Issue is in line with the latest scientific trends. The latest developments in science, including artificial intelligence, were used. The 15 papers (from 23 submitted) were published.
-
Modelowanie właściwości elektrycznych mięśnia sercowego w warunkach niedokrwienia
PublicationW rozprawie przedstawiono możliwość rozszerzenia pomiarów bioimpedancyjnych o pomiary istotnych diagnostycznie efektów nieliniowych, wyniki pomiarów elektrycznych efektów nieliniowych na sercu świni, spójne z rozważaniami modelowymi, prawdopodobny biofizyczny/molekularny mechanizm odpowiedzialny za obserwowane efekty nieliniowe, symulacje komputerowe i badania modelowe wyjaśniające pochodzenie efektów nieliniowych, efekty nieliniowe...
-
Klocki samopompujące w łożyskach hydrodynamicznych = Self-pumping pads in the hydrodynamic bearings
PublicationWe współpracy z firmą ALSTOM HYDRO (Szwajcaria), zespół Katedry Konstrukcji i Eksploatacji Maszyn Politechniki Gdańskiej przeprowadził symulacje przepływowe kilku rozwiązań konstrukcyjnych mających na celu zwiększenie niezawodności turbin wodnych. W artykule opisano jedno z takich rozwiązań - tak zwane łożysko z klockami samopompującymi. Głównym celem jest uzyskanie przepływu oleju w układzie smarowania łożyska hydrodynamicznego...
-
Damage detection of a T-shaped panel by wave propagation analysis in the plane stress
PublicationW pracy zaprezentowano podejście obliczeniowe do analizy propagacji fal w płaskim stanie naprężenia. Problem brzegowo-początkowy podlega przestrzennej aproksymacji z użyciem wielowęzłowych, izoparametrycznych, czworobocznych elementów klasy C0. Macierze elementowe są całkowane numerycznie za pomocą kwadratury Gauss-Legendre-Lobatto. Aproksymację w dziedzinie czasu wykonano za pomocą algorytmu Newmarka. Symulacje numeryczne przeprowadzono...
-
Joint optimization of anycast and unicast flows in survivable optical networks
PublicationZnane z literatury dotychczasowe prace związane z ochroną ruchu przed awarią elementów sieci dotyczą transmisji typu unicast (jeden-do-jednego). Niniejszy artykuł jest pierwszym prezentującym rozwiązanie jednoczesnej ochrony transmisji anycast (jeden-do-jednego-z-wielu) oraz transmisji unicast. Proponowane podejście wykorzystuje model ochrony ścieżki (ang. path protection). Zagadnienie zostało sformułowane w postaci odpowiedniego...