Filters
total: 2216
-
Catalog
- Publications 1545 available results
- Journals 20 available results
- Conferences 4 available results
- Publishing Houses 1 available results
- People 189 available results
- Inventions 10 available results
- Projects 10 available results
- Laboratories 4 available results
- Research Teams 10 available results
- Research Equipment 13 available results
- e-Learning Courses 365 available results
- Events 41 available results
- Open Research Data 4 available results
displaying 1000 best results Help
Search results for: automatyka budynkow
-
Smaller Representation of Finite State Automata
PublicationThis paper is a follow-up to Jan Daciuk's experiments on space-effcient finite state automata representation that can be used directly for traversals in main memory. We investigate several techniques of reducing memory footprint of minimal automata, mainly exploiting the fact that transition labels and transition pointer offset values are not evenly distributed and so are suitable for compression. We achieve a gain of around 20-30%...
-
Języki formalne, automaty i translatory
PublicationKsiążka stara się w przystępny sposób przedstawić zagadnienia związane z teorią języków formalnych, automatów i translatorów. Wiedza ta pomoże nie tylko zrozumieć zasady stosowanych na co dzień narzędzi informatycznych, ale pomoże również w rozwiązywaniu częstych problemów związanych z przetwarzaniem danych tekstowych o zdefiniowanej strukturze.Książka ta przeznaczona jest przede wszystkim dla szerokiego grona studentów informatyki...
-
Incremental construction of finite-state automata
PublicationRozdział przedstawia algorytmy przyrostowego i półprzyrostowego tworzenia minimalnych deterministycznych automatów skończonych.
-
Projekt iluminacji Gmachu Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
PublicationW pracy przedstawiono wybrane komputerowe wizualizacje iluminacji elewacji północno-wschodniej Gmachu Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej. Opisano problemy projektowania komputerowego i wizualizacji iluminacji obiektów oraz zaprezentowano weryfikację eksperymentalną jednego z wariantów komputerowej iluminacji Gmachu.
-
Nowy algorytmy działania automatyki odciążającej w Krajowym Systemie Elektroenergetycznym.
PublicationW referacie przedstawiono nowy algorytm automatyki odciążającej oparty na elementach logiki rozmytej. Zastosowanie układu Rozmytej Adaptacyjnej Automatyki Odciążającej (RAAO) umożliwia znaczną poprawę zarówno skuteczności jak i jakości procesu odciążania. W referacie zamieszczono przykładowe wyniki badań symu-lacyjnych weryfikujących skuteczność działania zaproponowanego algorytmu. Otrzy-mane wyniki porównano z wynikami uzyskanymi...
-
Wspomaganie projektowania automatyki siłowni statku przy zastosowaniu metody CBR.
PublicationW referacie zaprezentowano metodologię CBR (wnioskowania na podstawie przypadków), zastosowano w systemie ekspertowym wspomagania projektowania automatyki okrętowej na podstawie informacji o statkach zbudowanych oraz modelu dziedzinowego.
-
Wpływ układów elektroenergetycznej automatyki zabezpieczeniowej na dobór przewodów odgromowych
PublicationReferat przestawia problematykę doboru przewodów odgromowych w liniach napowietrznych ze względu na wytrzymałość cieplną. Autorzy wskazują, że w procesie doboru przewodów odgromowych istotna jest wiedza o stosowanych w linii zabezpieczeniach, a przyjmowanie jednego stałego czasu trwania zwarcia dla całej linii jest technicznie i ekonomicznie nieuzasadnione. Jednocześnie w referacie wskazano, że w procesie doboru przewodów odgromowych...
-
Journal of Cellular Automata
Journals -
Destrukcja i renowacja budynków popowodziowych.
PublicationPo powodzi, jaka w lipcu 1997 r. nawiedziła Polskę, wiele budynków mieszkalnych uległo różnorodnej destrukcji. Po wykwaterowaniu mieszkańców część obiektów objęto pracami remontowymi i wzmacniającymi. Ze względu na czas, ocena stanu budynków nie zawsze była prawidłowa i nie zawsze słusznie opracowywano zakres prac sanacyjnych. Część budynków nadających się do remontu rozebrano.W publikacji podano przykłady błędnej oceny obiektów...
-
Ochrona cieplna budynków: Mostki cieplne
PublicationW pracy omówiono mostki cieplne punktowe i liniowe oraz zasady i przykłady wyznaczania współczynnika strat ciepła przez przenikanie z uwzględnieniem mostków cieplnych.
-
Technologie prośrodowiskowe dla budynków miejskich
PublicationWspółczesne duże miasta na całym świecie charakteryzują się dużą i wciąż rosnącą intensywnością zabudowy. Jest to tendencja utrwalona, którą pogłębia idea „miasta zwartego” jako rozwiązania dla problemu nadmiernego rozrastania terytorialnego i rozpraszania się struktury terenów miejskich. Jednocześnie realną potrzebą współczesnych miast jest poprawa jakości ich środowiska (eliminacja zanieczyszczeń, minimalizacja zjawiska miejskiej...
-
Obsługa geodezyjna osiedla wysokich budynków
Publication.
-
Rozproszona automatyka SZR w sieciach rozdzielczych średniego napięcia zgodnych z IEC 61850
PublicationNowe możliwości w realizacji automatyki zabezpieczeniowej wnoszą wymagania normy IEC 61850 (PN-EN 61850) publikowanej od roku 2002 - do chwili obecnej. Zasadniczym celem standardu 61850 jest zapewnienie kompatybilności urządzeń pochodzących od różnych producentów. W artykulke przedstawiono najnowsze wymagania dotyczące czasów rekonfiguracji komunikacji po jej fizycznym przerwaniu. Zaproponowano wielopierścieniową topologię i protokół...
-
Rozproszona automatyka SZR w sieciach rodzielczych średniego napięcia zgodnych z IEC 61850
PublicationNorma IEC 61850 została opublikowana w latach 2002 - 2010 w 14 częściach i jest ciągle aktualizowana. Ujednolica ona zasady wymiany danych pomiędzy urządzeniami systemów elektroenergetyki. Zasadniczym celem standardu 61850 jest zapewnienie kompatybilności urządzeń pochodzących od różnych producentów. Standard zakłada zastosowanie mikroprocesorowych urządzeń stacyjnych IED (ang. Intelligent Electronic Devices), takich jak zabezpieczenia...
-
Ewolucyjna optymalizacja wielokryterialna w automatyce i diagnostyce.
PublicationRozważa się problem optymalizacji wielokryterialnej. Zadania tego rodzaju mogą być skutecznie rozwiązywane za pomocą metod ewolucyjnych z zastosowaniem wprowadzonego ostatnio pojęcia genetycznego rodzajnika, wywodzonego ze stopnia przystosowania analizowanych osobników i stosowanego podczas krzyżowania w procesie wielokryterialnej optymalizacji.
-
Biuletyn Instytutu Automatyki i Robotyki
Journals -
Ocena zgodności regulatorów automatyki z wymaganiami dyrektyw LVD i EMC
PublicationArtykuł przedstawia wstępną analizę wymagań normy PN - EN 60730-1 dotyczącej automatycznych regulatorów elektrycznych do użytku domowego. Podana norma ma status normy zharmonizo-wanej i w związku z tym spełnienie jej wymagań umożliwia producentowi wykazanie zgodności wprowadzonego na rynek wyrobu z wymaganiami dyrektyw - niskonapięciowej (LVD) i kompatybilności elektromagnetycznej (EMC). W artykule szerzej opisano wymagania mające...
-
Zastosowanie badań symulacyjnych w projektowaniu układów automatyki podsystemów energetycznych statków
PublicationPrzedstawiono strukturę i funkcje systemu informatycznego wspomagania projektowania układów automatyki statku. Szczególną uwagę zwrócono na funkcję oceny rozwiązań projektowych na podstawie prowadzonych badań symulacyjnych. Omówiono reprezentację wiedzy o projektowanym podsystemie energetycznym statku, dobór struktur modeli elementów składowych podsystemów umożliwiający zastosowanie reguł do budowy modeli symulacyjnych i reguły...
-
Początki i rozwój Katedry Automatyki na Wydziale Elektrycznym Politechniki Gdańskiej
PublicationNiniejszy artykuł obejmuje historię powstawania i rozwoju Katedry Automatyki na Wydziale Elektrotechniki i Automatyki Politechniki Gdańskiej oraz związanego z tym powstawania i rozwoju na Wydziale kierunku studiów automatyka i robotyka. W kształceniu studentów tego kierunku studiów uczestniczyły także i inne katedry Wydziału. Zajęcia dydaktyczne z zastosowań automatyki prowadzili również pracownicy: Katedry Miernictwa Elektrycznego,...
-
Incremental construction of Minimal Tree Automata [online]
PublicationWe describe an algorithm that allows the incremental addition or removal of unranked ordered trees to minimal frontier-to-root deterministic tree automaton (DTA). The algorithm takes a tree t and a minimal DTA A as input; it outputs a minimal DTA A' which accepts the language L(A) accepted by A incremented (or decremented) with the tree t. The algorithm can be used to efficiently maintain dictionaries which store large collections...
-
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....
-
Finite automata for compact representation of tuple dictionaries.
PublicationOpisane zostaje uogólnienie struktury danych - słownika, zwane słownikiem n-tek. Słownik n-tek przedstawia odwzorowanie n-tek łańcuchów znaków na pewne wartości. Motywacją dla powstania tej struktury danych są praktyczne zastosowania w przetwarzaniu języka i mowy, w których obszerne słowniki n-tek używane są do przedstawiania modeli języka. Przedstawiona zostaje technika oszczędnej reprezentacji słowników n-tek. Ta technika...
-
Complexity of weak acceptonic conditions in tree automata
PublicationRozważano złożoność problemu pustości dla automatów na drzewach ze słabymi warunkami akceptowalności. Rozważano także translacje pomiędzy słabymi i silnymi warunkami akceptowalności.
-
Natural language dictionaries implemented as finite automata
PublicationRozdział przedstawia wykorzystanie automatów skończonych jako słowników języka naturalnego. Podane są podstawy teoretyczne. Omówione są zastosowania: realizacja doskonałej funkcji mieszającej, analizy i syntezy morfologicznej, poprawiania pisowni i dopisywania znaków diakrytycznych, wydobywanie informacji. Podano algorytmy tworzenia automatów oraz omówiono sposoby reprezentacji automatów z uwzględnieniem kompresji.
-
Automaty jako narzędzia w przetwarzaniu języka
PublicationRozdział zawiera definicję, notację i chcarakterystykę automatów oraz algorytmy ich przekształcania, umożliwiające ich skuteczne wykorzystanie w przetwarzaniu języka.
-
Application of a cellular automata model to granular flow
PublicationPrzedstawiono wyniki modelowania przepływów granulowanych przy zastosowaniu automatu komórkowego. Obliczenia wykonano dla silosów ze wstawkami i ścianką szczelną. Przyjęto różne schematy propagacji ziaren.
-
Automatyka zabezpieczeniowa zgodna z IEC 61850 w sieci rozproszonych źródeł i zasobników energii
PublicationZdecentralizowane wytwarzanie i magazynowanie energii elektrycznej jest wdrażane na świecie zarówno w ramach inteligentnych sieci elektroenergetycznych (ang. Smart Grids), jak i mikro-sieci (ang. Microgrids). Prawidłowe funkcjonowanie takich sieci wymaga automatyki zabezpieczeniowej opartej na kompatybilnej i wydajnej infrastrukturze komunikacyjnej na poziomie zakładów energetycznych i operatorów przesyłowych, zautomatyzowanych...
-
Termowizja w diagnostyce stanu technicznego budynków.
PublicationArtykuł omawia niekontaktową metodę określania izolacyjności cieplnej przegród budowlanych za pomocą kamery termowizyjnej.
-
Problem energooszczedności i termoizolacyjności budynków mieszkalnych
PublicationW artykule omówiono przyczyny zawilgocenia budynków mieszkalnych mimo spełnienia kryteriów energooszczędności i termoizolacyjności. Wyniki analizy cieplno-wilgotnościowej przeprowadzono w oparciu o program MES.
-
Wymagania stawiane automatyce SCO,moc odciążania - teoria a praktyka
PublicationW referacie przedstawiono rozważania dotyczące praktycznych problemów dotrzymania warunku dyspozycyjności 50% mocy odbiorów dla celów automatyki Samoczynnego Częstotliwościowego Odciążania (SCO). Omówiono problematykę związaną z nieprawidłowym doborem mocy odciążania. Zamieszczono też przykładowe, rzeczywiste przebiegi sumarycznej mocy przypisanej do konkretnych stopni SCO stanowiące inspirację do napisania niniejszego artykułu.
-
Analiza podobieństwa strukturalnego w hierarchicznym modelu bazy danych automatyki siłowni okrętowej
PublicationW referacie przedstawiono hierarchiczną strukturę automatyki siłowni okrętowej do projektowania automatyki na podstawie rozwiązań zastosowanych na statkach podobnych w oparciu o informacje zawarte w opisie technicznym i zestawieniu aparatury kontrolno-pomiarowej. Opracowany algorytm optymalizacji wielokryterialnej umożliwia wyszukiwanie statków podobnych o możliwie dużym nasyceniu automatyką przy stosunkowo niedużych jej kosztach.
-
Nowe algorytmy działania automatyki samoczynnego częstotliwościowego odciążania (SCO) w systemie elektroenergetycznym.
PublicationCelem pracy byłao opracowanie nowych algorytmów działania automatyki odciążającej pozbawionej wad stosowanego obecnie rozwiązania automatyki samoczynnego odciążania (SCO). Praca zawiera propozycje wymagających niewielkich zmian w stosowanym obecnie algorytmie przyczyniających się jednak do znacznej poprawy skuteczności odciążania oraz całkowicie nowatorskie rozwiązanie adaptacyjnego algorytmu automatyki odciążającej opartej na...
-
Badania komunikacji pomiędzy urządzeniami automatyki zabezpieczeniowej zgodnie ze standardem IEC 61850
PublicationW artykule opisano badania modelu sieci SN wyposażonego w przekaźniki REF615 Serii Relion firmy ABB oraz tester zabezpieczeń CMC 256-6 firmy OMICRON. Na stanowisku badawczym na Wydziale Elektrotechniki i Automatyki Politechniki Gdańskiej przeprowadzono badania czasu przesyłania komunikatów GOOSE oraz retransmisji danych za pomocą testera zabezpieczeń CMC 256-6. Wyniki potwierdziły niezawodność oraz powtarzalność czasów przesyłu...
-
Analysis of elementary cellular automata using the theory of conflict
PublicationThe 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.
-
Incremental and Semi-Incremental Construction of Pseudo-Minimal Automata
PublicationPrzedstawione zostają modyfikacje trzech algorytmów przyrostowego i półprzyrostowego tworzenia automatów minimalnych w taki sposób, aby tworzyły automaty pseudominimalne. Istniejący od dawna algorytm Revuza tworzy takie automaty szybciej i zużywając mniej pamięci, ale wymaga kłopotliwego sortowania. Nie nadaje się też do dodawania nowych słów do automatu - ważnej czynności w realizacji dynamicznej doskonałej funkcji mieszającej....
-
Finite automata for compact representation of language models in NLP
PublicationPrzedstawiona zostaje technika reprezentacji modeli języka w przetwarzaniu języka naturalnego wymagająca mało pamięci. Po krótkim omówieniu przyczyn poszukiwania oszczędnej reprezentacji takich modeli języka, pokazane jest, jak automaty skończone mogą być użyte w tym celu. Technika może być postrzegana jako zastosowanie i rozszerzenie doskonałej funkcji mieszającej z wykorzystaniem automatów skończonych. Pierwsze doświadczenia...
-
Incremental and pseudo-incremental construction of pseudo-minimal automata.
PublicationAutomaty pseudominimalne mają dla każdego słowa w języku automatu co najmniej jeden element własny (stan lub przejście), który nie jest współdzielony z żadnym innym słowem. Przedstawiamy przyrostowe i półprzyrostowe algorytmy tworzenia takich automatów.
-
Analiza empirycznego modelu propagacyjnego dla budynków parkingowych
PublicationRozwój branży telekomunikacyjnej pozwolił na możliwość realizacji transmisji bezprzewodowej za pomocą fal radiowych. Jednak pociąga to za sobą problemy związane ze zmiennymi warunkami propagacji fal radiowych. Ich złożoność zależy od środowiska propagacyjnego, w którym ta fala się rozchodzi. Aby zaprojektowanie bezprzewodowej sieci wewnątrzbudynkowej stało się możliwe, trzeba dysponować wiedzą na temat danego środowiska propagacyjnego...
-
Systemy słonecznego ogrzewania i zasilania elektrycznego budynków.
PublicationW książce przedstawiono praktyczne aspekty zastosowania i wykorzystania systemów fotowoltaicznych w budownictwie do ogrzewania i zasilania w energię elektryczną. Szczególną uwagę zwrócono na możliwości zastosowania układów hybrydowych. Przeprowadzono analizę stosowanych obecnie i możliwości zastosowania w przyszłości systemów pozyskiwania energii elektrycznej i cieplnej dla budynków, uwzględniając aspekt ekonomiczny i ochronę...
-
Zastosowanie konstrukcji stalowych w remontach budynków murowych
PublicationOmówiono zastosowanie konstrukcji stalowych przy nadbudowywaniu o dodatkowekondygnacje budynków murowanych w przypadku niedostatecznej wytrzymałości fundamentów aby nadbudowę prowadzić w konstrukcji murowanej.
-
Pomiary geodezyjne i monitoring budynków wielokondygnacyjnych - punktpwców
PublicationOpisano problematykę określania wysokości budynków i ich rodzaje. Zawarto przykłady budynków - punktowców w Polsce i zagranicą. Opisano podstawowe zagadnienia związane z obsługą geodezyjną i monitorowaniem budynków wysokich.
-
Wykończenie architektoniczne elewacji budynków modernistycznych w Polsce
Publicationomówienie sposobów wykończenia elewacji budynków modernistycznych w Polsce, wg kryterium zastosowanych materiałów
-
Zeszyty Naukowe Politechniki Gdańskiej. Automatyka i Robotyka
Journals -
Journal of Automata, Languages and Combinatorics
Journals -
ZASTOSOWANIE OPTYMALIZACJI WIELOKRYTERIALNEJ DLA DOBORU AUTOMATYKI W SYSTEMIE WSPOMAGANIA PROJEKTOWANIA SIŁOWNI OKRĘTOWEJ
PublicationW pracy przedstawiono algorytm wyszukiwania statków podobnych o możliwie dużym nasyceniu automatyką przy stosunkowo niedużych jej kosztach. jako zadanie optymalizacji wielokryterialnej. Opracowany algorytm wykorzystuje metodę ważonych zysków na podstawie podobieństwa sumarycznego całego statku jako sumy ważonej podobieństw cząstkowych: ogólnego, napędu głównego, elektrowni oraz poszczególnych instalacji. W tym celu opracowano...
-
Źródła i wybrane metody ograniczania zakłóceń w systemach automatyki z napędami przekształtnikowymi
PublicationProblem emisyjności elektromagnetycznej urządzeń elektrycznych stosowanych we współczesnych sieciach zasilających jest zagadnieniem bardzo istotnym i wymagającym niejednokrotnie zaangażowania znacznych nakładów technicznych w celu jego ograniczenia. Ekranowanie urządzeń i przewodów o znacznych poziomach emisji elektromagnetycznej stanowi jedną z podstawowych metod rozwiązywania problemów zakłóceń elektromagnetycznych, szczególnie...
-
Generowanie modeli symulacyjnych na potrzeby systemu ekspertowego wspomagającego projektowanie układów automatyki statku
PublicationOmówiono automatyczne generowanie modeli symulacyjnych na potrzeby systemu ekspertowego wspomagającego projektowanie układów automatyki statków. Na podstawie przyjętych założeń projektowych system ekspertowy zleca badania wybranych struktur podsystemów elektroenergetycznych statków. Aplikacja symulacyjna pobiera z biblioteki modele matematyczne elementów składowych struktur, a następnie zestawia modele symulacyjne, wykonuje badania...
-
Two-dimensional rotation-symmetric number-conserving cellular automata
Publication -
Extension of selected ADFA construction algorithms to the case of cyclic automata.
PublicationW niedawnym artykule Rafael Carrasco i Mikel Forcada przedstawiają przyrostowy algorytm dodawania słów do minimalnego, acyklicznego automatu skończonego. Ten algorytm jest uogólnieniem przyrostowego algorytmu tworzenia acyklicznych deterministycznych automatów skończonych (ADFAs). Przedstawiamy podobne uogólnienia dwóch innych algorytmów tworzenia ADFAs. Chociaż te ougólnienia zostały już opublikowane w maju i czerwcu 2004 r.,...
-
Wpływ systemu logistycznego miasta na kształtowanie budynków wielofunkcyjnych
PublicationCelem artykułu jest przedstawienie wpływu systemu logistycznego miasta na kształtowanie przestrzeni zurbanizowanej poprzez projektowanie budynków wielofunkcyjnych. Przedstawione zostały tendencje rozwoju miast, oraz ich charakter kształtowania w zakresie funkcji. Wykazane zostały związki miejskiego systemu logistycznego z budynkami wielofunkcyjnymi. Zilustrowany został schemat zintegrowanej miejskiej sieci logistycznej, której...