Filters
total: 2231
filtered: 1055
-
Catalog
- Publications 1055 available results
- Journals 24 available results
- Conferences 24 available results
- Publishing Houses 6 available results
- People 234 available results
- Projects 8 available results
- Laboratories 6 available results
- Research Teams 5 available results
- Research Equipment 2 available results
- e-Learning Courses 680 available results
- Events 88 available results
- Open Research Data 99 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: JĘZYKI FORMALNE
-
Investigations of methods to measure longitudinal forces in continuous welded rail tracks using the tamping machine.
PublicationPraca przedstawia w sposób poglądowy próby znalezienia efektywnej metody określania sił podłużnych w szynach toru bezstykowego. Szczególną uwagę poświęcono metodzie wymuszonych przemieszczeń poprzecznych. Podstawowym stwierdzeniem z przeprowadzonych własnych badań była konieczność odejścia od podnoszenia odłączonego od podkładów odcinka szyny i skoncentrowanie się na przemieszczeniach poprzecznych; doprowadziło to koncepcji zastosowania...
-
Obliczenia numeryczne w analizach hydraulicznych istniejących systemów kanalizacji deszczowej i mieszanej z wykorzystaniem programu TFD (Tube Flow Drain)
PublicationProgramowanie inżynierskie jako nieodłączny element prac związanych z optymalizacją istniejących układów sieci kanalizacji deszczowej. Obliczenia numeryczne stosowane w programie TFD (Tube Flow Drain) znacznie przyspieszyły proces wykonywania obliczeń hydraulicznych w zamkniętych kanałach grawitacyjnych o przekroju kołowym. Możliwość wykonania szybko i niezawodnie, sprawdzenia wpływu zmiennych (np.. Kalkulacje w autorskim programie...
-
Dynamic Perfect hashing with finite-state automata
PublicationMinimalna doskonała funkcja mieszająca dostarcza odwzorowania zbioru n niepowtarzalnych słów w zwarty zakres n liczb całkowitych. Gdy jest realizowane za pomocą automatów skończonych, odwzorowanie wynika z porządku słów (zwykle alfabetycznego) w zbiorze. Dodanie nowych słów zmieniłoby porządek słów rozpoznawanych przez automat, zmieniając całe odwzorowanie i czyniąc je bezużytecznym w wielu dziedzinach. Dlatego nazywamy je statycznym....
-
Postępowanie przed sądami dyscyplinarnymi, polubownymi i koleżeńskimi dla architektów: Wybór przepisów
PublicationDla praktykującego architekta wykonywanie zawodu jest funkcją odpowiedzialności. Odpowiedzialność ta może rodzić skutki karne, cywilne, zawodowe, dyscyplinarne i moralne. Przedmiotem niniejszej publikacji jest próba wyróżnienia szeroko pojętej odpowiedzialności zawodowej, przybliżenia jej podstaw prawnych oraz opisania postępowania przed sądami dyscyplinarnymi, polubownymi i koleżeńskimi. Specyfiką tego typu postępowań jest odpowiadanie...
-
PROBLEMY RACJONALNEGO ZASTOSOWANIA SYSTEMÓW DIAGNOZUJĄCYCH DO PODEJMOWANIA DECYZJI W FAZIE EKSPLOATACJI URZĄDZEŃ ENERGETYCZNYCH Z UWZGLĘDNIENIEM ZAGADNIEŃ KWANTOWYCH
PublicationW rozdziale przedstawiono najistotniejsze problemy pojawiające się w fazie projektowania, wytwarzania i eksploatacji systemów diagnozujących (SDG) urządzeń energetycznych (będących systemami diagnozowanymi – SDN), w przypadku przysposabiania ich do opracowania finalnej diagnozy eksploatacyjnej. Przestawiono opisową i formalną interpretację pojęcia systemu diagnozującego (SDG). Zaproponowano modele procesu diagnozowania urządzeń...
-
Koncepcja platformy wymiany informacji o incydentach cyberbezpieczeństwa dla krajowego systemu elektroenergetycznego
PublicationArtykuł opisuje wybrane zagadnienia związane z cyberbezpieczeństwem w sektorze elektroenergetyki. Jednym z elementów zapewniania bezpieczeństwa sieci elektro-energetycznej jest efektywna wymiana informacji o incydentach bezpieczeństwa. W jej ramach wszystkie zaangażowane podmioty systemu elektroenergetycznego, tj.: elektrownie, operatorzy systemów przesyłowych, operatorzy systemów dystrybucyjnych, dostawcy rozwiązań bezpieczeństwa,...
-
Indywidualne programy integracyjne dla uchodźców i cudzoziemców objętych ochroną uzupełniającą z państw poradzieckich w dobie przynależności Polski do Unii Europejskiej
PublicationCelem pracy jest analiza uwarunkowań i skali obejmowania indywidualnymi programami integracyjnymi obywateli państw poradzieckich, którym przyznawano status uchodźcy i ochronę uzupełniającą w Polsce w okresie od 2004 r. do 2018 r., tj. od przystąpienia przez Polskę do Unii Europejskiej. Omawiane są następujące zagadnienia: uwarunkowania formalno-prawne ochrony międzynarodowej w Polsce, zasady przyznawania indywidualnych programów...
-
Accoustic verification of onomatopoeic sets in contrastive approach
PublicationPraca relacjonuje efekty prób wykorzystania technik cyfrowego przetwarzania sygnału mowy dla zaspokojenia specyficznych potrzeb nauk humanistycznych, które, ograniczając się wyłącznie do tra-dycyjnie stosowanego warsztatu badawczego, napotykają współcześnie na bariery znacznie blokują-ce oczekiwany postęp. Omówiono proces badawczy, który służyć ma językoznawcom dokonującym porównań wyrażeń dźwiękonaśladowczych odnajdywanych w odmiennych...
-
Zaawansowane techniki optymalizacji Pixel Shaderów 2.0
PublicationArtykuł ma na celu przedstawienie wybranych technik optymalizacji kodu pixel shaderów w wersji 2.0. Omówiona została specyfika programowania Pixel Shaderów 2.0 oraz przedstawiony został język programowania niskopoziomowego, którego znajomość jest przydatna w procesie optymalizacji kodu pixel shaderów. Nastepnie na przykładzie Pixel Shadera realizującego efekt Screen Space Ambient Occlusion pokazane zostały wybrane metody optymalizacji...
-
Fotografia i słowo wobec architektury
Publicationpisanie o architekturze pozornie nie jest najistotniejszym środkiem przekazu dla architektów porozumiewających się własnym językiem zawodowym czyli zapisem rysunkowymZapisane słowo jest jednak niezbędne w komunikacji z przyszłymi użytkownikami, pozwala lepiej zrozumieć zapis rysunkowy projektu.opisywanie architektury - temat architektury w obiegu kultury , jest możliwy dzięki popularyzacji w pismach architektonicznych.
-
Tlenkowe ogniwa paliwowe ze stalowym interkonektorem
PublicationPraca obejmuje szeroki zakres zagadnień związanych z polepszeniem właściwości stosowanych obecnie materiałów lub konstrukcji ogniw paliwowych wykorzystujących elementy metaliczne w postaci litego interkonektora lub porowatego elementu nośnego. Wykonana praca ma charakter eksperymentalny i interdyscyplinarny, swoim zasięgiem obejmuje zagadnienia elektroniki ciała stałego, chemii, fizyki oraz inżynierii materiałowej.
-
Wytyczne akustyczne do projektu wnętrza sali koncertowej Akademii Muzycznej w Gdańsku = Acoustical recommendations to interior design of the concert hall at the Academy of Music in Gdańsk
PublicationProjektowana sala jest przeznaczona do wykonywania muzyki symfonicznej oraz dzieł oratoryjnych (orkiestra symf. + chór + soliści) oraz inscenizacji operowych w zredukowanych dekoracjach. Funkcją drugoplanową jest wykorzystanie sali do celów konferencyjnych. Taki zestaw funkcji wymaga odmiennych warunków akustycznych. Praca przedstawia zalecenia akustyczne do projektu wnętrza, spełniajace te oczekiwania.
-
Recent developments in automatic classification of musical instruments
PublicationW referacie dokonano przeglądu aktualnego stanu badań w dziedzinie automatycznego rozpoznawania muzyki. Przedstawiono też eksperymenty prowadzone aktualnie w Katedrze Dźwięku i Obrazu PG. Prace te dotyczyły rozpoznawania klas instrumentów muzycznych i separacji duetów muzycznych. Pokazano przykładowe wyniki i przedstawiono projekt prac do zrealizowania w przyszłych eksperymentach.
-
Musical phrase representation and recognition by means of neural networks and rough sets.
PublicationW artykule przedstawiono podstawowe definicje dotyczące frazy muzycznej. W eksperymentach posłużono się zapisem parametrycznym. W celu wzmocnienia procesu rozpoznawania wykorzystano kodowanie entropijne muzyki. W eksperymentach klasyfikacji oparto się o sztuczne sieci neuronowe i metodę zbiorów przybliżonych. Słowa kluczowe: fraza muzyczna, klasyfikacja, sztuczne sieci neuronowe, metoda zbiorów przybliżonych
-
Experimental and theoretical investigations of silo music
PublicationW artykule przedstawiono wyniki doświadczalne i teoretyczne badania zjawiska muzyki silosowej podczas przepływów materiałów granulowanych w silosach. Badania dynamiczne i tomograficzne wykonane w modelu silosu napełnionego piaskiem. Obliczenia numeryczne wykonano przy zastosowaniu metody elementów skończonych i mikropolarnego modelu hipoplastycznego z uwzględnieniem dynamicznej interakcji ściany z piaskiem.
-
Application of Majority Voting Protocols to Supporting Trading Decisions
PublicationA broad spectrum of analysis and prediction indicators and methods exists to support trading decisions, but no hard knowledge exist to tell in advance which of them will fit best in a given timeframe. To support trading decisions, a multi-agent self-organizing system has been proposed. The system is based on history based dynamic weight voting and selects the right indicators based on their past performance. The formal analysis...
-
APPLICATION OF MAJORITY VOTING PROTOCOLS TO SUPPORTING TRADING DECISIONS
PublicationA broad spectrum of analysis and prediction indicators and methods exists to support trading decisions, but no hard knowledge exist to tell in advance which of them will fit best in a given timeframe. To support trading decisions, a multi-agent self-organizing system has been proposed. The system is based on history based dynamic weight voting and selects the right indicators based on their past performance. The formal analysis...
-
Quality control procedures in Pomeranian Digital Library
PublicationThis paper concerns a quality control in digital libraries projects. At first, general goals of such projects are presented together with some restrictions concerning non-commercial projects. Then some quality factors for digital objects are presented. Finally, a quality control model for Pomeranian Digital Library (PDL) is proposed. The model assumes three levels of quality control and takes into account specific features of PDL....
-
Comparison of requirements for location, maintenance and removal of road advertising between polish and foreign regulations
PublicationThe article gives an overview of Polish and international formal and legal requirements for roadside advertising and the relevant road safety impacts. The analysis focussed on outdoor advertising life cycle consisting of three stages: location, operation and removal of advertising. Experience of road authorities from Australia (Queensland), Republic of South Africa and the United Kingdom was collected. The article is part of a...
-
Experience Based Clinical Decision Support Systems: An Overview and Case Studies
PublicationThis chapter briefly overviews the evolution of the application of the Decisional DNA and the Set of Experience Knowledge Structure (SOEKS) in the medical domain and in particular in the specific case of the experience-based decision support systems. Decisional DNA, as a knowledge representation structure, offers great possibilities on gathering explicit knowledge of formal decision events as well as a tool for decision making...
-
Pier of the future- investigation of green and blue strategies as tools for modernization of Gdynia's public waterfront
PublicationBetween rising water levels and global migration to cities, architects and designers need to critically reimagine the relationship between coastal landscapes and public space. Cities are facing entirely new risks and environmental conditions. Resiliency, infrastructure, and ecology are increasingly common terms, reflecting the growing demand to address the spatial and formal challenges faced by cities worldwide. Rethinking boundaries...
-
Quenching effects in organic electroluminescence
PublicationWe examine various electronic processes that underlie the quenching of the emission from highly efficient phosphorescent and electrophosphorescent organic solid-state molecular systems. As an example, we study the luminescent efficiencies from the phosphorescent iridium (III) complex, fac tris (2-phenylpyridine) iridium [(Ir (ppy)3] doped into a diamine derivative doped polycarbonate hole-transporting matrix and in the form...
-
Organic electroluminescent devices containing phosphorescent molecules in molecularly doped hole transporting layer.
PublicationW pracy opisano mechanizm świecenia diody dwuwarstwowej diody elektroluminescencyjnej (EL) o zewnętrznej kwantowej wydajności świecenia osiągającej 9% fot./elektron. Warstwę transportującą elektrony tworzyła pochodna osadiazolu (PBD) otrzymana metodąnaparowania próżniowego. Warstwę transportującą dziury uzyskano przez wylanie roztworu poliwęglanu(PC), dendrymeru aminowego m-MTDATAoraz fosforyzującego kompleksu irydu Ir(ppy)3 i...
-
Instrumented End Notched Flexure - Crack propagation and process zonemonitoring. Part I: Modelling and analysis
PublicationAnalysis of the three-point bending, End Notched Flexure (ENF), test is presented for exploitation with a new experimental methodology using the backface strain monitoring technique. The model consists oftwo Timoshenko beams joined with a two parameter elastic foundation, to evaluate stress and strain fields in both adherends and the adhesive layer, together with the specimen compliance and energyrelease rate. This model is compared...
-
Transition curve with smoothed curvature at its ends for railway roads
PublicationIn the paper, in view of a railway ballasted track, a new concept of transition curve of linear form of curvature along its length and smoothed extreme regions is presented. For this purpose use has been made of an original, universal method for identifying transition curves by means of differential equations. Some general curvature equations for three regions investigated have been determined to be followed by appropriate parametric...
-
Managing competence and certifying persons responsible for functional safety = Zarządzanie kompetencjami i certyfikacja osób odpowiedzialnych za bezpieczeństwo funkcjonalne
PublicationThis article emphasizes that knowledge and competences of managers, engineers and specialists dealing with safety-related technologies for hazardous industry should be appropriately shaped in the technical education processes and training programmes fulfilling some quality requirements and assessment criteria. It concerns especially persons dealing with the functional safety solutions in the design and operation of the electric,...
-
Applying computational intelligence to acoustics.
PublicationW artykule przedstawiono przegląd wybranych zagadnień związanych z zastosowaniem metod inteligencji obliczeniowej w akustyce. Zaprezentowane metody obejmują m.in. sztuczne sieci neuronowe, zbiory przyblizone, logikę rozmytą, algorytmy genetyczne. Problematyka akustyczna dotyczy z kolei klasyfikacji dźwięków muzycznych, inteligentnego przetwarzania muzyki, inteligentnego sterowania trakturą organową oraz obiektywizacji metody oceny...
-
MPEG-7 jako format zapisu cyfrowych dokumentów muzycznych
PublicationW pracy zwrócono uwagę na problem przechowywania różnych postaci muzyki w cyfrowych dokumentach muzycznych. Przedstawiono ogólną charakterystykę formatu MPEG7. Pokazano możliwości wynikające z zastosowania MPEG7 do cyfrowej reprezentacji dokumentów muzycznych. Zwrócono uwagę na możliwość rozszerzania standardu w celu dopasowania go do przechowywania dokumentów muzycznych zawierających pełną informację muzyczną.
-
INFLUENCE OF DATA NORMALIZATION ON THE EFFECTIVENESS OF NEURAL NETWORKS APPLIED TO CLASSIFICATION OF PAVEMENT CONDITIONS – CASE STUDY
PublicationIn recent years automatic classification employing machine learning seems to be in high demand for tele-informatic-based solutions. An example of such solutions are intelligent transportation systems (ITS), in which various factors are taken into account. The subject of the study presented is the impact of data pre-processing and normalization on the accuracy and training effectiveness of artificial neural networks in the case...
-
Influence of the variability of the odour emission rate on its impact range: a case study of the selected industrial source
Publication -
Colour Terms in Five Linguistic Images of the World: The Semantic Perspective
PublicationSocial and cultural factors shape the linguistic perception of colour. At the same time, colour terms co-create the linguistic image of the world, which allows us to interpret reality and profile our statements and beliefs. This paper presents six basic colour terms: white, black, red, green, yellow, and blue (both as adjectives and as nouns) in the five different linguistic images of the world of the following languages: English,...
-
Residual stress evaluation in oil pipeline.
PublicationPrzedstawiono metodę pomiaru rozkładu naprężeń w ropociągu z wykorzystaniem efektu Barkhausena. Opisano procedurę pomiaru oraz kalibracji metody. Wynik potwierdzono w jednym punkcie metodą Mathar´a
-
Cienie, cykl 'Odcinki' (1998)
PublicationKatalog aukcji polskiej sztuki współczesnej, która odbyła się w Domu Aukcyjnym Desa Unicum w Warszawie w dniu 15 grudnia 2011 roku. Katalog liczy 62 strony i zawiera noty biograficzne artystów wraz z charakterystyką twórczości w jezyku polskim, i zawiera 59 kolorowych reprodukcji (rep. autora s. 12). Wydawcą katalogu jest Desa Unicum.
-
Music query and annotation processes supported by gaze fixation tracking
PublicationCelem referatu jest przegląd kluczowych zagadnień związanych z automatycznym wyszukiwaniem informacji muzycznej MIR - Music Information Retrieval. W pierwszej kolejności przedstawiono aktualne kierunki badań i rozwiązań systemowych związane z wyszukiwaniem i rekomendacją muzyki. Następnie zaprezentowano eksperymenty przeprowadzone na skonstruowanej bazie muzycznej. Pokazano również propozycję wspomagania procesu wyszukiwania i...
-
Wspomaganie procesu wyszukiwania nagrań w repozytoriach muzycznych
PublicationCelem referatu jest przegląd kluczowych zagadnień związanych z automatycznym wyszukiwaniem informacji muzycznej MIR - Music Information Retrieval. W pierwszej kolejności przedstawiono aktualne kierunki badań i rozwiązań systemowych związane z wyszukiwaniem i rekomendacją muzyki. Następnie zaprezentowano eksperymenty przeprowadzone na skonstruowanej bazie muzycznej. Pokazano również propozycję wspomagania procesu wyszukiwania i...
-
Property revenues (PRs) and expenditures of local government units (LGUs) in Poland
PublicationPRs are new category of local government revenues, which was introduced by changing the law on public finances at the end of 2006 and which took effect in 2007. By principle, these revenues should be converted into property expenditures. Their formalisation did not only allow assessing their absolute size but also a comparison with the longer existing property expenditures. Both categories were subject of analysis in this article....
-
Quantum origins of objectivity
PublicationIn spite of all of its successes, quantum mechanics leaves us with a central problem: How does nature create a bridge from fragile quanta to the objective world of everyday experience? Here we find that a basic structure within quantum mechanics that leads to the perceived objectivity is a so-called spectrum broadcast structure. We uncover this based on minimal assumptions, without referring to any dynamical details or a concrete...
-
MTS pilot tone tracking for "wow" distortion determination
PublicationArtykuł przedstawia nowy algorytm do wyznaczania charakterystyki kołysania dźwięku na podstawie śledzenia zmian tonu pilota MTS. Śledzenie zmian częstotliwości nośnej tonu MTS pozwala określić zmienną w czasie głębokość pasożytniczych modulacji częstotliwości będących konsekwencją kołysania. Na tej podstawie tworzona jest charakterystyka zniekształcenia. Proponowany algorytm bazuje na zaproponowanej wcześniej metodzie śledzenie...
-
Identyfikacja systemów cumowniczych MJP i konsekwencje wynikające z ich zastosowania
PublicationW pracy rozpoznano i przeanalizowano użycie najczęściej stosowanych systemów cumowniczych dla MJP. Dobór konkretnego systemu cumowniczego jest skomplikowany i wymaga przeanalizowania szeregu czynników. Najczęściej stosowanymi systemami cumowniczymi są: cumowanie do pali stalowych, cumowanie za pomocą bomów cumowniczych, cumowanie za pomocą lin (cum), cumowanie za pomocą martwych kotwic i kotwic Seaflex. Konsekwencje wynikające...
-
Prawne aspekty wykorzystania Internetu w procesie kształcenia studentów
PublicationZajęcia prowadzone z wykorzystaniem metod i technik kształcenia na odległość nabierają coraz większego znaczenia w związku z rozwojem technologii informacyjno−komunikacyjnych. Pozwalają one na zastosowanie nowych form przekazywania wiedzy oraz komunikacji nauczycieli akademickich i studentów. Pamiętać należy, że przepisy dotyczące usług internetowych nie zostały stworzone z myślą o regulacji e−nauczania. W 2006 roku Ministerstwo...
-
FINANSOWANIE ODNOWY ZABYTKÓW W POLSCE PRZY WYKORZYSTANIU POMOCY UE
PublicationRola zabytków w gospodarce rynkowej jest dwojaka. Z jednej strony budują tożsamość narodową i pełnią funkcje społeczne, a z drugiej – stanowią produkt rynkowy, który wspiera rozwój regionalny pod względem atrakcyjności turystycznej oraz inwestycyjnej. Polskie zabytki nieruchome mogą być wykorzystywane do budowy przewagi konkurencyjnej kraju, jednak z uwagi na ich zły stan techniczny, wymagają nieustannych prac konserwatorskich....
-
Semi-Markov model of diesel engines' operating process.
PublicationNajistotniejszym problemem eksploatacji silników o zapłonie samoczynnym jest problem racjonalnego (a zwłaszcza optymalnego) sterowania procesem eksploatacji tych silników. Sterowanie takie może ułatwić zastosowanie iteracyjnego algorytmu wyznaczania optymalnych strategii opracowanego przez R.A. Howarda. Wykorzystanie jednak tego algorytmu do sterowania procesem eksploatacji silników wymaga między innymi opracowania modelu procesu...
-
Semi-Markovian models of the process of technical state changes of technical objects.
PublicationNajistotniejszym problemem eksploatacji wszystkich obiektów technicznych (urządzeń) jest problem racjonalnego (a zwłaszcza optymalnego) decyzyjnego sterowania procesem zmian stanów technicznych tych obiektów. Sterowanie takie może być realizowane w przypadku zastosowania między innymi modelu wspomnianego procesu zmian stanów. Mając to na uwadze, w opracowaniu tym przedstawiono formalny opis procesu eksploatacji obiektów technicznych...
-
DEM Analyses of Interface Behaviour Between Cohesionless Sand and Rigid Wall of Different Roughness
PublicationArtykuł dotyczy trójwymiarowych symulacji numerycznych quasi-statycznego ścinania między niespoistym piaskiem a sztywnymi ścianami w aparacie bezpośredniego ścinania ścian. Chropowatość ścian sztywnych wahała się od gładkiej do bardzo szorstkiej. Na górną ścianę działało stałe ciśnienie normalne. Symulacje numeryczne przeprowadzono metodą elementów dyskretnych (DEM). Ziarna piasku opisywano jako kulki z momentami kontaktowymi...
-
DYNAMICZNA APLIKACJA INTERNETOWA SYMULACJI OBWODOWEJ MASZYNY INDUKCYJNEJ. UJĘCIE OBIEKTOWE
PublicationArtykuł dotyczy zastosowania dynamicznej aplikacji internetowa do symulacji obwodowej silnika indukcyjnego trójfazowego, wykorzystującej interfejs przeglądarki WWW. Model obwodowy silnika sformułowano w układzie osiach naturalnych i ujęciu metody energetycznej Lagrange’a. Implementację modelu maszyny w aplikacji internetowej wykonano w projekcie typu Web Forms, który jest elementem środowiska Microsoft Visual Studio. Kod programu...
-
Metody wspomagania wyszukiwania informacji
PublicationWyszukiwanie informacji analizowane może być z perspektywy użytkownika i w kontekście tego, jakie czynności może on podjąć, aby odnaleźć interesujące go informacje bez wsparcia ze strony analizatora języka. Użytkownicy stosują wyszukiwarki internetowe, jednak często nie są świadomi pełnego zakresu ich możliwości. Wyszukiwanie za pomocą wyszukiwarek polega na wprowadzaniu zapytań w polu tekstowym. Opracowane zostały liczne metody...
-
Sterowanie ruchem 2-kołowej platformy mobilnej przy energetycznym wskaźniku jakości
PublicationW pracy przedstawiono metodę sterowania optymalnego ruchem 2-kołowej platformy mobilnej bazującą na minimalizacji zmiennego w czasie energetycznego wskaźnika jakości. Prezentowana metoda minimalizuje błędy położenia i błędy w nadzorowanych prędkościach ruchu. Ponieważ prezentowany algorytm jest efektywny numerycznie, możliwe jest generowanie sygnałów sterujących z dużą częstotliwością. Przedstawiono wyniki badań symulacyjnych dla...
-
Ontologie vs. reguły — porównanie metod reprezentacji wiedzy na przykładzie dziedziny zarządzania usługami informatycznymi
PublicationTekst stanowi krótki przegląd wybranych konstrukcji służących reprezentacji wiedzy w postaci ontologii opartych na logice opisowej i porównanie ich z odpowiednikami opartymi na zapisie regułowym. Z powodu ograniczonej liczby stron pokazano tylko elementy związane z reprezentacją konceptów, bez uwzględniania ról. Do zapisu ontologii wykorzystano formalizmy języka OWL, zaś reguły wyrażono w Prologu. Dla lepszego zilustrowania tych...
-
Poszukiwanie piękna w architekturze ponowoczesnej w twórczości SANAA
PublicationJesteśmy świadkami i jednocześnie uczestnikami przemian cywilizacyjno-kulturowych, jakie dokonują się we współczesnym świecie. Również estetyka jest dyscypliną w fazie poszukiwań, która próbuje na nowo odnaleźć swoją formułę.W centrum współczesnej estetyki znajdują się sztuki przestrzeni, wśród których prym wiedzie architektura uwikłana w odwieczną aporię piękna i użyteczności . Ważne i istotne wydaje się pytanie czym jest piękno...
-
Comments on ''Incremental construction and maintenance of minimal finite-state automata'' by Rafael C. Carrasco and Mikel L. Forcada.
PublicationW opublikowanym niedawno artykule (czerwiec 2002) Rafael Carrasco i Mikel Forcada przedstawili dwa algorytmy: jeden dotyczący przyrostowego dodawania łańcuchów znaków do języka minimalnego, deterministycznego, cyklicznego automatu skończonego, drugi dotyczący przyrostowego usuwania łańcuchów znaków z automatu. Pierwszy algorytm jest uogólnieniem ,,algorytmu dla danych nieuporządkowanych'' - drugiego z dwóch przyrostowych algorytmów...