Filtry
wszystkich: 3578
wybranych: 2419
-
Katalog
- Publikacje 2419 wyników po odfiltrowaniu
- Czasopisma 90 wyników po odfiltrowaniu
- Wydawnictwa 2 wyników po odfiltrowaniu
- Osoby 569 wyników po odfiltrowaniu
- Wynalazki 1 wyników po odfiltrowaniu
- Projekty 42 wyników po odfiltrowaniu
- Laboratoria 5 wyników po odfiltrowaniu
- Zespoły Badawcze 4 wyników po odfiltrowaniu
- Kursy Online 104 wyników po odfiltrowaniu
- Wydarzenia 341 wyników po odfiltrowaniu
- Dane Badawcze 1 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: BIBLIOTEKA POLITECHNIKI GDAŃSKIEJ
-
System wspomagający diagnozowanie chorób na obrazach endoskopowych przy użyciu nowoczesnych algorytmów działających na platformie Kaskada
PublikacjaPraca ma na celu opisanie działania systemu, stworzonego w ramach projektu Mayday 2012 prowadzonego przez Politechnikę Gdańską, mającego na celu wspomaganie lekarza w badaniach endoskopowych. W pracy przedstawiono poszczególne komponenty, z których składa się system, ich wzajemne powiązania oraz sposób integracji ze środowiskiem równoległego przetwarzania KASKADA (Kontekstowa Analiza Strumieni danych z Kamer dla Aplikacji Definiujących...
-
Rozpoznawanie dynamicznych i statycznych gestów rąk w zastosowaniu do sterowania aplikacjami komputerowymi
PublikacjaW referacie przedstawiono interfejs, metody oraz algorytmy sterowania komputerem za pomocą dynamicznych i statycznych gestów rąk. Komponentami opracowanego rozwiązania są komputer klasy PC wraz z opracowanym interfejsem i oprogramowaniem, kamera internetowa oraz projektor multimedialny. Gesty rozpoznawane są w procesie analizy obrazu wizyjnego pozyskanego z kamery internetowej przymocowanej do projektora oraz analizy obrazu wyświetlanego...
-
Applying agiile practices to the development of safety-critical software
PublikacjaDevelopment of safety critical software is subjected to numerous restrictions and recommendations. To meet these requirements classical software development models (e.g. V-model) are usually applied. Agile methodologies, although rapidly increasing their popularity, were generally regarded as unsuitable for such projects. However, they offer potential benefits which provide a strong incentive to incorporate them into safety-critical...
-
Łączony fingerprinting i kryptograficzne zabezpieczenie danych z wykorzystaniem szyfru Hilla
PublikacjaW referacie przedstawiono rozwinięcie metody Hillcast znakowania obrazów, która należy do grupy metod wprowadzających fingerprinting przy deszyfracji zabezpieczonego kryptograficznie obrazu (ang. JFD (Joint Fingerprinting and Decryption)), której głównym przeznaczeniem są usługi wideo na żądanie (ang. VoD (Video on Demand)). Metoda zapewnia kryptograficzne bezpieczeństwo oraz znakowanie treści multimedialnych, przy jednoczesnym...
-
Metoda pirolizy aerozolowej - przygotowanie warstw antykorozyjnych na stali nierdzewnej
PublikacjaW pracy sprawdzony została możliwość wykorzystania metody pirolizy aerozolowej do wytwarzania warstw ochronnych na podłożu ze stali 316L. Jako warstwy ochronne zastosowano materiał tlenku cyrkonu stabilizowanego itrem.
-
Projektowanie gier komputerowych z wykorzystaniem Unreal Development Kit
PublikacjaW pracy przedstawiono pakiet narzędziowy Unreal Development Kit (UDK) umożliwiający tworzenie gier w oparciu o silnik Unreal Engine 3 (UE3). Silnik ten umożliwia tworzenie wieloplatformowych, zaawansowanych graficznie gier praktycznie dowolnego typu. UDK jest zasadniczo kompletnym środowiskiem wytwarzania gier oferując rozmaite narzędzia modelowania poziomów, w tym: edytor brył geometrycznych, siatek obiektów i terenu, bibliotekę...
-
Wirtualny gabinet medyczny
PublikacjaW pracy zaprezentowane możliwości opracowanego serwisu Wirtualny Gabinet Medyczny umożliwiającego dokonywanie konsultacji lekarskich bez konieczności opuszczania domu.
-
Zautomatyzowana budowa modeli 3D pomieszczeń
PublikacjaW artykule przedstawiono budowę systemu do automatycznej budowy modeli 3D wnętrz budynków. System taki może być stosowany do tworzenia lokacji w grach komputerowych. Model jest tworzony na bazie kolorowych oraz głębokościowych obrazów pobranych z kamery Microsoft Kinect. Opisano architekturę komponentową systemu, zastosowane sterowniki do komunikacji. Podano zastosowany algorytm sekwencyjny i równoległy, środowisko testowe oraz...
-
An automated microwave planar filter design based on space mapping optimization
Publikacja -
Implementacja programowa i badanie kwaternionowego systemu kryptograficznego
PublikacjaW pracy przedstawiono zastosowanie kwaternionów w dziedzinie szyfrowania danych. Opisywana metoda szyfrowania opiera się na kwaternionowej rotacji przestrzennej wektora danych względem kwaternionu-klucza i może zostać zrealizowana na dwa sposoby. Pierwszy skupia się na obliczeniu macierzy rotacji i przeprowadzeniu szyfrowania jako mnożenia macierzowego, drugi natomiast realizuje rotację kwaternionową zgodnie z rachunkiem kwaternionowym....
-
Frequency-dependent coupling model for microwave band-pass filter
PublikacjaThe goal of this work was to create a circuit model which represents frequency-dependent coupling between microwave resonators. Our models are designed for in-line filters. The frequency-dependent coupling enables one to realize a transmission zero which is not possible in classical approach with frequency independent inverters. In addition, the proposed model allows us to observe out-of-band behavior, e.g. spurious resonance....
-
Podeście do doskonalenia procesów w firmie informatycznej wspierane przez narzędzie Eclipse Process Framework Composer
PublikacjaArtykuł przedstawia podejście do doskonalenia procesów w mniejszych firmach informatycznych z wykorzystaniem narzędzia Eclipse Process Framework Composer. Podejście obejmuje modelowanie procesów wytwarzania oprogramowania w EPF Composer oraz wykorzystanie tych modeli do bieżącego zarządzania projektami w istniejących narzędziach wspomagających. Omówiono kroki wdrożenia rozwiązania, w tym sposób integracji modelu procesu z posiadanymi...
-
Generowanie nieregularnej siatki terenu przy uwzględnieniu procesów hydrologicznych
PublikacjaFraktalne metody generowania terenu należą do jednych z najbardziej podstawowych, jednak często są stosowane do struktur regularnych. Proponowany algorytm, w oparciu o własności triangulacji Delaunay oraz diagramu Voronoi, znajduje zastosowanie przy dynamicznym generowaniu nieregularnej siatki trójkątów. Pozwala to na wizualizację realistycznego terenu z uwzględnieniem procesów hydrologicznych w jego ukształtowaniu.
-
Rozpoznawanie chorób układu pokarmowego z wykorzystaniem technik sztucznej inteligencji
PublikacjaCelem pracy jest przedstawienie i ocena algorytmów rozpoznawania chorób w filmach endoskopowych pod kątem możliwości ich zastosowania do budowy systemów automatycznego wykrywania chorób dla rzeczywistego wspomagania badań lekarskich. Porównano efektywność najnowszych algorytmów poprzez pomiar ich skuteczności w zaawansowanym środowisku testowym, zbudowanym w oparciu o materiały z filmów endoskopowych, opracowane we współpracy z...
-
Przechowywanie złożonych funkcji oświetlenia w postaci mapy normalnych
PublikacjaMapy normalnych są jedną z najszerzej stosowanych technik w grafice komputerowej, gdyż pozwalają na stosunkowo mało kosztowne odzwierciedlenie detali obiektów i ich interakcji z oświetleniem. Standardowe mapy normalnych przechowują jednak informacje jedynie o orientacji fragmentów powierzchni i nie oddają efektu rzucania cieni w ramach jednej powierzchni. Prezentowany w artykule algorytm pozwala na zakodowanie w standardowej mapie...
-
Charakteryzacja warstw tlenkowych na stali 316L dla potzeb implantów biomedycznych
PublikacjaW pracy sprawdzony został wpływ warstw ochronnych na poprawę odporności korozyjnej stali 316L. Jako warstwy ochronne zastosowano materiał tlenku cyrkonu stabilizowanego itrem.
-
Moduł gier miejskich dla elektronicznego przewodnika multimedialnego EGIT
PublikacjaW artykule przedstawiono charakterystykę dostępnych rozwiązań i platform gier miejskich oraz dokonano ich porównania. Przedstawiono koncepcję definiowania funkcjonalności modułu gier miejskich stanowiącego rozszerzenie przewodnika eGIT. Opisano architekturę komponentową elektonicznego, bezprzewodowego, multimedialnego przewodnika eGIT wraz z modułem gier miejskich. Przedstawiono proces integracji modułu z aplikacją bazową eGIT,...
-
Rozległe systemy uziemień w ochronie odgromowej
PublikacjaW artykule zostały omówione procedury i wymagania stawiane systemom uziemień przez przepisy normalizacyjne z punktu widzenia ich skuteczności w systemie ochrony odgromowej. Podstawą tak sformułowanej oceny są pomiary z zastosowaniem metody udarowej. Metoda taka okazuje się bardzo przydatna zwłaszcza w przypadku uziemień rozległych, jakie pojawiają się we współczesnych obiektach wskutek połączenia różnych elementów uziemiających...
-
Stadion PGE Arena Gdańsk - niezawodność zasilania i ochrona przeciwporażeniowa
PublikacjaW artykule przedstawiono problematykę zasilania stadionu piłkarskiego PGE Arena Gdańsk. Zwrócono uwagę na układ zasilania obiektu z punktu widzenia niezawodności dostawy energii elektrycznej wymaganej w szczególności podczas międzynarodowych imprez sportowych rangi mistrzowskiej. Omówiono przyjęte rozwiązania ochrony przeciwporażeniowej w urządzeniach wysokiego i niskiego napięcia.
-
Proposal of a method for effective tasks distribution in the execution of compolex problems
PublikacjaAn access to a great number of various services allows for decomposition of complex problems into smaller and less complex tasks. Those tasks can be presented in a form of a dependency graph. This paper shows an idea of executing such a problem using cooperating autonomous agents. Main focus of this work is cooperation covering effective tasks distribution among executors. This paper presents an algorithm for dynamic executor selection...
-
Polynomial triset metric for unrooted phylogenetic trees
Publikacjathe following paper presents a polynomial triset metric for unrooted phylogenetic trees (based on weighted bipartite graphs and the method of determining a minimum edge cover) and its basic characteristics. also a list of further directions of research and examples of the wider use of this metric is presented.
-
Wykorzystanie silnika graficznego JMONKEYENGINE 3 oraz jego środowiska wytwórczego w procesie tworzenia gry
PublikacjaZaprezentowano 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...
-
A proposition for integrating elements of game universe by means of behavioral trees
PublikacjaModern computer games often involve autonomous beings collaborating and competing with each other to reach their objectives in the game universe. It seems only natural to use agent-oriented approach in such cases. This article identifies the rules of building a game universe as an environment for executing agents. The paper also covers a method for decomposing compound behaviors into behavioral trees. Dividing complex behaviors...
-
Smooth start for strategry game development supported by XNA framework
PublikacjaTo attract young and casual game developers, Microsoft created a set of libraries oriented towards easier game development and end-product management. The aim of XNA Framework is to provide a unified software development environment for creating games for both PC's and dedicated platforms like XBOX consoles or mobile phones capable of 3D acceleration. The use of modern, object oriented languages available for the .NET platform...
-
Gra słowna do pozyskiwania wiedzy językowej
PublikacjaW 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...
-
Labyrynths generators, their properties and practical application in computer games
Publikacjathis paper presents three basic algorithms for generation of mazes, and many of their modifications and examples showing their practical application in creating random structures that resembles those from the real world. the paper highlights the difference in the labyrinths classes generated by listed algorithms and describes a specific and highly likely to occur shapes that occur in generated mazes. particular attention was paid...
-
Układ indukcyjnego systemu grzewczego o zmniejszonej emisji zaburzeń
PublikacjaPrzedstawiono wyniki pracy nad indukcyjnym systemem grzewczym, w którym w szczególności uwzględniono problemy minimalizacji zaburzeń elektromagnetycznych wprowadzanych w czasie pracy do sieci zasilającej. W pracy przedstawiono i opisano zastosowany układ indukcyjnego systemu grzejnego oraz przedstawiono uzyskane wyniki badań rozwijanej konstrukcji i zalecenia konstrukcyjne
-
Diagnostyka średnionapięciowych warystorowych ograniczników przepięć
PublikacjaW pracy przedstawiono stosowane w praktyce metody oceny stanu technicznego warystorowych ograniczników przepięć średniego napięcia. Opisano metody stosowane w badaniach laboratoryjnych oraz w eksploatacji - wykonywane bez wyłączania ograniczników z sieci. Analiza stosowanych metod diagnostycznych została uzupełniona wynikami pomiarów prądu upływu ograniczników średniego napięcia (SN) bezpośrednio z produkcji oraz eksploatowanych...
-
Zdalne monitorowanie obiektów wyposażonych w instalację KNX
PublikacjaW artykule przedstawiono ideę i możliwości techniczne zdalnego monitorowania elementów instalacji elektrycznych wykonanych w standardzie KNX. Pokazano przykłady istniejących rozwiązań komercyjnych oraz ich ograniczenia. Zaprezentowano prototyp aplikacji opracowanej dla systemu Windows w języku C#, wykorzystującej bibliotekę Falcon do komunikacji z magistralą KNX. Umożliwia ona nadzór za pośrednictwem przeglądarki internetowej nad...
-
Metody rozwiązywania problemu zapisu norm prawnych w postaci ontologii OWL
PublikacjaArtykuł dotyczy problemu zapisu norm prawnych w postaci umożliwiającej systemom komputerowym automatyczne przetwarzanie treści tych norm i ich interpretowanie. Artykuł przedstawia możliwości wykorzystania komputerów do podawania bieżącego stanu prawnego oraz pełnienia funkcji doradczej. W artykule opisana jest realizacja tego zagadnienia opierająca się na zapisie norm prawnych w postaci ontologii wyrażonych w języku OWL. Zapis...
-
Sterowanie czujnikami pracującymi w sieci zigbee przy pomocy komend glosowych
PublikacjaPrzedstawiono bezprzewodową sieć sensorową, pobierającą i przekazującą informacje z czujników temperatury i oświetlenia sterowanych głosem. Funkcjonalność systemu może zostać wykorzystana do sterowania urządzeniami automatyki domowej. System składa się z trzech zasadniczych elementów: koordynatora sieci ZigBee, urządzenia końcowego (pomiarowego) wyposażonego w czujniki światła i temperatury oraz komputera PC. Użytkownik może zarządzać...
-
Mechanizmy wsparcia rozwoju wysokosprawnej kogeneracji i OZE oraz wykorzystania energii odpadowej w Polsce i UE
PublikacjaPrzedstawiono zobowiązania i główne wnioski zawarte w dyrektywach Komisji Europejskiej oraz w krajowych ustawach i rozporządzeniach ministerialnych, dotyczących wdrożenia mechanizmu wsparcia źródeł rozproszonego wytwarzania energii. Skupiono się głównie na wsparciu dla rozwoju wysokosprawnej kogeneracji. Zaprezentowano szanse wynikające dla małych i średnich przedsiębiorstw, działających w branży instalatorskiej i energetycznej,...
-
Zespół źródeł sygnałow zaburzających małych i wysokich częstotliwości
PublikacjaPrzedstawiono podstawowe przyczyny powstawania zakłóceń w urządzeniach elektrycznych i elektronicznych. Wskazano również główne drogi propagacji sygnałów zakłócających w zakresie małych i wysokich częstotliwości. Wskazano w referacie koncepcje układów elektronicznych mających być wzorcowymi źródłami zaburzeń stosowanymi podczas ćwiczeń laboratoryjnych.
-
System monitorowania linii kablowych i napowietrznych wysokich napięć
PublikacjaWprowadzony do eksploatacji w systemach energetyki zawodowej system VALCAP firmy NKT Cables umożliwia monitoring temperatury wzdłuż żyły przewodu z uwzględnieniem obciążenia oraz temperatury zewnętrznej (tylko dla linii napowietrznych). Referat przedstawia stosowaną w praktyce metodę analizy dopuszczalnego obciążenia prądowego kabla lub przewodu linii napowietrznej w zależności od występujących aktualnych warunków zewnętrznych.
-
Mechanizm zapewniania wiarygodności stron internetowych
PublikacjaZapewnieni wiarygodności danych w Internecie to ważne zagadnienie współczesnej informatyki. Dynamiczny rozwój globalnej sieci komputerowej pociąga za sobą zarówno ogromne korzyści, jak i poważne zagrożenia. W artykule przedstawiono niektóre mechanizmy zapewniania wiarygodności stron WWW takie jak podpis cyfrowy, kryptograficzne podpisywanie mikrotreści czy pieczęcie kontrolne. Opisano wykonany system realizujący mechanizm pieczęci...
-
Pomiar prędkości kątowej z użyciem specjalizowanego interfejsu enkodera kwadraturowego
PublikacjaPrzedstawiono metodę pomiaru prędkości kątowej z użyciem enkodera kwadraturowego i procesora sygnałowego TMS320F28335 wyposażonego w interfejs enkoderowy eQEP. Omówiono budowę i zasadę działania optoelektronicznego enkodera kwadraturowego. Opisano dwie podstawowe metody enkoderowego pomiaru prędkości kątowej, wskazano ich ograniczenia. Zaproponowano połączenie podstawowych metod, uzyskując metodę łączoną odznaczającą się dużą dokładnością...
-
Możliwości stosowania wirtualizacji w systemach komputerowych
PublikacjaWykorzystywana dotychczas głównie w zastosowaniach wojskowych i przemysłowych, na komputerach typu mainframe, wirtualizacja wchodzi obecnie do powszechnego użytku. Wzrost mocy obliczeniowej komputerów osobistych pozwala na wydajne wirtualizowanie nawet kilku systemów operacyjnych na raz. W artykule zostaną opisane trzy obszary zastosowań wirtualizacji: edukacja informatyczna, systemy mobilne oraz bezpieczeństwo systemów komputerowych.
-
Inteligentny budynek - obecne technologie i kierunki rozwoju
PublikacjaW artykule przedstawiono aktualne technologie stosowane podczas realizacji systemów automatyki budynku i nowoczesnych instalacji elektrycznych w nowoczesnych budynkach. Omówiono podstawowe funkcje tych systemów oraz korzyści wynikające z ich stosowania. Przedstawiono najpopularniejsze standardy oraz zaprezentowano przewidywane kierunki rozwoju.
-
Ultradźwiękowy moduł antymaskingu dla czujek ruchu PIR
PublikacjaPrzedstawiono podstawowe założenia, jakie powinien spełniać moduł funkcji antymaskingu, stosowany wraz z czujnikami ruchu opartymi o technologię PIR, umożliwiający spełnienie podstawowych wymagań zawartych w normach serii EN50131. W oparciu o wymagania, stworzono układ spełniający wszystkie wymagania zawarte w normach i dostosowano go do zainstalowania w istniejących obudowach czujek. W pracy przybliżone zostaną podstawy teoretyczne...
-
Diagnostics of zno varistors by means of nondestructive testing
PublikacjaStandard industrial testing of high-voltage varistors for surge arresters demands application of high voltages and intensive currents. Nondestructive methods for varistor quality and endurance evaluation have been proposed and described. They rely on the application of resonant ultrasound spectroscopy, electro-ultrasonic spectroscopy, noise measurement and nonlinearity testing at voltages lower than continuous operating range....
-
Wykorzystanie procedur oceny zgodności do optymalizacji konstrukcji urządzeń w inteligentnych instalacjach elektrycznych
PublikacjaW referacie przedstawiono wybrane zalecenia normalizacyjne związane z wymaganiami dyrektywy kompatybilności elektromagnetycznej (EMC) dla urządzeń automatyki zawierających wyposażenie elektroniczne. Wprowadzanie powyższych wyrobów do obrotu na rynku europejskim wymaga przeprowadzenia oceny zgodności produktu z wymaganiami odpowiednich dyrektyw: niskonapięciowej, kompatybilności elektromagnetycznej, a w przypadku sterowania bezprzewodowego...
-
Model matematyczny bezpiecznika krótkotopikowego
PublikacjaAnalizuje się działanie bezstykowego ogranicznika prądów zwarciowych (CHCL) w oparciu o symulację komputerową. Bezpiecznik krótkotopikowy stanowi główny tor prądowy ogranicznika a jego charakterystyki decydują o własnościach CHCL. W symulacji działania ogranicznika istotnym problemem jest taki dobór modelu bezpiecznika krótkotopikowego, aby pomimo daleko idących zmian jego własności, w czasie działania, od momentu pojawienia się...
-
Representation of magnetic hysteresis in tape wound core using Preisach's theory
PublikacjaW referacie przedstawiono model matematyczny histerezy magnetycznej w ujęciu klasycznej teorii Preisacha. Dokonano implementacji skalarnego modelu Preisacha w odniesieniu do rdzenia zwijanego z taśmy typu ET114-27. Do symulacji różnych stanów magnetycznych rdzenia wykorzystano jedynie dane z pomiarów głównej pętli histerezy. Wyznaczono funkcję Everetta i funkcję dystrybucji Preisacha badanego rdzenia. Uzyskano ogólnie dobrą zgodność...
-
Construction of phylogenetic trees with topological constraints
PublikacjaThis paper proposes a method of reconstruction of phylogenetic trees based on heuristic search with topological constraints. Using topological constraints it is possible to reduce the set of solutions as well as to enforce that the result is consistent with a given hypothesis about the evolution process within some group of species. Along with this work a number of algorithms used for phylogenetic analysis were implemented. Those...
-
Analysis of elementary cellular automata using the theory of conflict
PublikacjaThe paper contains decomposition of elementary cellular automata (ECA in short) to subsystems that are defined according to a new theory called theory of conflict (ToC in short). The decomposition is a completely new approach to analysis of ECA and complex systems in general.
-
Application of spectroscopy to the measurement of blood parameters
PublikacjaSpectroscopy is the study of formation and interpretation of the spectra arising from the interactions of all types of radiation on matter, understood as a collection of atoms and molecules. This is a very important department of optics which gives us many opportunities to measure various parameters such as material blood parameters. Among the diseases that are associated significantly with changes in rheological properties of...
-
Automatyzacja przypadków testowych dla aplikacji internetowej
PublikacjaArtykuł przedstawia doświadczenia związane z doskonaleniem procesu testowania złożonego systemu internetowego, którego kluczowy element stanowi aplikacja kliencka wykonana w technologii AJAX. Podjęte działania ukierunkowane na zapewnienie jakości, w tym wysokiej niezawodności, doprowadziły do powstania obszernego zbioru przypadków testowych. Wraz z rozwojem systemu przypadki testowe podlegały ewolucji. Początkowo wykonywane były...
-
Mechanizm dostarczania usług w chmurze: roxzwiązanie NOR-STA
PublikacjaArtykuł prezentuje mechanizmy udostępniania w chmurze usług rozwijanych w ramach projektu NOR-STA. Są one ukierunkowane na wspomaganie procesów dochodzenia do zgodności i oceny zgodności z normami i standardami. W projekcie NOR-STA prowadzone są obecnie eksperymentalne badania wdrożeniowe we współpracy z partnerami z sektorów ochrony zdrowia i biznesu. Usługi NOR-STA są udostępniane zgodnie z modelem Software as a Service (SaaS)....
-
Porównanie wydajności modyfikacji algorytmu Proof-number search uwzględniających wartości remisowe
PublikacjaProof-number search to znana rodzina algorytmów służących do wyznaczania wartości pozycji w nielosowych grach dwóch graczy z pełną informacją. W wersji podstawowej pn-search doskonale radzi sobie z wyszukiwaniem strategii wygrywającej jednego z graczy. Jednak istnieje wiele znanych gier, w których obydwaj gracze posiadają jedynie strategię remisującą (Młynek, Awari, Warcaby). W niniejszej pracy porównano wydajność dwóch modyfikacji...
-
Ocena poprawności działania algorytmu proof-number search na strukturze digrafu acyklicznego
PublikacjaAlgorytm proof-number search jest znanym algorytmem służącym do rozwiązywania gier logicznych. Rozwiązanie gry jest jednoznaczne ze znalezieniem optymalnej strategii i pozwala przeprowadzić rozgrywkę w sposób pozwalający na osiągnięcie najlepszego możliwego wyniku. Jedną z największych wad tego algorytmu, naturalnie pracującego na strukturze drzewa, jest wielokrotne rozwijanie identycznych poddrzew gry co prowadzi do nadmiarowego...