Filters
total: 6433
filtered: 4714
-
Catalog
- Publications 4714 available results
- Journals 83 available results
- Publishing Houses 9 available results
- People 376 available results
- Inventions 21 available results
- Projects 68 available results
- Laboratories 4 available results
- Research Teams 22 available results
- Research Equipment 1 available results
- e-Learning Courses 495 available results
- Events 130 available results
- Open Research Data 510 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: HANDEL MORSKI
-
Frontem do morza. Plan, budowa i architektura portu w Gdyni
PublicationGdynia to port, a port to Gdynia. Tak na początku istnienia II Rzeczpospolitej ukształtowała się jej morska stolica. Monografia Anny Orchowskiej to pierwsza publikacja poświęcona całokształtowi jednej z największych realizacji międzywojnia. Realizacji, która nie tylko pełniła istotne funkcje gospodarcze, ale też szybko stała się wizytówką kraju. Zwrócone niejako frontem do morza budynki były awangardowe i śmiałe w formie. Budowane...
-
Powłoki malarskie w ochronie przeciwkorozyjnej. Zasady stosowania i kontrola jakości
PublicationW książce przedstawiono podstawowe zasady wykonywania i kontroli jakości przeciwkorozyjnych wymalowań malarskich na konstrukcjach stalowych. Opracowanie powstało na bazie wykładów i zajęć praktycznych dla studentów Wydziału Chemicznego Politechniki Gdańskiej prowadzonych przez Katedrę Elektrochemii, Korozji i Inżynierii Materiałowej oraz realizowanych w ramach prac Katedry od około 12 lat kursów dla inspektorów powłok malarskich....
-
Modernistyczna architektura przemysłowa i jej ochrona - na przykładzie portu gdyńskiego
PublicationOchrona międzywojennej architektury przemysłowej na tak specyficznym obszarze jak funkcjonujący port morski, jest zadaniem trudnym - niezbędne są kompromisy pomiędzy względami konserwatorskimi i użytkowymi. Artykuł prezentuje architekturę portu gdyńskiego oraz złożoną problematykę jej ochrony konserwatorskiej.
-
Modernist Industrial Architecture and Its Protection - the Port of Gdynia
PublicationOchrona międzywojennej architektury przemysłowej na tak specyficznym obszarze jak funkcjonujący port morski, jest zadaniem trudnym - niezbędne są kompromisy pomiędzy względami konserwatorskimi i użytkowymi. Artykuł prezentuje architekturę portu gdyńskiego oraz złożoną problematykę jej ochrony konserwatorskiej.
-
Detection of corrosion process in marine environment by means of acoustic emission technique
PublicationW pracy przedstawiono możliwość detekcji procesu korozyjnego nieniszczącą metodą emisji akustycznej konstrukcji metalowych pracujących w środowisku wody morskiej. Pewną alternatywą wobec technik elektrochemicznych w monitorowaniu korozji zaproponowano nieniszczącą technikę emisji akustycznej. Emisja akustyczna znana jako zjawisko fizyczne i technika pomiarowa znalazły zastosowanie w detekcji korozji obiektów morskich. W związku...
-
Multicriteria optymization method for yacht design
PublicationArtykuł dotyczy optymalizacji wielokryterialnej projektowania innowacyjnego systemu jachtowego w taki sposób by osiągnąć polepszone zachowanie dynamiczne w dowolnych warunkach nawigacji morskiej. W artykule skoncentrowano się na komputerowej symulacji, modelowaniu i optymalizacji matematycznego modelu jachtu w różnych warunkach żeglowania w celu poprawy zdolności manewrowania i zwiększenia szybkości. Przeprowadza się symulację...
-
Unidirectional DC/DC Converter with Voltage Inverter for Fast Charging of Electric Vehicle Batteries
PublicationThe paper proposes the adaptation of the industrial plant’s power network to supply electric vehicle (EV) fast-charging converters (above 300 kW) using renewable energy sources (RESs). A 600 V DC microgrid was used to supply energy from RESs for the needs of variable speed motor drives and charging of EV batteries. It has been shown that it is possible to support the supply of drive voltage frequency converters (VFCs) and charging...
-
Ekspertyza naukowo-techniczna dotycząca opinii zbiorczej dotyczącej związku zabiegu ochrony brzegów z ochrona środowiska morskiego
PublicationOcena wpływu zabiegów ochronnych brzegów na środowisko morskie.
-
Wykorzystanie różnych form opadów i osadów atmosferycznych do oceny zanieczyszczenia środowiska w różnych regionach geograficznych Polski - część II - rosa = Various forms of atmospheric precipitation and deposits as a measure of environmental pollution in different geographic regions of Poland - part II - dew
PublicationW ramach pracy przeprowadzono analizy 235 próbek rosy i 65 próbek deszczu zebranych na 8 stacjach na terenie Polski w okresie od sierpnia 2004 do listopada 2006 roku. W zależności od położenia oraz charakteru tła emisji zanieczyszczeń stacje pogrupowano na: rolnicze (Wrocław, Dziemiany); miejskie w strefie wybrzeża (Gdańsk, Gdynia, Sopot); miejskie, położone poza strefą wybrzeża (Bytów, Kraków, Mława) Próbki opadu i osadu atmosferycznego...
-
Gospodarka : Cześć IIIW : Raport o stanie zagospodarowania przestrzennego województwa pomorskiego: ocena realizacji inwestycji
PublicationPrzedstawiono przestrzenne uwarunkowania dla rozwoju róznych form gospodarki w regionie (m.in. rolnictwo, rybołówstwo, przemysł, handel, turystyka) oraz zmiany związane z różnymi formami działalności gospodarczej oraz ich przestrzenne zróżnicowanie.
-
Thermodynamically consistent gradient theory of damage coupled with gradient plasticity
PublicationPrzedstawiono termodynamicznie zgodną teorię plastycznego zniszczenia w zakresie mechaniki Newtona-Eshelbego. Poza klasycznymi równaniami ruchu w przestrzeni fizycznej sformułowano dynamiczne równania równowagi sił powiązanych z defektami w przestrzeni materialnej oraz pierwsze i drugie prawo termodynamiki w przestrzeni fizycznej i materialnej. Ogólne równania konstytutywne przyjęto jako funkcję gradientu deformacji, jego składników...
-
Gradient theories of ductile and brittle damage: a thermodynamical consistent framework and computational issues
PublicationPrzedstawiono termodynamicznie zgodny opis gradientowych teorii plastycznego i kruchego zniszczenia. Przyjęto, że propagujące mikro-zniszczenia posiadają bezwładność i ich ruch jest wywołany przez mikro-siły, które spełniają ich własne dynamiczne równania równowagi. Poza równaniami równowagi makro- i mikro-sił sformułowano pierwsze i drugie prawo termodynamiki na poziomie mikro i mezo. Zakładając ogólną formę równań konstytutywnych...
-
Thermodynamically consistent nonlocal theory of ductile damage
PublicationPrzedstawiono termodynamicznie zgodną, słabo-nielokalną teorię zniszczenia plastycznego. Wykorzystano klasyczne dynamiczne zasady zachowania pędu i momentu pędu w przestrzeni fizycznej i materialnej. Przyjęto równania konstytutywne i zdefiniowano ich niezmienniczą formę i termodynamicznie dopuszczalną postać. Wykazano, że fizyczne i materialne siły i naprężenia składają się z dwóch części, niedyssypatywnego składnika otrzymanego...
-
Weakly non-local theories of damage and plasticity based on balance of dissipative material forces
PublicationWykazano, że założenie o siłach materialnych oraz odpowiadających im równaniach równowagi w połączeniu z klasycznymi prawami dynamiki w przestrzeni fizycznej, pozwoliło na sformułowanie teoretycznych podstaw w zakresie słabo-nielokalnych gradientowych modeli zniszczenia i plastyczności. Odpowiednie równania równowagi w przestrzeni fizycznej i materialnej oraz pierwsze i drugie prawo termodynamiki zapisano w postaci całkowej. Następnie...
-
Gotowość szpitali do wdrożenia informatycznego wspomagania procesów dystrybucji stosowania leków - studium przypadku.
PublicationW artykule przedstawiono wyniki badań przeprowadzonych w środowisku krajowych placówek ochrony zdrowia w celu oceny ich gotowości do stosowania zaawansowanych systemów informatycznych wspomagających procesy dystrybucji i stosowania leków. Badaniami objęto cztery szpitale, w tym zarówno duże państwowe jak i specjalistyczne prywatne. Przebadano punkty widzenia kierownictwa, lekarzy i pielęgniarek oddziałowych oraz aptek szpitalnych....
-
Safety of computer control systems: challenges and results in software development.
PublicationArtykuł dokonuje przeglądu wybranych wyników dotyczących poprawy bezpieczeństwa komputerowych systemów sterowania. Dyskusja pokrywa szeroki zakres aspektów dotyczących procesu wytwarzania takich systemów. W szczególności omówiono zagadnienia dotyczące różnorodności oprogramowania, oprogramowania off-the-shelf, analizy typów awarii i ich efektów oraz formalizacji procesu wytwórczego.
-
OF-FEMEA: an approach to safety analysis of object oriented software intensive systems.
PublicationArtykuł przedstawia rozszerzenie metody FMEA znanej z jej zastosowań w stosunku do systemów związanych z bezpieczeństwem, w sposób umożliwiający jej stosowanie do systemów zawierających oprogramowanie i budowanych zgodnie z podejściem obiektowym. Punktem wyjścia dla metody są modele współpracy wyrażone w notacji UML. Komponenty systemu są modelowane z zastosowaniem notacji formalnej CSP. Metoda wspomaga systematyczną identyfikacje...
-
Applying agiile practices to the development of safety-critical software
PublicationDevelopment of safety critical software is subjected to numerous restrictions and recommendations. To meet these requirements classical software development models (e.g. V-model) are usually applied. Agile methodologies, although rapidly increasing their popularity, were generally regarded as unsuitable for such projects. However, they offer potential benefits which provide a strong incentive to incorporate them into safety-critical...
-
Towards automation of IT systems repairs
PublicationMonitoring 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...
-
Estończycy na Wybrzeżu Gdańskim. Relacje Alicji Majewskiej (1906-1988)
PublicationW panoramie mniejszości narodowych i grup etnicznych na Pomorzu Gdańskim szczególne miejsce zajmuje społeczność estońska. Wielu jej przedstawicieli przybywało do Polski w latach trzydziestych XX w. Byli to głównie inżynierowie, którzy podejmowali wyzwania zawodowe, zwłaszcza w gospodarce morskiej i budownictwie. Liczne osoby zamieszkiwały w granicach Gdyni, co wiązało się z podejmowaniem pracy przy budowie miasta. Nie była to społeczność...
-
Bezprzewodowa przyszłość
PublicationNowoczesne sieci bezprzewodowe znajdują zastosowanie w wielu dziedzinach, zarówno wspomagając czy przejmując realizację obecnych już na rynku usług, jak i oferując zupełnie nowe możliwości. Kluczową rolę odgrywa jednak właściwe ich zastosowanie. Istnieją obszary i usługi stanowiące wyłączną domenę sieci bezprzewodowych (np. telefonia mobilna, łączność morska), w innych zastosowaniach i środowiskach sieci bezprzewodowe mogą stanowić...
-
Port jachtowy jako element przestrzeni publicznej miasta nadmorskiego
PublicationRozprawa dotyczy zbadania i przedstawienia możliwości włączenia obiektów morskiego portu jachtowego w przestrzeń publiczną miasta, wykorzystania jego potencjału do jej kształtowania i rozwoju oraz sposobów wielofunkcyjnego zagospodarowania towarzyszącej mu infrastruktury. W celu opisania relacji między przestrzenią publiczną, a portem jachtowym przeanalizowano przekształcenia terenów nadwodnych w miastach portowych, zidentyfikowano...
-
Polska leksykografia terminologiczna z komponentem rosyjskim z zakresu ekonomii, handlu i zarządzania. Bibliografia słowników wydanych w latach 1887–2015 [Polish terminological lexicography in the field of economics, trade, management, including a Russian component. A bibliography of dictionaries published between 1887–2015]
Publication -
The use of response surface methodology for reliability estimation of composite engineering structures
Publication -
Supporting compliance with safety standards by trust case templates
PublicationStandard Compliance (SC) Framework presented in this paper encompasses methods and tools which provide support for application of standards. The framework is based on trust case methodology. A trust case is a data structure which represents a justification that an object (a system, an infrastructure, an organization) exhibits certain properties. It contains an argument and related evidence which support claimed properties. A trust...
-
Extending GQM by argument structures
PublicationEffective metrics definition methods are of particular importance, as measurement mechanisms are indispensable in virtually any engineering discipline. The paper describes how the well known Goal-Question-Metric (GQM) method of systematic metrics derivation from measurement goals can be extended by applying argument structures. The proposed approach is called Goal-Argument-Metric (GAM). We briefly introduce general ideas of GQM...
-
Standard Compliance Framework for effective requirements communication
PublicationStandard Compliance Framework (SCF) is a framework, which supports application of standards at the stages of achieving, assessing and maintaining the compliance. It uses Trust Case language to develop argument structures demonstrating compliance with standards. The paper presents how SCF is applied to increase effectiveness of requirements communication. Relevant mechanisms of the framework are thoroughly described referring to...
-
Using argument structures to create a measurement plan
PublicationWhile planning an experiment the same question always arises: What are the goals of the experiment and which measurements are needed to demonstrate that the goals have been achieved? Deciding about the extent of raw data to be collected, the metrics to be constructed on those data and the interpretation of the metrics with respect to the assumed goals is by no means a trivial task. In this paper we show how a well known Gal-Question-Metrics...
-
Kryteria oceny metody wspomagającej interakcję klient-Dostawca oprogramowania i ich zastosowanie do metody WIKLIDO
PublicationW rozdziale przedstawiono metodę Wspomagania Interakcji KLIent-Dostawca Oprogramowa-nia (WIKLIDO) oraz wyjaśniono w jaki sposób wykorzystano metodę GQM (ang. Goal Question Metrics) do systematycznego wywiedzenia metryk oceny tej metody.
-
Risk-driven Software Process Improvement - a Case Study.
PublicationArtykuł przedstawia studium przypadku praktycznego zastosowania metody sterowanej ryzykiem poprawy procesów programowych w rzeczywistym projekcie informatycznym. Metoda zakłada jawne modelowanie procesu i jego braków (czynników ryzyka), a także wspiera ewolucję procesów. Ponadto zawiera dedykowane techniki identyfikacji ryzyka procesów oraz wywodzenia z niego sugestii poprawy procesów. Techniki te są wbudowane w cykliczną procedurę...
-
Risk Identification Patterns for Software Projects.
PublicationArtykuł prezentuje metodę identyfikacji ryzyka w projektach informatycznych z użyciem wzorców ryzyka odnoszących się do modelu procesu projektowego. W artykule zdefiniowano meta-model dla modelowania procesów ukierunkowany na analizę ryzyka oraz proste i złożone wzorce ryzyka wywiedzione z tego meta-modelu, jak również pokazano przykładowe użycie wzorców do opisu czynników ryzyka odnoszących się do modelu RUP. Metodę poddano walidacji...
-
Identifying Software Project Risks with the Process Model.
PublicationArtykuł prezentuje podejście do identyfikacji ryzyka w projektach informatycznych oparte na modelowaniu procesów. Podejście obejmuje jawne modelowanie procesów programowych oraz identyfikację ryzyka dwoma dedykowanymi technikami. Artykuł wprowadza meta-model dla wyrażenia ryzyka procesu. Następnie szczegółowo przedstawiono dwie systematyczne techniki identyfikacji ryzyka odwołujące się do modelu procesu i skupiające uwagę analityka...
-
Identyfikacja ryzyka projektu informatycznego na podstawie modelu procesu.
PublicationArtykuł prezentuje nowe systematyczne techniki identyfikacji ryzyka w projektach informatycznych wykorzystujące modele procesu projektowego. Jawne modelowanie rozważanego obszaru biznesowego umożliwia kontrolę zakresu identyfikacji i zapewnia kompletność analiz. W artykule przedstawiono szczegółowe procedury postępowania dla proponowanych technik, a następnie omówiono eksperyment, w którym zastosowano te procedury do identyfikacji...
-
Experimental comparison of UML-HAZOP inspection and non-structured review
PublicationArtykuł przedstawia eksperyment przeprowadzony na Politechnice Gdańskiej mający na celu porównanie dwóch technik przeglądowych. Poszczególne rozdziały zawierają: ogólne omówienie tematyki przeglądów i inspekcji, przedstawienie metody UML-HAZOP, opis przebiegu eksperymentu oraz uzyskanych rezultatów.
-
Statistical description and numerical calculations of cylindrical vertical tanks with initial geometric imperfections
PublicationDokonano identyfikacji rzeczywistych wstępnych imperfekcji geometrycznych stalowych pionowych zbiorników walcowych. Imperfekcje przedstawiono jako pole losowe opisane za pomocą odpowiednio dobranej funkcji korelacyjnej, wartości oczekiwanej oraz obwiedni pola. Wykorzystując własne programy numeryczne przeprowadzono generację zbioru odchyłek geometrycznych zbiornika. Porównano estymatory wygenerowanego pola losowego z parametrami...
-
Reasoning about trust in IT infrastructures
PublicationW artykule zaprezentowano metodę pozwalającą na ilościowe określenie poziomu zaufania do systemu TI.
-
Using Dempster-Shafer approach to support reasoning about trust in IT infrastructures
PublicationW artykule przedstawiono zastosowanie podejścia Dempstera-Shafera do do wnioskowania o poziomie zaufania do infrastruktur TI.
-
Development and validation of a HAZOP-based inspection of UML models
PublicationArtykuł prezentuje technikę inspekcji ukierunkowaną na wykrywanie defektów w modelach UML. Technika ta została opracowana poprzez adaptację HAZOP - metody szeroko stosowanej w dziedzinie systemów związanych z bezpieczeństwem. Wykorzystano podstawową koncepcję HAZOP (zastosowanie ogólnych słów kluczowych do wykrywania pełnej listy anomalii związanych z danym fragmentem modelu) do systematycznego wygenerowania list kontrolnych dla...
-
Performance analysis of untraceability protocols for mobile agents using an adaptable framework
PublicationArtykuł przedstawia środowisko oceny wydajności protokołów ochrony przed tropieniem agentów mobilnych oraz wyniki analiz przeprowadzonych za jego pomocą. Chociaż środowisko projektowano i implementowano z myślą o ewaluacji zaproponowanych przez nas protokołów ochrony przed tropieniem, w trakcie badań okazało się, że może ono zostać również wykorzystane do badań całej klasy protokołów bezpieczeństwa dla agentów mobilnych. Chodzi...
-
Empirical evaluation of reading techniques for UML models inspection
PublicationArtykuł przedstawia eksperyment, w ramach którego porównane zostały trzy techniki czytania (ad hoc, UML-HAZOP oraz podejście scenariuszowe) zastosowane do inspekcji modeli obiektowych. UML-HAZOP jest techniką czytania wywodzącą się z dziedziny systemów krytycznych, związanych z bezpieczeństwem. W publikacji opisano technikę UML-HAZOP oraz jej różne warianty wykorzystane w eksperymencie. Przedstawiono projekt, sposób przeprowadzenia...
-
Hazard prevention by forced time constraints
PublicationMinimalne Zbiory Przyczyn powstałe podczas analizy Drzew Błędów wskazują zdarzenia, które jeśli nastąpią razem, mogą doprowadzić do Hazardu. W niektórych zastosowaniach opis zdarzeń może zostać poszerzony o informację czasową, wtedy zdarzenia z MZP mogą doprowadzić do Hazardu tylko jeśli wystąpi pomiędzy nimi określona zależność czasowa. W tym artykule przedstawione zostało jak informacja czasowa może zostać wprowadzona do Drzew...
-
An untraceability protocol for mobile agents and its enhanced security study
PublicationArtykuł przedstawia rozszerzoną analizę bezpieczeństwa zaproponowanego przez nas protokołu ochrony przed tropieniem (ang. untraceability protocol) dla agentów mobilnych. Jak dotąd, tak systematyczna analiza bezpieczeństwa nie została przeprowadzona. Co więcej, istniejące znane analizy bezpieczeństwa koncentrują się wyłącznie na atakujących wewnętrznych. Uważamy, że stworzona przez nas lista kontrolna ataków może posłużyć jako...
-
An approach for evaluating trust in it infrastructures
PublicationW artykule zademonstrowano metodę oceny poziomu zaufania do systemu TI w oparciu o podejście funkcji przekonania.
-
Selected problems of technological preparation of production of a two-segment passenger inland waterways ship of a combined structure
PublicationPrzystępując do opracowania założeń do ''Ramowej technologii budowy statku rzecznego'', którego projekt powstaje w ramach zadania INCOWATRANS natknięto się na szereg problemów wynikających z odmienności i prototypowości analizowanego statku. Statek rzeczny to składajacy się z dwóch autonomicznych jednostek zespół pływający. Konstrukcja każdej z wymienionych jednostek jest konstrukcją mieszaną tj. składa się z części o konstrukcji...
-
Supporting Compliance with Security Standards by Trust Case Templates
PublicationTrust Cases are used to justify that a given object (a system, an infrastructure, an organization) exhibits certain properties. One of possible applications of trust cases is related to the processes of achieving and demonstrating the compliance with standards. A Trust Case Template derived from a given standard constitutes a skeleton of justification (encompassing evidence and argumentation) of the compliance with the standard....
-
Standards Conformity Framework in comparison with contemporary methods supporting standards application
PublicationAchieving and assessing conformity with standards and compliance with various sets of requirements generates significant costs for contemporary economies. Great deal of this is spent on fulfilment of safety and security requirements. However, standards application is not supported sufficiently by the tools available on the market. Therefore, Standards Conformity Framework (SCF) containing methods and tools which provide support...
-
Extending GQM by Argument Structures
PublicationEffective methods for metrics definition are of particular importance, as measurement mechanisms are indispensable in virtually any engineering discipline. The paper describes how the well known Goal-Question-Metric (GQM) method of systematic metrics derivation from measurement goals can be extended by applying argument structures. The proposed approach is called Goal-Argument-Metric (GAM). The general ideas of GQM and GAM are...
-
An approach to evaluation of arguments in trust cases
PublicationTrustworthiness of IT systems can be justified using the concept of a trust case. A trust case is an argument structure which encompasses justification and evidence supporting claimed properties of a system. It represents explicitly an expert's way of assessing that a certain object has certain properties. Trust cases can be developed collaboratively on the basis of evidence and justification of varying quality. They can be complex...
-
Numeryczne obliczenia stalowych zbiorników z odchyłkami geometrycznymi posadowionych na podłożu o losowych parametrach
PublicationWykonano identyfikację wstępnych imperfekcji geometrycznych stalowych zbiorników walcowych. Paramnetry podłoża gruntowego opisano za pomocą loswego dwuwymiarowego pola loswego. Wygenerowane realizacje zastosowano w obliczeniach numerycznych zbiorników. Wykazano, że imperfekcje w istotny sposób wpływają na rozkład pól naprężeń w zbiorniku.
-
Identification and simulation of shells geometric initial imperfection
PublicationPrzedstawiono stochastyczną analizę stalowych zbiorników walcowych ze wstępnymi imperfekcjami geometrycznymi. Imperfekcje opisano za pomocą jednorodnych pól losowych.