Filtry
wszystkich: 2167
wybranych: 1076
-
Katalog
- Publikacje 1076 wyników po odfiltrowaniu
- Czasopisma 31 wyników po odfiltrowaniu
- Konferencje 24 wyników po odfiltrowaniu
- Wydawnictwa 6 wyników po odfiltrowaniu
- Osoby 176 wyników po odfiltrowaniu
- Projekty 8 wyników po odfiltrowaniu
- Laboratoria 6 wyników po odfiltrowaniu
- Zespoły Badawcze 5 wyników po odfiltrowaniu
- Aparatura Badawcza 2 wyników po odfiltrowaniu
- Kursy Online 651 wyników po odfiltrowaniu
- Wydarzenia 83 wyników po odfiltrowaniu
- Dane Badawcze 99 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: jezyki formalne
-
Safety assessment of ships in critical conditions using a knowledge-based system for design and neural network system
PublikacjaW pracy opisano wybrane elementy metody oceny bezpieczeństwa statków w stanie uszkodzonym, ukierunkowanej na ocenę osiągów statku i ocenę ryzyka. Metoda analizy osiągów i zachowania się statku w stanie uszkodzonym została wykorzystana do oceny charakterystyk hydromechanicznych statku uszkodzonego. Do oceny ryzyka wykorzystano elementy metodyki Formalnej Oceny Bezpieczeństwa. System ekspertowy został wykorzystany do analziy podziału...
-
Completeness and Consistency of the System Requirement Specification
PublikacjaAlthough the System Requirement Specification, as a first formal and detailed document, is the base for the software project in classic software methodologies, there is a noticeable problem of assuring the completeness of this document. The lack of its completeness causes uncertainty of the project foundations. This was one of motivations for agile methodologies – if the SRS cannot be easily validated, if it can change in late project...
-
Application of Ontology In the ITIL Domain
PublikacjaBusiness standards tend to be less formal in description then strict technical norms. Authors of this chapter suggest applying ontological description (powered by the capabilities of the OWL language) to express Information Technology Infrastructure Library (ITIL). One of the goals of this initial study is to determine the usefulness of such semantic model in organizations that adopted or plan to adopt ITIL.
-
Musical Metadata Retrieval with Flow Graphs, in Rough Sets and Current Trends in Computing.
PublikacjaW pracy opisano metody wyszukiwania muzyki w Internecie w oparciu o opis semantyczny. W eksperymentach wykorzystano opis muzyczny stosowany w bazie CDDB. Zaprezentowano metodę grafów przepływowych zaproponowaną przez Pawlaka.
-
Quality model for UML tools in application to UML tool selection and market analysis
PublikacjaJęzyki modelowania i wspierające je narzędzia odgrywają istotną rolę w procesie wytwarzania i utrzymania oprogramowania. Wraz ze wzrostem liczby narzędzi UML na rynku pojawia się potrzeba ich porównania i oceny. Artykuł prezentuje wielowymiarowy model oceny narzędzi UML, opisuje ankietę przydatną do oceny narzędzi UML oraz przedstawia system oceny narzędzi UML wraz ze studium przypadku jego zastosowania do poszukiwania narzędzi...
-
Malarstwo jest okey. - Janusz Osicki
PublikacjaKatalog towarzyszący wystawie "Malarstwo jest okey" w Foyer Opery Bałtyckiej w Gdańsku w ramach 3. edycji Festiwalu Kultury Trójmiasta "Metropolia jest okey", który odbył się w dniach 26-30.12.2009. Katalog liczy 120 stron i zawiera tekst krytyczny w języku polskim i angielskim, noty biograficzne artystów w języku polskim i angielskim oraz 55 kolorowych reprodukcji prac artystów (prace autorów: J. Buczkowski s. 16-17, D. Krechowicz...
-
Malarstwo jest okey. - Krzysztof Wróblewski
PublikacjaKatalog towarzyszący wystawie "Malarstwo jest okey" w Foyer Opery Bałtyckiej w Gdańsku w ramach 3. edycji Festiwalu Kultury Trójmiasta "Metropolia jest okey", który odbył się w dniach 26-30.12.2009. Katalog liczy 120 stron i zawiera tekst krytyczny w języku polskim i angielskim, noty biograficzne artystów w języku polskim i angielskim oraz 55 kolorowych reprodukcji prac artystów (prace autorów: J. Buczkowski s. 16-17, D. Krechowicz...
-
Malarstwo jest okey. -Dominika Krechowicz
PublikacjaKatalog towarzyszący wystawie "Malarstwo jest okey" w Foyer Opery Bałtyckiej w Gdańsku w ramach 3. edycji Festiwalu Kultury Trójmiasta "Metropolia jest okey", który odbył się w dniach 26-30.12.2009. Katalog liczy 120 stron i zawiera tekst krytyczny w języku polskim i angielskim, noty biograficzne artystów w języku polskim i angielskim oraz 55 kolorowych reprodukcji prac artystów (prace autorów: J. Buczkowski s. 16-17, D. Krechowicz...
-
Malarstwo jest okey. - Jan Buczkowski
PublikacjaKatalog towarzyszący wystawie "Malarstwo jest okey" w Foyer Opery Bałtyckiej w Gdańsku w ramach 3. edycji Festiwalu Kultury Trójmiasta "Metropolia jest okey", który odbył się w dniach 26-30.12.2009. Katalog liczy 120 stron i zawiera tekst krytyczny w języku polskim i angielskim, noty biograficzne artystów w języku polskim i angielskim oraz 55 kolorowych reprodukcji prac artystów (prace autorów: J. Buczkowski s. 16-17, D. Krechowicz...
-
Finite automata for compact representation of tuple dictionaries.
PublikacjaOpisane 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...
-
Eliminacja wyższych harmonicznych prądu za pomocą filtrów poprzecznych
PublikacjaW artykule przedstawiono sposób i skutecznośc eliminacji wyższych harmonicznych prądu w sieci elektroenergetycznej za pomoca filtrów poprzecznych LC. Zaprezentowano wyniki symulacji komputerowych wpływu prostownika 6-pulsowego w stanie pracy normalnej na jakosć energii elektrycznej w elektroenergetycznej sieci zasilającej.Przedstawiono przykładowe przebiegi napięć i prądów oraz analizę zawartości wyższych harmonicznych w sieci...
-
Wpływ zużycia opony samochodowej na jej opór toczenia
PublikacjaW pracy przedstawiono wpływ zużycia opony samochodowej na jej opór toczenia. Zużycie czterech opon testowych uzyskano podczas normalnej eksploatacji, natomiast zużycie sześciu pozostałych uzyskano sztucznie przez zeszlifowanie czoła bieżnika papierem ściernym na specjalnej szlifierce. Pomiary oporu toczenia wykonano na bębnowej maszynie bieżnej metodą momentową. Wyniki tych pomiarów przedstawiono w formie zależności współczynnika...
-
A Generative Approach to Hull Design for a Small Watercraft
PublikacjaIn the field of ocean engineering, the task of spatial hull modelling is one of the most complicated problems in ship design. This study presents a procedure applied as a generative approach to the design problems for the hull geometry of small vessels using elements of concurrent design with multi-criteria optimisation processes. Based upon widely available commercial software, an algorithm for the mathematical formulation of...
-
Variacionnye metody
PublikacjaMonografia zawiera metody wariacyjne dla rozwiązywania zadań fizyki matematycznej. Rozwiązane zastałe odwrotne zagadnienie rachunku wariacyjnego dla nieliniowych równań różniczkowych. Zbudowana jedyną teorię takich zadań dla liniowych i nieliniowych równań różniczkowych.
-
Trójwymiarowa wizualizacja obiektów na dznie morskim z zastosowaniem technik wirtualnej rzeczywistości.
PublikacjaArtykuł przedstawia sposób wykorzystania języka opisu wirtualnej rzeczywistości do trójwymiarowej wizualizacji objektów znajdujących się na dnie morskim. W szczególności zaprezentowano technikę rekonstrukcji obrazu trójwymiarowego z danych pochodzących z sonaru wielowiązkowego.
-
Organizacijos etyika ir kultura: buti ar atrodyti
PublikacjaW artykule podjęta próba wyjaśnienia wpływu instytucjonalizacji etyki na in-tegrację kultury organizacyjnej oraz jakośc wykonawstwa.
-
Recent developments in automatic classification of musical instruments. W:[CD-ROM] Collected papers. First Pan-American/Iberian Meeting on Acoustics. 144 Meeting of the Acoustical Society of America. III Iberoamerican Cong- ress of Acoustics. 9o Mexican Congress of Acoustics. Cancun, Q. R. Mxico, 2-6 Dec. 2002. [B.m.:ASA]**2002 paper 2aMU4, 7 s. 6 rys. 1 tab. bibliogr. 21 poz. Automatyczne rozpoznawanie muzyki - przykłady eksperymentów.
PublikacjaW referacie dokonano przeglądu aktualnego stanu badań w dziedzinie automaty-cznego rozpoznawania muzyki. Przedstawiono też eksperymenty prowadzone aktu-alnie w Katedrze Dźwięku i Obrazu PG. Prace te dotyczyły rozpoznawania klasinstrumentów muzycznych i separacji duetów muzycznych. Pokazano przykładowewyniki i przedstawiono projekt prac do zrealizowania w przyszłych ekspery-mentach.
-
Jan Buczkowski : malarstwo
PublikacjaDruk towarzyszący wystawie indywidualnej malarstwa, która miała miejsce w Puławskiej Galerii Sztuki w kwietniu 2009 roku. Publikacja liczy 4 strony i zawiera notę biograficzną w języku polskim oraz 1 kolorową reprodukcję.
-
Manager - Engineer - the proposal of the Faculty of Management and Economics Gdańsk University of Technology
PublikacjaW artykule przedstawiono ofertę edukacyjną Wydziału Zarządzania i Ekonomii Politechniki Gdańskiej, wskazując cel kształcenia menedżera o dość szerokiej ogólnej wiedzy inżynierskiej, sylwetkę absolwenta wydziału oraz nowe inicjatywy kształcenia w języku angielskim.
-
Towards automation of IT systems repairs
PublikacjaMonitoring and repair are two sides of the on-the-fly maintenance of IT systems.Monitoring is well supported by automatic tools. In contrast, repairs involve much higherhuman intervention which negatively affects reliability and efficiency. The paper intro-duces a method of automating repairs of IT systems which can be integrated with any ofthe existing monitoring mechanisms. The method is described as a collection of modelsand...
-
Janusz Osicki Malarstwo – Przypadek mój sojusznik
PublikacjaDruk towarzyszący wystawie, która odbyła się w Galerii od czasu do czasu w Gdyni w 2013 roku. Publikacja liczy 4 strony i zawiera 4 reprodukcje prac i notę biograficzną w języku polskim.
-
STEVAL-MKI063V1, Przykład oprogramowania akcelerometrui magnetometru LSM303DLH
PublikacjaW artykule opisano moduł STEVAL-MKI1063V1 oparty na układzie LSM303DLHzawierającym akcelerometr i magnetometr oraz przedstawiono sposób komunikacji z nim z poziomu komputera PC na przykładzie aplikacji napisanej w języku C++/CLI (.NET).
-
Submerged object imaging using virtual reality modeling language.
PublikacjaArtykuł przedstawia sposób wykorzystania języka opisu wirtualnej rzeczywistości w archeologii podwodnej. Przedstawiono propozycję wizualizacji objektów znajdujących się na dnie morskim, a w szczególności zaprezentowano technikę rekonstrukcji obrazu trójwymiarowego z danych pochodzących z sonaru wielowiązkowego.
-
O międzynarodową promocję roku jubileuszowego
PublikacjaWobec jubileuszu 100-lecia uniwersyteckiego kształcenia technicznego w Gdańsku i 60-lecia Politechniki Gdańskiej, jaki przypada w roku 2004/2005. Podniesiono potrzebę promocji tego jubileuszu za granicą poprzez odpowiednie wydawnictwo w języku angielskim.
-
Extraction of music information based on artifical neutral networks
PublikacjaW artykule przedstawiono założenia systemu automatycznego rozpoznawania muzyki. Na podstawie przeprowadzonych eksperymentów w artykule przedstawiono efektywność zaimplementowanych algorytmów w zależności od sposobu opisu danych muzycznych. Zaimpementowany system jest oparty o sztuczne sieci neuronowe.
-
Incremental and pseudo-incremental construction of pseudo-minimal automata.
PublikacjaAutomaty 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.
-
Zastosowanie S-funkcji w symulacji trójpoziomowego modulatora SVPWM w programie Simulink
PublikacjaBlok S-funkcjo w programie Simulink pozwala na efektywne wykorzystanie narzędzi tego środowiska. S-funkcaja napisana w języku C, wprowadzona do schematu symulacyjnego jako blok użytkownika jest odpowiednikiem bloku USERa z programu TCad.
-
Domy - wewnętrzne krajobrazy.
PublikacjaPrzestrzenna redefinicja domu stanowi dziś jeden z wątków dyskusji ze zdeterminowanym wyrazem formalnym architektury i hermetycznością miejsca. Coraz częściej akcentowana jest potrzeba elastyczności domu i jego otwarcia na świat zewnętrzny. Jego przestrzeń wewnętrzna kształtowana jest coraz częściej jako ewoluujący ciągu sekwencji kompozycyjnych, formowany na wzór krajobrazu i poszukujący do niego odniesień. Domy stają się...
-
Syntheses and structures of the first terminal phosphanylphosphido complexes of molybdenum(IV)
PublikacjaThe reactions of R2P-P(SiMe3)Li (R = tBu, iPr2N) with [Cp2MoCl2] yield terminal phosphanylphosphido complexes formally via the insertion of the phosphinidene P-atom into the C - H bond of a cyclopentadienyl ring and the migration of the hydrogen atom or SiMe3 moiety to the molybdenum centre. Solid state structures of [Cp(C5H4P-PtBu2)MoH], [Cp(C5H4P-PtBu2)Mo(SiMe3)] and [Cp{C5H4P-P(NiPr2)2}Mo(SiMe3)] were established by single crystal...
-
Semi-incremental addition of strings to a cyclic finite automaton
PublikacjaMaszyny o skończonej liczbie stanów są szeroko stosowane jako słowniki w przetwarzaniu języka naturalnego. Odznaczają się szybkim czasem przetwarzania i małymi wymaganiami pamięciowymi. Przedstawiamy nowy algorytm dodawania nowych słów do języka cyklicznego automatu skończonego. Algorytm jest rozszerzeniem na automaty cykliczne półprzyrostowego algorytmu Watsona dla automatów acyklicznych. Przekształcenie jest dokonane w duchu...
-
Generating reliable conformance test suites for parallel and distributed languages, libraries, and APIs.
PublikacjaArtykuł nakreśla nową metodykę dla tworzenia Zestawów Testów Zgodności (ZTG) dla języków, bibliotek i API programowania równoległego i rozproszonego. Autor rozpoczął swoje badania w zakresie testowania zgodności dla języka równoległego sterowanego danymi Athapascan, opracował metodykę dla projektowania i analizowania ZTG nazwaną Metodą Kolejnych Zawężeń (ang. Consecutive Confinements Methods - CoCoM), stworzył narzędzie CTS Designer,...
-
Ekspertyza techniczna konstrukcji mostu M-33 wykonywanego w km 12+150,73 drogi S6 w ramach realizacji przedsięwzięcia „Budowa obwodnicy Koszalina i Sianowa na S-6 wraz z odcinkiem S-11 od węzła „Koszalin” do węzła „Bielice”
PublikacjaCelem opracowania jest analiza projektu konstrukcji w jezdni prawej mostu M-33P [1] wykonywanego w km 12+150,73 drogi S-6 w ramach realizacji przedsięwzięcia „Budowa obwodnicy Koszalina i Sianowa na S-6 wraz z odcinkiem S-11 od węzła „Koszalin” do węzła „Bielice”. Podstawą do realizacji ekspertyzy były zauważone przez przedstawicieli Wykonawcy obiektu PORR S.A. nieprawidłowości w pracy konstrukcji mostu M-33P, które pojawiły się...
-
Maksymalna elastyczność pracy bloków parowych
PublikacjaW artykule przedstawiono propozycję przyspieszenia startów turbiny parowej poprzez właściwe doprowadzanie pary w trakcie stanów niestacjonarnych. Badano najbardziej wytężone miejsca w urządzeniu, przy uwzględnieniu tradycyjnej hipotezy Hubera-Missesa-Hencky, jak i hipotezy Burzyńskiego. W przypadku licznych startów coraz większe znaczenie odgrywają naprężenia termiczne, dla których najważniejsze są składowe normalne naprężeń, w...
-
Strategiczne zagadnienia tworzenia i funkcjonowania sieci tymczasowych
PublikacjaW artykule przedstawiano wyniki badań zagadnień charakteryzujących tworzenie i funkcjonowanie sieci tymczasowych, tj. sieci, które są organizowane w celu realizacji dużych, złożonych przedsięwzięć gospodarczych, najczęściej kosztownych i przekraczających możliwości realizacyjne jednego przedsiębiorstwa i które są powołane na określony okres czasu. Skupiono się nad strategicznymi zagadnieniami tworzenia i funkcjonowania tych sieci,...
-
Potencjalna wartość i możliwe oddziaływanie odznak cyfrowych: Nowy sposób oceniania pracy studentów
PublikacjaZarówno w środowisku tradycyjnym, jak i elearningowym, ocenianie uczących się odgrywa bardzo ważną rolę. W zależności od przyjętej koncepcji pedagogicznej edukatorzy przypisują większe znaczenie ocenom formatywnym lub sumatywnym, a wystawiane przez nich certyfikaty i dyplomy tylko w części pokazują kwalifikacje osoby posiadającej je, gdyż informacje, które zawierają, zwykle sprowadzają się do określenia uzyskanego przez nią stopnia,...
-
Rzeczywiste charakterystyki czasowo-prądowe wyłączników różnicowoprądowych 30 mA przy prądzie sinusoidalnym
PublikacjaPrzedstawiono wymagania norm odnoszące się do charakterystyki czasowo-prądowej wyłączników różnicowoprądowych o znamionowym prądzie różnicowym zadziałania równym 30 mA. Zaprezentowano wyniki badań laboratoryjnych czasu wyłączania takich wyłączników przy sinusoidalnym prądzie różnicowym i oceniono je z punktu widzenia tych wymagań. Badania wykazały, że czasy wyłączania dwóch lub większej liczby porównywanych wyłączników różnicowoprądowych...
-
Esperanto w leksykografii polskiej. Bibliografia słowników (1888–2012) [Esperanto in Polish lexicography. Dictionaries published in the years 1888–2012]
Publikacja -
Automatic retrieval of musical rhythmic patterns.
PublikacjaObecnie stosowane technologie pozwalają na wyszukiwanie muzyki w zasobach Internetowych w oparciu o reprezentację melodyczną. W referacie przedstawiono problemy związane z wyszukiwaniem cech rytmicznych utworów muzycznych i pokazano stosowane metody umożliwiające automatyczne określanie rytmu.
-
Janusz Osicki Struktura
PublikacjaKatalog towarzyszący wystawie malarstwa, która odbyła się w listopadzie 2010 w Muzeum Miasta Gdyni. Katalog liczy 20 stron i zawiera tekst krytyczny i notę biograficzną w języku polskim oraz 19 kolorowych reprodukcji prac autora.
-
Plener rzeźby w granicie - Wdzydze 2012
PublikacjaPlener rzeźby, który miał miejsce we Wdzydzach Kiszewskich w 2012 roku. Plener zorganizowało towarzystwo przyjaciół muzeum KPE. Publikacja dokumentująca wydarzenie liczy 40 stron i zawiera tekst krytyczny w języku polskim oraz 56 kolorowych reprodukcji.
-
Testing for conformance of parallel programming pattern languages
PublikacjaThis paper reports on the project being run by TUG and IMAG, aimed at reducing the volume of tests required to exercise parallel programming language compilers and libraries. The idea is to use the ISO STEP standard scheme for conformance testing of software products. A detailed example illustrating the ongoing work is presented.
-
Kalibracja i walidacja metody Mathara za pomocą Metody Elementów Skończonych
PublikacjaMetoda pomiaru naprężeń powierzchniowych przy pomocy rozet tensometrycznych i kontrolowanych odwiertów (metoda otworkowa) jest stosowana powszechnie w odniesieniu do stali izotropowych oraz silnie anizotropowych laminatów, natomiast nie została rozpoznana jej stosowalność do umiarkowanie anizotropowych stopów metali. W artykule opisane jest odniesienie wyników pomiarów wykonanych na płytach ze stali duplex do modelu numerycznego...
-
Biało na białym
PublikacjaDruk towarzyszący wystawie indywidualnej malarstwa, która miała miejsce w Galerii Małej w Nałęczowie w kwietniu 2009 roku. Publikacja liczy 4 strony i zawiera tekst krytyczny i notę biograficzną w języku polskim oraz 1 kolorową reprodukcję.
-
Chatter-boty - nowe narzędzie w e-commerce
PublikacjaCelem artykułu jest przedstawienie technologii chatter-bot, czyli tzw. wirtualnych konsultantów - systemów informatycznych, które potrafią odpowiadać na pytania zadawane w języku naturalnym. Zaprezentowano obszary zastosowania botów w biznesie oraz przegląd światowego rynku systemów charter-bot.
-
Quasi-dwuwymiarowe równanie ciagłości dla procesów dynamicznych w tranzystorach polowych
PublikacjaW oparciu o dwuwymiarowy model fizyczny i matematyczny tranzystora polowego zaproponowano quasi-dwuwymiarowy model umożliwiający wyprowadzenie równania ciągłości dla nośników nadmiarowych w przypadku małych zaburzeń ich koncentracji. Rozważania przeprowadzono startując od najbardziej podstawowych praw fizyki.
-
Kontrolki ActiveX - Osadzanie kontrolek ActiveX w dokumentach WWW
PublikacjaW artykule opisano cechy i zasady funkcjonowania kontrolek ActiveX. Przedstawiono rozwój technologii Active na przestrzeni ostatnich lat. Na zasadzie lekcji omówiono metody edycji dokumentów WWW wykorzystujących technologię Active i sposób konfigurowania kontrolek w języku HTML.
-
Cień malarza. - wystawa autorska
PublikacjaDruk towarzyszący wystawie indywidualnej malarstwa, która miała miejsce w Galerii-pl w Gdyni w grudniu 2010 roku. Publikacja liczy 2 strony A3 i zawiera tekst krytyczny i notę biograficzną w języku polskim oraz 3 kolorowe reprodukcje.
-
Kury - Centrum Wystawienniczo-Regionalne Dolnej Wisły w Tczewie/Fabryka Sztuki
PublikacjaWystawa fotografii, która odbyła się w Fabryce Sztuk Centrum Wystawienniczo-Regionalnym Dolnej Wisły w Tczewie. Katalog towarzyszący wystawie liczy 12 stron i zawiera teksty krytyczne i notę biograficzną w języku polskim oraz 7 kolorowych reprodukcji prac.
-
Influence of the variability of the odour emission rate on its impact range: a case study of the selected industrial source
Publikacja -
Informal practices in urban planning and governance. Examples from Polish cities
PublikacjaPlanning has a formal, legally defined component and an informal component developed in response to deficiencies in the planning system. Informal practices can contribute to the development of tools that would improve urban governance, especially in areas related to space. This article presents an overview of informal practices that have taken place in Polish cities and towns in recent years and offers an assessment of their impact...