Filters
total: 717
-
Catalog
- Publications 585 available results
- Journals 7 available results
- Conferences 24 available results
- Publishing Houses 1 available results
- People 15 available results
- Laboratories 1 available results
- e-Learning Courses 57 available results
- Events 25 available results
- Open Research Data 2 available results
Search results for: SPECYFIKACJE FORMALNE
-
Applying Generative Modelling Tools to Explore Architectural Forms
PublicationThe digital generative methods open up new areas for exploration of formal and tectonic features, accentuate form’s ability to emerge and perform. They allow for automatic generation of variations of solutions, and digital production of “difficult” components of architectural forms using CNC technology.The paper deals with contemporary architectural explorations of complex , curvilinear surfaces in the context of generative...
-
Analiza holenderskich doświadczeń w zakresie logistyki miejskiej
PublicationW artykule dokonano analizy holenderskich doświadczeń w zakresie logistyki miejskiej i organizacji systemu dostaw towarów na przykładzie Utrechtu. Wybór miasta podyktowany był ponad 20 letnim konsekwentnym zaangażowaniem i doświadczeniem w tej dziedzinie. Przedstawiono zmiany w podejściu do problemów miejskiego transportu ładunków z punktu widzenia polityki krajowej oraz przebieg procesu decentralizacji odpowiedzialności na poziom...
-
Skills Mismatch in the Context of Technological Change
PublicationThis dissertation examines the impact of technological change (TC) on skills and competences and how higher education’s role has changed along the way. Quantitative research was conducted to reveal the perceptions of students and employers in Poland on the relevance of particular skills in an ICT based economy. The results of this research show that there is generally a rather insignificant discrepancy in these perceptions....
-
Time travel without paradoxes: Ring resonator as a universal paradigm for looped quantum evolutions
PublicationA ring resonator involves a scattering process where a part of the output is fed again into the input. The same formal structure is encountered in the problem of time travel in a neighborhood of a closed timelike curve (CTC). We know how to describe quantum optics of ring resonators, and the resulting description agrees with experiment. We can apply the same formal strategy to any looped quantum evolution, in particular to the...
-
A Method for The Assessing of Reliability Characteristics Relevant to an Assumed Position-Fixing Accuracy in Navigational Positioning Systems
PublicationThis paper presents a method which makes it possible to determine reliability characteristics of navigational positioning systems, relevant to an assumed value of permissible error in position fixing. The method allows to calculate: availability , reliability as well as operation continuity of position fixing system for an assumed, determined on the basis of formal requirements - both worldwide and national, position-fixing accuracy....
-
ON DYNAMICS OF ELASTIC NETWORKS WITH RIGID JUNCTIONS WITHIN NONLINEAR MICRO-POLAR ELASTICITY
PublicationWithin the nonlinear micropolar elasticity we discuss effective dynamic (kinetic) properties of elastic networks with rigid joints. The model of a hyperelastic micropolar continuum is based on two constitutive relations, i.e., static and kinetic ones. They introduce a strain energy density and a kinetic energy density, respectively. Here we consider a three-dimensional elastic network made of three families of elastic fibers connected...
-
Model test and numerical simulations of earth pressure of non-cohesive soil in 3D formulation.
PublicationW pracy przedstawiono wyniki badań modelowych i obliczeń numerycznych parcia gruntu niespoistego w układzie przestrzennym działajacego na sztywną ścia- nę oporową. Podstawowe schematy wyznaczenia parcia gruntu na sztywną ścianę oporową opatre sa na obrocie ściany wokół jej wierzchołka i podstawy. Uzys- kane wyniki obliczeń przedstawiono jako rozkład składowych statycznych i normalnych wzdłuż sciany. Podano również wypadową parcia...
-
Nowa metoda ograniczania prądów zwarciowych.
PublicationObecnie stosowane bieżace sposoby ograniczania prądów zwarciowych polegają na zwiększaniu impodancji sieci zasilającej lub stosowaniu szybkich wyłączników ograniczających. Opisana w artykule metoda polega na tym, że do każdego przewodu fazowego sieci zasilajacej właczony jest dławik z zespołem diod i tyrystorów w taki sposób, że w czsie normalnej pracy spadek napięcia na tym dławiku jest ....... mały. Dopiero w chwili wzrostu pradu...
-
CZYNNIKI DECYDUJĄCE O PRZYDATNOŚCI KOMPUTEROWEGO MODELU PRZEPŁYWÓW W SIECI WODOCIĄGOWEJ
PublicationW pracy poddano analizie wielozadaniowy proces tworzenia komputerowego modelu przepływów. W efekcie zidentyfikowano szereg czynników ograniczających obszar stosowania modelu w praktyce inżynierskiej. W zakresie pozyskiwania danych strukturalnych i operacyjnych wskazano potencjalne źródła błędów, które przyczyniają się do zmniejszenia dokładności odwzorowania stanu rzeczywistego. Specjalną rangę nadano specyfikacji czynników związanych...
-
ZARZĄDZANIE STRATEGIAMI SZLIFOWANIA SZYN W PROCESIE UTRZYMANIA NAWIERZCHNI KOLEJOWYCH
PublicationSzlifowanie szyn kolejowych od co najmniej kilkunastu lat jest podstawową i integralną czynnością na rzecz prawidłowego utrzymania nawierzchni kolejowej i wydłużenia jej trwałości. Technologia, która pierwotnie stosowana była do usuwania tzw. zużyć falistych, czyli wzdłużnych nierówności powierzchni tocznej główki szyny, w coraz szerszym zakresie wprowadzana jest jako czynność planowo-zapobiegawcza. Zwiększone obciążenia dynamiczne...
-
Zastosowanie kontrolerów strumieniowych USB do budowy dedykowanych interfejsów dźwiękowych.
PublicationCelem niniejszej publikacji jest omówienie zagadnień związanych z projektowaniem i budową dedykowanych komputerowych interfejsów dźwiękowych USB, charakteryzujących się wysokimi parametrami elektroakustycznymi oraz łatwością rozbudowy, z wykorzystaniem kontrolerów strumieniowych USB. W pierwszej kolejności omówiono cechy charakterystyczne magistral komunikacyjnych PCI oraz USB, które mogą służyć do budowy komputerowych interfejsów...
-
Investigation of the C-1311 glucuronidation: an electrochemical approach
Open Research DataThis study was undertaken to investigate the glucuronidation of the compound C-1311 (5-diethylaminoethylamino-8-hydroxyimidazoacridinone – the model anticancer acridine derivative) using electrochemistry/mass spectrometry (EC/MS) as a complementary technique to in vitro (liver microsomes) and in silico approaches.
-
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Conferences -
International Workshop on Formal Methods for Parallel Programming: Theory and Applications
Conferences -
Impact of Energy Slope Averaging Methods on Numerical Solution of 1D Steady Gradually Varied Flow
PublicationIn this paper, energy slope averaging in the one-dimensional steady gradually varied flow model is considered. For this purpose, different methods of averaging the energy slope between cross-sections are used. The most popular are arithmetic, geometric, harmonic and hydraulic means. However, from the formal viewpoint, the application of different averaging formulas results in different numerical integration formulas. This study...
-
CMMI - an Assurance of Transferability of Knowledge andProjects in a Distributed Enterprise
PublicationCMMI (Capability Maturity Model Integrated)is a reference model fordefining and performing processes in software and systems engineeringorganizations.An organization implementing CMMI,among other things,assures thatacit knowledge is properly externalized into formal knowledge.This externalization gives an organization opportunity to assure that knowledge and development projects are easily transferable across adistributed enterprise...
-
The impact of institutions on innovation networks: empirical evidence from Poland
PublicationInnovation networks may accelerate and improve the innovation process, while institutional pathologies may hamper it. This study employs the Kruskal-Wallis H test and regression analysis to determine if the relationship between institutions and innovation networks does exist among the investigated variables. The purpose of the study was to find out whether cooperation with special local institutions influences the innovative behaviour...
-
Projekt fakultatywny I SAUP konkurs 2022/23
e-Learning CoursesOpracowanie projektu architektonicznego obiektu witacza jako elementu realizującego Strategię Promocji Turystyki dla Międzynarodowych Tras Rowerowych EuroVelo 10/13, EuroVelo 9/WTR oraz dla trasy nr 20 w Województwie Pomorskim. Witacze mają być zlokalizowane na wjazdach do naszego województwa oraz w charakterystycznych lokalizacjach na trasie. Zajęcia prowadzone będą w formule konkursu studenckiego z nagrodami pieniężnymi, praca...
-
Cyfrowa biblioteka dokumentów muzycznych
PublicationW pracy przedstawiono główny cel projektu badawczego Moniuszko, będacego projektem i realizacją interaktywnej biblioteki cyfrowej dokumentów muzycznych. W pracy przedstawiono również koncepcję cyfrowego dokumentu muzycznego, a także wskazano standard MPEG-7, jako najlepiej spełniający wymogi opisu tych dokumentów. Zaproponowano rozszerzenie tego standardu o możliwość pełnego opisu bibliograficznego dokumentu muzycznego, a także...
-
Problems of reinforcement designing for plates
PublicationPrzedstawiono problem projektowania zbrojenia nietrajektorialnego płyt w aspekcie ich odkształcalności. Na podstawie niektórych wyników badań doświadczalnych, przeprowadzonych na żelbetowych płytach skręcanych, zweryfikowano procedury wymiarowania. Analiza wykazuje, że pomimo formalnego zapewnienia nośności przekroju płyt nietrajektorialnie zbrojonych, ich odkształcalność znacznie wzrasta. Aby zapewnić im sztywność na poziomie...
-
Postępowanie przed sądami dyscyplinarnymi, polubownymi i koleżeńskimi dla architektów: Wybór przepisów
PublicationDla praktykującego architekta wykonywanie zawodu jest funkcją odpowiedzialności. Odpowiedzialność ta może rodzić skutki karne, cywilne, zawodowe, dyscyplinarne i moralne. Przedmiotem niniejszej publikacji jest próba wyróżnienia szeroko pojętej odpowiedzialności zawodowej, przybliżenia jej podstaw prawnych oraz opisania postępowania przed sądami dyscyplinarnymi, polubownymi i koleżeńskimi. Specyfiką tego typu postępowań jest odpowiadanie...
-
PROBLEMY RACJONALNEGO ZASTOSOWANIA SYSTEMÓW DIAGNOZUJĄCYCH DO PODEJMOWANIA DECYZJI W FAZIE EKSPLOATACJI URZĄDZEŃ ENERGETYCZNYCH Z UWZGLĘDNIENIEM ZAGADNIEŃ KWANTOWYCH
PublicationW rozdziale przedstawiono najistotniejsze problemy pojawiające się w fazie projektowania, wytwarzania i eksploatacji systemów diagnozujących (SDG) urządzeń energetycznych (będących systemami diagnozowanymi – SDN), w przypadku przysposabiania ich do opracowania finalnej diagnozy eksploatacyjnej. Przestawiono opisową i formalną interpretację pojęcia systemu diagnozującego (SDG). Zaproponowano modele procesu diagnozowania urządzeń...
-
Koncepcja platformy wymiany informacji o incydentach cyberbezpieczeństwa dla krajowego systemu elektroenergetycznego
PublicationArtykuł opisuje wybrane zagadnienia związane z cyberbezpieczeństwem w sektorze elektroenergetyki. Jednym z elementów zapewniania bezpieczeństwa sieci elektro-energetycznej jest efektywna wymiana informacji o incydentach bezpieczeństwa. W jej ramach wszystkie zaangażowane podmioty systemu elektroenergetycznego, tj.: elektrownie, operatorzy systemów przesyłowych, operatorzy systemów dystrybucyjnych, dostawcy rozwiązań bezpieczeństwa,...
-
Indywidualne programy integracyjne dla uchodźców i cudzoziemców objętych ochroną uzupełniającą z państw poradzieckich w dobie przynależności Polski do Unii Europejskiej
PublicationCelem pracy jest analiza uwarunkowań i skali obejmowania indywidualnymi programami integracyjnymi obywateli państw poradzieckich, którym przyznawano status uchodźcy i ochronę uzupełniającą w Polsce w okresie od 2004 r. do 2018 r., tj. od przystąpienia przez Polskę do Unii Europejskiej. Omawiane są następujące zagadnienia: uwarunkowania formalno-prawne ochrony międzynarodowej w Polsce, zasady przyznawania indywidualnych programów...
-
Comparison of requirements for location, maintenance and removal of road advertising between polish and foreign regulations
PublicationThe article gives an overview of Polish and international formal and legal requirements for roadside advertising and the relevant road safety impacts. The analysis focussed on outdoor advertising life cycle consisting of three stages: location, operation and removal of advertising. Experience of road authorities from Australia (Queensland), Republic of South Africa and the United Kingdom was collected. The article is part of a...
-
Application of Majority Voting Protocols to Supporting Trading Decisions
PublicationA broad spectrum of analysis and prediction indicators and methods exists to support trading decisions, but no hard knowledge exist to tell in advance which of them will fit best in a given timeframe. To support trading decisions, a multi-agent self-organizing system has been proposed. The system is based on history based dynamic weight voting and selects the right indicators based on their past performance. The formal analysis...
-
APPLICATION OF MAJORITY VOTING PROTOCOLS TO SUPPORTING TRADING DECISIONS
PublicationA broad spectrum of analysis and prediction indicators and methods exists to support trading decisions, but no hard knowledge exist to tell in advance which of them will fit best in a given timeframe. To support trading decisions, a multi-agent self-organizing system has been proposed. The system is based on history based dynamic weight voting and selects the right indicators based on their past performance. The formal analysis...
-
Quality control procedures in Pomeranian Digital Library
PublicationThis paper concerns a quality control in digital libraries projects. At first, general goals of such projects are presented together with some restrictions concerning non-commercial projects. Then some quality factors for digital objects are presented. Finally, a quality control model for Pomeranian Digital Library (PDL) is proposed. The model assumes three levels of quality control and takes into account specific features of PDL....
-
Pier of the future- investigation of green and blue strategies as tools for modernization of Gdynia's public waterfront
PublicationBetween rising water levels and global migration to cities, architects and designers need to critically reimagine the relationship between coastal landscapes and public space. Cities are facing entirely new risks and environmental conditions. Resiliency, infrastructure, and ecology are increasingly common terms, reflecting the growing demand to address the spatial and formal challenges faced by cities worldwide. Rethinking boundaries...
-
Experience Based Clinical Decision Support Systems: An Overview and Case Studies
PublicationThis chapter briefly overviews the evolution of the application of the Decisional DNA and the Set of Experience Knowledge Structure (SOEKS) in the medical domain and in particular in the specific case of the experience-based decision support systems. Decisional DNA, as a knowledge representation structure, offers great possibilities on gathering explicit knowledge of formal decision events as well as a tool for decision making...
-
Instrumented End Notched Flexure - Crack propagation and process zonemonitoring. Part I: Modelling and analysis
PublicationAnalysis of the three-point bending, End Notched Flexure (ENF), test is presented for exploitation with a new experimental methodology using the backface strain monitoring technique. The model consists oftwo Timoshenko beams joined with a two parameter elastic foundation, to evaluate stress and strain fields in both adherends and the adhesive layer, together with the specimen compliance and energyrelease rate. This model is compared...
-
Transition curve with smoothed curvature at its ends for railway roads
PublicationIn the paper, in view of a railway ballasted track, a new concept of transition curve of linear form of curvature along its length and smoothed extreme regions is presented. For this purpose use has been made of an original, universal method for identifying transition curves by means of differential equations. Some general curvature equations for three regions investigated have been determined to be followed by appropriate parametric...
-
Managing competence and certifying persons responsible for functional safety = Zarządzanie kompetencjami i certyfikacja osób odpowiedzialnych za bezpieczeństwo funkcjonalne
PublicationThis article emphasizes that knowledge and competences of managers, engineers and specialists dealing with safety-related technologies for hazardous industry should be appropriately shaped in the technical education processes and training programmes fulfilling some quality requirements and assessment criteria. It concerns especially persons dealing with the functional safety solutions in the design and operation of the electric,...
-
Polityka Rozwoju/Development Policy
e-Learning CoursesZajęcia dotyczą wyzwań realizacji 11 celu Światowej Polityki Zrównoważonego Rozwoju czyli kwestii budowania odpornych społeczności miejskich w krajach rozwijających się Wykłady odbywają się w formule zdalnej w układzie zajęć zblokowanych wg indywidualnego planu. prowadząca: dr Gabriela Rembarz grem@pg.edu.pl
-
Property revenues (PRs) and expenditures of local government units (LGUs) in Poland
PublicationPRs are new category of local government revenues, which was introduced by changing the law on public finances at the end of 2006 and which took effect in 2007. By principle, these revenues should be converted into property expenditures. Their formalisation did not only allow assessing their absolute size but also a comparison with the longer existing property expenditures. Both categories were subject of analysis in this article....
-
Wzrost gospodarczy a zapotrzebowanie na prace - teoria i rzeczywistość gospodarcza Polski w latach 1995-2014
PublicationW części teoretycznej artykułu w pierwszej kolejności przedstawiono makroekonomiczne podstawy zapotrzebowania na pracę w warunkach postępu technicznego oraz zmian kapitału rzeczowego. W następnej kolejności sformułowano założenia dla modelu opisującego zależności pomiędzy stopami wzrostu produktu krajowego i zatrudnienia. W części empirycznej artykułu rozważano wybrane wersje oszacowanego modelu opisujące gospodarkę Polski. Do...
-
Zatrudnienie a wzrost gospodarczy w teorii i w rzeczywistości gospodarki polskiej
PublicationW części teoretycznej artykułu w pierwszej kolejności przedstawiono makroekonomiczne podstawy zapotrzebowania na pracę w warunkach postępu technicznego oraz zmian kapitału rzeczowego. W następnej kolejności sformułowano założenia dla dynamicznego modelu opisującego zależności pomiędzy stopami wzrostu produktu krajowego i zatrudnienia. W części empirycznej artykułu rozważano wybrane wersje oszacowanego modelu opisujące gospodarkę...
-
MTS pilot tone tracking for "wow" distortion determination
PublicationArtykuł przedstawia nowy algorytm do wyznaczania charakterystyki kołysania dźwięku na podstawie śledzenia zmian tonu pilota MTS. Śledzenie zmian częstotliwości nośnej tonu MTS pozwala określić zmienną w czasie głębokość pasożytniczych modulacji częstotliwości będących konsekwencją kołysania. Na tej podstawie tworzona jest charakterystyka zniekształcenia. Proponowany algorytm bazuje na zaproponowanej wcześniej metodzie śledzenie...
-
Quantum origins of objectivity
PublicationIn spite of all of its successes, quantum mechanics leaves us with a central problem: How does nature create a bridge from fragile quanta to the objective world of everyday experience? Here we find that a basic structure within quantum mechanics that leads to the perceived objectivity is a so-called spectrum broadcast structure. We uncover this based on minimal assumptions, without referring to any dynamical details or a concrete...
-
FINANSOWANIE ODNOWY ZABYTKÓW W POLSCE PRZY WYKORZYSTANIU POMOCY UE
PublicationRola zabytków w gospodarce rynkowej jest dwojaka. 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. Polskie zabytki nieruchome mogą być wykorzystywane do budowy przewagi konkurencyjnej kraju, jednak z uwagi na ich zły stan techniczny, wymagają nieustannych prac konserwatorskich....
-
Prawne aspekty wykorzystania Internetu w procesie kształcenia studentów
PublicationZajęcia prowadzone z wykorzystaniem metod i technik kształcenia na odległość nabierają coraz większego znaczenia w związku z rozwojem technologii informacyjno−komunikacyjnych. Pozwalają one na zastosowanie nowych form przekazywania wiedzy oraz komunikacji nauczycieli akademickich i studentów. Pamiętać należy, że przepisy dotyczące usług internetowych nie zostały stworzone z myślą o regulacji e−nauczania. W 2006 roku Ministerstwo...
-
Identyfikacja systemów cumowniczych MJP i konsekwencje wynikające z ich zastosowania
PublicationW pracy rozpoznano i przeanalizowano użycie najczęściej stosowanych systemów cumowniczych dla MJP. Dobór konkretnego systemu cumowniczego jest skomplikowany i wymaga przeanalizowania szeregu czynników. Najczęściej stosowanymi systemami cumowniczymi są: cumowanie do pali stalowych, cumowanie za pomocą bomów cumowniczych, cumowanie za pomocą lin (cum), cumowanie za pomocą martwych kotwic i kotwic Seaflex. Konsekwencje wynikające...
-
Semi-Markov model of diesel engines' operating process.
PublicationNajistotniejszym problemem eksploatacji silników o zapłonie samoczynnym jest problem racjonalnego (a zwłaszcza optymalnego) sterowania procesem eksploatacji tych silników. Sterowanie takie może ułatwić zastosowanie iteracyjnego algorytmu wyznaczania optymalnych strategii opracowanego przez R.A. Howarda. Wykorzystanie jednak tego algorytmu do sterowania procesem eksploatacji silników wymaga między innymi opracowania modelu procesu...
-
Semi-Markovian models of the process of technical state changes of technical objects.
PublicationNajistotniejszym problemem eksploatacji wszystkich obiektów technicznych (urządzeń) jest problem racjonalnego (a zwłaszcza optymalnego) decyzyjnego sterowania procesem zmian stanów technicznych tych obiektów. Sterowanie takie może być realizowane w przypadku zastosowania między innymi modelu wspomnianego procesu zmian stanów. Mając to na uwadze, w opracowaniu tym przedstawiono formalny opis procesu eksploatacji obiektów technicznych...
-
DEM Analyses of Interface Behaviour Between Cohesionless Sand and Rigid Wall of Different Roughness
PublicationArtykuł dotyczy trójwymiarowych symulacji numerycznych quasi-statycznego ścinania między niespoistym piaskiem a sztywnymi ścianami w aparacie bezpośredniego ścinania ścian. Chropowatość ścian sztywnych wahała się od gładkiej do bardzo szorstkiej. Na górną ścianę działało stałe ciśnienie normalne. Symulacje numeryczne przeprowadzono metodą elementów dyskretnych (DEM). Ziarna piasku opisywano jako kulki z momentami kontaktowymi...
-
Teatr Improwizacji
EventsW Akademickim Klubie Politechniki Gdańskiej „Kwadratowa” wystąpi grupa „No i Fajnie” w ramach Teatru Improwizacji.
-
International Conference on Formal Methods for Open Object-Based Distributed Systems
Conferences -
ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code
Conferences -
Modular Experience-Based Smart Innovation Engineering System
PublicationThe current paper presents the systematic approach for supporting the product innovation process of manufactured products. The proposed system uses a collective, team-like knowledge developed by innovation related experiences of the formal decisional events. The proposed system for smart innovation engineering carries the promise to support the innovation processes in a quick and efficient way. It stores the past decisional events...
-
The analytical design method of railway route’s main directions intersection area
PublicationThe paper presents a design method related to railway track sections situated in a bend. In the method advantage is taken of an analytical form of description by using appropriate mathematical formulae. This may becomeparticularly usefulwhen the investigations are based on the data obtained from mobile satellite measurements. In the paper attention is concentrated on an universal approach creating an opportunity to diversify the...