Search
Filters
total: 3036
filtered: 1390
-
Catalog
- Publications 1390 available results
- Journals 8 available results
- People 40 available results
- Inventions 13 available results
- Projects 9 available results
- Research Teams 4 available results
- Research Equipment 1 available results
- e-Learning Courses 284 available results
- Events 19 available results
- Open Research Data 1268 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: gry logiczne
-
KUBIT LOGICZNY
Publication -
Przetwarzanie wyrażeń języka naturalnego w wyrażenia logiczne - system Denise
PublicationPo krótkim wprowadzeniu do systemów reprezentacji wiedzy i wnioskowania omówiono eksperymentalny system przetwarzania zdań w języku polskim w wyrażenia rachunku zdań i logiki pierwszego rzędu.
-
Wykorzystanie ontologii wzbogaconych o reguły logiczne w systemach integracji danych.
PublicationCelem systemów integracji danych jest dostarczenie jednolitego interfejsu do wielu, dostępnych w sieci heterogenicznychźródeł informacji. Wraz z rozwojem Internetu opracowanie metodologii zarządzania wiedzą poprzez systemy integracji danych stało się jednym z fundamentalnych problemów zarządzania informacją. W ramach inicjatywy semantic Web powstał język OWL (Web Ontology Language) umożliwiający opisywanie semantyki różnych danych....
-
Magiczne światło - koncept HCL
PublicationŚwiatło od wieków kojarzone było ze strefą sacrum, zjawiskiem nie do końca poznanym mistycznym i magicznym. Twórcy dzieł artystycznych lub architektonicznych często odwoływali się do konotacji świetlnych, próbując oddać relacje człowieka z rzeczywistością pozamaterialną lub pozazmysłową, oraz stworzyć wnętrza inspirujące takie przeżycia. Pomimo mistycznej otoczki światło jako zjawisko fizyczne zostało opisane językiem technicznym...
-
"Znani - Nieznani" - scanariusz gry miejskiej.
PublicationAutorzy publikują scenariusz autorskiej gry miejskiej, zorganizowanej w Archiwum Państwowym w Lublinie z okazji Międzynarodowego Dnia Archiwów. W przebiegu gry wykorzystane zostały nie tylko źródła archiwalne, księgozbiór biblioteki archiwalnej ale także projekty cyfrowe prezentowane w Internecie - fotoblog Galeria Jezuicka 13 czy Lubelskie Dossier - znani nieznani w materiałach archiwalnych. Scenariusz gry oparty został na...
-
Edu Inspiracje WZiE: Gry symulacyjne w edukacji
Publication -
Metodyka Logicznego Wnioskowania w procesie realizacji zmiany.
PublicationRozdział ten jest poświecony problematyce możliwości wykorzystania metodyki i narzędzi Wnioskowania Logicznego w celu planowania i realizacji efektywnej zmiany. Przedstawiono w nim trzyetapowy model procesu Logicznego Wnioskowania i scharakteryzowano funkcje poszczególnych narzędzi. Zaprezentowano również przykłady budowy wybranych narzędzi TOC TP. W rozdziale przedstawiono ponadto miejsce poszczególnych narzędzi Logicznego Wnioskowania...
-
Vocabula Latina. (Nie)typowe gry i zabawy językowe
Publication -
Wykorzystanie wnioskowania logicznego w planowaniu i sterowaniu produkcją
PublicationEfektywną realizację zmain, również w procesie planowania i sterowania produkcją, wspomagają odpowiednie metody i narzędzia. W artykule przedstawiono etapy realizacji pełnej zmiany według Logicznego Wnioskowania, zgodnej z teoria Ograniczeń. Scharakteryzowano też cel i zakres stosowania poszczególnych narzędzi Logicznego Wnioskowania w realizacji zmainy procesu planowania i sterowania produkcją. Artykuł prezentuje ponadto powiązania...
-
Propozycja silnika fizyki bryły sztywnej dla trójwymiarowej gry komputerowej
PublicationReferat prezentuje autorski silnik dynamiki brył sztywnych działający w czasie rzeczywistym i przeznaczony do symulacji fizycznych na potrzeby gier komputerowych. Ze względu na przeznaczenie silnika przyjęto, że wiarygodność efektów symulacji będzie ważniejsza niż dokładne odwzorowanie zjawisk fizycznych. Pozwoliło to na zastosowanie uproszczonego modelu fizycznego i uzyskanie dzięki temu efektywnego silnika, radzącego sobie w...
-
Fizyka bryły sztywnej dla trójwymiarowej gry komputerowej - propozycja silnika
PublicationReferat prezentuje autorski silnik dynamiki brył sztywnych działający w czasie rzeczywistym i przeznaczony do symulacji fizycznych na potrzeby gier komputerowych. Ze względu na przeznaczenie silnika przyjęto, że wiarygodność efektów symulacji będzie ważniejsza niż dokładne odwzorowanie zjawisk fizycznych. Pozwoliło to na zastosowanie uproszczonego modelu fizycznego i uzyskanie dzięki temu efektywnego silnika, radzącego sobie w...
-
Symulacja rozgrywającego sterowania statkiem z wykorzystaniem niekooperacyjnej gry pozycyjnej
PublicationAlgorytm pozycyjnego sterowania rozgrywającego, umożliwia wyznaczenie bezpiecznej i jednocześnie możliwie najbardziej ekonomicznej drogi własnego statku. W przedstawionym modelu gry pozycyjnej założono, że spotkane obiekty mogą manewrować, co powoduje, że w każdym kroku obliczeniowym istnieje możliwość oceny sytuacji nawigacyjnej, oznacza to tym samym, że algorytm może pracować w trybie on-line. Mając dane parametry własnego statku,...
-
Implementacja reguł animacji w logice rozmytej
PublicationZaprojektowano system komputerowy wspomagający tworzenie animacji. System wykorzystuje reguły animacji wywodzące się z animacji tradycyjnej. Reguły opisują sposób uzyskiwania animacji postaci nacechowanych emocjonalnie. Na potrzeby badań zostały one sformułowane w logice rozmytej i zaimplementowane w języku programowania Python. Wykorzystując system wygenerowano animacje testowe, które poddano ocenie subiektywnej, w celu określenia...
-
QoS-sensitive selfish behavior in ad hoc wireless lans: a stochastic game model
PublicationRozważany jest prosty model stacji sieci bezprzewodowej wprowadzają-cych ruch elastyczny przy wymaganiu minimalnej przepływności. Każda stacja, okresowo przełączając się na egoistyczną konfigurację MAC, próbuje wyeliminować inne stacje z ubiegania się o pasmo sieci. Dla powstającej w ten sposób gry zastosowano model gry markowowskiej i pokazano istnienie symetrycznego punktu równowagi strategicznej.
-
Quality of service games in an IEEE 802.11 ad hoc wireless LAN
PublicationW pracy wykazano, że gdy wymaganie na minimalną przepływnośc stacji przekracza wielkość wyznaczoną przez punkt optimum w sensie Pareto, okazjonalna egoistyczna konfiguracja MAC pozwala stacjom uczestniczyć w grze typu kolejkowego, w której wypłatą jest uzyskana przepływność. Zaprezentowano przykładowe scenariusze takiej gry oraz dokonano jej analizy przy pomocy modelu gry stochastycznej, wykazując istnienie punktu równowagi oraz...
-
From grey to green
PublicationThe article presents conceptual project made by students during Urban European Summer School “City on water” in Bremen 2015. The area of study was Hemelingen, Aller-Harbour, Bremen, Germany. The aim was to make a design of regeneration of the area. Students were free in choosing methods and ideas for their project.
-
Metody strukturalnej analizy ontologii opartych na logice opisowej
PublicationW rozprawie przedstawiono opracowaną przez autora metodę wewnętrznej reprezentacji ontologii opartych na logice opisowej: kartografię wiedzy. Metoda ta służy przede wszystkim zwiększeniu efektywności wnioskowania dla baz wiedzy zawierających dużą liczbę asercji. W pracy przedstawiono formalizm opracowanej metody oraz towarzyszące jej algorytmy. Kartografię wiedzy wykorzystano w ramach projektu PIPS (6. Program Ramowy UE), a testy...
-
Grafo-mania, czyli rzecz o grafach i algorytmach. Gry chromatyczne na grafach.
PublicationW minieseju analizujemy grę 2-osobową, polegającą na tym, że Alicja i Bogdan współdziałają by pomalować mapę narysowaną na płaszczyźnie.
-
Tworzenie map konceptów dla ontologii opartych na logice opisowej
PublicationW poprzednich pracach przedstawiono nową metodę reprezentacji wiedzy nazwaną metodą kartograficzną. Metoda ta pozwala na uchwycenie zależności pomiędzy pojęciami wyznaczonymi w ramach terminologii, jak również na stopniowe (w miarę zwiększania się naszej wiedzy) przyporządkowywanie indywidualnych obiektów tym pojęciom. Zależności te reprezentowane są w postaci tzw. mapy konceptów. Efektywność budowy mapy konceptów stanowi zagadnienie...
-
Przetwarzanie zapytań w rozproszonej bazie wiedzyopartej na logice opisowej
PublicationRozdział 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.
-
Przetwarzanie zapytań do terminologii ontologiiniepewnych opartych na logice opisowej
PublicationSystemy informatyczne oparte na bazach wiedzy stają się coraz bardziej popularne. Znacząca ilość istniejących systemów do opisu wiedzy wykorzystuje ontologie. Budując ontologie, bardzo często zakłada się, że informacje w nich przechowywane są pewne. W niektórych jednak zastosowaniach takie założenie może nie być do końca prawdziwe. Niniejszy Rozdział wprowadza w tematykę ontologii niepewnych oraz prezentuje propozycje rozszerzenia...
-
Wykorzystanie silnika graficznego JMONKEYENGINE 3 oraz jego środowiska wytwórczego w procesie tworzenia gry
PublicationZaprezentowano podstawy funkcjonowania silników graficznych na platformie Java oraz przedstawiono silnik jMonkeyEngine. Omówiono podstawowe zasady zarządzania obiektami na scenie w jMonkeyEngine i wykonano porównanie do innych rozwiązań. Przedstawiono szczegółowo sposób obsługi modeli trójwymiarowych. Dokonano charakterystyki obsługi operacji wejścia w omawianym silniku. Opisano architekturę opartą na shaderach, która jest stosowana...
-
PRZYKŁAD MODELU GRY FABULARNEJ WSPIERAJĄCY PROCES ZAANGAŻOWANIA I MOTYWACJI STUDENTÓW WYŻSZYCH UCZELNI TECHNICZNYCH
PublicationArtykuł prezentuje koncepcję budowy uniwersalnego scenariusza gry fabularnej, która pomaga zbudować zaangażowanie wśród studentów uczelni technicznych. Jednym ze sposobów na wzmożenie motywacji w procesie uczenia się jest gamifikacja. Gdy gamifikacja wspiera proces nauczania często tworzone są modele tematycznie związane z problematyką danego przedmiotu. Scenariusz proponowanej gry jest uniwersalny i można go wykorzystać w ramach...
-
Gry bardzo serio. CXO Nowy Magazyn Kadry Zarządzającej.**2002 nr 12 s.26-28.
PublicationGry symulacyjne Lean są typem symulacji społecznej, której zasady są opartenie na współzawodnictwie, ale na wypracowaniu zespołowej taktyki działania.Celem symulacji jest wzmacnianie u uczących się umiejętności współdziałania,negocjowania, osiągania kompromisu, wypracowania wspólnej strategii Leanprzez wszystkich uczestników zespołu reprezentujących różne interesy. Arty-kuł przedstawia rodzaje gier symulacyjnych, sposoby...
-
Zmiana procesu planowania i sterowania produkcją a etapy i narzędzia logicznego wnioskowania. - (Logistyka - nauka)
PublicationW artykule przedstawiono etapy realizacji pełnej zmiany przy zastosowaniu Teorii Ograniczeń i Logicznego Wnioskowania. Scharakteryzowano wykonywane działania na każdym etapie zmiany i powiązane z nimi narzędzia. Zaprezentowano również zależności pomiędzy rodzajami zmian procesu planowania i sterowania produkcją a wykonywanymi etapami Logicznego Wnioskowania. W końcowej części artykułu przedstawiono schematy wykorzystania Logicznego...
-
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...
-
Zastosowanie regulatora o logice rozmytej do sterowania trójwymiarowym modelem suwnicy
PublicationW artykule zaprezentowano budowę układu automatycznej regulacji położenia ciężaru dla trójwymiarowego modelu suwnicy. Zaproponowany został układ bazujący na regulatorze opartym o logikę rozmytą. Obiektem sterowania jest trójwymiarowy model matematyczny suwnicy, którego parametry zostały obliczone na podstawie danych o istniejącej suwnicy przemysłowej. Poprawność doboru parametrów została zweryfikowana poprzez szereg eksperymentów....
-
QoS provisioning in a single-cell ad hoc WLAN via queuing and stochastic games
PublicationPokazano, że stosowanie agresywnych strategii dostępu do medium transmisyjnego może stanowić dla stacji sieci gwarancję równej szansy uzyskania pożądanej przepływności oraz zachowania jej na cały czas transferu danych. Przeprowadzono analizę gier typu stochastycznego pod kątem istnienia równowagi strategicznej przy założeniu probabilistycznych strategii dostępu.
-
Koniec ery domków z ogródkiem?
Publication -
Groundwater recharge assessment in dry years
Publication -
An Analysis of Airline GRI and SDG Reporting
PublicationThis study aims to increase our understanding of the Global Reporting Initiative’s (GRI) topic-specific disclosures and the sustainable development goals (SDGs) addressed in the global passenger airline industry’s sustainability reporting (SR). Based on a quantitative content analysis of the industry’s sustainability reports from the financial year 2019 (FY19), this study reveals that airlines focused more on reporting environmental...
-
Czy to jest gryf, czy straszydło
PublicationArtykuł dotyczy prowadzonych w Gdyni-Orłowie prac przy odbudowie i rekonstrukcji willi ''Gryf''. Przedstawia pierwotną architekturę budynku, autora tej realizacji, a także rzeźbiarza, który wykonał detale architektoniczne. Między innymi także piękną rzeźbę gryfa, wieńczącego niegdyś budynek, która to rzeźba zniszczona została podczas wojny. Niestety w trakcie dokonywanej obecnie odbudowy obiektu nie odtworzono jej formy, umieszczając...
-
Gdy w sieci jest powietrze
PublicationPowietrze w sieci wodociągowej i kanalizacyjnej. Problem blokady przepływu w przewodach ciśnieniowych. Problem podciśnienia i zasysania rury. Wtórne zmiany jakości ścieków, zagniwanie, odory. Uciążliwość dla środowiska. Skuteczne rozwiązanie dla obiektu liniowego i dla obiektu punktowego. Filtry, wypełnienia.
-
„Gra (5)” (Alphago vs Sedol)
PublicationTo już trzydziesta, jubileuszowa edycja przedsięwzięcia organizowanego przez Stowarzyszenie „Wielkie Serce” na rzecz Specjalnego Ośrodka Szkolno-Wychowawczego nr 1 im. J. Matejki w Krakowie. Po raz kolejny, ze względu na pandemię, aukcja zostanie zrealizowana w formule internetowej – finał Aukcji odbędzie się 27 listopada, początek o godz. 16.00. Gospodynią wieczoru będzie Anna Dymna. Zanim jednak odbędzie się sama aukcja, od...
-
Historyczne gry dydaktyczne. Rozrywka, regionalizm, refleksja, red. Karol Sanojca, Wydawnictwo LTW, Wrocław 2018, ss. 202.
PublicationRecenzja książki: K. Sanojca (red.), Historyczne gry dydaktyczne. Rozrywka, regionalizm, refleksja
-
Peptide bond modification. I. Simple and efficient method of Boc-Gly[CH(OH)CH2]Gly-OH synthesis.
PublicationZaprezentowano prostą i efektywną metodę syntezy obu enancjomerów t-butoksykarbonylo chronionego pseudo dipeptydu (R) oraz (S)-Boc-Gly[CH(OH)CH2]Gly-OH.
-
BIOGENIC AMINES IN DRY CURED MEAT PRODUCTS
Publication -
Gra słowna do pozyskiwania wiedzy językowej
PublicationW artykule opisano implementację gry słownej w pytania, będącej modelem wyszukiwarki kontekstowej oraz narzędziem do pozyskiwania wiedzy o pojęciach języka naturalnego. Zdefiniowano określenie wyszukiwania kontekstowego oraz przedstawiono opis algorytmu znajdującego obiekty na podstawie ich cech. Scharakteryzowano przyjętą reprezentację wiedzy oraz sposób uczenia się w kontekście innych znanych projektów poruszających problem akwizycji...
-
Problemy odwzorowywania ontologii opartych na logice opisowej w schemat relacyjnej bazy danych.
PublicationArtkuł prezentuje ogólną koncepcję odwzorowywania ontologii opartych na logice opisowej na schemat relacyjnej bazy danych i dane zapisane zgodnie z tym schematem. przedstawia również istniejące podejścia wykorzystujące metody powiązań słabych i powiązań silnych. Prezentuje zalety i wady opisywanych metod, jak również pojawiające się w nich problemy i ograniczenia.
-
Wykorzystanie języka VHDL do modelowania układów pracujących w logice wielowartościowej i arytmetyce resztkowej
PublicationW pracy przedstawiono bibliotekę zbudowaną w oparciu o język VHDL, przeznaczoną do symulacji elementów pracujących w logice wielowartościowej i w arytmetyce resztowej. Zaprezentowano również bramki prądowe - nowe elementy logiczne cechujące się znacznie mniejszym poziomem szumu cyfrowego. Pokazano przykłady sumatorów działających w logice wielowartościowej z podstawą N, lub w arytmetyce resztowej modulo N. Wyróżniającą cechą sumatorów...
-
Environmental costs for exploitation variants of Racibórz dry polder
Publication -
Design of Inner Gate for CRIST Shipyard Dry Dock
PublicationThe paper deals with a removable steel inner gate which was designed to separate two parts of a dry dock of about 70 m in width and 380 m in length. The gate allows for independent assembly of ship structures in two separated parts of the dock. The fore part of the dock can be flooded while the after part is dry. Tthe gate was designed by IDEK Company Ltd in 2011 and it was soon constructed and used by CRIST Shipyard in Gdynia.
-
Gray matter volume in relation to cardio-vascular stiffness
Publication -
Metody reprezentacji i przetwarzania wiedzy w warunkach niepewności w ontologiach opartych na logice opisowej
PublicationW rozprawie przeanalizowano różne istniejące podejścia do problemu zaufania do ontologii, a zwłaszcza te dotyczące wiarygodności źródeł i informacji w nich zawartych. Omówione rozwiązania stosują podejście numeryczne do problemu zaufania, które przysparza jednak mnóstwa problemów związanych z modelowaniem procesu przetwarzania zapytań, jak również z samą interpretacją uzyskanych wyników.W pracy zaprezentowano model systemu zarządzania...
-
Liczby Ramseya on-line dla różnych klas grafów
PublicationRozpatrujemy grę rozgrywaną na nieskończonej liczbie wierzchołków, w której każda runda polega na wskazaniu krawędzi przez jednego gracza - Budowniczego oraz pokolorowaniu jej przez drugiego gracza - Malarkę na jeden z dwóch kolorów, czerwony lub niebieski. Celem Budowniczego jest zmuszenie Malarki do stworzenia monochromatycznej kopii wcześniej ustalonego grafu H w jak najmniejszej możliwej liczbie ruchów. Zakładamy, że gracze...
-
EDD – Economic Benefit Analysis of Extending Dry Docking Interval
Publication -
Construction of pressure pipelines using the modern CC-GRP pipes
PublicationRury GRP mające szczególnie duży zakres średnic powszechnie akceptuje się do przepływów grawitacyjnych. Przedstawiono międzynarodowe doświadczenia ich zastosowania do przepływów ciśnieniowych w wodociągach i kanalizacji. Szczególne doświadczenia w zakresie zastosowania w robotach przy technologiach bezwykopowych.
-
One-dimensional chaos in a system with dry friction: analytical approach
PublicationWe introduce a new analytical method, which allows to find chaotic regimes in non-smooth dynamical systems. A simple mechanical system consisting of a mass and a dry friction element is considered. The corresponding mathematical model is being studied. We show that the considered dynamical system is a skew product over a piecewise smooth mapping of a segment (the so-called base map). For this base map we demonstrate existence of...
-
Estimation of Stresses in a Dry Sand Layer Tested on Shaking Table
PublicationTheoretical analysis of shaking table experiments, simulating earthquake response of a dry sand layer, is presented. The aim of such experiments is to study seismic-induced compaction of soil and resulting settlements. In order to determine the soil compaction, the cyclic stresses and strains should be calculated first. These stresses are caused by the cyclic horizontal acceleration at the base of soil layer, so it is important...
-
Experimental study and numerical simulation of the dynamic penetration into dry clay
PublicationTests of dry clay were carried out in a uniaxial stress state using the experimental setup which implements the split Hopkinson pressure bar method. Based on the results of these experiments, the compressive strength of clay was determined as an important element of S.S. Grigoryan’s model of the soil medium. In addition, the parameters of this model are determined from the results of experiments using the modified Kolsky method...