Filtry
wszystkich: 2923
-
Katalog
- Publikacje 2127 wyników po odfiltrowaniu
- Czasopisma 52 wyników po odfiltrowaniu
- Wydawnictwa 7 wyników po odfiltrowaniu
- Osoby 260 wyników po odfiltrowaniu
- Wynalazki 15 wyników po odfiltrowaniu
- Projekty 50 wyników po odfiltrowaniu
- Laboratoria 1 wyników po odfiltrowaniu
- Zespoły Badawcze 12 wyników po odfiltrowaniu
- Kursy Online 210 wyników po odfiltrowaniu
- Wydarzenia 117 wyników po odfiltrowaniu
- Dane Badawcze 72 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: WYLOT MORSKI
-
Krzysztof Gierłowski dr inż.
OsobyKrzysztof Gierłowski uzyskał tytuł doktora inżyniera telekomunikacji na Wydziale Elektroniki, Telekomunikacji i Informatyki w 2018 roku. Jest autorem lub współautorem ponad 80 publikacji naukowych oraz recenzentem wielu czasopism i konferencji. Brał udział w szeregu projektów badawczych dotyczących tematyki IT, wliczając w to: finansowany ze źródeł UE projekt Inżynieria Internetu Przyszłości, projekt infrastrukturalny PL-LAB2020,...
-
Ekspertyza naukowo-techniczna dotycząca opinii zbiorczej dotyczącej związku zabiegu ochrony brzegów z ochrona środowiska morskiego
PublikacjaOcena wpływu zabiegów ochronnych brzegów na środowisko morskie.
-
Metrologia II Opracowanie elementów infrastruktury metrologicznej w obszarze akustyki podwodnej w GUM
ProjektyProjekt realizowany w Katedra Sygnałów i Systemów WETI zgodnie z porozumieniem PM-II/SP/0049/2024/02 z dnia 2024-02-12
-
Basen Koncepcja budowy infrastruktury metrologicznej w obszarze akustyki podwodnej w GUM
ProjektyProjekt realizowany w Katedra Sygnałów i Systemów WETI zgodnie z porozumieniem PM/SP/0057/2021/1 z dnia 2022-07-27
-
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
PublikacjaW 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...
-
Paulina Górska
Osoby -
Seminarium dyplomowe
Kursy OnlineStatki morskie, obiekty oceanotechniczne i jachty (WIMiO), II stopnia, stacjonarne, 2023/2024 - zimowy
-
Piotr Czyż dr inż. arch.
Osoby -
Konstrukcje Powierzchniowe i Niezawodność Konstrukcji Inżynierskich - sem. IV Budownictwo niestacjonarne mgr - 2023/24
Kursy OnlineAnaliza konstrukcji powierzchniowych - tarcz i płytoraz podstawy niezawodności konstrukcji inżynierskich
-
Klio. Czasopismo poswięcone dziejom Polski i powszechnym
Czasopisma -
Budowa i utrzymanie portów i torów wodnych
Kursy OnlineWykład i Ćwiczenia Kier. Budownictwo sem. VII spec. Budownictwo Wodne i Morskie
-
Conley-Morse graphs for a population model with harvesting. Case He-Se: Equal harvesting and equal survival rates of juveniles and adults
Dane BadawczeThis dataset contains selected results of rigorous numerical computations conducted in the framework of the research described in the paper "Global dynamics in a stage-structured discrete population model with harvesting" by E. Liz and P. Pilarczyk: Journal of Theoretical Biology, Vol. 297 (2012), pp. 148–165, doi: 10.1016/j.jtbi.2011.12.012.
-
Towards automation of IT systems repairs
PublikacjaMonitoring and repair are two sides of the on-the-fly maintenance of IT systems.Monitoring is well supported by automatic tools. In contrast, repairs involve much higherhuman intervention which negatively affects reliability and efficiency. The paper intro-duces a method of automating repairs of IT systems which can be integrated with any ofthe existing monitoring mechanisms. The method is described as a collection of modelsand...
-
Applying agiile practices to the development of safety-critical software
PublikacjaDevelopment 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...
-
Safety of computer control systems: challenges and results in software development.
PublikacjaArtykuł 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.
-
Gotowość szpitali do wdrożenia informatycznego wspomagania procesów dystrybucji stosowania leków - studium przypadku.
PublikacjaW 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....
-
OF-FEMEA: an approach to safety analysis of object oriented software intensive systems.
PublikacjaArtykuł 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...
-
Thermodynamically consistent gradient theory of damage coupled with gradient plasticity
PublikacjaPrzedstawiono 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
PublikacjaPrzedstawiono 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
PublikacjaPrzedstawiono 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
PublikacjaWykazano, ż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...
-
Estończycy na Wybrzeżu Gdańskim. Relacje Alicji Majewskiej (1906-1988)
PublikacjaW 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ść...
-
Andrzej Gorski
Osoby -
Izabela Morska dr hab.
Osoby -
Bezprzewodowa przyszłość
PublikacjaNowoczesne 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
PublikacjaRozprawa 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...
-
Paweł Szymon Dąbrowski dr inż.
OsobyDr inż. Paweł Szymon Dąbrowski w latach 2004-2009 studiował na kierunku geodezja i kartografia na Uniwersytecie Warmińsko-Mazurskim w Olsztynie, gdzie uzyskał tytuł zawodowy magistra inżyniera. W latach 2009-2016 pracował w wykonawstwie geodezyjnym w Iławie i Gdańsku. Doświadczenie zawodowe zdobył on podczas realizacji inwestycji Pomorskiej Kolei Metropolitalnej, co pomogło mu w zdobyciu w 2015 r. geodezyjnych uprawnień zawodowych...
-
Wpływ warunków spawania podwodnego metodą lokalnej komory suchej na zawartość wodoru dyfundującego w stopiwie
PublikacjaJedną z perspektywicznych technik wykonywania prac naprawczych pod wodą jest spawanie metodą lokalnej komory suchej. Ze względu na miejscowe odizolowanie miejsca spawania od kontaktu z wodą, warunki stygnięcia i zawartość wodoru w złączach są zbliżone do spawania w środowisku powietrznym. W artykule zaprezentowano stan wiedzy oraz wyniki badań wstępnych dotyczących wpływu warunków spawania na ilość wodoru dyfundującego w stopiwie...
-
BalMarGrav Ujednolicone morskie mapy grawitacyjne południowego i wschodniego Bałtyku do nowoczesnych zastosowań 3D w geodezji, geologii i nawigacji morskiej
ProjektyProjekt realizowany w Katedra Geodezji
-
Conley-Morse graphs for a population model with harvesting. Case He-S1: Equal harvesting of juveniles and adults, survival rates of juveniles and adults add up to 1
Dane BadawczeThis dataset contains selected results of rigorous numerical computations conducted in the framework of the research described in the paper "Global dynamics in a stage-structured discrete population model with harvesting" by E. Liz and P. Pilarczyk: Journal of Theoretical Biology, Vol. 297 (2012), pp. 148–165, doi: 10.1016/j.jtbi.2011.12.012.
-
Conley-Morse graphs for a population model with harvesting. Case Hj-Se: Harvesting juveniles only, equal survival rates of juveniles and adults
Dane BadawczeThis dataset contains selected results of rigorous numerical computations conducted in the framework of the research described in the paper "Global dynamics in a stage-structured discrete population model with harvesting" by E. Liz and P. Pilarczyk: Journal of Theoretical Biology, Vol. 297 (2012), pp. 148–165, doi: 10.1016/j.jtbi.2011.12.012.
-
Conley-Morse graphs for a population model with harvesting. Case Hj-S1: Harvesting juveniles only, survival rates of juveniles and adults add up to 1
Dane BadawczeThis dataset contains selected results of rigorous numerical computations conducted in the framework of the research described in the paper "Global dynamics in a stage-structured discrete population model with harvesting" by E. Liz and P. Pilarczyk: Journal of Theoretical Biology, Vol. 297 (2012), pp. 148–165, doi: 10.1016/j.jtbi.2011.12.012.
-
Conley-Morse graphs for a population model with harvesting. Case Ha-S1: Harvesting adults only, survival rates of juveniles and adults add up to 1
Dane BadawczeThis dataset contains selected results of rigorous numerical computations conducted in the framework of the research described in the paper "Global dynamics in a stage-structured discrete population model with harvesting" by E. Liz and P. Pilarczyk: Journal of Theoretical Biology, Vol. 297 (2012), pp. 148–165, doi: 10.1016/j.jtbi.2011.12.012.
-
Conley-Morse graphs for a population model with harvesting. Case Ha-Se: Harvesting adults only, equal survival rates of juveniles and adults
Dane BadawczeThis dataset contains selected results of rigorous numerical computations conducted in the framework of the research described in the paper "Global dynamics in a stage-structured discrete population model with harvesting" by E. Liz and P. Pilarczyk: Journal of Theoretical Biology, Vol. 297 (2012), pp. 148–165, doi: 10.1016/j.jtbi.2011.12.012.
-
Assessing the time effectiveness of trust management in fully synchronised wireless sensor networks
PublikacjaThe paper presents the results of the time effectiveness assessment of the distributed WSN Cooperative Trust Management Method - WCT2M in a fully synchronized Wireless Sensor Network (WSN). First we introduce some basic types of synchronization patterns in WSN based on the idea of sleep scheduling. Then we explain how WCT2M works in the network applying the fully synchronized sleep scheduling pattern. Such networks were subjected...
-
Towards Agile Development of Critical Software
PublikacjaThe paper presents a case study aiming at collecting opinions of software en-gineers on the risks related to integration of agile practices to safety-critical software development projects. The study has been performed within the scope of our research targetting at providing critical software developers with a comprehensive solution allowing to incorporate agile practices into software development process while still being conformant...
-
Agile Development of Critical Software - Can It be Justified?
PublikacjaThe paper introduces the problem of application of agile practices in critical software development projects. It summarizes the present state of research and identifies the need for having a ready-to-use model of being agile while still meeting the required assurance levels which could be particularly useful for small and medium sized safety-critical software companies. Then the objective and scope of a research aiming at delivering...
-
Assessment of risks introduced to safety critical software by agile practices - a software engineer's perspective
PublikacjaIn this article we investigate the problem of applying agile practices into safety-critical projects.The goal of our research is to investigate potential benefits from introducing agile practicesinto safety-critical environment and to present a solution providing for balancing agileapproach with more disciplined assurance techniques, bringing the best of the two worlds together.In the article we present the supporting ideas such...
-
Meeting Requirements Imposed by Secure Software Development Standards and Still Remaining Agile
PublikacjaThe paper introduces the AgileSafe method of selecting agile practices for software development projects that are constrained by assurance requirements resulting from safety and/or security related standards. Such requirements are represented by argumentation templates which explain how the evidence collected during agile practices implementation will support the conformity with the requirements. Application of the method is demonstrated...
-
Generation of random fields to reflect material and geometric imperfections of plates and shells
PublikacjaThe paper covers two patterns of random field generation: conditional acceptance – rejection method and Karhunen – Loève expansion. The generation of two-dimensional random fields is essential in plates and shells analysis, allowing for a relevant limit and critical state assessment of geometrically and ma-terially imperfect structures. The features of both generation methods dedicate them to selected problems.
-
The use of Response Surface Methodology for reliability estimation of composite engineering structures
PublikacjaStability loss is one of the key issues in the analysis of shells made of composite materials. This paper aims at finding the variation of the critical or limit value of the load resulting from geometric imperfections. An axially compressed 16-layer cylindrical panel model is considered. The imperfections of the panel are simulated as random fields. The parameters of these fields are used as the basic variables of the reliability...
-
AgileSafe – a method of introducing agile practices into safety-critical software development processes
PublikacjaThis article introduces AgileSafe, a new method of incorporating agile practices into critical software development while still maintaining compliance with the software assurance requirements imposed by the application domain. We present the description of the method covering the process of its application and the input and output artefacts.
-
O obliczeniach płyt fundamentowych
PublikacjaW pracy przedstawiono analizę sposobu przylożenia obciążenia na wyniki wymiarowania zbrojenia w płycie fundamentowej. Dodatkowo autorzy dokonali krótkiego przeglądu literatury z zakresu płyt fundamentowych.
-
Standard Compliance Framework for effective requirements communication
PublikacjaStandard 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
PublikacjaWhile 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...
-
Expert assessment of arguments: a method and its experimental evaluation
PublikacjaArgument structures are commonly used to develop and present cases for safety, security and other properties. Such argument structures tend to grow excessively. To deal with this problem, appropriate methods of their assessment are required. Two objectives are of particular interest: (1) systematic and explicit assessment of the compelling power of an argument, and (2) communication of the result of such an assessment to relevant...
-
Standards Conformity Framework in comparison with contemporary methods supporting standards application
PublikacjaAchieving 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
PublikacjaEffective 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
PublikacjaTrustworthiness 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
PublikacjaWykonano 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.