Wyszukiwarka
Wyniki wyszukiwania dla: MODEL TESTING
-
Model-Based Testing of Embedded Systems in the Automotive Domain
PublikacjaPhD
-
A Human Behaviour Model Agent for Testing of Voluntary Computing Systems
PublikacjaPaper presents a design and performance of a voluntary-based distributed computing system testing agent, implementing a human behaviour model. The agent, nicknamed iRobot, was designed and implemented to enable controlled, large scale testing of core algorithms of Comcute - a new voluntary distributed computing platform complementary to BOINC. The main agent design goals were: emulation of human behaviour when browsing web pages,...
-
Peculiarities associated with testing polyetheretherketone (PEEK) in a model rolling contact
PublikacjaPolyetheretherketone (PEEK) was investigated using a modified version of the four-ball tester in which the upper forth ball was replaced by a cone in such a way that kinematics of the four-ball configuration were fully preserved. Rotation of the cone enforced orbiting and rolling of the ceramic balls around the polymer cup. The results produced some unexpected peculiarities in the wear of ceramic balls which, in principle, should...
-
Model-based testing for execution algorithms in the simulation of cyber-physical systems
PublikacjaThe understanding of simulation semantics of a hybrid system is a challenge for computational engineers as it requires expertise in computer science, engineering, numerical methods, and mathematics at once. The testing methods for the execution of a simulation are being researched but not yet applied on the industrial level. Consequently, the semantics of the simulation becomes a critical artifact in the system development process....
-
Testing the Effect of Bathymetric Data Reduction on the Shape of the Digital Bottom Model
PublikacjaDepth data and the digital bottom model created from it are very important in the inland and coastal water zones studies and research. The paper undertakes the subject of bathymetric data processing using reduction methods and examines the impact of data reduction according to the resulting representations of the bottom surface in the form of numerical bottom models. Data reduction is an approach that is meant to reduce the size...
-
A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains
PublikacjaThis chapter provides a taxonomy of Model-Based Testing (MBT) based on the approaches that are presented throughout this book as well as in the related literature. The techniques for testing are categorized using a number of dimensions to familiarize the reader with the terminology used throughout the chapters that follow. In this chapter, after a brief introduction, a general definition of MBT and related work on available MBT...
-
Impedance Spectra of RC Model as a Result of Testing Pulse Excitation Measurement Method Dataset
PublikacjaThe dataset titled Impedance spectra of RC model as a result of testing pulse excitation measurement method contains the impedance spectrum of an exemplary test RC model obtained using pulse excitation. The dataset allows presentation of the accuracy of the impedance spectroscopy measuring instrument, which uses the pulse excitation method to shorten the time of the whole spectrum acquisition.
-
Measurements and calculation of self inductance of testing coils used in physical transformer model construction and its frequency analysis
Publikacja -
Model-Driven Testing of Real-Time Embedded Systems - From Object Oriented towards Function Oriented Development
PublikacjaMBD
-
Impedance spectra of RC model as a result of testing pulse excitation measurement method
Dane BadawczeThe impedance spectrum of RC model object obtained using pulse excitation EIS impedance spectrosocpy measurement method. The 1V voltage pulse excitation duration was set to 0.1s and the total acqusition time was set to 1000s. The object under test was built using RC components connected as Baunier model of anticorrosion coating with the following components...
-
Testing impedance analyzer with potentiostat using RC model with Si diode at 200 mV
Dane BadawczeThe dataset presents impedance spectrum non-linear RC model with diode presented in the figure below. This model was used as a test engine of the impedance analyzer with potentiostat described in the referenced paper. When changing the DC polarisation of the model the non-linear phenomena could be observed. Thanks to this, the model can be used as a...
-
Testing impedance analyzer with potentiostat using RC model with Si diode at 0 V
Dane BadawczeThe dataset presents impedance spectrum non-linear RC model with diode presented in the figure below. This model was used as a test engine of the impedance analyzer with potentiostat described in the referenced paper. When changing the DC polarisation of the model the non-linear phenomena could be observed. Thanks to this, the model can be used as a...
-
Testing impedance analyzer with potentiostat using RC model with Si diode at 600 mV
Dane BadawczeThe dataset presents impedance spectrum non-linear RC model with diode presented in the figure below. This model was used as a test engine of the impedance analyzer with potentiostat described in the referenced paper. When changing the DC polarisation of the model the non-linear phenomena could be observed. Thanks to this, the model can be used as a...
-
Testing impedance analyzer with potentiostat using RC model with Si diode at 400 mV
Dane BadawczeThe dataset presents impedance spectrum non-linear RC model with diode presented in the figure below. This model was used as a test engine of the impedance analyzer with potentiostat described in the referenced paper. When changing the DC polarisation of the model the non-linear phenomena could be observed. Thanks to this, the model can be used as a...
-
Testing HIADAC high impedance analyzer in Trento University laboratory on Baunier's RC model using 2 wire probe
Dane BadawczeThe dataset presents impedance spectrum of Baunier's RC model. This object was used to test high-impedance analyzer for diagnostic of anticorossion coatings (HIADAC) realized in the frame of Eureka project E!3174. The impedance spectrum frequency range (1 mHz – 100 kHz) was selected in order to test the whole measureement range of the analyzer. In...
-
Testing HIADAC high impedance analyzer in Trento University laboratory on Baunier's RC model using 3 wire probe
Dane BadawczeThe dataset presents impedance spectrum of Baunier's RC model. This object was used to test high-impedance analyzer for diagnostic of anticorossion coatings (HIADAC) realized in the frame of Eureka project E!3174. The impedance spectrum frequency range (1 mHz – 100 kHz) was selected in order to test the whole measureement range of the analyzer. In...
-
Graph security testing
PublikacjaSet 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...
-
The novel sterilization device: the prototype testing
PublikacjaCurrently, 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,...
-
Numerical testing of numerical generation efficiency in a bubble layer
PublikacjaPraca omawia zagadnienie nieliniowej propagacji w warstwie z pęcherzykami. Przedstawiono model matematyczny zjawiska. Omówiono problem wyznaczania prędkości fazowej, współczynnika tłumienia i częstotliwości rezonansowej pęcherzyków. Analizowano zmiany amplitud pierwszej i drugiej harmonicznych ciśnienia fali odbitej i bieżącej w funkcji grubości warstwy, względnej koncentracji pęcherzyków o różnych promieniach oraz częstotliwości...
-
Nondestructive Testing of the Miter Gates Using Various Measurement Methods
PublikacjaWhen any problems related to civil engineering structures appear, identifying the issue through the usage of only one measuring method is difficult. Therefore, comprehensive tests are required to identify the main source. The strains and displacement measurements, as well as modal identification, are widely used in the nondestructive testing of structures. However, measurements are usually carried out at several points and confirm...
-
Acceptance Testing of Software Products for Cloud-Based On-Line Delivery
PublikacjaSoftware products intended for on-line delivery by distributors serving an open community of subscribers are developed in a specific life-cycle model, in which roles of the major stakeholders are strongly separated, unlike in any other software development model known in software engineering. Its specificity underlines the fact that a distributor of the final product, responsible for its acceptance for publication and delivery...
-
Testing of low temperature behaviour of asphalt mixtures in bending creep test
PublikacjaThe 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...
-
Testing OFDM Transmission Schemes for Shallow Water Acoustic Communications
PublikacjaLarge variability of communication properties of underwater acoustic channels, and especially strongly varying instantaneous conditions in shallow waters, is a tough challenge for the designers of underwater acoustics communication (UAC system. There is a need for developing adaptive signaling schemes that would dynamically optimize signal parameters in both physical and link layers of communication protocols. The orthogonal frequency...
-
Virtual Engineering Objects (VEO): Designing, Developing and Testing Models
PublikacjaIn this article, the development and implementation of the concept of Virtual Engineering Object (VEO) is described. A VEO is a computerized real world representation of an engineering object. VEO will act as a living representation of the object capable of adding, storing, improving and sharing knowledge through experience, in a way similar to an expert of that object. In this paper, it is shown through test models how the concept...
-
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...
-
Machine learning approach to packaging compatibility testing in the new product development process
PublikacjaThe paper compares the effectiveness of selected machine learning methods as modelling tools supporting the selection of a packaging type in new product development process. The main goal of the developed model is to reduce the risk of failure in compatibility tests which are preformed to ensure safety, durability, and efficacy of the finished product for the entire period of its shelf life and consumer use. This kind of testing...
-
Self-testing of fully differential multistage circuits using common-mode excitation
PublikacjaPrzedmiotem artykułu jest, zorientowane na uszkodzenia, testowanie wielostopniowych układów w pełni różnicowych. Zaproponowano metodę testowania z zastosowaniem pobudzenia układu testowanego sygnałem wspólnym. Rozważane są dwa warianty metody. Pierwszy wariant wykorzystuje do pobudzenia wejście każdego różnicowego stopnia. Drugi wariant wykorzystuje dodatkowe wejście wzmacniacza operacyjnego i testuje wielostopniowy układ bez jego...
-
Improving the procedure of probabilistic load testing design of typical bridges based on structural response similarities
PublikacjaThis paper concerns load testing of typical bridge structures performed prior to operation. In-situ tests of a two-span post-tensioned bridge loaded with three vehicles of 38-ton mass each formed the input of this study. On the basis of the results of these measurements, an advanced FEM model of the structure was developed for which the sensitivity analysis was performed for chosen uncertainty sources. Three uncorrelated random...
-
Numerical and experimental study on effect of boundary conditions during testing of stiffened plates subjected to compressive loads
PublikacjaThis study analyses the effect of boundary conditions during testing on the structural behaviour stiffened plates with different thicknesses subjected to compressive loads. The goal of the compressive tests is to analyse the ultimate strength of a stiffened plate. During the test, relevant physical quantities are measured and investigated. The supporting structure's behaviour is investigated by analysing the force-displacements...
-
Non-Destructive Testing of a Sport Tribune under Synchronized Crowd-Induced Excitation Using Vibration Analysis
PublikacjaThis paper presents the concept of repairing the stand of a motorbike speedway stadium. The synchronized dancing of fans cheering during a meeting brought the stand into excessive resonance. The main goal of this research was to propose a method for the structural tuning of stadium stands. Non-destructive testing by vibration methods was conducted on a selected stand segment, the structure of which recurred on the remaining stadium...
-
A method for testing the wide-sense stationary uncorrelated scattering assumption fulfillment for an underwater acoustic channel
PublikacjaWide-sense stationary and uncorrelated scattering (WSSUS) assumptions are often applied for the statistical description of wireless communication channels. However, in the case of underwater acoustic channels the WSSUS model is of limited value. The degree of similarity of in-phase and quadrature components of the channel impulse response, measured with the use of bandpass modulated signals, can be used as an indicator of WSSUS...
-
Bridge Non-Destructive Measurements Using a Laser Scanning during Acceptance Testing: Case Study
PublikacjaOwing 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...
-
Technical State Assessment of Charge Exchange System of Self-Ignition Engine, Based On the Exhaust Gas Composition Testing
PublikacjaThis paper presents possible use of results of exhaust gas composition testing of self - ignition engine for technical state assessment of its charge exchange system under assumption that there is strong correlation between considered structure parameters and output signals in the form of concentration of toxic compounds (ZT) as well as unambiguous character of their changes. Concentration of the analyzed ZT may be hence considered...
-
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...
-
Testing the Positioning Accuracy of GNSS Solutions during the Tramway Track Mobile Satellite Measurements in Diverse Urban Signal Reception Conditions
PublikacjaMobile Global Navigation Satellite System (GNSS) measurements carried out on the railway consist of using satellite navigation systems to determine the track geometry of a moving railway vehicle on a given route. Their purposes include diagnostics, stocktaking, and design work in railways. The greatest advantage of this method is the ability to perform measurements in a unified and coherent spatial reference system, which...
-
ENERGY ANALYSIS OF PROPULSION SHAFT FATIGUE PROCESS IN ROTATING MECHANICAL SYSTEM PART I TESTING SIGNIFICANCE OF INFLUENCE OF SHAFT MATERIAL FATIGUE EXCITATION PARAMETERS
PublikacjaThe article discusses the problem of mathematical modelling of energy conversion processes in a rotating mechanical system for the purpose of identifying fatigue states of propulsion shafts in this system. A simplified physical model of the analysed system, constructed in an appropriate scale, has made the basis for the experimental research. The research programme took into consideration mechanical fatigue excitation of the model...
-
CRVG - a new model for wireless networks topology generation
PublikacjaThis paper presents a new model of wireless network topology generator. Its main advantage is the possibility of relatively sparse networks generation. Because no iteration is needed, the model can be used for massive generation of networks for testing. The topological properties of produced graphs place them in the class of scale free networks, resembling real ones.
-
Mechanical testing of technical woven fabrics
PublikacjaThis 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...
-
Outboard valve material testing
PublikacjaWykonano analizę przyczyn uszkodzenia korozyjnego zaworu zaburtowego. Sformułowano wnioski.
-
Algorithms for testing security in graphs
PublikacjaIn 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...
-
It applications for the remote testing of hearing.
PublikacjaTelemedycyna 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
Publikacja -
Testing aggressive TCP configurations
PublikacjaNa 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...
-
Conformance testing of parallel languages
PublikacjaPrzedstawiono 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.
-
Combined environmental testing device for picosatellites
PublikacjaAs 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,...
-
Comparative testing of numerical models of river ice jams
PublikacjaIce processes in general, and ice jams in particular, play a dominant role in the hydrologic regime of Canadian rivers, often causing extreme floods and affecting the life cycle of many aquatic, terrestrial, and avian species. Various numerical models have been developed to help simulate the formation and consequences of these very dynamic and often destructive jam events. To test and compare the performance of existing models,...
-
Non-destructive Testing of Wooden Elements
PublikacjaExamining 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...
-
Risk Analysis by a Probabilistic Model of the Measurement Process
PublikacjaThe aim of the article is presentation of the testing methodology and results of examination the probabilistic model of the measurement process. The case study concerns the determination of the risk of an incorrect decision in the assessment of the compliance of products by measurement. Measurand is characterized by the generalized Rayleigh distribution. The model of the meas-urement process was tested in parallel mode by six risk...
-
Special Issue: “Non-Destructive Testing of Structures”
PublikacjaThe 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...
-
Diagnostics of zno varistors by means of nondestructive testing
PublikacjaStandard 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....