Filters
total: 3891
filtered: 2868
-
Catalog
- Publications 2868 available results
- Journals 252 available results
- Conferences 116 available results
- Publishing Houses 1 available results
- People 87 available results
- Projects 11 available results
- Research Teams 1 available results
- Research Equipment 1 available results
- e-Learning Courses 69 available results
- Events 5 available results
- Open Research Data 480 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: SAFETY-CRITICAL SOFTWARE
-
Optimal programming of critical sections in modern network processors under performance requirements.
PublicationPrzegląd konstrukcji i zastosowań metod programowania sekcji krytycznych w nowoczesnych procesorach sieciowych rodziny Intel IXP. Porównanie wydajnościowe w formie tabeli.
-
Real and virtual enviromnents in environmental engineering: approaches, models, technologies, and critical issues.
PublicationW pracy scharakteryzowano zagadnienia związane z projektowaniem systemów uwzględniającym ochronę środowiska.
-
Coastal zone critical infrastructure protection using dedicated geographical information system
PublicationW pracy przeanalizowano kilka infrastruktur krytycznych dla Trojmiasta z wykorzystaniem CARVER2. Wyniki zostale poddane analizie z wykorzystaniem systemu GIS.
-
Early stage of critical clusters growth in phenomenological and Molecular Dynamic simulation models
PublicationW artykule opisano wzrost klastrów krytycznych w ramach klasycznego podejścia fenomenologicznego oraz dynamiczno-molekularnego (MD). Została wyprowadzona nowa formuła opisujaca liczbę klastrów krytycznych. Sformułowano równania opisujace wczesne etapy wzrostu kropli o rozmiarach krytycznych. Opisano wyniki symulacji dynamiczno-molekularnych powstawania klastrów w jednorodnej parze przesyconej oraz podano czasowe zmiany rozkładu...
-
Integrating SHECS-based critical sections with hardware SMP scheduler in TLP-CMPs
PublicationArtykuł prezentuje koncepcje zintegrowania sekcji krytycznych opartych o układ SHECS (współdzielony jawny cache system) ze sprzętowym menadżerem zadań SMP w zintegrowanych architekturach wieloprocesorowych z wielowątkowością sprzętową (TLP-CMPs). Przedstawione jest porównanie wydajności zintegrowania sekcji krytycznych SHECS z programowym menadżerem zadań SMP względem użycia sprzętowego menadżera zadań SMP. Środowiskiem wykonania...
-
The thermodynamic critical field and specific heat of superconducting state in phosphorene under strain
Publication -
A review on the critical challenges and progress of SiOx-based anodes for lithium-ion batteries
Publication -
Algorithms for spatial analysis and interpolation of discrete sets of Critical Infrastructure hazard data
PublicationNowo opracowane zaawansowane narzędzia technologii informacyjnych i komunikacyjnych (TIK) ujawniają swoją przydatność do przewidywania różnego rodzaju zagrożeń oraz minimalizowania związanego z nimi potencjalnego ryzyka. Jednakże większość tych narzędzi operuje jedynie na niektórych typach infrastruktury i zaniedbuje ich przestrzenne interakcje z otoczeniem oraz innymi strukturami. Niniejszy artykuł zawiera propozycje kilku algorytmów...
-
Artificial intelligence systems for tool condition monitoring in machining: analysis and critical review
Publication -
Data-Driven Modeling of Mechanical Properties of Fiber-Reinforced Concrete: A Critical Review
PublicationFiber-reinforced concrete (FRC) is extensively used in diverse structural engineering applications, and its mechanical properties are crucial for designing and evaluating its performance. The compressive, flexural, splitting tensile, and shear strengths of FRCs are among the most important attributes, which have been discussed more extensively than other properties. The accurate prediction of these properties, which are required...
-
The application of GIS and 3D graphic software to visual impact assessment of wind turbines
Publication -
WiMA: Towards a Multi-Criterion Association in Software Defined Wi-Fi Networks
Publication -
Application of Shuffled Frog-Leaping Algorithm for Optimal Software Project Scheduling and Staffing
Publication -
development of an open source software to transform acoustic data for classification of benthic habitat
Publication.
-
Post-critical buckling of truncated conical carbon nanotubes considering surface effects embedding in a nonlinear Winkler substrate using the Rayleigh-Ritz method
PublicationThis research predicts theoretically post-critical axial buckling behavior of truncated conical carbon nanotubes (CCNTs) with several boundary conditions by assuming a nonlinear Winkler matrix. The post-buckling of CCNTs has been studied based on the Euler-Bernoulli beam model, Hamilton’s principle, Lagrangian strains, and nonlocal strain gradient theory. Both stiffness-hardening and stiffness-softening properties of the nanostructure...
-
Critical perspectives on media architecture: is it still possible to design projects without negatively affecting urban nighttime environments and will the future remain dynamic, bright and multi-colored?
PublicationNowadays, due to advances in electrical devices, new digital media, lighting, information and communication technologies, cities are being used 24/7. The paper discusses critical aspects of Media Architecture in the context of public spaces as well as urban nighttime environments from the perspective of a practising lighting architect. The author examines recent issues of negative design approaches and presents proposals for improving...
-
A risk-based method for ship safety assessment at the preliminary designstage
PublicationPraca zawiera wyniki badań dotyczących opracowania metody do analizy bezpieczeństwa statku w warunkach krytycznych. Metoda oparta jest na podejściu systemowym do oceny bezpieczeństwa, formalnej ocenie bezpieczeństwa FSA i hydromechanice okrętu. Podano przykłady oceny ryzyka utraty statku w warunkach krytycznych.
-
Human and organizational factors in risk analysis and safety management of azardous
PublicationArtykuł porusza aktualne kwestie dyskutowane podczas warsztatów na temat czynników ludzkich i organizacyjnych w analizie ryzyka i zarządzaniu bezpieczeństwem instalacji przemysłowych wysokiego ryzyka. Zauważa się rosnącą świadomość, że eksploatacja złożonego systemu wyposażonego w środki bezpieczeństwa oraz redundancyjne układy zabezpieczeń i sterowania, zawierające jednostki programowalne, może spowodować większe uzależnienie...
-
On fatigue safety of metallic elements under static and dynamic loads.
PublicationGłównym celem monografii było wyznaczenie współczynników bezpieczeństwa i kryteriów projektowych z uwzględnieniem wpływu obciążeń statycznych oraz naprężeń średnich i resztowych na wytrzymałość zmęczeniową przy obciążeniach okresowych i/lub stochastycznych. Uzyskano to za pomocą wyznaczonych naprężeń równoważnych i równania Soderberga. Otrzymano kryteria w postaci zamkniętej i zgodnej z wzorem Milesa na trwałość zmęczeniową oraz...
-
Designing control and protection systems with regard to functional safety aspects.
PublicationZaproponowano zintegrowane podejście w ocenie bezpieczeństwa funkcjonalnego systemów E/E/PE. Niepewność probabilistycznych miar ryzyka dla elektrycznych, elektronicznych i programowalnych elektronicznych systemów jest reprezentowana za pomocą przedziałów, które są porównywane z przedziałowymi kryteriami probabilistycznymi zdefiniowanymi dla tych systemów przez normę IEC 61508, w postaci czterech poziomów nienaruszalności bezpieczeństwa...
-
Adaptation of various persons' identification techniques as a solution for security and safety
PublicationPrzedstawiono różne metody identyfikacji osób w oparciu o ich cechy biometryczne w zastosowaniu do bezpieczeństwa i zabezpieczeń. Takimi biometrycznymi cechami mogą być właściwości fizjologiczne jak odciski palców, kształt dłoni, właściwości tęczówki jak również cechy behawioralne jak sposób pisania lub wypowiadania się.
-
A performance-oriented risk-based method for safety assessment of ships
PublicationW pracy przedstawiono wybrane informacje na temat metody oceny bezpieczeństwa statków w warunkach krytycznych. Metoda łączy podejście oparte na ocenie osiągów statku z podejściem opartym o ocenę ryzyka wypadku. Analiza ryzyka w metodzie oparta jest na zastosowaniu elementów Formalnej Oceny Bezpieczeństwa FSA. Analiza ryzyka w metodzie dotyczy: identyfikacji zagrożeń, oceny zagrożeń, identyfikacji scenariuszy wypadku, oceny ryzyka,...
-
Conception of taking decisions with regard to reliability and safety of combustion engines
PublicationW referacie przedstawiono jedną z najprostszych sytuacji decyzyjnych, która może pojawić sie w czasie eksploatacji silników spalinowych. Zaproponowano możliwość podejmowania decyzji w takiej sytuacji. Wynika z niej, że nawet w złożonej sytuacji decyzyjnej rozpatrywanie oczekiwanych konsekwencji umożliwia bardzo łatwe przyporządkowanie każdemu rodzajowi decyzji, pojedynczej liczby oznaczającej wartość oczekiwaną konsekwencji. Umożliwia...
-
Layers of protection analysis in teh context of functional safety management
Publication -
A method for assessing hazards, risks and safety of damaged ships at sea
PublicationPrzedstawiono wybrane problemy związane z metodą oceny bezpieczeństwa statków, opartej na ocenie zachowania się statku i ocenie ryzyka, w warunkach eksploatacyjnych. Omówiono zakres oceny bezpieczeństwa i analizy ryzyka w odniesieniu do zagadnienia zachowania się statku uszkodzonego na morzu. Analiza ryzyka oparta jest na zastosowaniu elementów Formalnej Oceny Bezpieczeństwa FSA. Opisano główne kroki analizy ryzyka. Podano podstawowe...
-
Methods for verification safety integrity level in control and protection systems
PublicationW artukule przedstawiono podstawowe oraz zaawansowane ilościowe metody weryfikacji poziomów nienaruszalności bezpieczeństwa SIL w systemach sterowania i zabezpieczeń. Metody te zawierają analizę wrażliwości i niepewności modeli probabilistycznych tych systemów. Pod uwagę wzięte zostały także uszkodzenia o wspólnej przyczynie. Zaprezentowane zostały wyniki analiz oraz zalety ich stosowania.
-
Selected developments within ship safety equipment for saving lives
PublicationW artykule przedstawiono aktualny rozwój nowych metod i urządzeń do bezpiecznej ewakuacji ludzi ze statków, zwłaszcza z dużych pasażerskich, zabierających na pokład łącznie do 5 tysięcy osób.
-
System-theoretic approach to safety of remotely-controlled merchant vessel
Publication -
Preparation and implementation of the National Road Safety Programme GAMBIT 2005
PublicationKrajowy Program BRD GAMBIT 2005 jest spójny z najwazniejszymi dokumentami dotyczącymi rozwoju systemu transportu w Polsce (Polityka Transportowa, Strategia Rozwoju Transportu). Jest też spójny z III Planem BRD Unii Europejskiej. Program ten daje możliwość zintensyfikowania działań prewencyjnych, prowadzonych w celu ochrony zycia i zdrowia uczestników ruchu drogowego. Efektem tego programu będzie uratowanie życia kilkunastu tysiącom...
-
Analysis of tank safety with propane-butane on LPG distribution station
Publication -
Innovative method for utilization of wastewater for security and safety in rural areas
PublicationIn the rural areas building of sewerage systems and central wastewater treatment plants (WWTPs) often brings too high costs, due to high distances from one farm to another and terrain configuration. Individual treatment systems for each farm are a good solution. The teratment wetlands for nine individual farms were constructed in Kaszubian Lake District in summer and autumn 2009. Three configurations of reed beds were chosen. In...
-
LRIT - a novel system of vessels monitoring for maritime security and safety
PublicationW artykule przedstawiono propozycję architektury przyszłego, globalnego systemu monitorowania statków LRIT (Long Range ship's Identification and Tracking) podlegających konwencji SOLAS. Przedstawiono i scharakteryzowano poszczególne komponenty systemu ze szczególnym uwzględnieniem aspektów radiokomunikacyjnych.
-
A New Critical Risk on the Block: Cyber Risks as an Example of Technical Knowledge Risks in Organizations
PublicationThe breakout of the COVID-19 pandemic has intensified the appearance of many additional technical knowledge risks in organizations. Cyber risks in particular are becoming a great challenge for organizations. At the same time, academic research on cyber risks, their costs, consequences and ability of overcoming them is still scarce and fragmented. In order to fill this gap, the paper is aimed to identify different types of cyber...
-
Application of persulfate-based oxidation processes to address diverse sustainability challenges: A critical review
PublicationOver the past years, persulfate (PS) is widely applied due to their high versatility and efficacy in decontamination and sterilization. While treatment of organic chemicals, remediation of soil and groundwater, sludge treatment, disinfection on pathogen microorganisms have been covered by most published reviews, there are no comprehensive and specific reviews on its application to address diverse sustainability challenges, including...
-
Method to determine the critical concentration Rayleigh number in isothermal passive membrane transport processes
Publication -
Experimental determination of critical conditions for hydrogen-air detonation propagation in partially confined geometry
Publication -
Critical review of propeller performance scaling methods based on model experiments and numerical calculations
PublicationThe article presents the results of experimental and theoretical investigation of propeller scale effects. The objective of this investigation is to test the adequacy of the methods currently used and to develop possible improvement of the methods.New approaches to the problem and new procedures to account for the propeller scale effects are suggested. The description of the underlying experimental and theoretical research is included.
-
The critical rotational speed of circular saw: simple measurement method and its practical implementations.
PublicationProducenci pił tarczowych są zobligowani do podawania ich dopuszczalnych prędkości obrotowych. Jednakże, umieszczane przez nich prędkości na piłach są często bliskie prędkościom krytycznym lub je przewyższają. Przecinanie takimi narzędziami może być więc niebezpieczne dla obsługującego. Praca przedstawia prostą metodologię wyznaczania prędkości obrotowych krytycznych pił tarczowych. Badania były prowadzone z wykorzystaniem technik...
-
Spatial analysis of Critical Infrastructure risk assessment results using a Web-based GIS
PublicationArtykuł prezentuje Sieciowy System Informacji Przestrzennej dla Szacowania i Wizualizacji Infrastruktur Krytycznych i ich Zagrożeń, stworzony dla Urzędu Miejskiego w Gdańsku przez Politechnikę Gdańską. System ten jest przeznaczony do przetwarzania przestrzennego i mapowania wyników różnych analiz Infrastruktur Krytycznych, zaś CARVER2 pełni w nim rolę głównego ''sensora''.
-
Effects of Welded Pipe-cutting on the Residual Stress Re-Distribution and Engineering Critical Assessment
Publication -
A Critical Appraisal of Dimolybdenum Tetraacetate Application in Stereochemical Studies of vic-Diols by Circular Dichroism
Publication -
MicroRNA expression profile analysis in human skeletal muscle tissue: Selection of critical reference
Publication -
Increasing the Durability of Critical Parts in Heavy-Duty Industrial Machines by Deep Cryogenic Treatment
Publication -
Limitations of the Chladni patterns method for determination of circular saw blade critical rotational speeds
PublicationW pracy przedstawiono wyniki badań eksperymentalnych pił tarczowych z zastosowaniem figur Chladniego do wyznaczania obrotowych prędkości krytycznych pił tarczowych. Otrzymane wyniki wykazały, że w przypadku pił tarczowych o bardziej skomplikowanej budowie z długimi szczelinami, figury Chaldniego opisują postaci drgań, definiują częstotliwości rezonansowe. Jednakże, nie są one przydatne do wyznaczania obrotowych prędkości krytycznych...
-
Predicting the critical micelle concentration of aqueous solutions of ionic liquids and other ionic surfactants
PublicationNiektóre ciecze jonowe, szczególnie te będące kombinacją organicznego i nieorganicznego jonu, wykazują strukturalne podobieństwo do surfaktantów. Krytyczne stężenie micelizacji jest podstawowym parametrem w chemii powierzchni i nauce o koloidach. Parametr ten został zmierzony dla wielu cieczy jonowych, jednakże ze względu na ogromną ilość możliwych kombinacji anionów i kationów jego eksperymentalny pomiar dla wszystkich struktur...
-
The geometry of free-standing titania nanotubes as a critical factor controlling their optical and photoelectrochemical performance
PublicationTitanium dioxide nanotubes are regarded as one of the most important functional materials and due to their unique electronic properties, chemical stability and photocorrosion resistance, they find applications in, for example, highly efficient photocatalysis or perovskite solar cells. Nevertheless, modification of TiO2 nanotubes is required to overcome their main drawback, i.e. large energy bandgap (>3.2 eV) limiting their ability...
-
Drawing Functions and NLP Algorithm Steps for Optimization Problems by using O&G Software.
PublicationPraca opisuje program służący do wizualizacji problemów programowania nieliniowego (funkcja celu, ograniczenia) oraz pracy rozwiązującego je algorytmu. Wizualizacja może być realizowana w przestrzeni dwu- lub trójwymiarowej.
-
Looking For Motivation. How to Keep Students’ Software Projects from Ending up on the Shelf?
PublicationIT specialists in the business environment work in teams according to the established methodology and using the established toolkit. From the university’s point of view, preparing IT students to work in such an environment is a challenging task, as it requires either cooperation with business or the simulation of similar conditions in the university environment. Participation of students in real projects can provide them with the...
-
Hybrid Obfuscation Technique to Protect Source Code From Prohibited Software Reverse Engineering
Publication -
A method of supporting client-provider cooperation in software acquisition processes and its evaluation criteria
PublicationArtykuł 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....