Filtry
wszystkich: 5020
-
Katalog
- Publikacje 4349 wyników po odfiltrowaniu
- Osoby 122 wyników po odfiltrowaniu
- Wynalazki 1 wyników po odfiltrowaniu
- Projekty 4 wyników po odfiltrowaniu
- Laboratoria 5 wyników po odfiltrowaniu
- Zespoły Badawcze 20 wyników po odfiltrowaniu
- Kursy Online 272 wyników po odfiltrowaniu
- Wydarzenia 100 wyników po odfiltrowaniu
- Dane Badawcze 147 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: RÓWNIA POCHYŁA
-
Projection framework for hybrid methods derived from finite difference operators in time and frequency domain
PublikacjaW 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.
PublikacjaPrzedstawiono 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
PublikacjaPodczas 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...
-
Positive solutions of three-point boundary value problems for second order impulsive differential equations with advanced arguments
PublikacjaW 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ń.
-
Explicit difference schemes for nonlinear differential functional parabolic equations with time dependent coefficients - convergence analysis
PublikacjaW 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.
-
Algorithms for query processing in a distributed knowledge integration system
Publikacja -
Dynamic inequalities and equations of Volterra type on time scales
PublikacjaPraca 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ż.
Osoby -
Wpływ warunków brzegowych na naprężenia stalowych okładzin kasetonowych
PublikacjaNiniejszy 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....
-
Control of nonlinear and linearized model of self-balancing electric motorcycle
PublikacjaSelf-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...
-
Stochastic optimisation algorithm for optimisation of controller parameters for control of dissolved oxygen in wastewater treatment plant
PublikacjaWastewater 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...
-
Remarks on evaluation of spectral radius of operators arising in WR methods for linear systems of ODEs
PublikacjaW 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.
-
Metody opisu ontologii: Wnioskowanie w ontologiach opartych na logice opisowej
PublikacjaLogika 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 Data i 5V – nowe wyzwania w świecie danych (Big Data and 5V – New Challenges in the World of Data)
PublikacjaRodzaje 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,...
-
Problemy wnioskowania z ontologii Semantic Web
PublikacjaIdea 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
PublikacjaW 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...
-
Ontologie jako metoda reprezentacji wiedzy
PublikacjaLogika 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
PublikacjaW 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...
-
Morskie farmy elektrowni wiatrowych: duńska ''Horns Rev'' i polska ''Pomorze''.
PublikacjaPrzedstawiono 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.
PublikacjaPraca 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
PublikacjaZaprezentowano 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.
-
Hurtownie danych - modele, techniki, zastosowania
PublikacjaW 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
PublikacjaZakres 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...
-
Sztuczna inteligencja - oksymoron czy oczywistość?
PublikacjaW 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.
-
BIG PROBLEMS WITH BIG DATA
PublikacjaThe 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.
-
Katarzyna Puchała mgr
Osoby -
Ewelina Pochodyła mgr inż.
Osoby -
Modelowanie w inżynierii sanitarnej st. nstac. IŚ mgr sem. II r.a. 23/24
Kursy OnlineWYKŁ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....
-
Modeling of the finite amplitude plane wave propagation in non-dissipative medium
PublikacjaPraca 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ść...
-
Marek Moszyński dr hab. inż.
Osoby -
Generalized solution of mixed problems for first order partial differential equations with state dependent delays
PublikacjaW 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.
PublikacjaW 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
PublikacjaPrzedstawiono 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...
-
A Measurable Selector in Kadison’s Carpenter’s Theorem
PublikacjaWe 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.
-
Robert Pochyluk mgr inż.
Osoby -
Zdolni z Pomorza - Równania i układy równań - Spotkanie Akademickie 22.05.2021 r.
Kursy OnlineRó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...
-
Data Structures (Doctoral Studies)
Kursy OnlineThe course covers basic data structures and computer algorithms used in information tehcnology applications.
-
Data Structures (Doctoral Studies) - New
Kursy OnlineThe 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
Kursy OnlinePrzedmiot 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 KIOP - 2023
Kursy Onlineinformatyka, 1. stopień, semestr 7, profil bazy danych (KIOP)
-
Metody komputerowe w Inżynierii Sanitarnej st. stac. IŚ mgr sem. I - Nowy
Kursy OnlineWYKŁ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
Kursy OnlineWYKŁ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
Kursy OnlineWYKŁ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
Kursy OnlineWYKŁ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....
-
Smooth orthogonal projections on sphere.
PublikacjaWe 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
Osoby -
MES w mechanice cienkościennych konstrukcji powłokowych, II stop., Oce Sn, W, [BR], zimowy, 22/23 (PG_00057296)
Kursy OnlineTematy: Omówienie literatury przedmiotu; ogólny obraz MES - typy analiz, idea dyskretyzacji, pojęcie elementu skończonego, budowa globalnych równań równowagi, zasada pracy wirtualnej w zapisie macierzowym; Podstawowe równania MES (statyka, dynamika) - algorytm MES w mechanice liniowej, równania liniowej teorii płyt cienkich, założenia upraszczające (hipoteza Kirchhoffa-Love'a); dyskretyzacja ustroju powierzchniowego, dynamiczne...
-
Scalar- and vector-source wave equations
PublikacjaW analizie zjawisk akustyki liniowej i obliczeniach pola, powszechnie stosowane są równania falowe skalarne dotyczące ciśnienia akustycznego lub potencjału prędkości, natomiast rzadko są choćby tylko wspominane równania wektorowe operujące prędkością cząstek. Jest to przejaw asymetrii w traktowaniu skalarnych i wektorowych wielkości akustycznych. Artykuł przypomina dwa zestawy dualnych równań falowych, jednorodnych i niejednorodnych,...
-
Oskar Ronda
Osoby -
Przetwarzanie zapytań w rozproszonej bazie wiedzyopartej na logice opisowej
PublikacjaRozdział prezentuje podstawy algorytmu Spider przetwarzania zapytań asercjonalnych (typu ABox) w rozproszonej bazie wiedzy opartej na logice opisowej. Algorytm Spider może być stosowany w celu integracji wiedzy z różnych źródeł. W rozdziale pokrótce przedstawiono zasadę kartograficznej reprezentacji wiedzy, sposób odwzorowywania terminologii różnych źródeł oraz oszacowano złożoność obliczeniową przedstawianego algorytmu.