Wyszukiwarka
Filtry
wszystkich: 3974
-
Katalog
- Publikacje 2940 wyników po odfiltrowaniu
- Czasopisma 252 wyników po odfiltrowaniu
- Konferencje 116 wyników po odfiltrowaniu
- Wydawnictwa 1 wyników po odfiltrowaniu
- Osoby 88 wyników po odfiltrowaniu
- Projekty 11 wyników po odfiltrowaniu
- Zespoły Badawcze 1 wyników po odfiltrowaniu
- Aparatura Badawcza 1 wyników po odfiltrowaniu
- Kursy Online 73 wyników po odfiltrowaniu
- Wydarzenia 5 wyników po odfiltrowaniu
- Dane Badawcze 486 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: safety-critical software
-
Automated Software Engineering
Czasopisma -
IEE PROCEEDINGS-SOFTWARE
Czasopisma -
INFORMATION AND SOFTWARE TECHNOLOGY
Czasopisma -
Journal of Statistical Software
Czasopisma -
PROGRAMMING AND COMPUTER SOFTWARE
Czasopisma -
JOURNAL OF SYSTEMS AND SOFTWARE
Czasopisma -
OPTIMIZATION METHODS & SOFTWARE
Czasopisma -
Software and Systems Modeling
Czasopisma -
Exchange-Traded Funds on European Markets: Has Critical Mass been Reached? Implications for Financial Systems.
PublikacjaExchange-traded funds (ETFs) are one of the most rapidly expanding categories of financial products in Europe. One of the key yet still unanswered questions is whether European ETF markets have reached the size at which they could affect the financial systems. In our study, we examine 13 European countries during the period 2004–2017 in order to trace whether the share of ETFs in the total assets of investment funds has reached...
-
Implementacja odbiornika RAKE w technologii SDR (Software Defined Radio)
PublikacjaRóżnorodność standardów systemów radiokomunikacyjnych, w tym telefonii komórkowej i bezprzewodowej, przy dużej ruchliwości ich abonentów, powoduje, że niezbędne jest skonstruowanie wielosystemowego terminala ruchomego, mającego techniczne możliwości współpracy z systemami radiokomunikacyjnymi działającymi w różnych standardach. W ten sposób zrodziła się idea radia definiowanego programowego SDR (Software Define Radio), bazująca...
-
Safety assessment of a concrete viaduct damaged by vehicle impact and an evaluation of the repair
PublikacjaDamage to lower parts of viaducts caused by impact from under-passing high vehicles is relatively frequent. One such incident, in which a viaduct was damaged by the impact from a truck with an improperly assembled hydraulic crane, is considered in this work. The analysis is based on a detailed object damage evaluation, 3D laser scanning, and numerical simulations. The aim of the study is to accurately model the vehicle impact into...
-
Limitations of Integrative Passive Samplers as a Tool for the Quantification of Pharmaceuticals in the Environment – A Critical Review with the Latest Innovations
Publikacja -
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...
-
Determination of the dynamic critical maneuvering area in an encounter between two vessels: Operation with negligible environmental disruption
PublikacjaThis paper introduces the concept of Collision Avoidance Dynamic Critical Area (CADCA) for onboard Decision Support Systems (DSS). The indicator proposed is derived via identification of a minimum required maneuvering zone in an encounter between two vessels. The CADCA model accounts for ship maneuvering dynamics and associated hydrodynamic actions emerging from different rudder angles and forward speed effects. The method presented...
-
Testing of Software for the Planning of a Linear Object GNSS Measurement Campaign under Simulated Conditions
PublikacjaThe precision of a linear object measurement using satellite techniques is determined by the number and the relative position of the visible satellites by the receiver. The status of the visible constellation is described by DOP. The obtained geometric coefficient values are dependent on many variables. When determining these values, field obstacles at the receiver location and satellite positions changing with time must be taken...
-
Safety Assessment of the Regional Warmia and Mazury Road Network Using Time-Series Analysis
PublikacjaWarmia and Mazury still belongs to the areas with the smallest transport accessibility in Europe. Unsatisfactory state of road infrastructure is a major barrier to the development of the regional economy, impacting negatively on the life conditions of the population. Also in terms of road safety Warmia and Mazury is one of the most endangered regions in Poland. The Police statistics show that beside a high pedestrian risk observed...
-
Aleksander Jarzębowicz dr inż.
Osoby -
Preliminary Citation and Topic Analysis of International Conference on Agile Software Development Papers (2002-2018)
PublikacjaThis study utilizes citation analysis and automated topic analysis of papers published in International Conference on Agile Software Development (XP) from 2002 to 2018. We collected data from Scopus database, finding 789 XP papers. We performed topic and trend analysis with R/RStudio utilizing the text mining approach, and used MS Excel for the quantitative analysis of the data. The results show that the first five years of XP...
-
Uniform expansion estimates in the quadratic map with the smallest critical neighborhood for which the expansion exponent λ0 is positive
Dane BadawczeThis dataset contains selected results of numerical computations described in the paper "Quantitative hyperbolicity estimates in one-dimensional dynamics" by S. Day, H. Kokubu, S. Luzzatto, K. Mischaikow, H. Oka, P. Pilarczyk, published in Nonlinearity, Vol. 21, No. 9 (2008), 1967-1987, doi: 10.1088/0951-7715/21/9/002.
-
Uniform expansion estimates in the quadratic map with the smallest critical neighborhood for which the expansion exponent λ is positive
Dane BadawczeThis dataset contains selected results of numerical computations described in the paper "Quantitative hyperbolicity estimates in one-dimensional dynamics" by S. Day, H. Kokubu, S. Luzzatto, K. Mischaikow, H. Oka, P. Pilarczyk, published in Nonlinearity, Vol. 21, No. 9 (2008), 1967-1987, doi: 10.1088/0951-7715/21/9/002.
-
The files from COMREL software used in the numerical reliability assessment of the imperfect dome's displacements
Dane BadawczeThis dataset consists of an archive with the files from COMREL software used in the numerical reliability assessment of the imperfect dome's state of displacements.
-
Novel proposal for V2X systems and WBAN cooperation to improve road safety
PublikacjaIn this paper, a novel proposal of the automotive Vehicle-to-Everything system solution is presented. In this proposal, there are included the Machine to Machine type communication system and the sensor system based on a short-range the Wireless Body Area Network communication. The aim of this paper is the analysis of the model for communication, especially its architecture and signals structure for the proposed solution. The use...
-
Expert systems in assessing the construction process safety taking account of the risk of disturbances
PublikacjaThe objective of the paper is to present the issue of safety manage-ment during the construction process. Threats in the form of disturb-ances may occur in the preparatory phase, during the execution of the construction project and also during its operational use. The arti-cle presents the concept of applying the methodology based, among others, on Learning Bayesian Networks, Artificial Neural Networks and Support Vector Machine,...
-
Wojciech Wojnowski dr inż.
OsobyUkończył V Liceum Ogólnokształcące w Gdańsku w klasie o profilu matematyczno-fizycznym z wykładowym językiem angielskim. W 2009 roku rozpoczął studia na Wydziale Chemicznym PG na kierunku technologia chemiczna, uzyskując w 2012 roku tytuł inżyniera, a w 2013 tytuł magistra. W latach 2013–2015 studiował sinologię na Uniwersytecie w Nankinie dzięki uzyskaniu Stypendium Rządu ChRL. Po powrocie do Polski w 2015 roku rozpoczął studia...
-
Tomasz Zubowicz dr inż.
OsobyTomasz Zubowicz has received his M.Sc. Eng. degree in Control Engineering from the Faculty of Electrical and Control Engineering at the Gda{\'n}sk University of Technology (GUT) in $2008$. He received his Ph.D. Eng. (Hons.) in the field of Control Engineering from the same faculty in $2019$. In $2012$ he became a permanent staff member at the Department of Intelligent Control and Decision Support Systems at GUT and a member of...
-
IDENTIFICATION AND COMPARATIVE ANALYSIS OF FACTORS INFLUENCING ROAD SAFETY IN US REGIONS AND IN POLISH VOIVODESHIPS
PublikacjaAnalyses of road safety at national level have been run for many years and large number of publications concerning them appeared so far. How interdisciplinary the issue is, has been shown by literature studies done by the author of the paper. It appears that economists, mathematicians, doctors as well as engineers have studied the issue. It is not an easy one, as results of many analyses lead to conflicting conclusions and...
-
Communication and Documentation Practices in Agile Requirements Engineering: A Survey in Polish Software Industry
PublikacjaRequirements engineering, system analysis and other analytical activities form the basis of every IT project. Such activities are not clearly defined in Agile development methods, but it does not mean that they are absent in an agile project. The aim of our work was to determine which practices related to requirements-related communication and which requirements documenting techniques are used in agile software projects. For this...
-
Machine Learning Assisted Interactive Multi-objectives Optimization Framework: A Proposed Formulation and Method for Overtime Planning in Software Development Projects
PublikacjaMachine Learning Assisted Interactive Multi-objectives Optimization Framework: A Proposed Formulation and Method for Overtime Planning in Software Development Projects Hammed A. Mojeed & Rafal Szlapczynski Conference paper First Online: 14 September 2023 161 Accesses Part of the Lecture Notes in Computer Science book series (LNAI,volume 14125) Abstract Software development project requires proper planning to mitigate risk and...
-
Towards the assessment of potential impact of unmanned vessels on maritime transportation safety
Publikacja -
Electrical and Software Systems Engineering [WIMiO][2023/24]
Kursy Online -
Electrical and Software Systems Engineering [WIMiO][2022/23]
Kursy Online -
Using Statistical Methods to Estimate The Worst Case Response Time of Network Software Running on Indeterministic Hardware Platforms
PublikacjaIn this paper we investigate whether the statistical Worst Case Execution Time (WCET) estimation methods devised for embedded platforms can be successfully applied to find the Worst Case Response Time (WCRT) of a network application running on a complex hardware platform such as a contemporary commercial off-the-shelf (COTS) system. Establishing easy-to-use timing validation techniques is crucial for real-time applications and...
-
Towards mechanosynthesis of diamondoid structures: iv. The strategy for preliminary implementation of elenbogen's ''mater as software'' concept
PublikacjaOpublikowana wcześniej (Molecular Electronics and Molecular Electronic Devices, Vol. 1, Chap. 2, CRC Press, Inc. 1993, pp. 31-83) strategia budowy molekularnych urządzeń ulektronicznych w oparciu o polisilany jest rozszerzona w kierunku koncepcji Ellenbogena ''mater as software'' poprzez rozważenie użycia zamkniętej jednościennej nanorórki jako ostrza STM w celu umożliwienia manipulacji cząsteczkami sililenu.
-
Justyna Płotka-Wasylka dr hab. inż.
OsobyUrodziła się w Słupsku (24.03.1986).W 2005 roku ukończyła I Liceum Ogólnokształcące im. Jana II Sobieskiego w Wejherowie i rozpoczęła studia na Wydziale Chemicznym Politechniki Gdańskiej. Po ich ukończeniu w 2010 rozpoczęła pracę naukową na tej uczelni, uzyskując w 2014 roku stopień doktora nauk chemicznych. Tematem jej rozprawy doktorskiej, wykonywanej pod kierunkiem prof. Marka Biziuka oraz dr Caluma Morrisona (Uniwersytet w...
-
Maritime Communication and Sea Safety of the Future - Machnine-type 5G Communication Concept
PublikacjaThe article presents the concept of a system based on 5G network and M2M communication increasing maritime safety. Generally, the focus was on presenting a proposal for a hierarchical, hybrid, cooperative system with M2M communication coordinated with BAN networks. The possi-ble applications of M2M communication at sea were also presented.
-
Grzegorz Gołaszewski dr inż.
OsobyGrzegorz Gołaszewski, wykładowca na wydziale Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej, informatyk, specjalizujący się w Inżynierii Oprogramowania.Ukończył Wydział ETI PG w roku 2004 ze specjalnością Inżynieria Systemów i Bazy Danych. Pozostał związany z wydziałem po ukończeniu studiów. Uczestniczył w projektach badawczych PIPS oraz ANGEL. W 2017 roku uzyskał stopień doktora w dziedzinie nauk technicznych....
-
Assessment of the Speed Management Impact on Road Traffic Safety on the Sections of Motorways and Expressways Using Simulation Methods
PublikacjaMethods used to evaluate the impact of Intelligent Transport System (ITS) services on road safety are usually based on expert assessments or statistical studies. However, commonly used methods are challenging to apply in the planning process of ITS services. This paper presents the methodology of research using surrogate safety measures calculated and calibrated with the use of simulation techniques and a driving simulator. This...
-
A Systematic Literature Review on Implementing Non-functional Requirements in Agile Software Development: Issues and Facilitating Practices
PublikacjaAgile Software Development methods have become a widespread approach used by the software industry. Non-functional requirements (NFRs) are often reported to be a problematic issue for such methods. We aimed to identify (within the context of Agile projects): (1) the issues (challenges and problems) reported as affecting the implementation of NFRs; and (2) practices that facilitate the successful implementation of NFRs. We conducted...
-
Critical analysis of laboratory measurements and monitoring system of water-pipe network corrosion-case study.
PublikacjaCase study of corrosion failure of urban water supply system caused by environmental factors was presented. Nowadays corrosion monitoring of water distribution systems is an object of major concern. There is possibility of application broad range of techniques like gravimetric and electrochemical. Both kinds of techniques can be applied in laboratory and field conditions. In many cases researches limit the case analysis to measurements...
-
Critical section maintenance in a distributed agent system
Publikacja -
The State and Critical Assessment of the Sharing Economy in Europe
Publikacja -
Identifying Software Project Risks with the Process Model.
PublikacjaArtykuł prezentuje podejście do identyfikacji ryzyka w projektach informatycznych oparte na modelowaniu procesów. Podejście obejmuje jawne modelowanie procesów programowych oraz identyfikację ryzyka dwoma dedykowanymi technikami. Artykuł wprowadza meta-model dla wyrażenia ryzyka procesu. Następnie szczegółowo przedstawiono dwie systematyczne techniki identyfikacji ryzyka odwołujące się do modelu procesu i skupiające uwagę analityka...
-
A method of software project risk identyfication and analysis
Publikacja.
-
Knowledge management and fuzzy modelling in software engineering
PublikacjaPraca zawiera rozdział poświecony problematyce budowy systemów z bazami wiedzy dla wspomagania procesów zarządzania. W rozdziale tym przedstawiono metody budowy systemów dla potrzeb zarządzania koncentrując uwagę na systemach opartych na wiedzy. Następnie omówiono możliwości zastosowania teorii zbiorów rozmytych do modelowania wiedzy. Na zakończenie przedstawiono przykład wykorzystania zbiorów rozmytych i systemów opartych na wiedzy...
-
Elastic wave propagation software - visualization methods
PublikacjaW pracy omówiono program do analizy propagacji fal spręzystych w 2 wymiarowych elementach konstrukcyjnych bazujący na metodzie spektralnych elementów skończonych.
-
AGREE—Analytical GREEnness Metric Approach and Software
Publikacja -
Software for development and communication with FPGA based hardware
Publikacja -
Institutionalization of knowledge sharing in a software development organization
PublikacjaZaproponowano podejście modelowe do problemu wymiany wiedzy. Omówiono implementację modelu na przykładzie instytucji zajmującej się produkcja oprogramowania komputerowego.
-
Knowledge management embedded in software engineering processes
PublikacjaW pracy omówiono systemy i narzędzia wspomagające wykrywanie wiedzy ukrytej w procesach związanych z wytwarzaniem skomplikowanych systemów oprogramowania
-
Knowledge management embedded in software engineering processes
PublikacjaW pracy przedstawiono model systemu pozyskiwania wiedzy zawartej w procesach inżynierii oprogramowania.