Search
Filters
total: 14755
-
Catalog
- Publications 13230 available results
- Journals 72 available results
- Conferences 32 available results
- People 171 available results
- Inventions 1 available results
- Projects 13 available results
- Research Equipment 8 available results
- e-Learning Courses 139 available results
- Events 10 available results
- Open Research Data 1079 available results
displaying 1000 best results Help
Search results for: model-based testing
-
Bridge Non-Destructive Measurements Using a Laser Scanning during Acceptance Testing: Case Study
PublicationOwing to the recent proliferation of inventory works on roads and railways, bridge acceptance tests have increased exponentially. These tests’ results are often misinterpreted owing to the use of various measuring equipment types, rendering integrated interpretation problematic. It is also problematic that adjusting the measurement method is difficult when the structure’s response to load is uncertain. Therefore, it is important...
-
Alternative Modeling of Volunteer Based Systems
PublicationThe canonical approach to model a flow of a voluntary based computing, as presented in Chapter 7 may tax the capacity of the simulator, especially when a more complex model of Voluntary Computing, proposed in [1], is used which would imply that, for typical heterogeneous groups of volunteers, several thousands of threads would have to be run inside the simulator, to mimic closely the behaviour of every volunteer. This chapter presents...
-
Graph security testing
PublicationSet S ⊂ V is called secure set iff ∀ X ⊂ S | N [ X ] ∩ S | ≥ | N ( X ) \ S | [3]. That means that every subset of a secure set has at least as many friends (neighbour vertices in S) as enemies (neighbour vertices outside S) and will be defended in case of attack. Problem of determining if given set is secure is co −NP -complete, there is no efficient algorithm solving it [3]. Property testers are algorithms that distinguish inputs...
-
Wojciech Wojnowski dr inż.
PeopleUkoń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...
-
Autonomous Driver Based on an Intelligent System of Decision-Making
PublicationThe paper presents and discusses a system (xDriver) which uses an Intelligent System of Decision-making (ISD) for the task of car driving. The principal subject is the implementation, simulation and testing of the ISD system described earlier in our publications for the task of autonomous driving. The design of the whole ISD system is a result of a thorough modelling of human psychology based on an extensive literature study. Concepts...
-
Derivation of Executable Test Models From Embedded System Models using Model Driven Architecture Artefacts - Automotive Domain
PublicationThe approach towards system engineering compliant to Model-Driven Architecture (MDA) implies an increased need for research on the automation of the model-based test generation. This applies especially to embedded real-time system development where safety critical requirements must be met by a system. The following paper presents a methodology to derive basic Simulink test models from Simulink system models so as to execute them...
-
An Attempt to Create Speech Synthesis Model That Retains Lombard Effect Characteristics
PublicationThe speech with the Lombard effect has been extensively studied in the context of speech recognition or speech enhancement. However, few studies have investigated the Lombard effect in the context of speech synthesis. The aim of this paper is to create a mathematical model that allows for retaining the Lombard effect. These models could be used as a basis of a formant speech synthesizer. The proposed models are based on dividing...
-
Comparison of the Ability of Neural Network Model and Humans to Detect a Cloned Voice
PublicationThe vulnerability of the speaker identity verification system to attacks using voice cloning was examined. The research project assumed creating a model for verifying the speaker’s identity based on voice biometrics and then testing its resistance to potential attacks using voice cloning. The Deep Speaker Neural Speaker Embedding System was trained, and the Real-Time Voice Cloning system was employed based on the SV2TTS, Tacotron,...
-
Non-destructive Testing of Wooden Elements
PublicationExamining the condition of wooden elements is crucial from the perspective of proper structure performance. If the deterioration in the internal wood condition, which displays no symptoms visible from the outside, is detected, the further spread of the deterioration can be prevented. Test results often point to the necessity of conducting repairs and, renovations, replacing the structure of wooden beams, or even substituting a...
-
Mechanical testing of technical woven fabrics
PublicationThis article presents a review of technical fabrics testing methods used by the authors on the basis of their experience with research on properties of polytetrefluoroethylene-coated fabrics used for Forest Opera in Sopot (Poland). First, the different types of testing methods used for description of mechanical properties (uniaxial tensile tests, biaxial tensile tests and shear tests) of technical woven fabrics are described. The...
-
A novel heterogeneous model of concrete for numerical modelling of ground penetrating radar
PublicationThe ground penetrating radar (GPR) method has increasingly been applied in the non-destructive testing of reinforced concrete structures. The most common approach to the modelling of radar waves is to consider concrete as a homogeneous material. This paper proposes a novel, heterogeneous, numerical model of concrete for exhaustive interpretation of GPR data. An algorithm for determining the substitute values of the material constants...
-
Combined environmental testing device for picosatellites
PublicationAs access to space conditions becomes more available, both technically and economically, scientists’ interest in launching finer and more sophisticated experiments grows. To be qualified for launch, such experiments need to be carefully tested prior to the event. The tests should represent actual launch conditions as closely and in a detailed manner. Typical tests for payload include: vibration tests, thermal and vacuum tests,...
-
Refinement of the Hardening Soil model within the small strain range
PublicationThe popularity of the elasto-plastic Hardening Soil (HS) model is based on simple parameter identification from standard testing and empirical formulas. The HS model is implemented in many commercial FE codes designed to analyse geotechnical problems. In its basic version, the stress–strain behaviour within the elastic range is subject to the hypoelastic power law, which assures the barotropy of the elastic stiffness. However,...
-
Special Issue: “Non-Destructive Testing of Structures”
PublicationThe Special Issue “Non-Destructive Testing of Structures” has been proposed to present recent developments in the field of diagnostics of structural materials and components in civil and mechanical engineering. The papers highlighted in this editorial concern various aspects of non-invasive diagnostics, including such topics as condition assessments of civil and mechanical structures and connections of structural elements, the...
-
Influence of the presence of rhamnolipids and ionic cross-linking conditions on the mechanical properties of alginate hydrogels.
Open Research DataThe dataset contains the results of determination the effect of rhamnolipids concentration, calcium chloride concentration and ionic cross-linking time on the mechanical properties of alginate hydrogels prepared by immersing the alginate mixture limited by the dialysis membrane in an appropriate cross-linking solution containing calcium ions. The mechanical...
-
Algorithms for testing security in graphs
PublicationIn this paper we propose new algorithmic methods giving with the high probability the correct answer to the decision problem of security in graphs. For a given graph G and a subset S of a vertex set of G we have to decide whether S is secure, i.e. every subset X of S fulfils the condition: |N[X] \cap S| >= |N[X] \ S|, where N[X] is a closed neighbourhood of X in graph G. We constructed a polynomial time property pseudotester based...
-
Diagnostics of zno varistors by means of nondestructive testing
PublicationStandard industrial testing of high-voltage varistors for surge arresters demands application of high voltages and intensive currents. Nondestructive methods for varistor quality and endurance evaluation have been proposed and described. They rely on the application of resonant ultrasound spectroscopy, electro-ultrasonic spectroscopy, noise measurement and nonlinearity testing at voltages lower than continuous operating range....
-
Assessing the attractiveness of human face based on machine learning
PublicationThe attractiveness of the face plays an important role in everyday life, especially in the modern world where social media and the Internet surround us. In this study, an attempt to assess the attractiveness of a face by machine learning is shown. Attractiveness is determined by three deep models whose sum of predictions is the final score. Two annotated datasets available in the literature are employed for training and testing...
-
Usability Testing of Mobile Applications: A Methodological Framework
PublicationLess than five percent of all mobile applications have become successful throughout 2023. The success of a new mobile application depends on a variety of factors ranging from business understanding, customer value, and perceived quality of use. In this sense, the topic of usability testing of mobile applications is relevant from the point of view of user satisfaction and acceptance. However, the current knowledge seems to be fragmented,...
-
It applications for the remote testing of hearing.
PublicationTelemedycyna odgrywa coraz wiekszą rolę w diagnostyce i leczeniu osób z ubytkami słuchu. Jest to związane m.in. ze specyfiką badań audiometrycznych. Postęp technologiczny w dziedzinie aparatów słuchowych i implantów ślimakowych wymusza nowe metody diagnozy w audiologii, jak również w praktyce otolaryngologicznej. Serwis ''Telezdrowie'', w którym zaimplementowano liczne testy przesiewowe jest przykładem prowadzenia diagnostyki w...
-
FATIGUE TESTING MACHINES AND APPARATUS
Publication -
Conformance testing of parallel languages
PublicationPrzedstawiono propozycję formalizacji opisu procesu generacji, wykonania ioceny testów zgodności dla języków i bibliotek programowania równoległego, wzakresie zgodności funkcjonalnej i wydajnościowej. Przykłady ilustrujące proponowany formalizm wykorzystują platformę programowania Athapascan.
-
Outboard valve material testing
PublicationWykonano analizę przyczyn uszkodzenia korozyjnego zaworu zaburtowego. Sformułowano wnioski.
-
Testing aggressive TCP configurations
PublicationNa podstawie badań symulacyjnych i analizy potwierdzono strukturalne podobieństwo gier wywiązujących się przy autonomicznym ustawianiu parametrów sterowania przeciążeniem w protokole TCP do wieloosobowego Dylematu Więźnia. Przeprowadzono badania przepływności połączeń sieciowych w obecności wielu wąskich gardeł dla kilku topologii sieciowych. W wyniku badań wskazano scenariusze ruchowe szczególnie podatne na agresywne zachowania...
-
Testing for conformance of parallel programming pattern languages
PublicationThis paper reports on the project being run by TUG and IMAG, aimed at reducing the volume of tests required to exercise parallel programming language compilers and libraries. The idea is to use the ISO STEP standard scheme for conformance testing of software products. A detailed example illustrating the ongoing work is presented.
-
Study on population dynamics for triple-linked food chain using a simulation-based approach
PublicationThe procedures based on simulation have become a feasible testing method that does not require investing valuable resources to create a concrete prototype, especially with the increasing computational power of computers. Thus, design changes can be adopted and design errors can be fixed before it is too late. Simulation turns to be a cheap, safe and often more acceptable from an ethical perspective. In our work we summarize the...
-
Testing of Technical Fabrics under Fast Camera Control
PublicationThe dynamic development of measurement and recording techniques has been changing the way one conceives material strength. In this study, two different methods of evaluating the strength of fabrics are compared. The first is the typical and commonly used technique based on the use of a testing machine. The second method uses the so-called “fast camera” to monitor the entire process of the destruction of a fabric sample and analyse...
-
Agent-based social network as a simulation of a market behaviour
PublicationRecent years and the outbreak of world's economic crisis in 2008 proved the crucial importance of reliable analysis of market dynamics. However, werarely apply models of proper detail level (the global prosperity forecast of 2007 can be seen as a grim proof). The behaviour of individuals and companies is far from being ideal and rational. Many claims that the economic paradigm of rational expectations (coming from J. Muth and R....
-
Load testing of a suspended footbridge in Radom (Poland)
PublicationThe footbridge in Radom is a suspended bridge of an interesting architectural form. The structure was de-signed for 4 kN/m2 of crowd loading. Dynamic calculations were not included in the design. The structure’s acceptance tests took place on the 14th of October 2016. The behaviour of the footbridge in static testing met the expectations. Unfortunately, as a result of dynamic tests, dangerous behaviour of the footbridge was revealed....
-
Recent breakthroughs in the stability testing of pharmaceutical compounds
PublicationPharmaceutical development is mostly focused on the research leading to approval of a new and viable active substance. However, there is a number of old generation compounds that are still being used in contemporary medicinal practice. So that new analytical developments should cover not only the safety of newly developed drug substances, which is obvious, but should also be directed into the search of individual stability issues...
-
The novel sterilization device: the prototype testing
PublicationCurrently, there are numerous methods that can be used to neutralize pathogens (i.e., devices, tools, or protective clothing), but the sterilizing agent must be selected so that it does not damage or change the properties of the material to which it is applied. Dry sterilization with hydrogen peroxide gas (VHP) in combination with UV-C radiation is well described and effective method of sterilization. This paper presents the design,...
-
Fast Real-Time RDFT- and GDFT-Based Direct Fault Diagnosis of Induction Motor Drive
PublicationThis paper presents the theoretical analysis and experimental verification of a direct fault harmonic identification approach in a converter-fed electric drive for automated diagnosis purposes. On the basis of the analytical model of the proposed real-time direct fault diagnosis, the fault-related harmonic component is calculated using recursive DFT (RDFT) and Goertzel DFT (GDFT), applied instead of the full spectrum calculations...
-
Toward a unified model of mobile Business Intelligence (m-BI) acceptance and use
PublicationFactors affecting mobile business intelligence (m-BI) acceptance and use have become an increasingly important topic in practice due to the growing complexity of organizations, and their underlying information systems (IS). Since, one can notice considerable interest in m-BI, however, to the best of our knowledge few studies (if any) aim to synthesize the existing body of knowledge with regards to the factors affecting m-BI acceptance...
-
Vibration testing in buildings and safety of their operation
PublicationThe paper presents the issue of vibrations in residential buildings located near roads. It describes the measurement methodology and criteria for assessing the impact of vibrations generated by passing trucks. The article specifies a method to establish the impact on the operation of the examined facilities and it promotes the idea of employing a Bayesian network to determine probabilistically the level of risk to single-family...
-
Testing of the Superconducting Magnets Frequency Characteristics
PublicationPrzedstawiono zagadnienia związane z opracowaniem systemu do wyznaczania impedancji uzwojeń magnesów nadprzewodzących w funkcji częstotliwości. Omówiono strukturę sprzętową systemu, oprogramowanie oraz sposób wyznaczania parametrów badanego uzwojenia. Pokazano przykładowe wyniki uzyskane przy użyciu omawianego systemu w GSI w Darmstadt.
-
Computer modeling and testing of structural metamaterials
Publication -
Testing and tuning PLC application programs
PublicationWe wstępie zawarto kilka uwag autora dotyczących pilnej potrzeby wdrażania na Wydziale Mechanicznym idei mechatronicznego kształcenia. Przedstawiono przegląd sposobów monitorowania i testowania programów aplikacyjnych PLC podczas budowania lub modernizacji systemów sterowania. Przedyskutowano zakres zastosowań oraz ograniczenia poszczególnych sposobów. Opisano przykład zastosowania zbudowanego stanowiska do eksperymentalnych testów...
-
A new approach to visual system testing
PublicationOpisano budowę laboratoryjnego stanowiska prac bawczych nad perymetrią obiektywną. Przedstawiono zasadę działania algorytmu VEPDA oraz wyniki działania VEPDA na danych eksperymentalnych.
-
Testing the usability of decisional DNA in robotics
PublicationW pracy poddano dyskusji i nalizie obszary mozliwych zastowac reprezentacji wiedzy zwanej Decisional DNA w zagadnieniach zwiazanych z robotyka.
-
Application of infrared thermoography to non-contact testing of varistors
PublicationTesting of varistors using thermography was carried out in order to assess their protective properties against possible overvoltage phenomena in the form of high-level voltage surges. An advantage of the thermography technique is non-contact temperature measurement. It was proposed to assess the properties of varistors workingin electronic devices as protective elements, on the basis of estimating temperature increments on varist...
-
Dynamics Conscious Approach to Tribometer Design and Tribo-testing
PublicationIn the paper findings are discussed on the issue of dynamic characteristics of a tribometer as a factor influencing the result of the tribological experiment. An advanced approach to tribo-testing is attempted with integrated dynamic analysis of the tribometer and the sliding pair. The fundamental idea is explored of the tribometer being regarded as any machine in which friction is inflicted with all the resulting consequences...
-
Selected Problems of Experimental Testing Marine Stern Tube Bearings
PublicationThis paper presents typical methods for conducting experimental tests on main shaft slide bearings. There are described their possible testing capabilities, advantages, drawbacks and limitations. Various testing methods were analyzed to find a solution able of providing a wide range of possible investigations at possibly acceptable limitations.
-
Test Design Patterns for Embedded Systems,
PublicationTest suites for embedded systems are typically created from scratch using dif- ferent, often inadequate methods. In consequence, industry branches dealing with software-intensive embedded systems have to cope with quality problems, even though test processes are particularly time-consuming and costly. Based on an evolving model-based testing methodology we introduce test design patterns for simplifying and accelerating...
-
Optimising approach to designing kernel PCA model for diagnosis purposes with and without a priori known data reflecting faulty states
PublicationFault detection plays an important role in advanced control of complex dynamic systems since precise information about system condition enables efficient control. Data driven methods of fault detection give the chance to monitor the plant state purely based on gathered measurements. However, they especially nonlinear, still suffer from a lack of efficient and effective learning methods. In this paper we propose the two stages learning...
-
Evaluating the risk of endometriosis based on patients’ self-assessment questionnaires
PublicationBackground Endometriosis is a condition that significantly affects the quality of life of about 10 % of reproductive-aged women. It is characterized by the presence of tissue similar to the uterine lining (endometrium) outside the uterus, which can lead lead scarring, adhesions, pain, and fertility issues. While numerous factors associated with endometriosis are documented, a wide range of symptoms may still be undiscovered. Methods In...
-
Methodology of Conformity Testing of VoIP Connections Scenarios for SIP Protocol
PublicationConformity and conformity testing have always had a crucial role in telecommunications. These issues are especially important in VoIP technology with SIP protocol as there are many hardware, software and service implementations. In this paper a methodology of automatic conformity testing of VoIP connections scenarios applying to any IP network is proposed. Example implementation of the methodology as Linux shell scripts is presented....
-
On Software Unit Testing For Security and Performance Gain At Unit Level
PublicationPerformance and security are software (SW) application attributes situated on the opposite corners of system design. In the most drastic example the most secure component is the one totally isolated from the outside world, with communication performance reduced to zero level (e.g. disconnected physically from the network, placed inside a Faraday cage to eliminate possible wireless accessibility). On the other hand the most performance-optimized...
-
On Software Unit Testing For Improving Security And Performance Of Distributed Applications
PublicationPerformance and security are software (SW) application attributes situated on the opposite corners of system design. In the most drastic example the most secure component is the one totally isolated from the outside world, with communication performance reduced to zero level (e.g. disconnected physically from the network, placed inside a Faraday cage to eliminate possible wireless accessibility). On the other hand the most performance-optimized...
-
Testing of low temperature behaviour of asphalt mixtures in bending creep test
PublicationThe paper presents a method of bending beam test and its importance for evaluation of asphalt mixtures behaviour at low temperatures. Two types of asphalt mixtures: asphalt concrete AC with normal paving grade bitumen and stone mastic asphalt SMA with SBS-modified bitumen were tested. Long-term oven ageing (LTOA) test was also used in the laboratory according to SHRP procedure. The Burgers model was applied and rheological parameters...
-
Ultrasonic Tomography of Brick Columns Based on FEM Calculations
PublicationUltrasonic tomography is one of the most developed method of non-destructive testing. Despite being used mainly in medicine, it is becoming more and more popular as a method for monitoring of structural elements. It allows to examine the internal structure and technical condition of the tested element. This paper investigates the influence of crosssectional geometry on an obtained tomographic image. Wave propagation signals were...