Search
Filters
total: 5150
-
Catalog
- Publications 4430 available results
- People 125 available results
- Inventions 1 available results
- Projects 5 available results
- Laboratories 5 available results
- Research Teams 20 available results
- e-Learning Courses 311 available results
- Events 106 available results
- Open Research Data 147 available results
displaying 1000 best results Help
Search results for: RÓWNIA POCHYŁA
-
Projection framework for hybrid methods derived from finite difference operators in time and frequency domain
PublicationW artykule przedstawiono ogólną koncepcję tworzenia algorytmów hybrydowych na bazie operatorowego sformułowania metody różnic skończonych. Wykorzystano koncepcję projekcji ortogonalnej w przestrzeni skończeniewymiarowej w celu modyfilacji pierwotnego sformułowania.
-
Technika łączności przy użyciu platform stratosferycznych. W: [CD-ROM] IXSympozjum Wojskowej Techniki Morskiej. Osiągnięcia i Perspektywiczne Zamie- rzenia w Dziedzinie Wojskowej Techniki Morskiej. Gdynia, 22-23.X.2003. Gdy- nia: Ośr. Bad.-Rozw. CTM**2003 [8 s.], 2 rys. bibliogr. 4 poz.
PublicationPrzedstawiono koncepcję realizacji łączności radiowej przy użyciu tzw. plat-form stratosferycznych HASP, wyniesionych techniką balonową na wysokość 21tysięcy km. Projekt ten przewiduje zawieszenie takich platform nad dużymiobszarami pozbawionymi infrastruktury telekomunikacyjnej, np. nad wybranymiakwenami morskimi, generującymi duże zapotrzebowanie na usługi telekomunika-cyjne, z szybką transmisją danych włącznie. Poruszono...
-
Numeryczna analiza zagrożenia powodziowego na odcinku starego koryta Raduni w Kolbudach
PublicationPodczas pracy nad określeniem zagrożenia powodziowego w Kolbudach przeanalizowano nieustalony proces transformacji fali powodziowej na starym odcinku Raduni. W tym celu określono hydrogram hipotetycznej fali wezbraniowej o określonym prawdopodobieństwie występowania (p=1%) w przekroju jazu Kolbudy. Przemieszczająca się w korycie rzeki fala wezbraniowa jest zjawiskiem zmiennym w czasie, do opisu, której stosuje się równania nieustalonego...
-
Algorithms for query processing in a distributed knowledge integration system
Publication -
Explicit difference schemes for nonlinear differential functional parabolic equations with time dependent coefficients - convergence analysis
PublicationW pracy wykazano zbieżność metody różnicowej dla zagadnienia początkowego dla równania parabolicznego bez pochodnych mieszanych, ze współczynnikami zależnymi od czasu, z nieliniową i nielokalną prawą stroną równania.
-
Positive solutions of three-point boundary value problems for second order impulsive differential equations with advanced arguments
PublicationW pracy dyskutowano problem istnienia dodatnich rozwiązań dla równań różniczkowych z impulsami rzędu drugiego i z argumentami typu wyprzedzonego. Podano warunki dostateczne na istnienie jednego lub dwóch rozwiązań dodatnich takich zagadnień.
-
Dynamic inequalities and equations of Volterra type on time scales
PublicationPraca dotyczy całkowo-różniczkowych równań dynamicznych typu Volterry z warunkami początkowymi. Stosując twierdzenie Banacha o punkcie stałym pokazano istnienie jedynego rozwiązania liniowego równania dynamicznego. Stosując metodę iteracji monotonicznych pokazano istnienie rozwiązań ekstremalnych dla problemów nieliniowych. Badano też nierówności dynamiczne. Praca zawiera również uwagi dotyczące zagadnień różniczkowych i różnicowych.
-
Zbigniew Sikora prof. dr hab. inż.
People -
Wpływ warunków brzegowych na naprężenia stalowych okładzin kasetonowych
PublicationNiniejszy artykuł porusza temat wpływu warunków brzegowych na nośność i sztywność okładzin kasetonowych. Stalowe okładziny kasetonowe to prostokątne płyty z krawędziami giętymi na zimno. Ilość zagięć na krawędziach poziomych i pionowych jest różna, co powoduje, że warunki brzegowe różnią również się różnią. W odniesieniu do kierunku przyłożonego obciążenia warunki brzegowe są całkowicie różne- wynkia to z charakterystyki konstrukcji....
-
Problemy wnioskowania z ontologii Semantic Web
PublicationIdea Semantic Web (Semantycznego Internetu) opiera się m.in. na ogłaszaniu w Internecie ontologii stanowiących opis pewnego fragmentu rzeczywistości. Aby miało to sens, ontologie te muszą być sformułowane w jednym, powszechnie akceptowanym języku. Takim językiem jest OWL-DL, promowany i standaryzowany przez konsorcjum W3C. Jest to język opary na formalizmie logicznym zwanym logiką opisową. W tym artykule, po krótkim i nieformalnym...
-
Dane, informacje i wiedza w Semantic Web
PublicationW rozdziale podjęto próbę usystematyzowania pozornie dobrze znanych pojęć informatycznych, takich jak dane, informacja i wiedza, w kontekście burzliwego rozwoju zasobów informacyjnych ludzkości spowodowanego powstaniem i gwałtownym rozwojem sieci WWW. Zaprezentowane podejście opiera się na ustabilizowanym dorobku informatyki w zakresie baz danych oraz na rozwijającym się dynamicznie dorobku w zakresie ontologii i baz wiedzy. Te...
-
Metody opisu ontologii: Wnioskowanie w ontologiach opartych na logice opisowej
PublicationLogika opisowa jest aktualnie jednym z najsilniej rozwijanych formalizmów stosowanych w ontologicznych metodach reprezentacji wiedzy. Jednym z powodów jest to, że język OWL-DL, promowany prze W3C jako język do reprezentacji ontologii Semantycznego Internetu, oparty jest właśnie na logice opisowej. W tym artukule zaprezentowano logikę opisową jako sposób precyzyjnego formułowania i przetwarzania wiedzy. Podano definicję bazy wiedzy...
-
BIG PROBLEMS WITH BIG DATA
PublicationThe article presents an overview of the most important issues related to the phenomenon called big data. The characteristics of big data concerning the data itself and the data sources are presented. Then, the big data life cycle concept is formulated. The next sections focus on two big data technologies: MapReduce for big data processing and NoSQL databases for big data storage.
-
Hurtownie danych - modele, techniki, zastosowania
PublicationW artykule przedstawiono podstawowe koncepcje dotyczące nowoczesnych hurtowni danych. Zaprezentowano wielowymiarowy model danych (model logiczny) i model fizyczny hurtowni, a także wybrane problemy implementacyjne i projektowe. Skupiono się na aspektach praktycznych stosowania hurtowni danych w przedsiębiorstwach i organizacjach.
-
Ontologie w systemach informatycznych
PublicationZakres monografii obejmuje wybór majważniejszych zagadnień inżynierii wiedzy opartej na podejściu ontologicznym. Omawiane są ramy Minsky'ego, sieci semantyczne, standardy RDF, OWL i SPARQL. Prezentowane są też podstawy teoretyczne nowoczesnych technologii semantycznych, w szczególności rozstrzygalny fragment logiki pierwszego rzędu zwany logiką opisową (ang. Description Logics, DL). Omawia sie algorytmy wnioskowania z ontologii...
-
Big Data i 5V – nowe wyzwania w świecie danych (Big Data and 5V – New Challenges in the World of Data)
PublicationRodzaje danych, składające się na zbiory typu Big Data, to m.in. dane generowane przez użytkowników portali internetowych, dane opisujące transakcje dokonywane poprzez Internet, dane naukowe (biologiczne, astronomiczne, pomiary fizyczne itp.), dane generowane przez roboty w wyniku automatycznego przeszukiwania przez nie Internetu (Web mining, Web crawling), dane grafowe obrazujące powiązania pomiędzy stronami WWW itd. Zazwyczaj,...
-
Sztuczna inteligencja - oksymoron czy oczywistość?
PublicationW artykule przedstawiono historię powstania i rozwoju sztucznej inteligencji, jej główne obszary badawcze i perspektywy. Szczególną uwagę poświęcono uczeniu maszynowemu jako głównemu obszarowi badań naukowych. Sformułowano i skomentowano hipotezy dotyczące perspektyw sztucznej inteligencji.
-
Morskie farmy elektrowni wiatrowych: duńska ''Horns Rev'' i polska ''Pomorze''.
PublicationPrzedstawiono morską farmę wiatrową ''Horns Rev'', pierwsza na świecie farmę wiatrowa o mocy 160 MW, przekazywaną aktualnie do eksploatacji, położoną na duńskim wybrzeżu Morza Północnego. Jej parametry lokalizacja i rozwiązania techniczne są warte poznania, szczególnie że planowana polska farma wiatrowa ''Pomorze'' zlokalizowana na wysokości nadmorskich miejscowości Karwia-Dąbki, będzie jej kopią o nieco mniejszej mocy...
-
Struktury danych.
PublicationPraca stanowi podręcznik dla studentów pierwszych lat informatyki. Prezentuje ona podstawowe struktury danych stosowane w programach komputerowych wraz z algorytmami, ukierunkowanymi na przechowywanie informacji oraz operowanie informacją przy użyciu tych struktur. W podręczniku omówiono m.in. następujące zagadnienia: tablice uporządkowane, tablice rozproszone, sortowanie tablic, listy, drzewa binarne, drzewa wyszukiwawcze,...
-
Database systems for tomorrow: new challenges and research areas
PublicationZaprezentowano nowe obszary badawcze w dziedzinie baz danych, które będą rozwijane w najbliższej przyszłości. Omówiono takie obszary jak systemy typu ''Plug and Play'', duże systemy sfederowane, nowe architektury systemów baz danych oparte na dużych buforach pamięciowych, integracja danych i aplikacji oraz bazy danych semistrukturalnych.
-
Ontologie jako metoda reprezentacji wiedzy
PublicationLogika opisowa (ang. Description Logic - DL) jest aktualnie jednym z najsilniej rozwijanych formalizmów stosowanych w ontologicznych metodach reprezentacji wiedzy. Jednym z powodów jest to, że język OWL-DL, promowany przez W3C jako język do reprezentacji ontologii internetowych, opary jest właśnie na logice opisowej. W tym artykule zaprezentowano logikę opisową jako sposób precyzyjnego formułowania i przetwarzania wiedzy. Podano...
-
Capturing semantics of semi-structured data using partial-order trees
PublicationW artykule zaprezentowano nowe podejście do problemu klasyfikacji danych semistrukturalnych. Kryteria klasyfikacji bazują na strukturze danych (zwanej typem danych) oraz na ich usytuowaniu w grafir danych (zwanym rolą danych). Zastosowano model OEM (Object Exchange Model) do reprezentacji nazy danych semistrukturalnych. Bazując na tej reprezentacji, definiuje się typy i role obiektów semistrukturalnych i organizuje się je w struktury...
-
Remarks on evaluation of spectral radius of operators arising in WR methods for linear systems of ODEs
PublicationW pracy omawiane są różne metody oszacowania promienia spektralnego. Do oszacowań tych użyto elementarnych metod. Jedną z nich jest metoda wykorzystująca normę Bieleckiego. Jedną z zalet takich metod wyraźnie widać na przykładzie równań różniczkowych z opóźnieniem, gdzie oszacowania promienia spektralnego zależą od charakteru opóźnienia.
-
Stochastic optimisation algorithm for optimisation of controller parameters for control of dissolved oxygen in wastewater treatment plant
PublicationWastewater treatment plants (WWTPs) are very important facilities for mankind. They enable the removal and neutralisation of man-made pollutants. Therefore, it is important for wastewater treatment plants to operate as efficiently as possible so that the level of pollutants in the treated wastewater meets specific requirements. This paper concerns the design of a hierarchical nonlinear adaptive control system for dissolved oxygen...
-
Control of nonlinear and linearized model of self-balancing electric motorcycle
PublicationSelf-Balancing Electric Motorcycle (SBEM) is a dynamic and nonlinear electro-mechanical system. In this paper, the process of mathematical modelling and line-arization of SBEM is presented. The model of the control system in Matlab envi-ronment is implemented. The control system using the PID controller is designed. The operation of particular structures of the PID controller on the simulation model is compared. Due to simulation...
-
Katarzyna Puchała mgr
People -
Ewelina Pochodyła mgr inż.
People -
Modelowanie w inżynierii sanitarnej st. nstac. IŚ mgr sem. II r.a. 23/24
e-Learning CoursesWYKŁAD Zapoznanie z podstawowymi metodami numerycznymi do rozwiązywania równań nieliniowych, układów równań liniowych i nieliniowych, metodami interpolacji i aproksymacji. Rozwiązywanie równań różniczkowych zwyczajnych: zagadnienie początkowe i zagadnienie brzegowe. Metody numerycznego rozwiązania zagadnienia początkowego: metody jednokrokowe, metody wielokrokowe jawne i niejawne. Rozwiązywanie układów równań różniczkowych zwyczajnych....
-
Marek Moszyński dr hab. inż.
People -
Modeling of the finite amplitude plane wave propagation in non-dissipative medium
PublicationPraca prezentuje wyniki analizy teoretycznej zagadnienia propagacji fali płaskiej o skończonej amplitudzie w ośrodku wodnym bez dyssypacji. Przedstawiono model matematyczny i przykładowe wyniki obliczeń numerycznych. Model matematyczny zbudowano w oparciu o jednowymiarowe równania mechaniki płynów. Do rozwiązania zagadnienia zastosowano metodę różnic skończonych. Analizowano zmiany ciśnienia i zmiany widma. Badano zbieżność i dokładność...
-
Generalized solution of mixed problems for first order partial differential equations with state dependent delays
PublicationW pracy zostało udowodnione twierdzenie o istnieniu i jednoznaczności rozwiązań dla zagadnień początkowo-brzegowych z cząstkowym równaniem różniczkowo-funkcyjnym z opóźnionym argumentem zależnym od funkcji niewiadomej. Użyto metody bicharakterystyk. Jednoznaczność rozwiązań wykazano metodą porównawczą, istnienie - metodą ciągów przybliżeń.
-
Nadzorowanie drgań układu nośnego robota przemysłowego IRB-6 za pomocą ste-rowania modalnego przy energetycznym wskaźniku jakości. W: Zagadnienia ana- lizy modalnej konstrukcji mechanicznych. Praca zbiorowa pod red. T. Uhla. Kraraków: Kated. Robotyki i Dynam. Masz. AGH**2003 s. 115-122, 2 rys. 1 tab. bibliogr. 4 poz.
PublicationW pracy rozważa się drgania modelowanego dyskretnie niestacjonarnego układunośnego manipulatora IRB6 metodą sztywnych elementów skończonych. Do nadzo-rowania drgań wykorzystano algorytm sterowania optymalnego przy energetycz-nym wskaźniku jakości w dziedzinie współrzędnych modalnych. Uwzględnia on zmianę w czasie, względem trajektorii ruchu zadanego, energii potencjalnej, kinetycznej oraz energii sygnału sterującego.
-
Two-dimensional vertical Reynolds-averaged naviers-stokes equations versus one-dimensional Saint-Venant model for rapidly varied open channel water flow modelling
PublicationPrzedstawiono dwa modele przepływu wody ze swobodną powierzchnią -płaski pionowy model Reynoldsa i model de Saint-Venanta.Do rozwiązania równań pierwszego modelu zastosowano schemat SIMPLE oraz wykorzystano metodę cząstek znaczonych MAC do wyznaczania swobodnej powierzchni wody. Równania Saint-Venanta rozwiązano metodą objętości skończonych. Obydwa modele zastosowano do symulacj zjawiska typu katastrofa zapory. Porównano wyniki...
-
Robert Pochyluk mgr inż.
People -
Zdolni z Pomorza - Równania i układy równań - Spotkanie Akademickie 22.05.2021 r.
e-Learning CoursesRównania opisują świat językiem matematyki. Stanowią podstawę do zrozumienia wielu procesów i zjawisk zachodzących w przyrodzie. Od wieków są siłą napędową naszej cywilizacji. Gdyby nie zostało sformułowane równanie – „Prawo powszechnego ciążenia Newtona” nie moglibyśmy dziś korzystać z łączności satelitarnej, telewizji cyfrowej i nawigacji GPS. Na spotkaniu akademickim przedstawimy m.in. metodę macierzy odwrotnej. Na ćwiczeniach...
-
A Measurable Selector in Kadison’s Carpenter’s Theorem
PublicationWe show the existence of a measurable selector in Carpenter’s Theorem due to Kadison. This solves a problem posed by Jasper and the first author in an earlier work. As an application we obtain a characterization of all possible spectral functions of shift-invariant subspaces of L 2 (R d ) and Carpenter’s Theorem for type I ∞ von Neumann algebras.
-
Metody komputerowe w Inżynierii Sanitarnej st. stac. IŚ mgr sem. I - Nowy
e-Learning CoursesWYKŁAD Rozwiązywanie równań różniczkowych zwyczajnych: zagadnienie początkowe i zagadnienie brzegowe. Metody numerycznego rozwiązania zagadnienia początkowego: metody jednokrokowe, metody wielokrokowe jawne i niejawne. Rozwiązywanie układów równań różniczkowych zwyczajnych. Równanie transportu zanieczyszczeń - aspekty matematyczne i praktyczne. Sposoby upraszczania w praktyce. Człony źródłowe - opis procesów oczyszczania i samooczyszczania....
-
Metody komputerowe w Inżynierii Sanitarnej st. stac. IŚ mgr sem. I r.a.21/22
e-Learning CoursesWYKŁAD Rozwiązywanie równań różniczkowych zwyczajnych: zagadnienie początkowe i zagadnienie brzegowe. Metody numerycznego rozwiązania zagadnienia początkowego: metody jednokrokowe, metody wielokrokowe jawne i niejawne. Rozwiązywanie układów równań różniczkowych zwyczajnych. Równanie transportu zanieczyszczeń - aspekty matematyczne i praktyczne. Sposoby upraszczania w praktyce. Człony źródłowe - opis procesów oczyszczania i samooczyszczania....
-
Modelowanie w inżynierii sanitarnej st. nstac. IŚ mgr sem. I r.a. 24/25
e-Learning CoursesWYKŁAD Rozwiązywanie równań różniczkowych zwyczajnych: zagadnienie początkowe i zagadnienie brzegowe. Metody numerycznego rozwiązania zagadnienia początkowego: metody jednokrokowe, metody wielokrokowe jawne i niejawne. Rozwiązywanie układów równań różniczkowych zwyczajnych. Równanie transportu zanieczyszczeń - aspekty matematyczne i praktyczne. Sposoby upraszczania w praktyce. Człony źródłowe - opis procesów oczyszczania i samooczyszczania....
-
Modelowanie w inżynierii sanitarnej st. stac. IŚ mgr sem. I r.a.22/23
e-Learning CoursesWYKŁAD Rozwiązywanie równań różniczkowych zwyczajnych: zagadnienie początkowe i zagadnienie brzegowe. Metody numerycznego rozwiązania zagadnienia początkowego: metody jednokrokowe, metody wielokrokowe jawne i niejawne. Rozwiązywanie układów równań różniczkowych zwyczajnych. Równanie transportu zanieczyszczeń - aspekty matematyczne i praktyczne. Sposoby upraszczania w praktyce. Człony źródłowe - opis procesów oczyszczania i samooczyszczania....
-
Modelowanie w inżynierii sanitarnej st. stac. IŚ mgr sem. I r.a.23/24
e-Learning CoursesWYKŁAD Rozwiązywanie równań różniczkowych zwyczajnych: zagadnienie początkowe i zagadnienie brzegowe. Metody numerycznego rozwiązania zagadnienia początkowego: metody jednokrokowe, metody wielokrokowe jawne i niejawne. Rozwiązywanie układów równań różniczkowych zwyczajnych. Równanie transportu zanieczyszczeń - aspekty matematyczne i praktyczne. Sposoby upraszczania w praktyce. Człony źródłowe - opis procesów oczyszczania i samooczyszczania....
-
Oskar Ronda
People -
Data Structures (Doctoral Studies)
e-Learning CoursesThe course covers basic data structures and computer algorithms used in information tehcnology applications.
-
Data Structures (Doctoral Studies) - New
e-Learning CoursesThe course is designed to provide students with the knowledge regarding basic data structures and associated algorithms used in broad range of applications. Students will also gain knowledge about how to evaluate the quality of algorithms in the context of time and space usage. Additionally, during seminars, students get familiar with biographies of most famous creators of the algorithms.
-
Projekt dyplomowy inżynierski 1
e-Learning CoursesPrzedmiot jest pierwszą częścią projektu dyplomowego inżynierskiego. Obejmuje analizę zadania, przegląd dotychczasowej praktyki w obszarze dotyczącym zadania, w tym przegląd literaturowy, ustalenie ról poszczególnych członków zespołu, wybór narzędzi implementacyjnych oraz przyjęcie harmonogramu. Możliwe jest także częściowe zrealizowanie systemu..
-
Seminarium dyplomowe inżynierskie 2
e-Learning CoursesCelem przedmiotu jest zaprezentowanie realizowanego przez studentów grupowego projektu inżynierskiego.
-
Seminarium dyplomowe inżynierskie KIOP - 2023
e-Learning Coursesinformatyka, 1. stopień, semestr 7, profil bazy danych (KIOP)
-
Seminarium dyplomowe inżynierskie KIOP - 2024
e-Learning Coursesinformatyka, 1. stopień, semestr 7, profil bazy danych (KIOP)
-
Smooth orthogonal projections on sphere.
PublicationWe construct a decomposition of the identity operator on the sphere S^d as a sum of smooth orthogonal projections subordinate to an open cover of S^d. We give applications of our main result in the study of function spaces and Parseval frames on the sphere.
-
Kacper Chyła
People