Filtry
wszystkich: 3374
-
Katalog
- Publikacje 1559 wyników po odfiltrowaniu
- Czasopisma 21 wyników po odfiltrowaniu
- Wydawnictwa 26 wyników po odfiltrowaniu
- Osoby 379 wyników po odfiltrowaniu
- Wynalazki 16 wyników po odfiltrowaniu
- Projekty 44 wyników po odfiltrowaniu
- Laboratoria 2 wyników po odfiltrowaniu
- Zespoły Badawcze 11 wyników po odfiltrowaniu
- Kursy Online 141 wyników po odfiltrowaniu
- Wydarzenia 50 wyników po odfiltrowaniu
- Dane Badawcze 1125 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: latarnie morskie
-
Unsymmetrical movements of a multi-hull vessel treated as a linear object
PublikacjaW artykule przedstawiona została analiza dynamiki wybranych morskich obiektów pływających reprezentujących wielokadłubowe jednostki pływające. Badany obiekt został przedstawiony jako liniowy układ dynamiczny o sześciu stopniach swobody. Powyższa analiza dotyczy równań różniczkowych opisujących ruchy niesymetryczne statku na fali. Układ stochastycznych równań różniczkowych dla sprzężonych ruchów niesymetrycznych został przedstawiony...
-
Environmental risk measure of ships
PublikacjaW artykule wyszczególniono najistotniejsze zanieczyszczenia uwalniane podczas eksploatacji statków. Przedyskutowano norweską propozycję indeksacji środowiskowej statków. Zaproponowano probabilistyczny model do oceny ryzyka stwarzanego przez statki względem środowiska morskiego oraz miarę tego ryzyka. Przedstawiono także wyniki badań wpływu niezawodnośći elementów technicznych i poziomu wyszkolenia załogi na roczne ryzyko środowiskowe...
-
Stanowisko do analizy sygnałów przesyłanych w kanale hydroakustycznym
PublikacjaOpisano stanowisko badawcze, za pomocą którego wyznaczano odpowiedzi kanału hydroakustycznego na pobudzenie sygnałem modulowanym ciągiem pseudoprzypadkowym PRBS (Pseudo Random Binary Sequence) oraz przeprowadzono eksperymenty z transmisją danych z rozpraszaniem widma metodą bezpośrednią. Omówiono wyniki badań w warunkach laboratoryjnych oraz w jeziorze i basenie portu morskiego. Badania wykonano w warunkach statycznych.
-
Analiza porównawcza wybranych hierarchicznych algorytmów trasowania w sieciach ad hoc
PublikacjaW referacie przybliżono ogólną zasadę działania algorytmów hierarchicznych stosowanych w sieciach ad hoc. Szczegółowo omówiono dwa hierarchiczne protokoły trasowania: Cluster Based Routing Protocol oraz Zone Routing Protocol. Osobny punkt referatu poświęcono analizie porównawczej obu protokołów. W podsumowaniu przeanalizowano zasadność zastosowania wspomnianych protokołów w Zautomatyzowanym Systemie Radarowego Nadzoru Polskich...
-
Dworzec kolejowy – jaki był, jaki jest i jaki być powinien
PublikacjaWzorem innych krajów winien być w Polsce przeprowadzony program reformy dworców i przystanków kolejowych jako jednorodnego, zestandaryzowanego, narodowego systemu. Przygotowując program polskiej reformy dworcowej należy się posiłkować wynikami podobnych programów w innych krajach europejskich. Programy te skrótowo opisano w artykule. Opisano i oceniono również pierwsze realizacje polskie powstałe po 2008r.
-
Bezpieczeństwo energetyczne Polski w relacjach z Rosją
PublikacjaAnaliza ukazuje ocenę stanu bezpieczeństwa energetycznego Polski w relacjach z Rosją w wymiarze infrastrukturalnym. Podejmowane przez kolejne, polskie rządy działania na rzecz zapewnienia stabilnych dostaw surowców energetycznych oraz dywersyfikacji ich źródeł, z uwagi na obecność rosyjskiego kapitału w elementach europejskiej infrastruktury przesyłowej i magazynowej, nie umożliwia eliminacji politycznych wpływów Rosji.
-
Adaptive neuro fuzzy and fuzzy decision tree classifiers as applied to sea floor characterization.
PublikacjaPrzedstawiono wyniki badań wpływu różnych parametrów echa odbitego od dna morskiego na dokładność klasyfikacji typu dna przy pomocy sieci neuronowej z logiką rozmytą i przy pomocy drzew decyzyjnych. W szczególności uwzględniono takie parametry echa jak: energia, amplituda i nachylenie opadającego zbocza, wzbogacone o współczynniki falkowe otrzymane z dyskretnej transformacji falkowej (DWT).
-
Zmiany jakości wód podziemnych na ujęciu ''Czarny Dwór'' w świetle badań polsko-szwedzkich
PublikacjaW wyniku intensywnej i trwającej 40 lat eksploatacji oraz sposobu zagospodarowania terenu nastąpiła niekorzystna zmiana jakości wód czwartorzędowego piętra wodonośnego na ujęciu ''Czarny Dwór''. Pojawiły się wysokie stężenia chlorków, siarczanów, azotu amonowego oraz podwyższona twardość ogólna. Badania geofizyczne wykonane w ramach współpracy polsko-szwedzkiej wykluczyły istnienie obecnie intruzji wód morskich.
-
Sensitivity of echo parameters to seafloor properties and depth variability.
PublikacjaPrzeprowadzono badanie użyteczności wybranych parametrów echa akustycznego, w szczególności wymiaru fraktalnego oraz momentów spektralnych obwiedni, w klasyfikacji dna morskiego, ze szczególnym uwzględnieniem wpływu zmieniającej się głębokości. Wykorzystano numeryczną symulację rozpraszania echa na dnie oraz innych elementów procesu akustycznego sondowania dna, w tym także procedurę kompensacji wpływu zmian głębokości dna na echo.
-
Anthropogenic changes of groundwater quality on the "Czarny Dwór" intake.
PublikacjaW wyniku intensywnej i trwającej 40 lat eksploatacji oraz sposobu zagospodarowania terenu nastąpiła niekorzystna zmiana jakości wód czwartorzędowego piętra wodonośnego na ujęciu "Czarny Dwór". Pojawiły się wysokie stężenia chlorków, siarczanów, azotu amonowego oraz podwyższona twardość ogólna. Badania geofizyczne wykonane w ramach współpracy Polsko - Szwedzkiej wykluczyły istnienie obecnie intruzji wód morskich.
-
Automatic control systems for ships fitted with podded propulsion drive (POD).
PublikacjaW artykule ukazano celowość i możliwości automatyzacji układów napędowych, zwłaszcza typu POD, przewidzianych do zastosowania na projektowanych w ramach projektu Eureka BALTECOLOGICAL SHIP czterech statkach bałtyckich: kontenerowca, pojazdowa i tankowca oraz statku rzeczno - morskiego. Zawarte w artykule informacje ułatwiają dokonanie wyboru właściwych założeń projektowanego układu sterowania napędem wymienionych wyżej statków.
-
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 -
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.
-
Identification and simulation of shells geometric initial imperfection
PublikacjaPrzedstawiono stochastyczną analizę stalowych zbiorników walcowych ze wstępnymi imperfekcjami geometrycznymi. Imperfekcje opisano za pomocą jednorodnych pól losowych.
-
Identification i simulation of initial geometric imperfection of steel cylindrical tanks
PublikacjaPrzedstawiono stochastyczną analizę stalowych zbiorników walcowych ze wstępnymi imperfekcjami geometrycznymi. Wykorzystano pomierzone odchyłki rzeczywistych zbiorników. Imperfekcje opisano za pomocą nienorodnych pól losowych. Wygenerowano realizacje odpowiadające pomierzonym imperfekcjom a także imperfekcjom ekstremalnym. Wykonano obliczeniach geometrycznie i materiałowo nieliniowe zbiornika z imperfekcjami. Wykazano, że imperfekcje...
-
Kryteria oceny metody wspomagającej interakcję klient-Dostawca oprogramowania i ich zastosowanie do metody WIKLIDO
PublikacjaW 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.
-
An approach for evaluating trust in it infrastructures
PublikacjaW 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
PublikacjaPrzystę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
PublikacjaTrust 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....
-
Supporting compliance with safety standards by trust case templates
PublikacjaStandard 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
PublikacjaEffective 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...
-
Performance analysis of untraceability protocols for mobile agents using an adaptable framework
PublikacjaArtykuł 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
PublikacjaArtykuł 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
PublikacjaMinimalne 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
PublikacjaArtykuł 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...
-
Automatyzacja przypadków testowych dla aplikacji internetowej
PublikacjaArtykuł przedstawia doświadczenia związane z doskonaleniem procesu testowania złożonego systemu internetowego, którego kluczowy element stanowi aplikacja kliencka wykonana w technologii AJAX. Podjęte działania ukierunkowane na zapewnienie jakości, w tym wysokiej niezawodności, doprowadziły do powstania obszernego zbioru przypadków testowych. Wraz z rozwojem systemu przypadki testowe podlegały ewolucji. Początkowo wykonywane były...
-
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...
-
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.
-
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
Publikacja -
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...
-
Shell with random geometric imperfections simulation-based approach
PublikacjaPrzedstawiono analizę powłok z losowymi imperfekcjami. Zastosowano nieliniowe geometrycznie i materiałowo modele. Geometryczne imperfekcje opisano za pomocą pojedynczych zmiennych oraz pól losowych. Wykorzystano metodę Monte Carlo i metodę elementów skończonych. Zbadano wpływ różnych rozkładów prawdopodobieństwa imperfekcji geometrycznych na probabilistyczny rozkład nośności granicznej powłok. Zastosowane rozkłady ekstremalne imperfekcji...
-
Introducing agile practices into development processes of safety critical software
PublikacjaIn this paper we present AgileSafe - a method which supports introduction of agile practices into safety-critical software development processes. To represent safety assurance constraints resulting from the regulatory context, AgileSafe uses assurance case patterns. The knowledge base of AgileSafe helps the user to select the agile practices relevant for the considered software development project. The corresponding assurance case...
-
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...
-
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...
-
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.
-
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...