Filtry
wszystkich: 5050
wybranych: 4354
-
Katalog
- Publikacje 4354 wyników po odfiltrowaniu
- Osoby 123 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 296 wyników po odfiltrowaniu
- Wydarzenia 100 wyników po odfiltrowaniu
- Dane Badawcze 147 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: RÓWNIA POCHYŁA
-
Landscape of Automated Log Analysis: A Systematic Literature Review and Mapping Study
PublikacjaLogging is a common practice in software engineering to provide insights into working systems. The main uses of log files have always been failure identification and root cause analysis. In recent years, novel applications of logging have emerged that benefit from automated analysis of log files, for example, real-time monitoring of system health, understanding users’ behavior, and extracting domain knowledge. Although nearly every...
-
Artificial intelligence for software development — the present and the challenges for the future
PublikacjaSince the time when first CASE (Computer-Aided Software Engineering) methods and tools were developed, little has been done in the area of automated creation of code. CASE tools support a software engineer in creation the system structure, in defining interfaces and relationships between software modules and, after the code has been written, in performing testing tasks on different levels of detail. Writing code is still the task...
-
Discovering interactions between applications with log analysis
PublikacjaApplication logs record the behavior of a system during its runtime and their analysis can provide useful information. In this article, we propose a method of automated log analysis to discover interactions taking place between applications in an enterprise. We believe that such an automated approach can greatly support enterprise architects in building an up-to-date view of a governed system in a modern, fast-paced development...
-
PROBLEMY OCENY JAKOŚCI ONTOLOGII
PublikacjaW artykule podjęto rozważania na temat tego, czym jest jakość ontologii, jak zmierzyć jakość istniejących ontologii i jak tworzyć ontologie wysokiej jakości. Dokonano przeglądu istniejących metryk ontologii, które mogą posłużyć do oceny jakości ontologii. Przedstawiono problem zapewniania i oceny jakości ontologii modularnych jako ważny problem badawczy w obliczu pojawiania się skom¬plikowanych, trudnych do użycia i modyfikacji...
-
Collecting and classification web data for business using a web farming system
PublikacjaPraca prezentuje system typu Web Farming oraz aspekty związane z jego działaniem.
-
Instrumenty ekonomiczne właściwej realizacji sterowania U i Q.
PublikacjaJest to jeden z referatów prezentujących wyniki obszernej pracy badawczej obejmującej złożoną problematykę sterowania poziomami napięć i rozpływem mocy biernej w systemie elektroenergetycznym (sterowanie U i Q). Założenia ogólne: Jest to jeden z referatów prezentujących wyniki obszernej pracy badawczej obejmującej złożoną problematykę sterowania poziomami napięć i rozpływem mocy biernej w systemie elektroenergetycznym (sterowanie...
-
Wyznaczanie kosztów generacji/poboru i przesyłu mocy biernej w ramach usług systemowych.
PublikacjaJest to kolejny z referatów prezentujących wyniki obszernej pracy badawczej obejmującej złożoną problematykę sterowania poziomami napięć i rozpływem mocy biernej w systemie elektroenergetycznym (sterowanie U i Q). W pracy zaproponowano eliminację z tzw. skrośnego finansowania jednego rodzaju usług systemowych przez inny rodzaj. Konsekwentna wycena świadczonych usług i ich rozliczanie w ramach działań rynków usług systemowych będzie...
-
Instrumenty ekonomiczne realizacji sterowania U i Q
PublikacjaCelem tworzenia instrumentów ekonomicznych w gospodarce rynkowej jest uaktywnienie zainteresowanych podmiotów gospodarczych do działań ukierunkowanych na zamierzony cel. W rozważanej pracy celem tym jest właściwe sterowanie poziomami napięć i rozpływem mocy biernej w krajowym systemie elektroenergetycznym, prowadzące do poprawy jakości jego pracy. W referacie omówiono lub wspomniano o następujących instrumentach, które powinny...
-
Zasady określania kosztów sterowania poziomami napięć i rozpływem mocy biernej
PublikacjaW referacie omawia się proponowane rozwiązania dotyczące wyznaczania kosztów świadczenia usług U i Q, powstających w miejscach generacji/poboru mocy biernej. Odnosi się je do kosztów unikniętych to znaczy tych, które nie zostaną poniesione przez operatorów systemu przesyłkowego lub operatorów systemów rozdzielczych, zamawiających usługi służące do sterowania U i Q (dostawa/pobór mocy biernej w określonych miejscach KSE). Wprowadzono...
-
Schema mining in XML documents.
PublikacjaW artykule przedstawiono algorytm COBWEB S+T służący do wywodzenia schematów z kolekcji dokumentów XML. Algorytm wykorzystuje model danych semistrukturalnych oraz alorytm COBWEB służący do grupowania koncepcyjnego. W artykule zaprezentowano również wyniki testów działania algorytmu.
-
Monitorowanie procesu wytwarzania oprogramowania z wykorzystaniem hierarchii agentów typu Web Farming.
PublikacjaW artykule przedstawiono zastosowanie technologii Web Farming do procesów zarządzania projektami informatycznymi w firmie komputerowej. Idea polega na nadzorowaniu przebiegu projektu w tle poprzez agentów uruchomionych na komputerach uczestników projektu. W celu zdefiniowania procesu, zwanego procesem SoFar, proponuje się język PMDL, który będzie podstawą także do generowania kodu agentów. Przedstawiono możliwości zastosowania...
-
Reprezentacja map procesów biznesowych Rummlera-Brache'a w języku PMDL na potrzeby agentów monitorujących proces wytwórczy.
PublikacjaW artykule przedstawiono zastosowanie technologii Web Farming do procesów zarządzania projektami informatycznymi w firmie komputerowej. Proces wytwórczy definiowany jest w formie hierarchicznego zbioru procesów biznesowych opisywanych zgodnie z formalizmemzaproponowanym przez Rummlera-Brache'a. Zbiór ten odwzorowany jest na zapis w języku PMDL, z którego generowany jest kod agentów monitorujących proces wytwórczy.
-
Numerical conditioning of delta-domain Lyapunov and Riccati equations
PublikacjaW pracy rozważono problem uwarunkowania dyskretno czasowych równań Lapunowa oraz równań Riccatiego - to znaczy problem wrażliwości rozwiązań takich równań na odchyłki ich parametrów od nominalnych wartości. Zdefiniowano odpowiedni "różniczkowy" wskaźnik uwarunkowania oraz podano efektywną metodę szacowania jego wartości. Udowodniono teoretycznie - a także przekonująco zilustrowano na drodze numerycznej - twierdzenie głoszące, iż...
-
Interaction of vortical and acoustic waves: from general equations to integrable cases
PublikacjaWyprowadzono operatory rzutu przepływu w warstwie lepkiej przyściennej na podstawowe typy ruchów. Wyprowadzono również układy równań dynamicznych sterujących przepływem. Zaproponowano metody analityczne dalszego rozwiązywania tych równań.
-
Method of determining to the solving of friction forces on the tissue surface in bioreactor = Numeryczny wkład do wyznaczania sił tarcia na powierzchni tkanki w bioreaktorze
PublikacjaNiniejsza praca przedstawia metodę całkowania równań ruchu lepko-sprężystej cieczy odżywczej w cienkiej warstwie granicznej na powierzchni komórek chrząstki (chondrocytów), podczas nieustalonego procesu ich hodowli w bioreaktorze. Układ równań podstawowych w trójwymiarowej przestrzeni składa się z trzech równań zachowania pędu oraz z równania ciągłości. Proces hodowli komórek w bioreaktorach zależy od własności cieczy odżywczych.Ponieważ...
-
Inverse Integration of the Open Channel Flow Equations
PublikacjaW artykule przedstawiono metodę obliczeń umożliwiającą całkowanie równań przepływu nieustalonego w kanałach otwartych (równań de Saint Venanta) wstecz. Dyskutowano także przydatność równania retencji w zagadnieniu sterowania przepływem.
-
Identyfikacja wizualna w architekturze
PublikacjaKomunikacja marketingowa używa wielu narzędzi w dążeniu do ekonomicznego sukcesu. Jednym z tych narzędzi jest również i architektura. Identyfikacja wizualna w architekturze jest równie istotna dla świata biznesu jak reklama.
-
Listowe kolorowanie grafów
PublikacjaW klasycznym modelu kolorowania grafów,kolor przydzielany wierzchołkowi jestograniczony przez regułę zakazującą pokolorowania dwóch sąsiednich wierz-chołków tym samym kolorem. Kolorowanie listowe wprowadza dodatkowe ograni-czenie: każdy wierzchołek posiada z góry określony zbiór dopuszczalnych ko-lorów. Rozważamy jak duża może być różnica pomiędzy liczbą chromatyczną ilistową liczbą chromatyczną oraz dla jakich klas grafów...
-
Piecewise continuous distribution function method in the theory of wave disturbances of inhomogeneous gas
PublikacjaUkład równań typu hydrodynamicznego dla warstwowych gazów w polu grawitacyjnym pochodzi od równania BGK metodą częściowej ciągłej funkcji dystrybucji. Otrzymany system równań uogólnia układ Naviera-Stokesa w dowolnych liczbach Knudsena.
-
Akumulacja metali ciężkich w wybranych gatunkach ryb bałtyckich
PublikacjaJednym z naturalnych składników basenów wodnych są metale ciężkie, jednak działanie czynników antropogenicznych powoduje, iż stężenie tych substancji chemicznych niekiedy wzrasta do poziomów zagrażających bezpośrednio wodnej florze i faunie oraz pośrednio zdrowiu człowieka. Celem badań była ocena skażenia mięsa bałtyckich ryb metalami ciężkimi. W ramach przeprowadzonych badań analizie zostały poddane następujące gatunki ryb: makrela...
-
Stochastic approach to movements of a multihull on waves
PublikacjaW artykule przedstawiono metodę wyznaczania różniczkowych równań ruchu.Układ równań różniczkowych został przedstwaiony dla ruchów antysymetrycznych jednoski wielokadłubowej (poprzeczne ruchy liniowe, poprzeczne ruchy kątowe, poziome ruchy kątowe). Dla tych ruchów zbudowano stochastyczne równania różniczkowe.
-
On delay differential equations with almost periodic boundary conditions started from different points
PublikacjaDyskutowany jest problem istnienia ekstremalnych rozwiązań dla równań różniczkowych typu opóźnionego przy odpowiednich warunkach brzegowych. Sformułowano odpowiednie twierdzenia porównawcze. W pracy zawarte są również wyniki dotyczące takich równań przy większej ilości argumentów opóźnionych.
-
Dyskretno-ciągła metoda modelowania układów dynamicznych
PublikacjaW artykule przedstawiono oryginalną metodę modelowania układów dyskretno-ciągłych. Metoda polega na dyskretyzowaniu układu trójwymiarowego jedynie w dwóch wybranych kierunkach. W trzecim z kierunków układ pozostaje ciągły. Otrzymany w ten sposób model jest modelem dyskretno-ciągłym. Opisany jest za pomocą równań różniczkowych cząstkowych. Ogólne równania różnicowe układu dyskretnego otrzymano, wykorzystując metodę sztywnych elementów...
-
Existence of solutions for a coupled system of difference equations with cousal operators
PublikacjaPraca dotyczy układów równań różnicowych. Podano warunki dostateczne na istnienie rozwiązań takich problemów. Badano również nierówności różnicowe.
-
Analiza elementarna i potencjał energetyczny osadów ściekowych z oczyszczalni ścieków w Gdańsku, Lęborku oraz Swarzewie
PublikacjaPrzedmiotem pracy jest przedstawienie wyników analizy elementarnej osadów ściekowych z wybranych oczyszczalni ścieków w woj. pomorskim. W artykule przedstawiono również wyniki pomiaru ciepła spalania oraz obliczone wartości opałowe wg normy PN-93/Z-15008, uwzględniające zawartość wody, osadów na różnych etapach przeróbki w obu obiektach. Wyniki przedstawione w treści uzyskano na podstawie próbek pobranych w okresie od sierpnia...
-
The Moderating Effect of Firm Visibility on the Corporate Social Responsibility-Firm Financial Performance Relationship: Evidence from France
Publikacja -
Nowego typu analizator z czujnikiem pelistorowym przeznaczony do monitorowania wybuchowości mieszaniny wodoru i powietrza
PublikacjaWspółczesne procesy technologiczne wykorzystują różnego typu gazy palne m.in. wodór. Znajduje on zastosowanie przy wytwarzaniu energii elektrycznej i to nie tylko jako nośnik energii ale medium chłodzące zwiększające sprawność bloku energetycznego. W referacie przedstawiono wyniki i wnioski wynikające z wstępnych badań laboratoryjnych i eksploatacyjnych nowego typu analizatora z czujnikiem katalitycznego spalania. Urządzenie zostało...
-
Parseval Wavelet Frames on Riemannian Manifold
PublikacjaWe construct Parseval wavelet frames in L 2 (M) for a general Riemannian manifold M and we show the existence of wavelet unconditional frames in L p (M) for 1 < p < ∞. This is made possible thanks to smooth orthogonal projection decomposition of the identity operator on L 2 (M), which was recently proven by Bownik et al. (Potential Anal 54:41–94, 2021). We also show a characterization of Triebel–Lizorkin F sp,q (M) and Besov B...
-
Smooth Orthogonal Projections on Riemannian Manifold
PublikacjaWe construct a decomposition of the identity operator on a Riemannian manifold M as a sum of smooth orthogonal projections subordinate to an open cover of M. This extends a decomposition on the real line by smooth orthogonal projection due to Coifman and Meyer (C. R. Acad. Sci. Paris, S´er. I Math., 312(3), 259–261 1991) and Auscher, Weiss, Wickerhauser (1992), and a similar decomposition when M is the sphere by Bownik and Dziedziul (Const....
-
Marcinkiewicz Averages of Smooth Orthogonal Projections on Sphere
PublikacjaWe construct a single smooth orthogonal projection with desired localization whose average under a group action yields the decomposition of the identity operator. For any full rank lattice \Gamma ⊂ R^d , a smooth projection is localized in a neighborhood of an arbitrary precompact fundamental domain R^d / \Gamma. We also show the existence of a highly localized smooth orthogonal projection, whose Marcinkiewicz average under the...
-
Functional differential equations
PublikacjaSformułowano dość ogólne warunki dostateczne na to, aby odpowiednio zdefiniowane ciągi monotoniczne były zbieżne do jedynego, w pewnym segmencie, rozwiązania zagadnienia początkowego dla funkcyjnych równań różniczkowych. Omawiane równanie jest ogólne, a np. zwyczajne równania różniczkowe czy równania różniczkowo-całkowe są jego szczególnymi przypadkami.
-
Analytical-numerical approach to solve the transport equation for steady gradually varied flow in open channel
PublikacjaW pracy przedstawiono metodę rozwiązania równania transportu adwekcyjno-dyfuzyjnego w przypadku ustalonego niejednostajnego przepływu w kanałach otwartych. Metoda wykorzystuje technikę dekompozycji. Do rozwiązania równania adwekcji-dyfuzji zastosowano analityczne rozwiązanie w postaci odpowiedzi impulsowej liniowego równania adwekcji-dyfuzji. Dokonano adaptacji metody dla przypadku ze zmiennymi parametrami. Do rozwiązania drugiej...
-
Two-dimensional vertical analysis of dam-break flow
PublikacjaW artykule przedstawiono matematyczne modelowanie przepływów ze swobodną powierzchnią w kanałach otwartych. Do symulacji przepływu użyto dwuwymiarowy pionowy model RANS. Wchodzące w skład modelu równania Naviera-Stokesa rozwiązano stosując algorytm SIMPLE dla metody różnic skończonych. Do śledzenia zmian swobodnego zwierciadła wody zastosowano metodę MAC. Analizie poddano szybkozmienny przepływ po poziomym, gładkim dnie wywołany...
-
Antiperiodic boundary value problems for functional differential equations
PublikacjaRównania różniczkowo funkcyjne z antyokresowymi warunkami brzegowymi są przedmiotem rozważań tej pracy. Podane zostały warunki dostateczne na istnienie jedynego rozwiązania, które jest granicą dwóch monotonicznych ciągów. Szybkość tej zbieżności jest również określona. Metoda dowodzenia oparta jest na metodzie kwasilinearyzacji. Otrzymano również pewne wyniki dotyczące problemów liniowych.
-
Functional differential equations of second order.
PublikacjaPraca dotyczy problemu brzegowego dla równań różniczkowo-funkcyjnych 2-go rzędu. Stosując metodę kwasilinearyzacji pokazano, że odpowiednio skonstruowane ciągi monotoniczne są zbieżne do jedynego rozwiązania danego problemu i ustalono szybkość tej zbieżności. Pokazano również pewną relację pomiędzy rozwiązaniami odpowiednich liniowych równań różniczkowo-funkcyjnych z warunkami brzegowymi.
-
Almost homoclinic solutions for a certain class of mixed type functional differential equations
PublikacjaW pracy opisano pewną metodę aproksymacyjną szukania rozwiązań prawie homoklinicznych dla równań różniczkowo funkcyjnych z opóźnionym i przyśpieszonym argumentem. Podano również przykłady zastosowań tej metody.
-
Nonlinear waves in optical waveguides and soliton theory applications
PublikacjaRównania teorii solitonów zastosowano do propagacji impulsów światła w falo-wodach dielektrycznych.Wyprowadzono i zbadano rozwiazania równań oddziaływa-nia (z uwzględnieniem tłumienia) trzech fal Maxwella-Blocha.
-
Concrete-domain reasoning techniques in knowledge cartography
PublikacjaWiele zjawisk w świecie rzeczywistym opisujemy korzystając z liczb i symboli. W ramach naszej pracy jako punkt wyjścia traktujemy podejście kartograficzne opracowane na potrzeby wnioskowania z ontologii opartych na logice opisowej i pozwalające na efektywne przetwarzanie baz wiedzy zwierających dużą liczbę osobników. Niniejszy artykuł przedstawia rozszerzenie podejścia kartograficznego pozwalające na wnioskowanie z wartości symbolicznych,...
-
Managing data from heterogeneous data sources using knowledge layer
PublikacjaW procesie integrowania danych przy użyciu ontologii, ważne jest aby zarządzać danymi przechowywanymi w zewnętrznych źródłach, analogicznie jak tymi przechowywanymi w Bazie Wiedzy. Zaprezentowana w poprzednich pracach metoda kartograficznej reprezentacji wiedzy pozwala na wnioskowanie z danych przechowywanych w Bazie wiedzy. Rozwiązanie zaprezentowane w tej pracy umożliwia wykorzystanie metody kartograficznej do wnioskowania z...
-
Managing Data from Heterogeneous Data Sources Using Knowledge Layer
Publikacja -
Optimal routing in a transportation network
Publikacja -
Hierarchiczny podział przestrzeni ontologii na konteksty
PublikacjaSemantyka języka OWL wprowadza pojęcie przestrzeni ontologicznej, w której współistnieje wiele ontologii w różnym stopniu ze sobą powiązanych. Wielkość i jednolitość tej przestrzeni jest przyczyną trudności w interpretacji i wnioskowaniu. Zaproponowana w wielu pracach kontekstualizacja przestrzeni ontologii wniosła pewien porządek do opisu zależności między ontologiami i wprowadziła pojęcie interpretacji lokalnych. W tym rozdziale...
-
Wnioskowanie z danych zapisanych w zewnętrznych źródłach w systemie zarządzania wiedzą
PublikacjaRozdział prezentuje proces wnioskowania z danych przechowywanych w zewnętrznych źródłach. W procesie tym wykorzystywane są dwie nowe metody: metoda semantycznego wzbogacania źródeł - SED (Semantic Enrichment of Data) oraz wykorzystująca ją metoda wnioskowania z danych zewnętrznych - RED (Reasoning over External Data). Obie te metody zostały w niniejszym rozdziale przedstawione. Metoda SED służy do opisania zewnętrznych źródeł danych...
-
Wnioskowanie z dziedzin konkretnych w podejściu kartograficznym
PublikacjaWiele zjawisk w świecie rzeczywistym opisujemy, korzystając z liczb i symboli. W logice opisowej służą do tego tzw. dziedziny konkretne, w których możemy wyróżniać zakresy wartości, posługując się predykatami wykorzystującymi predefiniowane funkcje i relacje. W ramach naszej pracy jako punkt wyjścia traktujemy podejście kartograficzne opracowane na potrzeby wnioskowania z ontologii opartych na logice opisowej i pozwalające na efektywne...
-
Model systemu zarządzania wiedzą z uwzględnieniem aspektów wiarygodności
PublikacjaW rozdziale przedstawiony został model systemu zarządzania wiedzą, w którym uwzględniono aspekty wiarygodności. Dla zaprezentowanego modelu opisane zostały również metody definiowania wiarygodności w Sieci Semantycznej oraz wnioskowania względem wiedzy wzbogaconej o informacje na temat wiarygodności. Na początku model definiuje "ontologię wiarygodności" - ontologię, która pozwala przypisać pewne zbiory cech do konkretnych asercji....
-
Techniki modularyzacji ontologii
PublikacjaW ciągu ostatnich kilku lat tematem wielu prac naukowych stała się modularyzacja ontologii. Istnieje kilka przyczyn dużego zainteresowania tym kierunkiem prac. Z jednej strony ontologie wykazały swoją przydatność w różnego rodzaju przedsięwzięciach związanych z inicjatywą Semantic Web. Z drugiej strony okazało się, że po przekroczeniu pewnej granicy wielkości ontologii inżynierowie wiedzy natykają się na problemy, z którymi inżynieria...
-
Defining trustworthiness in Semantic Web by ontological assertions
PublikacjaW artykule opisano model systemu zarządzania wiedzą z uwzględnieniem aspektów wiarygodności. Zaproponowano również metodę definiowania wiarygodności w Sieci Semantycznej i wnioskowania z wiedzy wzbogaconej o opis jej wiarygodności. Opisana metoda dostarcza sposobu wzbogacenia ontologii o opis wiarygodności asercji zdefiniowanych w tej ontologii. Definiowanie wiarygodności jest rozumiane jako przypisanie zbioru cech do asercji binarnych...
-
Algebra konglomeratów jako narzędzie opisu problemów przetwarzania ontologii
PublikacjaW niniejszym artykule zaprezentowano nowe narzędzie przetwarzania modularnych baz wiedzy - algebrę konglomeratów. Przedstawioną propozycję wyróżnia fakt, że traktujemy moduły bazy wiedzy semantycznie. W artykule zaprezentowano doświadczenia związane z wykorzystaniem algebry (m.in. do dekompozycji bazy wiedzy oraz jako wsparcie procesu wnioskowania) oraz naszkicowano kierunki jej przyszłego rozwoju.
-
Realizacja systemu zarządzania wydziałem wyższej uczelni w technologiach typu open-source
PublikacjaW artykule przedstawiono założenia projektowe, architekturę i implementację systemu przeznaczonego do wspomagania zarządzania wydziałem wyższej uczelni. System jest realizowany dla Wydziału Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej, w technologiach typu open-source. Artykuł opisuje poszczególne komponenty systemu oraz aspekty technologiczne jego budowy. Opisano założenia przyjęte na początku projektu, architekturę...
-
S-Modules - An Approach to Capture Semantics fo Modularized DL Knowledge Bases
PublikacjaModularity of ontologies has been recently recognized as a key requirement for collaborative ontology engineering and distributed ontology reuse. Partitioning of an ontology into modules naturally gives rise to development of module processing methods. In this paper we describe an algebra of ontology modules developed during our work on a Knowledge Base Management System called RKaSeA. The idea differs from other algebras in the...