Search
Filters
total: 621
-
Catalog
- Publications 506 available results
- Journals 8 available results
- Conferences 24 available results
- Publishing Houses 1 available results
- People 10 available results
- Laboratories 1 available results
- e-Learning Courses 44 available results
- Events 25 available results
- Open Research Data 2 available results
Search results for: GRAMATYKI FORMALNE
-
ROLA ZABYTKÓW W GOSPODARCE - WYBRANE ZAGADNIENIA
PublicationRola zabytków w gospodarce rynkowej jest dwojaka i ogranicza się jedynie do wartości historycznej, naukowej czy artystycznej. Z jednej strony budują tożsamość narodową i pełnią funkcje społeczne, a z drugiej – stanowią produkt rynkowy, który wspiera rozwój regionalny pod względem atrakcyjności turystycznej oraz inwestycyjnej. Zabytki jako część infrastruktury stanowią element rozwoju społeczno – gospodarczego. Można więc powiedzieć,...
-
Teoria ruchu pojazdów - W-30/Ć-15/L-0/P-0, WIMiO, PMRiUN, I st., sem. 05, stacjonarne, (M:31576W0), semestr zimowy 2022/2023
e-Learning CoursesPrzenoszenie napędu przez koło ogumione: toczenie z poślizgiem, toczenie przy dużej odkształcalności ogumienia, normalne i styczne reakcje nawierzchni, przyczepność, straty energetyczne, siły w obszarze styku opony z jezdnią. Opory ruchu: powietrza, wzniesienia, bezwładności i holowania. Siły i momenty sił działające na pojazd w ruchu prostoliniowym. Graniczne wartości sił reakcji podłoża. Różne układy napędowe - porównanie właściwości....
-
Teoria ruchu pojazdów - W-30/Ć-15/L-0/P-0, WIMiO, PMRiUN, I st., sem. 05, stacjonarne, (M:31576W0), semestr zimowy 2023/2024
e-Learning CoursesPrzenoszenie napędu przez koło ogumione: toczenie z poślizgiem, toczenie przy dużej odkształcalności ogumienia, normalne i styczne reakcje nawierzchni, przyczepność, straty energetyczne, siły w obszarze styku opony z jezdnią. Opory ruchu: powietrza, wzniesienia, bezwładności i holowania. Siły i momenty sił działające na pojazd w ruchu prostoliniowym. Graniczne wartości sił reakcji podłoża. Różne układy napędowe - porównanie właściwości....
-
Towards automating repairs of IT systems
PublicationThis paper presents formal description of working principles of the repair library, being the essential component of the Repair Management Framework (RMF), which aims at automating the process of repairing IT systems, and consists also of the Repair Management Model (RMM) and the Repair Management System (RMS). RMM introduces two mathematical models (model of monitoring and model of repair processes), general enough to cover the...
-
Discovering patterns of Web Page Visits from Associaton Rules Viewpoint
PublicationThe popularity of the Internet results from the almost unlimited resources of information stored in it. At the same time, Internet portals have become a widespread source of information and note very large number of visits. The list of web pages opened by users is stored in web servers' log files. Extraction of knowledge on the navigation paths of users has become carefully analyzed problem. Currently, there are a number of algorithms...
-
The potential of Web-GIS and geovisual analytics in the context of marine cadastre
PublicationThe importance of the marine environment to human existence makes it imperative that information models represent the multidimensional nature of reality as closely as possible in order to facilitate good governance. Information regarding jurisdiction, as well as the effects of formal law and community interests on the marine environment (e.g. nature and spatial extents as well as rights, responsibilities, restrictions etc.) would...
-
Smart Innovation Engineering: Toward Intelligent Industries of the Future
PublicationKnowledge-based Engineering Systems are founded upon integration of knowledge into computer systems and are one of the core requirements for the future Industry 4.0. This paper presents a system called Smart Innovation Engineering (SIE) capable of facilitating product innovation process semi-automatically. It enhances decision-making processes by using the explicit knowledge of formal decision events. The SIE system carries the...
-
Smart Virtual Product Development (SVPD): Experience Based Product Development System for Industry 4.0
PublicationThis chapter presents the concept of smart virtual product development (SVPD) system capable of supporting industrial product development. It enhances the decision making process during various activities involved in product development i.e. product design, manufacturing, and inspection planning. This is achieved by using the explicit knowledge of past formal decision events, which are captured, stored, and recalled in the form...
-
Scalar and Vector acoustic fields and sources: a new look
PublicationA study of fundamental problems of the wavefields that are the reaction of fluid continuum on two kinds of primary actions in fluid, then on two kinds of elementary point sources, is presented in this paper, based on the assumption of the physical duality of linear fluid mechanics and the formal symmetry of mathematical description. The two fundamental wavefields generated in fluid by physical point sources are discussed in detail,...
-
Decisional-DNA Based Smart Production Performance Analysis Model
Publicationn order to allocate resources effectively according to the production plan and to reduce disturbances, a framework for smart production performance analysis is proposed in this article. Decisional DNA based knowledge models of engineering objects, processes and factory are developed within the proposed framework. These models are the virtual representation of manufacturing resources, and with help of Internet of Things, are capable...
-
Towards Experience-Based Smart Product Design for Industry 4.0
PublicationThis paper presents the concept of smart virtual product development (SVPD) system capable of supporting industrial product development process. It enhances the decision making process during different stages and activities involved in product development i.e. product design, manufacturing, and its inspection planning. The enhancement is achieved by using the explicit knowledge of formal past decision events, which are captured,...
-
Applying Decisional DNA to Internet of Things: The Concept and Initial Case Study
PublicationIn this article, we present a novel approach utilizing Decisional DNA to help the Internet of Things capture decisional events and reuse them for decision making in future operations. The Decisional DNA is a domain-independent, standard and flexible knowledge representation structure that allows its domains to acquire, store, and share experiential knowledge and formal decision events in an explicit way. We apply this approach...
-
Hybrydowa technologia wzmacniania gruntu w renowacji wałów przeciwpowodziowych
PublicationW artykule przedstawiono propozycję kompleksowego podejścia do renowacji wałów przeciwpowodziowych z zastosowaniem tzw. technologii hybrydowych. Autorzy prezentują technologię, opracowaną z udziałem Katedry Geotechniki, Geologii i Budownictwa Morskiego Politechniki Gdańskiej, łączącą znane metody dynamicznego wzmacniania podłoża gruntowego. Technologia, w swej hybrydowej formule, zapewnia odpowiednie wzmocnienie podłoża zalegającego...
-
Wytrzymałość zmęczeniowa i nośność graniczna, 2023/24 – prow.WP
e-Learning CoursesKurs obejmuje materiały pomocnicze do wykładu i projektu z „Wytrzymałości zmęczeniowej i nośności granicznej” przeznaczone dla studiów stacjonarnych, specjalność Budowa okrętów, oraz niestacjonarnych, specjalność Budowa okrętów i jachtów, profil „Duże statki”.Materiały do wykładu zawierają prezentacje, które można obejrzeć bezpośrednio, oraz pliki w formacie PDF z komentarzem do wykładów. Materiały do projektu zawierają wprowadzenia...
-
Minimalizm jako metoda twórcza w architekturze współczesnej na wybranych przykładach z lat 1990-2005
PublicationPunktem wyjścia do pracy nad niniejszą książką była zaobserwowana zarówno w języku krytyki architektonicznej jak i w języku potocznym tendencja do utożsamiania, a za tym ograniczania, znaczenia architektonicznego minimalizmu do jego aspektu wizualnego. Niemal każde formalne lub stylistyczne uproszczenie wpisane zostaje w jakiś szeroki nurt minimalizmu, a prosty wygląd architektury stał się jego podstawowym kryterium klasyfikacyjnym....
-
Automatic Watercraft Recognition and Identification on Water Areas Covered by Video Monitoring as Extension for Sea and River Traffic Supervision Systems
PublicationThe article presents the watercraft recognition and identification system as an extension for the presently used visual water area monitoring systems, such as VTS (Vessel Traffic Service) or RIS (River Information Service). The watercraft identification systems (AIS - Automatic Identification Systems) which are presently used in both sea and inland navigation require purchase and installation of relatively expensive transceivers...
-
Corrosion fatigue crack propagation rate characteristics for weldable ship and offshore steels with regard to the influence of loading frequency and seawater temperature
PublicationAfter Vosikovsky (1975), the corrosion fatigue crack growth rate (CFCGR) characteristics have been divided into three regions. The region-III rates are very close to mechanical fatigue crack growth rates. CFCGR formulae, including the long-crack length effect (in region I only), the loading frequency effect (in region II only), and the saltwater temperature effect, have been proposed. It has been assumed that CFCGR is proportional...
-
Reduced-Cost Constrained Modeling of Microwave and Antenna Components: Recent Advances
PublicationElectromagnetic (EM) simulation models are ubiquitous in the design of microwave and antenna components. EM analysis is reliable but CPU intensive. In particular, multiple simulations entailed by parametric optimization or uncertainty quantification may considerably slow down the design processes. In order to address this problem, it is possible to employ fast metamodels. Here, the popular solution approaches are approximation...
-
General solution of quantum mechanical equations of motion with time-dependent Hamiltonians: A Lie algebraic approach
PublicationThe unitary operators U(t), describing the quantum time evolution of systems with a time-dependent Hamiltonian, can be constructed in an explicit manner using the method of time-dependent invariants. We clarify the role of Lie-algebraic techniques in this context and elaborate the theory for SU(2) and SU(1,1). In these cases we give explicit formulae for obtaining general solutions from special ones. We show that the constructions...
-
Analiza modalna konstrukcji podpierającej stanowiska badawczego dynamiki małogabarytowych wirników część druga - badania symulacyjne
PublicationCelem niniejszej pracy było przedstawienie badań eksperymentalnych oraz symulacyjnych stanowiska VIBstand. W pracy przedstawiono dokładne wyniki badań symulacyjnych, oraz skrótowo wyniki badań eksperymentalnych w celu porównania wyników. Dokładne wyniki badań eksperymentalnych przedstawione zostały części pierwszej artykułu (Analiza modalna konstrukcji podpierającej stanowiska badawczego dynamiki małogabarytowych wirników. Część...
-
Transformation of Small and Medium - Sized Enterprises in Pomerania due to staging the EURO 2012 with particular emphasis on the hotel industry
PublicationKluczowym motywem rozważań w opracowaniu jest kwestia transformacji biznesu. Przedmiotem analizy jest przekształcanie impulsów i procesów przebiegających w sferze publicznej na działalność przedsiębiorstw sektora MŚP. Bezpośrednim impulsem ilustrującym reaktywność małych przedsiębiorstw była decyzja o mistrzostwach Europy w piłce nożnej w Polsce w 2012 roku. Przedsiębiorczość wyraziła się znacznym rozwojem bazy hotelowej w wielu...
-
Time-domain description of point-source acoustic wavefields as a useful approach in ultrasonic techniques
PublicationIn traditional acoustics, field problems are usually treated in the frequency domain, broadband fields being reduced to superposition of harmonic spectrum components. However, this approach is inherently acausal and it is known that in case of arbitrary signals, the distribution-based, time-domain description can be more effective. The present paper is an attempt to expand the time-domain linear systems formalism onto space problems...
-
Comparison of simplified sum-over-state expressions to calculate resonance Raman intensities including Franck-Condon and Herzberg-Teller effects
PublicationSum-over-state (SOS) expressions to simulate absorption spectroscopy and resonance Raman (RR) scattering including Franck-Condon (FC) and Herzberg-Teller (HT) effects are described. Starting from the general SOS method, several simplified SOS formulae are derived. In particular, within the so-called independent mode displaced harmonic oscillator model, it is shown that including the vibronic structure in the absorption and RR spectra...
-
USZKODZONA BELKA TYPU T WIADUKTU DROGOWEGO. OCENA USZKODZEŃ I NAPRAWA
PublicationW rozdziale opisano metodę wzmocnienia uszkodzonej belki prefabrykowanej typu T. Dźwigar wiaduktu drogowego został uderzony przez wozidło, co spowodowało jego zarysowanie i ubytki. Zaproponowano naprawę poprzez dobetonowanie dodatkowej belki. W procesie budowy belki zastosowano balastowanie płytami betonowymi w celu wciągnięcia nowego dźwigara do przenoszenia obciążeń od ciężaru własnego obiektu. Przewidziano połączenie starego...
-
Time-Domain Description of Point-Source Acoustic Wavefields as a Useful Approach in Ultrasonic Techniques
PublicationIn traditional acoustics, field problems are usually treated in the frequency domain, broadband fields being reduced to superposition of harmonic spectrum components. However, this approach is inherently acausal and it is known that in case of arbitrary signals, the distribution-based, time-domain description can be more effective. The present paper is an attempt to expand the time-domain linear systems formalism onto space problems...
-
Mrówczan sodu z nowym pakietem inhibitorów korozji jako ekologiczny środek do odladzania infrastruktury lotniczej.
PublicationPrzedstawiono wyniki badań korozji kadmowej powłoki na stali oraz korozji po zanurzeniu stopów metali w mrówczanie sodu z nowym pakietem inhibitorów korozji, zawierającym synergiczną kompozycję poliasparaginianu sodu oraz imidazolu. Ponadto wyznaczono zdolność penetracji lodu przez badany układ. Właściwo- ści opracowanej kompozycji odladzającej porównano z właściwościami środków dostępnych na rynku. Uzyskane wyniki wskazują, że otrzymany...
-
The Importance of Demand and Environment for Defining and Establishing the Role of Data Stewards
PublicationData stewardship is now a central part of FAIR research data management. Although various types of positions called data stewards have been created at academic institutions over the last years, no demand-oriented, formal model of data stewardship and the associated roles exist so far. This workshop report presents the outcomes of the panel discussion “The Importance of Demand and Environment for Defining Data Stewardship” held...
-
EIA in teaching sustainable development and environmental protection in engineering education
PublicationA multifaceted approach in teaching the environmental impact assessment (EIA) as a way to stress the role of environmental education in technical sciences is the focus of this article. The EIA is an example of an effective tool that supports spatial planning in implementing sustainable development. The aim is to present the idea and benefits of a facilitative and collaborative approach in teaching the EIA, stressing the role of...
-
Enhancing Product Innovation Through Smart Innovation Engineering System
PublicationThis paper illustrates the idea of Smart Innovation Engineering (SIE) System that helps in carrying the process of product innovation. The SIE system collects the experiential knowledge from the formal decisional events. This experiential knowledge is collected from the set of similar products having some common functions and features. Due to the fact that SIE system collects, captures and reuses the experiential knowledge of all...
-
Propensity of salicylamide and ethenzamide cocrystallization with aromatic carboxylic acids
PublicationThe cocrystallization of salicylamide (2-hydroxybenzamide, SMD) and ethenzamide (2-ethoxybenzamide, EMD) with aromatic carboxylic acids was examined both experimentally and theoretically. The supramolecular synthesis taking advantage of the droplet evaporative crystallization (DEC) technique was combined with powder diffraction and vibrational spectroscopy as the analytical tools. This led to identification of eleven new cocrystals...
-
The Decisional DNA-Based Smart Bike for Internet of Things
PublicationIn this paper, we introduce a novel application of the Internet of Things, the Decisional DNAbased Smart Bike. The Decisional DNA is a domain-independent, flexible and standard knowledge representation structure; it allows its domains to acquire and store experiential knowledge and formal decision events in an explicit way. By using Decisional DNA, the sensor-equipped bicycle is able to learn its user’s weight, riding habits, etc....
-
Smart Virtual Product Development (SVPD) to Enhance Product Manufacturing in Industry 4.0
PublicationThis paper presents a system capable of enhancing product development process for industrial manufactured products. This system is known as Smart Virtual Product Development (SVPD), and it helps in decision making by using explicit knowledge of formal decision events. It stores and reuses the past decisional events or sets of experiences related to different activities involved in industrial product development process i.e. product...
-
Extending Service Selection Algorithms with Interoperability Analysis
PublicationApplication development by integration of existing, atomic services reduces development cost and time by extensive reuse of service components. In Service Oriented Architecture, there exist alternative versions of services supplying the same functionality but differing in Quality of Service (QoS) attributes, which enables developers to select services with optimal QoS. Existing algorithms of service selection focus on the formal...
-
The landscape in the informal education of the youngest
PublicationThe European Landscape Convention, adopted in 2000, aims to promote the protection, management and planning of landscapes and to organise cooperation on landscape-related issues. Countries that ratified the Convention undertook to introduce activities that would promote public education on the subject. In Poland, the Ministry of Education has identified schools as the place to implement...
-
Investigating Noise Interference on Speech Towards Applying the Lombard Effect Automatically
PublicationThe aim of this study is two-fold. First, we perform a series of experiments to examine the interference of different noises on speech processing. For that purpose, we concentrate on the Lombard effect, an involuntary tendency to raise speech level in the presence of background noise. Then, we apply this knowledge to detecting speech with the Lombard effect. This is for preparing a dataset for training a machine learning-based...
-
An Attempt to Create Speech Synthesis Model That Retains Lombard Effect Characteristics
PublicationThe speech with the Lombard effect has been extensively studied in the context of speech recognition or speech enhancement. However, few studies have investigated the Lombard effect in the context of speech synthesis. The aim of this paper is to create a mathematical model that allows for retaining the Lombard effect. These models could be used as a basis of a formant speech synthesizer. The proposed models are based on dividing...
-
Modernization of large music studio at Polish Radio Szczecin
PublicationStudio Muzyczne S-1 w Polskim Radiu Szczecin należy do największych studiów nagrań w Polsce. Wymiary studia wynoszą 15.3 x 17 x 8.6 m, powierzchnia 261 m2, kubatura 2244 m3. W wyniku licznych korekt akustycznych dokonanych w ciągu ostatnich lat, warunki akustyczne studia są akceptowane przez szeroki krąg realizatorów i wykonawców, co uznano to za cenny i trudno odtwarzalny walor techniczny. W związku z tym, modernizację Studia...
-
Model hydrodynamiczny cyrkulacji w instalacjach c.w.u.
PublicationW referacie opisano formalnie poprawny, kompletny model matematyczny cyrkulacji ciepłej wody użytkowej. Przedstawiono oznaczony układ równań dla przykładowej, niewielkiej lecz dostatecznie dużej i kompletnie wyposażonej instalacji. Policzono i zbilansowano liczbę równań i niewiadomych. Wskazano preferowane metody rozwiązywania takiego układu równań. Jest to materiał oryginalny (opracowany przez autorów od początku do końca), do...
-
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...
-
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...
-
"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...
-
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...
-
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...
-
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,...
-
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...
-
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....
-
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ę...
-
Spotkanie z doktorantami II roku
EventsDn. 16.03.2023 r. (czwartek) o godz. 13.00 odbędzie się spotkanie informacyjne dla doktorantów II roku w Szkole Doktorskiej na Politechnice Gdańskiej, poświęcone ocenie śródokresowej. Spotkanie będzie prowadzone w języku
-
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...