Filters
total: 2132
filtered: 1075
-
Catalog
- Publications 1075 available results
- Journals 31 available results
- Conferences 24 available results
- Publishing Houses 6 available results
- People 176 available results
- Projects 8 available results
- Laboratories 6 available results
- Research Teams 5 available results
- Research Equipment 2 available results
- e-Learning Courses 617 available results
- Events 83 available results
- Open Research Data 99 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: jezyki formalne
-
Standardy wyposażenia technicznego systemów transportu miejskiego - uwarunkowania i perspektywy zastosowania
PublicationInnowacje na rynku transportu miejskiego mają wymiar zarówno techniczny, jak i organiza-cyjny. Umożliwiły one w ostatnich 25 latach zwiększenie konkurencyjności transportu zbio-rowego wobec samochodu osobowego i – w rezultacie – efektywną realizację założeń i celów polityki zrównoważonego rozwoju w miastach i aglomeracjach. Wprowadzanie do systemu transportu miejskiego rozwiązań będących rezultatem innowacji technicznych i technologicz-nych...
-
OCENA FUNKCJONOWANIA PASÓW RUCHU DLA ROWERÓW – PRZYPADEK TRÓJMIASTA
PublicationArtykuł dotyczy analizy nagrań trzech wybranych odcinków skrzyżowań w Gdańsku, na których znajdują się pasy dla rowerów wyznaczone w ramach jezdni. Na podstawie ww. materiału filmowego została wykonana ocena organizacji i natężenia ruchu, zachowania rowerzystów i kierowców oraz analiza sytuacji konfliktowych. Na każdym z trzech poligonów badawczych zostały przeanalizowane zachowania rowerzystów w ich obrębie. Przedstawiono liczbę...
-
<p>In vivo Studies on Pharmacokinetics, Toxicity and Immunogenicity of Polyelectrolyte Nanocapsules Functionalized with Two Different Polymers: Poly-L-Glutamic Acid or PEG</p>
Publication -
Theory versus experiment for vacuum Rabi oscillations in lossy cavities
PublicationThe 1996 experiment by Brune et al. [Phys. Rev. Lett. 76, 1800 (1996)] on vacuum Rabi oscillation is analyzed by means of alternative models of atom-reservoir interaction. Agreement with experimental Rabi oscillation data can be obtained if one defines jump operators in the dressed-state basis and takes into account thermal fluctuations between dressed states belonging to the same manifold. Such low-frequency transitions could...
-
"Niebiańska łąka" - o dekoracji stropu kościoła parafialnego w Górsku.
PublicationW artykule omówiono malarską dekorację stropu z 2 poł. XVIII w., na którą składają się sceny biblijne oraz przedstawienia roślin - owoców i kwiatów. Wraz z niebieskim tłem tworzą one łąkę symbolizującą Eden, bądź też, typowe dla sztuki protestanckiej tego okresu, nawiązanie do Królestwa niebieskiego. W sensie formalnym wizerunki roślin przypominają ryciny, rysunki etc. zamiawiane m.in. przez znanych...
-
An innovative approach to the forecasting of energetic effects while wood sawing
PublicationIn the classical approach, energetic effects (cutting forces and cutting power) of wood sawing process are generally calculated on the basis of the specific cutting resistance, which is in the case of wood cutting the function of more or less important factors. On the other hand, the cutting forces (power) problem may be tackled with an innovative, up-to-date fundamental analysis of the mechanics of sawing based on modern fracture...
-
An Innovative Approach to the Forecasting of Energetic Effects While Wood Sawing
PublicationIn the classical approach, energetic effects (cutting forces and cutting power) of wood sawing process are generally calculated on the basis of the specifi c cutting resistance, which is in the case of wood cutting the function of more or less important factors. On the other hand, the cutting forces (power) problem may be tackled with an innovative, up-to-date fundamental analysis of the mechanics of sawing based on modern fracture mechanics....
-
Analiza napięć indukowanych i strat mocy w kablach elektroenergetycznych wysokiego napięcia dla wybranych sposobów uziemienia żył powrotnych
PublicationDostarczanie mocy do centrów miast coraz częściej odbywa się z wykorzystaniem linii kablowych o napięciu 110 kV. To dogodny sposób zasilania, a praktycznie jedyny możliwy w przypadku gęstej zabudowy miejskiej. Kable wysokiego napięcia zawierają współosiową żyłę powrotną, w której podczas normalnej pracy oraz w stanach zakłóceniowych (podczas zwarć) mogą indukować się znaczne napięcia względem ziemi, co zagraża porażeniem i/lub...
-
If Gravity is Geometry, is Dark Energy just Arithmetic?
PublicationArithmetic operations (addition, subtraction, multiplication, division), as well as the calculus they imply, are non-unique. The examples of four-dimensional spaces, R^4 and (−L/2,L/2)^4, are considered where different types of arithmetic and calculus coexist simultaneously. In all the examples there exists a non-Diophantine arithmetic that makes the space globally Minkowskian, and thus the laws of physics are formulated in terms...
-
Czynniki kształtujące architektoniczny wyraz fasad w budynkach biurowym i hotelowym kompleksu "Gdynia Waterfront"- od konkursu architektonicznego do realizacji.
PublicationKompleks "Gdynia Waterfront" składa się z budynku biurowego i hotelu, wzniesionych w unikalnej lokalizacji Nadbrzeża Prezydenta, w prestiżowej części portu. Głównym problemem projektowym było znalezienie właściwego odniesienia do otaczającego środowiska kulturowego. Szczególnie istotne było zachowanie równowagi kompozycyjnej pejzażu, zdominowanego przez zespół wysokościowców "Sea Towers". W sytuacji silnych ograniczeń gabarytowych,...
-
Opis rysunków wektorowych.
PublicationNa stronach Web projektowanych w HTML ilustracje wyraża się przez odwołanie do pliku graficznego w formacie GIF, JPG czy też PNG. Nawet prosty rysunek wymaga zakodowania w obrazie rastrowym.Powoduje to nie tylko konieczność przesyłania dużej liczby danych, ale również uniemożliwia interpretację takiego rysunku przez aplikację kliencką.Zastosowanie XML umożliwia rozwiązanie tego problemu poprzez zapisanie rysunku składająccego się...
-
Microscopic Imaging to Visualize the Distribution of Dietary Nucleic Acids in Food Products of Various Origins
PublicationDietary nucleic acids (dietNAs) are being increasingly recognized as important food components with nutritional value. However, the precise dietary recommendations for dietNAs are limited, because established methods for determining the quantity and nutritional role of dietNAs are still lacking. One of the tools to narrow this gap could be microscopic imaging, as a convenient approach to visualize the abundance and distribution...
-
Asocjacje – jak gdyby, tak jakby…
PublicationKrzysztof Wróblewski prezentuje „In Touch / Anonymous”. (Twarz – jako maska, dłoń – jako dotyk i ślad) – dwa obrazy (olej na płótnie, wymiary: 146x228 cm) wraz z komentarzem: „W kuratorskim tekście do wystawy Asocjacje – jak gdyby, tak jakby zainteresował mnie cytat z teorii umysłu: jesteśmy świadomi umysłów innych ludzi i to ma wpływ na nasze poczynania i procesy umysłowe. Sztuka jako jedno z narzędzi komunikacji jest wysyłaniem...
-
Galeria handlowa Hosso w Kołobrzegu
PublicationKołobrzeg wymagał po II wojnie światowej kompleksowej odbudowy. Zgodnie z obowiązującą wówczas doktryną konserwatorską objęto ochroną historyczny układ poprzez zachowanie przebiegu istniejących chodników i jezdni. Na bazie modernistycznych idei rozpoczęto w 1970 roku odbudowę kołobrzeskiego centrum. Dziesięcio- i czteropiętrowe bloki stanęły na linii obrysu murów gotyckiego miasta. Ich forma urbanistyczna miała nawiązywać do średniowiecznych...
-
Wykorzystanie xml do reprezentacji cyfrowych dokumentów muzycznych
PublicationW bibliotekach cyfrowych dokumentów muzycznych potrzebny jest format pozwalający na wymianę danych różnego typu związanych z dokumentem muzycznym. Otwarty format XML posiada wiele zalet, które pozwalają na zastosowanie go w tej bibliotece. W rozdziale zwrócono uwagę na możliwość wykorzystania formatów MPEG-7, MARCXML oraz MusicXML do opisania różnorodnych aspektów muzyki. Połączenie wszystkich informacji związanych z dokumentem...
-
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...
-
Wpływ otoczenia dróg na poziom bezpieczeństwa ruchu drogowego
PublicationCelem artykułu było wskazanie głównych zagrożeń związanych z otoczeniem dróg i ich wpływie na poziom bezpieczeństwa. Najechania na drzewo, barierę, słup, znak czy wywrócenie się pojazdu na poboczu, na skarpie lub w rowie należą do skutków wypadków związanych z niebezpiecznym otoczeniem dróg. Szczególnie problem ten jest związany z drzewami rosnącymi blisko krawędzi jezdni. Od lat w Polsce północno – zachodniej rejestruje się szczególnie...
-
Opór toczenia opon samochodowych
PublicationOpór toczenia opon samochodowych jest jednym z istotnych parametrów charakteryzujących współpracę opon samochodowych z nawierzchnią jezdni. jego wartość wpływa na zużycie paliwa a przez to na koszt transportu samochodowegooraz na osiągi pojazdów, takie jak prędkość maksymalna czy zdolność przyspieszania. W zależności od warunków ruchu zmniejszenie oporu toczenia o 10% powoduje zmniejszenie zużycia paliwa o2-4%. Zmniejszenie zużycia...
-
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....
-
Improving methods to calculate the loss of ecosystem services provided by urban trees using LiDAR and aerial orthophotos
PublicationIn this paper we propose a methodology for combining remotely sensed data with field measurements to assess selected tree parameters (diameter at breast height (DBH) and tree species) required by the i-Tree Eco model to estimate ecosystem services (ES) provided by urban trees. We determined values of ES provided by trees in 2017 in Racibórz (a city in South Poland) and estimated the loss of ES from January 1, 2017 to March 5, 2017,...
-
Use of Bi-Temporal ALS Point Clouds for Tree Removal Detection on Private Property in Racibórz, Poland
PublicationTrees growing on private property have become an essential part of urban green policies. In many places, restrictions are imposed on tree removal on private property. However, monitoring compliance of these regulations appears difficult due to a lack of reference data and public administration capacity. We assessed the impact of the temporary suspension of mandatory permits on tree removal, which was in force in 2017 in Poland,...
-
Absolwent kierunku Budownictwo wobec aktualnych i przyszłych potrzeb
PublicationNawiązując do aktualnych trendów cywilizacyjnych i odczytując stosowne znakiczasu, a także - mając na uwadze tworzywo współczesnego człowieka, prezentu-je się najnowsze nurty w dziedzinie budownictwa oraz związane z niki wymogi edukacyjne inżynierów i całego społeczeństwa. W szczególności omawia się re-lacje między teorią a praktyką, właściwe tu wskazania etyki, tudzież - dzi-siejsze i przyszłe potrzeby środowiska, estetyki, dziedzictwa...
-
Detection of broadband signals in the field of aperture and array systems.
PublicationAnteny i szyki anten w dolnopasmowych systemach hydroakustycznych wnoszą istotne zniekształcenia liniowe wpływające na możliwości detekcji sygnałów szerokopasmowych. W artykule analizowany jest charakter takich zniekształceń metodą przestrzenno - czasowych odpowiedzi impulsowych. Sygnał odbierany w różnych kierunkach przestrzeni poddano filtracji na dwa sposoby z filtrem dopasowanym do sygnału nadawanego i filtrem dopasowanym...
-
Ryzyko etyczne w procesie wytwarzania oprogramowania [online]
PublicationW artykule rozpatrywane są współczesne problemy wytwarzania oprogramowania. Jednym z możliwych sposobów ich rozwiązywania jest uwzględnienie w procesie wytwarzania zagadnień ryzyka etycznego, rozumianego jako zagrożenia, jakie dla sukcesu przedsięwzięcia stwarzają problemy etyki podejmowanych decyzji, odstępstwa od obowiązującego prawa, uwarunkowań polityki prowadzenia projektu, wpływu projektu na ludzi, biorących w nim udział...
-
Zmiana sprzedawcy energii elektrycznej w Polsce – proces bazujący na generalnej umowie dystrybucji
PublicationPolska jako państwo członkowskie Unii Europejskiej zobowiązała się m.in. do przestrzegania wspólnych zasad dotyczących rynku energii elektrycznej. Jednym z istotnych przykładów tych regulacji jest postrzeganie energii jako towaru podlegającego mechanizmom rynku konkurencyjnego. Wprowadzone w krajowej energetyce procesy rynku konkurencyjnego umożliwiają odbiorcom energii m.in. swobodny wybór sprzedawcy energii w formule TPA. To...
-
Marketing terytorialny
PublicationW podrozdziale przedstawiono postać i zastosowanie marketingu w sferze odnoszącej się do działalności publicznej na zdelimitowanym obszarze. Opisano charakterystykę, przesłanki wpływające na powstanie oraz przyczyny wydzielenia marketingu terytorialnego. Zaprezentowano różne ujęcia definicyjne z analizą elementów, które w każdej definicji są akcentowane. Omówiono cele marketingu miejsc. Zidentyfikowano podobieństwa i różnice między...
-
The structure of knowledge resources supporting a model of IT technologies architecture = Struktury zasobów wiedzy wspierających model architektury technologii IT
PublicationThis paper introduces an abstract model for tools used in the software engineering process. The main goal of the research is to develop a universal model which allows a description of tools used in the process. The model supports a decision making process and gives an option to choose the best tooling for the situation. The model considers many factors including, but not exclusive to, the company structure, project environment...
-
Developing an Ontology from Set of Experience KnowledgeStructure
PublicationWhen referring to knowledge forms,collecting for all decision eventsin a knowledge-explicit way becomes a significant ask for any company. Set of experience knowledge structure can assis in accomplishing this purpose.However,after collecting,distributing and sharing that knowledge as adecisional DNA is even a more important advance.Distributing and sharing companies' decisional DNA through an efficient development of Ontologies...
-
Enhancing Product Manufacturing through Smart Virtual Product Development (SVPD) for Industry 4.0
PublicationABSTRACT This paper proposes the Smart Virtual Product Development (SVPD) system, which enhances the industrial product manufacturing processes. The proposed system comprises of three main modules: design knowledge management (DKM), manufacturing capability analysis and process planning (MCAPP), and product inspection planning (PIP). Smart virtual product development system collects, stores, and uses experiential knowledge from...
-
Smart Innovation Engineering (SIE): Experience-Based Product Innovation System for Industry 4.0
PublicationThis paper presents a semi-automatic system capable of facilitating product innovation process. This system, known as Smart Innovation Engineering (SIE) system, helps in decision-making by using the explicit knowledge of formal decision events. The SIE system carries the promise to support the innovation processes of manufactured products in a quick and efficient way. It stores and reuses the past decisional events or sets of experiences...
-
Set of Experience and Decisional DNA: Experience-Based Knowledge Structures
PublicationThis chapter presents a description of Set of Experience Knowledge Structure (SOEKS) and Decisional DNA (DDNA), argumentation for a knowledge representation, composition, configuration and metrics. SOEKS is a combination of filtered and amalgamated information obtained from formal decision events. It facilitates effective explicit representation of decisional experience taken from different technologies. SOEKS comprises variables,...
-
Implementing Smart Virtual Product Development (SVPD) to Support Product Manufacturing
PublicationThis paper illustrates the concept of providing the manufacturing knowledge during early stages of product life cycle to experts working on product development. The aim of this research is to enable a more collaborative product development environment by using Smart Virtual Product Development (SVPD) system, which is powered by Set of Experience Knowledge Structure (SOEKS) and Decisional DNA (DDNA). It enhances the industrial product...
-
The Idea of a Student Research Project as a Method of Preparing a Student for Professional and Scientific Work
PublicationIn the paper we present the idea and implementation of a student research project course within the master’s program at the Faculty of Electronics, Telecommunications and Informatics, Gdansk Tech. It aims at preparing students for performing research and scientific tasks in future professional work. We outline the evolution from group projects into research project and the current deployment of both at bachelor’s and master’s levels...
-
<title>Design and simulation of FPGA implementation of a RF control system for the TESLA test facility</title>
Publication -
Development of Technical Creativity Featuring Modified TRIZ-AM Inventive Principle to Support Design for Additive Manufacturing
Publicationhe design for additive manufacturing (DFAM) processing was introduced to fully utilise the design freedom provided by additive manufacturing (AM). Consequently, appropriate design methodologies have become essential for this technology. Recently, many studies have identified the importance of DFAM method utilisation to produce AM parts, and TRIZ is a strategy used to formalise design methodologies....
-
Application of the 3D DEM in the modelling of fractures in pre-flawed marble specimens during uniaxial compression
PublicationPrzedstawiono w tym artykule wyniki modelowania pęknięć w cylindrycznych próbkach marmurowych ze wstępnymi nacięciami w czasie jednoosiowego ściskania . Zastosowano metodę elementów dyskretnych (DEM). Zbadano propagację i koalescencję pęknięć w próbkach marmuru z istniejącymi otwartymi nacięciami pod różnymi kątami do poziomu. Wyniki numerycznych symulacji trójwymiarowych (3D) zostały bezpośrednio porównane z badaniami laboratoryjnymi....
-
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...
-
Wykorzystanie serwerów UDDI dla systemów zdalnej edukacji.
PublicationW artykule przedstawiono możliwości wykorzystania usług sieciowych opartych na serwerach UDDI (Universal Description, Discovery and Integration) do przechowywania obiektów edukacyjnych. Opisane rozwiązanie wykorzystujące język XML, protokół SOAP (Simple Object Access Protocol) i standard WSDL (Web Services Description Language) pozwala na tworzenie baz wiedzy przeznaczonych zarówno dla uczniów jak również dla nauczycieli....
-
Four-state stochastic model of changes in the reliability states of a motor vehicle
PublicationThe properties of semi-Markov processes have been generally characterized and the applicability of the theory of such processes to the determining of the reliability of motor cars and other road vehicles has been explained. A formal description of the process of changes in the motor vehicle technical states considered as reliability states and a model of this process in the form of a one-dimensional stochastic process have been...
-
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...
-
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...
-
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...
-
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...
-
Otoczenie drogi źródłem zagrożeń dla uczestników ruchu drogowego
PublicationDrzewa bezpośrednio przy krawędzi jezdni, a za drzewami skarpy rowów odwadniających, uniemożliwiają poruszanie się niechronionych użytkowników dróg poboczem. Brak zdefiniowanej w polskich warunkach technicznych strefy bezpieczeństwa drogi powoduje duże konflikty z organizacjami ekologicznymi przy próbie usunięcia drzew z bezpośredniego otoczenia dróg. W związku z tym należy poszukiwać kompromisu pomiędzy bezpieczeństwem uczestników...
-
Badania i rozwój technologii ogniw fotowoltaicznych
PublicationW tym roku mija już 60 lat od publikacji Chapina, Fullera i Pearsona dotyczącej krzemowych złącz typu p-n, które mają zdolność do konwersji energii słonecznej na energię elektryczną , ale tak naprawdę przez ostatnie 10-15 lat obserwujemy szczególnie intensywny rozwój w obszarze badań i nowych technologii fotowoltaicznych. Jest on możliwy dzięki przełomowym osiągnięciom w dziedzinie chemii, inżynierii materiałowej, nanotechnologii...
-
Centrum Zastosowań Matematyki
PublicationProjekt Centrum Zastosowan Matematyki realizowany jest przy Wydziale Fizyki Technicznej i Matematyki Stosowanej Politechniki Gdanskiej od wrzesnia 2013 do sierpnia 2015 roku. W drodze konkursu organizowanego przez Narodowe Centrum Badan i Rozwoju uzyskał on dofinansowanie w wysokosci niemal dwa miliony złotych ze srodków Europejskiego Funduszu Społecznego. Zadania projektu obejmuja: stworzenie platformy internetowej, organizacje cyklu...
-
Analiza wpływu zachowań niechronionych użytkowników dróg na ich poziom bezpieczeństwa w obrębie przejść dla pieszych bez sygnalizacji świetlnej
PublicationTematem artykułu jest identyfikacja czynników i zależności oddziaływających na zachowanie uczestników ruchu drogowego w kontekście poziomu bezpieczeństwa w obrębie przejść dla pieszych bez sygnalizacji świetlnej. Stosowanie odpowiednio oznakowanych przejść dla pieszych stanowi podstawowy środek ułatwiający przechodzenie pieszych przez jezdnię. Jednak bezwzględna pewność pieszych i rowerzystów o możliwości przekroczenia jezdni...
-
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...