Filtry
wszystkich: 1002
wybranych: 791
-
Katalog
- Publikacje 791 wyników po odfiltrowaniu
- Czasopisma 24 wyników po odfiltrowaniu
- Wydawnictwa 1 wyników po odfiltrowaniu
- Osoby 61 wyników po odfiltrowaniu
- Wynalazki 8 wyników po odfiltrowaniu
- Projekty 16 wyników po odfiltrowaniu
- Zespoły Badawcze 7 wyników po odfiltrowaniu
- Kursy Online 74 wyników po odfiltrowaniu
- Wydarzenia 7 wyników po odfiltrowaniu
- Dane Badawcze 13 wyników po odfiltrowaniu
Filtry wybranego katalogu
Wyniki wyszukiwania dla: Turski
-
The mechanisms of isobutene hydration yielding tert-butanol catalyzed by a strong mineral acid (H2SO4) and Lewis-Brønsted superacid (HF/SbF5)
Publikacja -
Is hydrogen capable of playing a central atom role in superhalogen anions?
Publikacja -
Mechanism of the ethanol-based (C2H5OH2)+(SbF6)− salt formation by the superacid-catalyzed acetaldehyde hydrogenation
Publikacja -
Strength of the Lewis–Brønsted Superacids Containing In, Sn, and Sb and the Electron Binding Energies of Their Corresponding Superhalogen Anions
Publikacja -
Shape resonance of the ethylene anion stabilized in a molecular trap
Publikacja -
The saturation of the excess electron binding energy in AlnF3n+1- (n= 1–5) anions
Publikacja -
Unusual structures of Mg2F5- superhalogen anion
Publikacja -
An excess electron bound to urea oligomers. II. Chains and ribbons
Publikacja -
Dipole-bound anions supported by charge-transfer interaction: valence- and dipole-bound anionic states of H3N→BF3
Publikacja -
An ab initio study on BeX3− superhalogen anions (X = F, Cl, Br)
Publikacja -
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.
-
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...
-
Assessing vehicle restraint systems on horizontal curves
PublikacjaHorizontal curves, an element of road infrastructure, have a statistically high number of accidents. Considering that horizontal curves in the last ten years have had app. 10% of all road accidents representing app. 14% of all fatalities on Polish roads, the issue is serious and requires more research and proper road safety treatments. Data for 2007 - 2016 show that in the case of accidents on horizontal curves app. 45% of the...
-
A METHOD OF TRUST MANAGEMENT IN WIRELESS SENSOR NETWORKS
PublikacjaThe research problem considered in this paper is how to protect wireless sensor networks (WSN) against cyber-threats by applying trust management and how to strengthen network resilience to attacks targeting the trust management mechanism itself. A new method, called WSN Cooperative Trust Management Method (WCT2M), of distributed trust management in multi-layer wireless sensor networks is proposed and its performance is evaluated....
-
Supporting Cybersecurity Compliance Assessment of Industrial Automation and Control System Components
PublikacjaThe chapter presents a case study demonstrating how security requirements of an Industrial Automation and Control System (IACS) component can be represented in a form of Protection Profile that is based on IEC 62443 standards and how compliance assessment of such component can be supported by explicitly representing a conformity argument in a form based on the OMG SACM meta-model. It is also demonstrated how an advanced argument...
-
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...
-
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.
-
Context sensitive privacy management in a distributed environment
PublikacjaArtykuł przedstawia mechanizm zarządzania prywatnością stworzony dla systemu rozproszonego z założeniem, że węzły systemu mają ograniczone zasoby (moc procesora, pamięć). Podstawowy pomysł zakłada, że prywatne dane są filtrowane zgodnie z polityką prywatności użytkowników przed ich ujawnieniem innym użytkownikom. Te decyzje są silnie umiejscowione, co ogranicza narzut związany z zarządzaniem prywatnością na węzłach systemu. Sam...
-
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...
-
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...
-
Modeling, simulation, and validation of a TB41 crash test of the H2/W5/B concrete vehicle restraint system
PublikacjaThe paper addresses numerical simulations of a concrete vehicle restraint system. The model is described in detail. The advanced material law of the continuous surface cap model was used to analyze the damage locations in concrete barrier segments. The results were validated against the TB41 full-scale crash test. The test was conducted in compliance with European standard EN 1317, and the validation was performed in accordance...
-
Methodology of research on the impact of ramp metering on the safety and efficiency of road traffic using transport models
PublikacjaThe methods currently used to assess the impact of Intelligent Transport Systems (ITS) services on traffic safety and efficiency are mainly based on expert assessments, statistical studies or traffic models that need further development. There is no structured, uniform evaluation method to compare the impact of different ITS services and their different configurations. The impact of ITS deployment on the road network adjacent to...
-
Uwarunkowania realizacji kontrapasa autobusowego w zmiennokierunkowej organizacji ruchu
PublikacjaPolskie miasta wprowadzają rozwiązania mające na celu zachęcanie do korzystania z alternatywnych do podróży samochodem sposobów przemieszczania się, w tym transportem zbiorowym, co może przyczynić się do zmniejszenia zatłoczenia sieci ulicznej. Jednym z przykładów takich działań jest wprowadzenie dedykowanego zmiennokierunkowego pasa autobusowego na jednej z głównych arterii miasta Gdyni. Jest to pierwsze rozwiązanie w Polsce,...
-
Koncepcja zagospodarowania do celów grzejnych energii dołowych wód kopalnianych.
PublikacjaPrzedstawiono koncepcję systemu zasilania, który obejmuje zespół pomp grzejnych wykorzystujących energię dołowych wód kopalnianych jako dolnego źródła ciepła. Działanie zespołu pomp grzejnych wspiera układ kogeneracyjny oparty na siłowni spalinowej zasilanej gazem ziemnym.
-
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 Backbone Coloring Problem for Bipartite Backbones
PublikacjaLet G be a simple graph, H be its spanning subgraph and λ≥2 be an integer. By a λ -backbone coloring of G with backbone H we mean any function c that assigns positive integers to vertices of G in such a way that |c(u)−c(v)|≥1 for each edge uv∈E(G) and |c(u)−c(v)|≥λ for each edge uv∈E(H) . The λ -backbone chromatic number BBCλ(G,H) is the smallest integer k such that there exists a λ -backbone coloring c of G with backbone H satisfying...
-
MOŻLIWOŚCI IDENTYFIKACJI STANU TECHNICZNEGO WARSTW ŚLIZGOWYCH ŁOżYSK SILNIKÓW SPALINOWYCH O ZAPŁONIE SAMOCZYNNYM W PRZYPADKU WYKORZYSTANIA EMISji AKUSTYCZNEJ JAKO SYGNAŁU DIAGNOSTYCZNEGO
PublikacjaW artykule zaprezentowano wyniki badań wielowarstwowych panwi łożysk ślizgowych silników tłokowych. Scharakteryzowano własności obciążeń tego rodzaju panwi oraz ich zużycia szczególnie zmęczeniowego i ściernego. Wykazano przydatność emisji akustycznej jako sygnału diagnostycznego do ujawniania zużycia powłok ślizgowych i zaporowych. Przedstawiono wyniki pomiarów parametrów emisji akustycznej, wykonanych za pomocą 12- kanałowej...
-
The computational complexity of the backbone coloring problem for planar graphs with connected backbones
PublikacjaIn the paper we study the computational complexity of the backbone coloring problem for planar graphs with connected backbones. For every possible value of integer parameters λ≥2 and k≥1 we show that the following problem: Instance: A simple planar graph GG, its connected spanning subgraph (backbone) HH. Question: Is there a λ-backbone coloring c of G with backbone H such that maxc(V(G))≤k? is either NP-complete or polynomially...
-
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...
-
POSSIBILITY OF ASSESSMENT OF OPERATION OF SLIDING BEARINGS IN PISTON-CRANK MECHANISMS OF DIESEL ENGINES WITH REGARD TO LOAD AND TIME OF CORRECT WORK OF THE BEARINGS BY APPLYING ACOUSTIC EMISSION AS A DIAGNOSTIC SIGNAL
PublikacjaAbstract: The paper presents a possibility of determining (assessing) operation of sliding bearings with multilayer bushings in crank-piston mechanisms of diesel engines. Properties of load and wear, particularly fatigue and abrasive, are characterized in general. Acoustic emission as a diagnostic signal was proved to be useful for detection of the wear of sliding and barrier layers. Results of measurements of acoustic emission...
-
Organizacja wystawy projektów GALERII PŁYWAJĄCEJ, towarzyszącej obradom Międzynarodowego Kongresu Architektury ARCHITEKTURA I WODA
PublikacjaWystawa jest prezentacją projektów GALERII PŁYWAJĄCEJ przemieszczającej się po drogach wodnych Gdańska, wykonanych przez studentów Wydziału Architektury PG w ramach w ramach przedmiotu ''Przeobrażenia stref nadwodnych miast i zagadnienia architektury pływającej'', prowadzonego przez profesor architekt Lucynę Nyka oraz doktorantkę Wydziału Architektury PG architekt Izabelę Burda.
-
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...
-
The computational complexity of the backbone coloring problem for bounded-degree graphs with connected backbones
PublikacjaGiven a graph G, a spanning subgraph H of G and an integer λ>=2, a λ-backbone coloring of G with backbone H is a vertex coloring of G using colors 1, 2, ..., in which the color difference between vertices adjacent in H is greater than or equal to lambda. The backbone coloring problem is to find such a coloring with maximum color that does not exceed a given limit k. In this paper, we study the backbone coloring problem for bounded-degree...
-
On the hardness of computing span of subcubic graphs
PublikacjaIn the paper we study the problem of finding ξ-colorings with minimal span, i.e. the difference between the largest and the smallest color used.
-
SOCIAL ENTREPRENEURS – WHAT MAKES THEM DIFFERENT FROM BUSINESS UNDERTAKERS
PublikacjaSocial entrepreneurs, very often operate with highly limited resources, not to say with virtually nothing. They possess motivation, but apart from financial or technical resources very often they also need complex set of skills, especially those connected with leadership. Social entrepreneurship is similar to business entrepreneurship in many way, however there are some differences. Both similarities and differences can be find...
-
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...
-
Minimalizacja szerokości pasma w sieciach radiowych metodami szkieletowego kolorowania grafów
PublikacjaArtykuł poświęcony jest szkieletowemu kolorowaniu grafów, które jest matematycznym modelem dla problemu minimalizacji szerokości pasma w sieciach radiowych. Badamy w nim zależność szkieletowej liczby chromatycznej od parametrów zagadnienia. Dowodzimy, że dla dużych wartości parametrów ta zależność jest liniowa.
-
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...
-
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 -
The Backbone Coloring Problem for Small Graphs
PublikacjaIn this paper we investigate the values of the backbone chromatic number, derived from a mathematical model for the problem of minimization of bandwidth in radio networks, for small connected graphs and connected backbones (up to 7 vertices). We study the relationship of this parameter with the structure of the graph and compare the results with the solutions obtained using the classical graph coloring algorithms (LF, IS), modified...
-
An O ( n log n ) algorithm for finding edge span of cacti
PublikacjaLet G=(V,E) be a nonempty graph and xi be a function. In the paper we study the computational complexity of the problem of finding vertex colorings c of G such that: (1) |c(u)-c(v)|>=xi(uv) for each edge uv of E; (2) the edge span of c, i.e. max{|c(u)-c(v)|: uv belongs to E}, is minimal. We show that the problem is NP-hard for subcubic outerplanar graphs of a very simple structure (similar to cycles) and polynomially solvable for...
-
Detecting defects in object-oriented diagrams using UML-HAZOP
PublikacjaArtykuł dotyczy metody wykrywania defektów w dokumentacji oprogramowania wykonywanego z zastosowaniem notacji UML. Metoda ta, nazwana UML-HAZOP, jest adaptacją metody HAZOP szeroko stosowanej w stosunku do systemów związanych z bezpieczeństwem. Metoda ta jest ukierunkowana na wykrywanie anomalii w dokumentacji projektowej na drodze analizy ''przepływów'' pomiędzy komponentami badanego systemu. Adaptacja metody do badania oprogramowania...
-
Stress strain relations and modulus of elascity of two stage concrete.
PublikacjaOmówiono badania doświadczalne przeprowadzone dla betonu dwuetapowego. Beton wykonano z trzech różnych kruszyw przy zastosowaniu trzech różnych proporcji w/c i c/p. Wyznaczono związki pomiędzy naprężeniami i odkształceniami. Na drodze statystycznej opracowano wzory umożliwiające wstępne szacowanie wartości siecznego modułu Younga. Ponieważ metoda dwuetapowa pozwala na zachowanie kontaktu pomiędzy poszczególnymi elementami kamiennego...