Filtry
wszystkich: 898
-
Katalog
- Publikacje 366 wyników po odfiltrowaniu
- Czasopisma 78 wyników po odfiltrowaniu
- Konferencje 11 wyników po odfiltrowaniu
- Wydawnictwa 2 wyników po odfiltrowaniu
- Osoby 17 wyników po odfiltrowaniu
- Aparatura Badawcza 1 wyników po odfiltrowaniu
- Kursy Online 80 wyników po odfiltrowaniu
- Wydarzenia 2 wyników po odfiltrowaniu
- Dane Badawcze 341 wyników po odfiltrowaniu
Wyniki wyszukiwania dla: ALGEBRA ONTOLOGII
-
Tomasz Gzella mgr inż.
Osoby -
Anita Zgorzelska dr inż.
Osoby -
Description logic based generator of data-centric applications
PublikacjaThe knowledge stored in Ontology Management Systems (OMS) that originally has the form of expressions, can be seen as a user application specification or as knowledge provided by an expert. The generator of applications discussed in this paper is defined as a program that automatically generates an application that meets a certain specification stored in OMS. It is shown that it is possible to build a user interface for data management...
-
Description logic based generator of data-centric applications
PublikacjaThe knowledge stored in Ontology Management Systems (OMS) that originally has the form of expressions, can be seen as a user application specification or as knowledge provided by an expert. The generator of applications discussed in this paper is defined as a program that automatically generates an application that meets a certain specification stored in OMS. It is shown that it is possible to build a user interface for data management...
-
Information technology assessment using a functional prototype of the agent based system
PublikacjaIn the paper authors present the progress of works related with the agent-based system serving the purpose of information technology assessment. Currently this is a prototype including agents, the knowledge base and the ontology; the domain incorporated by the assessment-enterprise managing technologies with special attention paid to technologies directed to IT projects. In this paper, besides indication of expected functionalities...
-
Numerical solution analysis of fractional point kinetics and heat exchange in nuclear reactor
PublikacjaThe paper presents the neutron point kinetics and heat exchange models for the nuclear reactor. The models consist of a nonlinear system of fractional ordinary differential and algebraic equations. Two numerical algorithms are used to solve them. The first algorithm is application of discrete Grünwald-Letnikov definition of the fractional derivative in the model. The second involves building an analog scheme in the FOMCON Toolbox...
-
Numerical Analysis of Steady Gradually Varied Flow in Open Channel Networks with Hydraulic Structures
PublikacjaIn this paper, a method for numerical analysis of steady gradually varied fl ow in channel networks with hydraulic structures is considered. For this purpose, a boundary problem for the system of ordinary differential equations consisting of energy equation and mass conservation equations is formulated. The boundary problem is solved using fi nite difference technique which leads to the system of non-linear algebraic equations....
-
The Dream of Black
PublikacjaThe Dream of Black Wystawa Sen o czerni to projekt pedagogów Uniwersytetu w Ostrawie i Fundacji Wyspa Progress a właściwie ich studentów, którzy są również dzisiaj pedagogami. W wielu przypadkach jest to już drugie pokolenie studentów. The Dream of Black oferuje szerokie spektrum form artystycznych. Autorska próbka stanowiąca trzon projektu wystawy (gość: Viktor Frešo i inni artyści związani z Gdańską sceną artystyczną) to tylko...
-
Simulation and experiments of high speed milling vibration surveillence with a use of changing spindle speed
PublikacjaPraca poświęcona jest nowemu podejściu do nadzorowania drgań wirujących narzędzi w nowoczesnych frezarkach. Przeprowadzono analizy dynamiczne skrawania smukłym frezem kulistym. Opisano dynamikę sterowanego układu nistacjonarnego. Jako rezultat sterowania optymalno-liniowego otrzymano program chwilowych zmian prędkości obrotowej pozwalający uzyskać redukację drgań. Metodę zweryfikowano eksperymentalnie na frezarce Alcera Gambin...
-
Mechatroniczne nadzorowanie drgań narzędzia za pomocą zmiennej prędkości obrotowej wrzeciona podczas frezowania szybkościowego przedmiotów sztywnych
PublikacjaW pracy rozważa się nadzorowanie drgań narzędzia podczas obróbki szybkościowej smukłym frezem kulistym, za pomocą sterowania optymalno-liniowego prędkością obrotową wrzeciona. Jego istota polega na prognozowaniu rezultatów nadzorowania bez potrzeby identyfikacji parametrów modelu obliczeniowego. Symulacje oraz badania na maszynie Alcera Gambin 120CR wykazały praktyczne uzasadnienie proponowanej metody nadzorowania.
-
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,...
-
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...
-
Ocena przydatności programów zmiennej prędkości obrotowej wrzeciona frezarki na potrzeby nadzorowania drgań narzędzia
PublikacjaW pracy przedstawiono wyniki badań eksperymentalnych przeprowadzonych na dwóch centrach obróbkowych Mikron VCP600 i Alcera Gambin 120CR z elektrowrzecionem S2M. Celem badań było sprawdzenie możliwości praktycznej realizacji programów zmiennej prędkości obrotowej. Programy te zostały następnie wykorzystane do potwierdzenia skuteczności nadzorowania drgań względnych narzędzie-przedmiot obrabiany w procesie szybkościowego frezowania...
-
WM - IMM - Elementy algebry liniowej (M.Łapińska)
Kursy Online -
Anna Witeska-Młynarczyk dr hab.
OsobyUniversity College London, Anglia - Wydział Antropologii – studia doktorskie; Doctor of Philosophy; Stopień doktora nauk humanistycznych w zakresie etnologii (nostryfikacja UAM) Sabanci University, Stambuł, Turcja – Wydział Nauk Społecznych, Master of Arts (bez tytuły, skończony pierwszy rok), Historia Współczesna Central European University, Budapeszt, Węgry – Master of Arts, Socjologia i Antropologia Społeczna (z wyróżnieniem) Uniwersytet...
-
Design criterion for hydrodynamic vortex separators
PublikacjaTechnical objects designing involves determination of geometrical parameters that characterize a given object. When the device is described by the differential equations, an inverse problem brings difficulties, as geometrical values sought condition the solution to the problem. Vortex separators can be designed by the "criterion method'. Firstly, a critical particle is distinguished such that bigger particles are removed from...
-
Metody wnioskowania kontekstowego z danych zapisanych w zewnętrznych źródłach
PublikacjaW poprzednich pracach autorów został przedstawiony system wnioskowania z danych zapisanych w zewnętrznych źródłach - KL (Knowledge Layer). Metody SED (Semantic Enrichment of Data) i RED (Reasoning over External Data) zastosowane w tym systemie umożliwiają wzbogacenie danych o semantykę oraz wnioskowanie z tych danych analogicznie jak z ontologicznego opisu świata. Dane zapisane w źródłach zewnętrznych są wzbogacone o terminologię...
-
Energetyka (WEiA,WM,WOiO) - Algebra liniowa 2016/2017 (M.Łapińska)
Kursy Online -
Simulation and Experiments of High Speed Machining Vibration Monitoring with Variable Spindle Velocity
PublikacjaArtykuł poświęcony jest nadzorowaniu drgań wirujących narzędzi podczas obróbki szybkościowej na nowoczesnych centrach frezarskich. Przeprowadzono analizę dynamiki procesu skrawania smukłym frezem kulistym. W celu zredukowania drgań zastosowano, z powodzeniem, zmienną prędkość obrotową narzędzia. Badania symulacyjne dotyczące efektywności proponowanej metody zostały potwierdzone wynikami badań eksperymentlanych na frezarce Alcera...
-
Escherichia coli - zapomniany patogen posocznic
PublikacjaPrzedstawiono próbę retrospektywnej analizy częstości występowania bakteriemii Gram-ujemnych, wywołanych przez E. coli u chorych hospitalizowanych w ośmiu grupach oddziałów klinicznych SPSK1 ACK AM w Gdańsku w latach 2002-2004. Dokonano oceny częstości występowania bakteriemii o etologii E. coli, liczby zgonów związanych bezpośrednio z posocznicą, analizy potencjalnych wrót zakażenia oraz analizy lekowrażliwości szczepów E. coli...
-
Evolutionary optimization of combinational digital circuits with current-mode gates with respect to transistor count
PublikacjaW artykule przedstawiono metodę ewolucyjnej minimalizacji liczby tranzystorów w cyfrowym układzie kombinacyjnym, zrealizownaym z wykorzystaniem bramek pracujących w trybie prądowym. W zastosowanym algorytmie ewolucyjnym zastosowano chromosomy o budowie wielowarstwowej, przez co zwiększono wydajność optymalizacji. Wyniki otrzymane z wykorzystaniem proponowanej metody zostały porównane z rezultatami osiągniętymi za pomocą map Karnough...
-
Nilpotent singularities and chaos: Tritrophic food chains
PublikacjaLocal bifurcation theory is used to prove the existence of chaotic dynamics in two well-known models of tritrophic food chains. To the best of our knowledge, the simplest technique to guarantee the emergence of strange attractors in a given family of vector fields consists of finding a 3-dimensional nilpotent singularity of codimension 3 and verifying some generic algebraic conditions. We provide the essential background regarding...
-
Periodic expansion in determining minimal sets of Lefschetz periods for Morse–Smale diffeomorphisms
PublikacjaWe apply the representation of Lefschetz numbers of iterates in the form of periodic expansion to determine the minimal sets of Lefschetz periods of Morse–Smale diffeomorphisms. Applying this approach we present an algorithmic method of finding the family of minimal sets of Lefschetz periods for Ng, a non-orientable compact surfaces without boundary of genus g. We also partially confirm the conjecture of Llibre and Sirvent (J Diff...
-
Description Logic As A Common Software Engineering Artifacts Language
PublikacjaDescription logic is proposed as a powerful language able to support chosen software engineering process tasks like: requirements engineering, software architecture definition, software design and configuration management. To do this there is presented a correspondence between description logic and UML. Description logic based integrated software engineering process framework is proposed which owing to automatic knowledge inferring...
-
Wykorzystanie technologii Java 2 Platform,Enterprise Edition do wytwarzania usług internetowych
PublikacjaPlatforma J2EE jest jedną z najpopularniejszych platform wytwarzania systemów, aplikacji i usług internetowych. Jest ona oparta na tech-nologii Java i udostępnia wiele komponentów ułatwiających tworzenie usług internetowych. W niniejszym artykule przedstawiono dostępne komponenty i usługi jakie ta platforma dostarcza wraz z wybranymi przykładami tworzenia i użycia niektórych z nich. Dodatkowo przedstawione są kierunki rozwoju tej...
-
Wytwarzanie architektury korporacyjnej środowiskiem weryfikacji struktur baz wiedzy systemu wieloagentowego
PublikacjaRozdział dokumentuje przebieg i wyniki weryfikacji opracowywanego w Zakładzie Zarządzania Technologiami Informatycznymi modelu systemu wieloagentowego do oceny technologii informatycznych. Wykorzystanie tego modelu (zaprojektowanego w oparciu o ontologie i zasoby baz wiedzy) ma docelowo wspomagać procesy decyzyjne z zakresu doboru technologii informatycznych dla danej organizacji. Dla potrzeb weryfikacji rozwiązania w zakresie...
-
Hybrid fuzzy-ontological project framework of a team work simulation system
PublikacjaThe aim of this article is to present the project framework for constructing a Software Process Simulation Modeling (SPSM) system. SPSM systems can be used as a virtual environment for the selection of methods and tools of project management in IT support organizations. The constructed system simulates the Scrum methodology, including the management processes and the project roles. For the implementation of Scrum processes, the...
-
Semantic technologies based method of collection, processing and sharing information along food chain
PublikacjaIn the paper the method of collecting, processing and sharing information along food chain is presented. Innovative features of that method result from advantages of data engineering based on semantic technologies. The source to build ontology are standards and regulations related to food production, and data collected in databases owned by food chain participants. It allows food chain information resources can be represented in...
-
Zachować podcień. Interdyscyplinarne Warsztaty Żuławskie (badania etnologiczno-architektoniczne)
PublikacjaW maju i lipcu 2009 roku realizowany był interdyscyplinarny projekt, którego głównym celem było przeprowadzenie badań etnologicznych i ruralistyczno-architektonicznych na terenie Wielkich Żuław Malborskich. Partnerami byli Wydział Architektury Politechniki Gdańskiej i Instytut Etnologii i Antropologii Kulturowej Uniwersytetu im. Adama Mickiewicza w Poznaniu. W projekcie brali udział naukowcy i studenci obu uczelni, łącznie 24 osoby....
-
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...
-
Energetyka - Elementy Algebry Liniowej 2023/24 (M.Musielak)
Kursy Online -
Multimedia Applications for the Hearing Impaired.
PublikacjaJednym z elementów przeciwdziałania szybko narastającym zagrożeniom niedosłuchem są aplikacje oprate na nowoczesnych technologiach. W wyniku współpracy Katedry Systemów Multimedialnych PG z warszawskim Instytutem Fizjologii i Patologii Słuchu opracowano wdrożone na szeroką skale multimedialne systemy przesiewowych badań zmysłów komunikowania się. Ponadto, nowsze opracowania dotyczą maskowania szumów usznych z wykorzystaniem linearyzacji...
-
Reduction of vibration level by the spindle speed optimisation during ball end milling of flexible details
PublikacjaPraca dotyczy nadzorowania drgań podczas skrawania przedmiotów podatnych frezem kulistym. Przedsatwiono wspomaganą komputerowo procedurę nadzorowania z optymalizacją prędkości obrotowej narzędzia. Przy modelowaniu wykorzystano niestacjonarny model obliczeniowy. Rezultatem modelowania jest układ hybrydowy, w którym oddzielono podukłady: modalny, łączący i strukturalny. Metoda wymaga identyfikacji częstości własnych co może być wykonane...
-
Ahmed Lakhdar Kouzou
OsobyPhd Student at Faculty of Electrical and Control Engineering, Gdansk University of Technology . Her main areas of research and interests include he application of meta-heuristic optimization algorithms in electric power systems. He served as temporary researsh assitant at Texas A&M University at Qatar. He received his Bachalor’s degree in Electrical and Electronic Engineering in 2017 from the Institute of Electrical & Electronic...
-
Geometric analogue of holographic reduced representation
PublikacjaHolographic reduced representations (HRRs) are distributed representations of cognitive structuresbased on superpositions of convolution-bound n-tuples. Restricting HRRs to n-tuples consisting of 1,one reinterprets the variable binding as a representation of the additive group of binary n-tupleswith addition modulo 2. Since convolutions are not defined for vectors, the HRRs cannot be directlyassociated with geometric structures....
-
Noise Analysis and Optimization of Continuous-Time OTA-C Filters
PublikacjaW pracy przedstawiono efektywną procedurę wyznaczania szumów w filtrach OTA C czasu ciagłego. Procedura wyprowadzona jest w oparciu o ogólny model filtru OTA C oraz jego opis macierzowy. Podano jawne formuły pozwalające okreslić odniesione do wejścia widmo szumów dowolnego filtru rozważanej klasy. Otrzymane wyniki teoretyczne zostały zweryfikowane poprzez porównanie z wynikami otrzymywanymi za pomocą symulatora SPICE dla wybranych...
-
Convergence of Monte Carlo algorithm for solving integral equations in light scattering simulations
PublikacjaThe light scattering process can be modeled mathematically using the Fredholm integral equation. This equation is usually solved after its discretization and transformation into the system of algebraic equations. Volume integral equations can be also solved without discretization using the Monte Carlo (MC) algorithm, but its application to the light scattering simulations has not been sufficiently studied. Here we present implementation...
-
Remote current measurement with FPGA digital processing
PublikacjaThe work presents an implementation of a modular measurement and control systemthat controls variants of mains supply of 230V electrical equipment. The system allowsto supervise power consumption in the office electronic equipment. The system detectsthe instant of the reduced power consumption by a device and makes possible itsswitch-off in order to reduce energy cost. The current is measured with integratedcurrent/voltage converters....
-
REALIZACJA NA POZIOMIE RTL OBLICZANIA PIERWIASTKA KWADRATOWEGO Z UŻYCIEM METODY NIEODTWARZAJĄCEJ
PublikacjaObliczanie pierwiastka kwadratowego jest jedną z kluczowych operacji cyfrowego przetwarzania sygnałów szczególnie przy obliczaniu modułu sygnałów zespolonych. W pracy przedstawiono algorytm obliczania pierwiastka kwadratowego metodą nieodtwarzającą oraz jego układową realizację. Metoda umożliwia oszczędną realizację układową bazującą na sumatorach i rejestrach. Przeanalizowano wymagania sprzętowe obliczania pierwiastka kwadratowego...
-
Fundamentals of classical and analytical mechanics
PublikacjaThe book is a monographic description of the present attempt to Newtonian and Lagrangian mechanics. But also, it could be found as a supplementary educational material useful for the graduate courses in mechanics taken by students majoring in mechanical engineering, physics or physical science. In the book you can find a brief introduction to concepts and principles of algebra of vectors; Kinematics of particles, mainly focused...
-
Hybrid Fuzzy-Ontological Project Framework of a Team Work Simulation System
PublikacjaThe aim of this article is to present the project framework for constructing a Software Process Simulation Modeling (SPSM) system. SPSM systems can be used as a virtual environment for the selection of methods and tools of project management in IT support organizations. The constructed system simulates the Scrum methodology, including the management processes and the project roles. For the implementation of Scrum processes, the...
-
Wystawa poświęcona prof. Wacławowi Szybalskiemu
WydarzeniaWystawa przygotowana przez Fundację Profesora Wacława Szybalskiego.
-
Weryfikacja struktur baz wiedzy systemu agentowego do oceny technologii informatycznych
PublikacjaRozdział dokumentuje przebieg i wyniki weryfikacji opracowywanego w Zakładzie Zarządzania Technologiami Informatycznymi modelu systemu wieloagentowego do oceny technologii informatycznych. Wykorzystanie tego modelu (zaprojektowanego w oparciu o ontologie i zasoby baz wiedzy) ma docelowo wspomagać procesy decyzyjne z zakresu doboru technologii informatycznych dla danej organizacji. Dla potrzeb jego weryfikacji wykorzystano dane...
-
WETI - Inf. nstac - Algebra liniowa z geometrią analityczną 2021/22 (M.Musielak)
Kursy Online -
WCh - Bt, Ch, ChB, TCh - s2: Algebra I 2021/22 (A.Tlałka)
Kursy Online -
WETI - Informatyka sem I gr 6,7,8 - Algebra liniowa 2023/2024 (D.Żarek)
Kursy Online -
WETI - Informatyka sem. 1 gr. 2 - Algebra Liniowa 2023/2024 (W.Dąbrowski)
Kursy Online -
WETI - EiT gr.2, 3 - Algebra liniowa 2023/24 (A.Brękiewicz-Sieg)
Kursy Online -
WETI - ACiR gr.1, 3 - Algebra liniowa 2023/24 (A.Brękiewicz-Sieg)
Kursy Online -
WETI - Inf - Elementy Algebry Liniowej 2021/22 (M.Musielak)
Kursy Online