Filtry
wszystkich: 3267
-
Katalog
- Publikacje 2372 wyników po odfiltrowaniu
- Czasopisma 54 wyników po odfiltrowaniu
- Wydawnictwa 7 wyników po odfiltrowaniu
- Osoby 278 wyników po odfiltrowaniu
- Wynalazki 19 wyników po odfiltrowaniu
- Projekty 55 wyników po odfiltrowaniu
- Laboratoria 1 wyników po odfiltrowaniu
- Zespoły Badawcze 13 wyników po odfiltrowaniu
- Kursy Online 236 wyników po odfiltrowaniu
- Wydarzenia 117 wyników po odfiltrowaniu
- Dane Badawcze 115 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: OSAD MORSKI
-
Planowanie testów wspomagane analizą ryzyka
PublikacjaTestowanie wciąż pozostaje jednym z głównych sposobów zapewniania jakości oprogramowania. Testowanie pochłania znaczne zasoby, które w praktyce mogą się okazać zbyt kosztowne. Należy więc testy planować i to w taki sposób, by skontrolować efekty wynikające z testowania oraz nakłady ponoszone na testowanie dążąc do maksymalizacji współczynnika efektów-do-nakładów. Jedną z kluczowych decyzji w tym zakresie jest decyzja o wyborze...
-
Mechanizm dostarczania usług w chmurze: roxzwiązanie NOR-STA
PublikacjaArtykuł prezentuje mechanizmy udostępniania w chmurze usług rozwijanych w ramach projektu NOR-STA. Są one ukierunkowane na wspomaganie procesów dochodzenia do zgodności i oceny zgodności z normami i standardami. W projekcie NOR-STA prowadzone są obecnie eksperymentalne badania wdrożeniowe we współpracy z partnerami z sektorów ochrony zdrowia i biznesu. Usługi NOR-STA są udostępniane zgodnie z modelem Software as a Service (SaaS)....
-
Experience with instantiating an automated testing process in the context of incremental and evolutionary software development
PublikacjaThe purpose of this article is to present experiences from testing a complex AJAX-based Internet-system which is under development for more than five years. The development process follows incremental and evolutionary lifecycle model and the system is delivered in subsequent releases. Delivering a new release involves both, the new tests (related to the new and/or modified functionalities) and the regression tests (after their...
-
Zarządzanie zaufaniem w bezprzewodowych sieciach czujników - studium przypadku
PublikacjaW artykule przedstawiono studium przypadku dotyczące zastosowania bezprzewodowej sieci czujników do wspomagania pacjenta z nadwagą w jego środowisku domowym. Przyjęto, że sieć wykorzystuje metodę rozproszonego zarządzania zaufaniem i pokazano, że metoda ta umożliwia wykrycie i izolację czujników realizujących działania sprzeczne z polityką sieci. Ilościowe oszacowanie czasu niezbędnego do wykrycia takich...
-
Trust management in WSN - case study evaluation
Publikacja -
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...
-
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...
-
Testowanie w przyrostowym i ewolucyjnym cyklu życia oprogramowania
PublikacjaArtykuł prezentuje doświadczenia dotyczące procesu testowania złożonego systemu internetowego rozwijanego w okresie ostatnich pięciu lat. System ten powstaje w cyklu przyrostowym i ewolucyjnym, przechodząc do kolejnych wydań. Rozróżniono wydania główne, które są poprzedzane pełnym zakresem testów regresji oraz wydania rozszerzające, gdzie zakres testowania jest zawężony. Wyjaśniono miejsce procesu testowania w kontekście zarządzania...
-
A method of supporting client-provider cooperation in software acquisition processes and its evaluation criteria
PublikacjaArtykuł przedstawia metodę Wspomagania Interakcji KLienta i Dostawcy Oprogramowania (WIKLIDO). Metoda ta została zpowodzeniem zastosowana w dwóch studiach przypadków w komercyjnych projektach pozyskiwania oprogramowania. Artykuł wyjaśnia w jaki sposób metoda wykorzystuje środki modelowania do usystematyzowania interakcji pomiędzy klientem i dostawcą oprogramowania. Przedstawia również w jaki sposób wykorzystano podejście GQM (ang....
-
SCF - a Framework Supporting Achieving and Assessing Conformity with Standards
PublikacjaStandards Conformity Framework (SCF) presented in this paper encompasses methods and tools whichprovide support for application of standards and other normative documents. The approach taken focuses ondevelopment, assessment and maintenance of an electronic document which demonstrates conformity. Sucha document contains an argument structure developed in accordance with the Trust-IT methodology. Thepaper discusses details of the...
-
A probabilistic description of footbridges vibration serviceability
PublikacjaRozważa się użytkowalność kładki dla pieszych ze względu na ich drgania. Imperfekcje ruchu pieszych są opisane zmianami współczynników tegoż ruchu. Bierze się pod uwagę rozkłady prawdopodobieństwa częstotliwości ruchu, długości kroku oraz amplitudy siły modelującej pieszego. Imperfekcje te znacznie wpływają na zachowanie konstrukcji. Stosuje się metodę Monte Carlo. Dane z symulacji probabilistycznych używa się do obliczeń numerycznych....
-
Support for argument structures review and assessment
PublikacjaArgument structures are commonly used to develop and present cases for safety, security and for other properties of systems. Such structures tend to grow excessively, which causes problems with their review and assessment. Two issues 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 recipients. The paper...
-
Using trust management model for detection of faulty nodes in Wireless Sensor Networks
Publikacja -
Model niszczenia zmęczeniowego spawanego połączenia prostopadłych płyt
PublikacjaKadłuby statków eksploatowane są w ekstremalnie trudnych warunkach tj. poddawane są zmiennym obciążeniom wynikającym z falowania morza, sekwencji za- i rozładunku, zmian temperaturowych (dzień- noc, zmienne strefy klimatyczna w danym okresie pływania), drgań, itp., a także oddziaływania silnie korozyjnego środowiska. Zmienne obciążenia są powodem występowania zmęczeniowego niszczenia konstrukcji statków. Zapewnienie w trakcie eksploatacji...
-
Fatigue strength determination of ship structural joints. Part I - Analytical methods for determining fatigue strength of ship tructures
PublikacjaSpectacular accidents at sea which have happened for a few last years show that hull structures of contemporary sea-going ships are not perfect and must be systematically improved. Fatigue strength is one of the groups of strength problems which affect design of contemporary ship's structures and greatly contribute in their improvement process. In this paper several approaches to estimation of fatigue life of hull structural...
-
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.
-
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.
-
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...
-
The impact of footing conditions of a vertical-axis floating-roof tank on structural shell deformation
PublikacjaStructural shells of fuel tanks are often subjected to geometric imperfections which may lead to exceeding the ultimate and serviceability limit states. One of the means triggering shell deformation is non-uniform settlement caused by incoherent soil conditions. Analysis carried out in the work concerns of vertical-axis, floating-roof cylindrical shell which volume is 50.000 m3, founded on a complex multi-layered soil. The sensitivity...
-
Probabilistic estimation of diverse soil condition impact on vertical axis tank deformation
PublikacjaThe calculations of fuel tanks should take into account the geometric imperfections of the structure as well as the variability of the material parameters of the foundation. The deformation of the tank shell can have a significant impact on the limit state of the structure and its operating conditions. The paper presents a probabilistic analysis of a vertical-axis, floating-roof cylindrical shell of a tank with a capacity of 50000...
-
Stochastic FE-analysis of shear localization in 2D granular material within a micro-polar hypoplascity
PublikacjaW artykule przedstawiono wyniki numerycznej stochastycznej analizy wpływu rozkładu początkowego wskaźnika porowatości w materiałach granulowanych na powstawanie lokalizacji odkształceń. Obliczenia wykonano dla ścinania warstwy piasku stosując metodę elementów skończonych na bazie mikropolarnego prawa hipoplastycznego.
-
Investigations of size effects in granular bodies during plane strain compression
PublikacjaArtykuł omawia deterministyczny i statystyczny efekt skali w materiałach granulowanych podczas ściskania w płaskim stanie odkształcenia. Obliczenia wykonano metodą elementów skończonych na bazie mikropolarnego prawa hipoplastycznego. Wykorzystano metodę hiperłacińskiego próbkowania w celu redukcji ilości realizacji.
-
Deterministic and statistical size effect during shearing of granular layer
PublikacjaArtykuł omawia deterministyczny i statystyczny efekt skali w materiałach granulowanych podczas ścinania cienkiej warstwy piasku między dwoma bardzo szorstkimi ścianami. Obliczenia wykonano metodą elementów skończonych na bazie mikropolarnego prawa hipoplastycznego. Pokazano wyniki efektu skali przy zastosowaniu różnych metod redukujących ilość realizacji pól losowych dla początkowego wskaźnika porowatości..
-
FE-investigations of a deterministic and statistical size effect in granular bodies within a micro-polar hypoplasticity
PublikacjaArtykuł omawia deterministyczny i statystyczny efekt skali w materiałach granulowanych podczas ścinania cienkiej warstwy piasku między dwoma bardzo szorstkimi ścianami. Obliczenia wykonano metodą elementów skończonych na bazie mikropolarnego prawa hipoplastycznego. Przyjęto różne wysokości warstw.
-
Deterministic and statistical size effect during shearing of granular layer within a micro-polar hypoplasticity
PublikacjaArtykuł omawia deterministyczny i statystyczny efekt skali w materiałach granulowanych podczas ścinania cienkiej warstwy piasku między dwoma bardzo szorstkimi ścianami. Obliczenia wykonano metodą elementów skończonych na bazie mikropolarnego prawa hipoplastycznego. Przyjęto różne metody redukujące ilość realizacji pól losowych dla początkowego wskaźnika porowatości..
-
Computations of size effects in granular bodies within micro-polar hypoplasticity during plane strain compression.
PublikacjaArtykuł omawia deterministyczny i statystyczny efekt skali w materiałach granulowanych podczas sciskania w płaskim stanie odkształcenia. Obliczenia wykonano metodą elementów skończonych na bazie mikropolarnego prawa hipoplastycznego. Wykorzystano metodę hiperłacińskiego próbkowania.
-
Finite element study of patterns of shear zones in granular bodies during plane strain compression
PublikacjaW artykule przedstawiono obliczenia efektów skali na nośność fundamentu na piasku. Obliczenia wykonano przy pomocy mikropolarnego prawa hipoplastycznego. W obliczeniach wykorzystano stochastyczne rozkłady początkowego wskaźnika porowatości według rozkładu Gaussa.
-
Size effects in problems of footings on sand within micro-polar hypoplasticity.
PublikacjaW artykule przedstawiono obliczenia efektów skali na nośność fundamentu na piasku. Obliczenia wykonano przy pomocy mikropolarnego prawa hipoplastycznego. W obliczeniach wykorzystano stochastyczne rozkłady początkowego wskaźnika porowatości według rozkładu Gaussa oraz różne wymiary fundamentu.
-
Modeling of bearing capacity of footings on sand within stochastic micro-polar hypoplasticity.
PublikacjaAnalizowano numerycznie efekt wstępnego rozkładu wskaźnika porowatości na wytrzymałość i strefy ścinania w problemach fundamentów na piasku w skali modelowej. Obliczenia wykonano przy zastosowaniu stochastycznej metody elementów skończonych i mikropolarnego modelu hipoplastycznego. Wskaźnik porowatości miał formę skorelowanych pól stochastycznych. Dodatkowo obliczono efekt skali dla 3 różnych szerokości fundamentów.
-
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.
-
Marcin Górski dr
Osoby -
Aleksander Górski
Osoby -
Tomasz Górski
Osoby -
Dominik Górski mgr inż. arch.
Osoby -
Pomorski Ranking Liceów i Techników Perspektywy 2020 – gala
WydarzeniaPodczas gali zostaną wręczone nagrody 10 najlepszym liceom i technikom z woj. pomorskiego. W uroczystości wezmą udział przedstawiciele wyróżnionych szkół, w tym: dyrektorzy, nauczyciele i najlepsi uczniowie.
-
Log signals simulation.
PublikacjaSymulatory logów (urządzeń mierzących prędkość w nawigacji morskiej), które używane są do testowania oraz szkolenia operatorów radarów i systemów antykolizyjnych, powinny posiadać również wyjście impulsowe, które w logu rzeczywistym pochodzi z licznika przebytej drogi, w postaci zadanej liczby impulsów na milę morską. Urządzenie takie to przetwornik cyfrowo-częstotliwościowy w formie programowanego cyfrowo dzielnika częstotliwości....
-
Studies on intercorrelation between selected persistent organic pollutants (POPs) and ions in sea water from the coastal zone of the Baltic Sea, Gdańsk Bay Region
PublikacjaMorze Bałtyckie jest zbiornikiem słonej wody a szacunkowy czas wymiany z innymi akwenami wynosi 25 lat. Woda morska jest zanieczyszczona wieloma nieorganicznymi oraz organicznymi substancjami. Opracowanie przedstawia wyniki badań monitoringowych oraz ocenę stanu zanieczyszczenia środowiska morskiego w południowej części Morza Bałtyckiego, w rejonie Zatoki Gdańskiej. W próbkach wody morskiej oznaczano: wielopierścieniowe węglowodory...
-
Logistyka morska 2023 semestr letni
Kursy OnlineKurs przygotowany dla przedmiotu Logistyka morska. Będzie zawierał materiały potrzebne dla studentów odnośnie wykładu jak i ćwiczeń.
-
Radiokomunikacja morska, lotnicza i satelitarna
Kursy Online -
Radiokomunikacja morska, lotnicza i satelitarna
Kursy OnlineCelem przedmiotu jest zapoznanie studentów z wybranymi zagadnieniami dotyczącymi systemów radiokomunikacji morskiej, lotniczej i satelitarnej.
-
Continuation classes 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.
-
Continuation classes 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.
-
Continuation classes 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.
-
Continuation classes 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.