Search
Filters
total: 15590
-
Catalog
- Publications 13971 available results
- Journals 72 available results
- Conferences 32 available results
- People 190 available results
- Inventions 1 available results
- Projects 15 available results
- Research Equipment 8 available results
- e-Learning Courses 167 available results
- Events 10 available results
- Open Research Data 1124 available results
displaying 1000 best results Help
Search results for: MODEL-BASED TESTING
-
Laxer Clinical Criteria for Gaming Disorder May Hinder Future Efforts to Devise an Efficient Diagnostic Approach: A Tree-Based Model Study
PublicationInternet Gaming Disorder (IGD) has been recognized in May 2013 and can be evaluated using the criteria developed by American Psychiatric Association (APA). The present study investigated the role each IGD criteria plays in diagnosing disordered gaming. A total of 3,377 participants (mean age 20 years, SD = 4.3 years) participated in the study. The data collected was scrutinized to detect patterns...
-
Accurate Modeling of Frequency Selective Surfaces Using Fully-Connected Regression Model with Automated Architecture Determination and Parameter Selection Based on Bayesian Optimization
PublicationSurrogate modeling has become an important tool in the design of high-frequency structures. Although full-wave electromagnetic (EM) simulation tools provide an accurate account for the circuit characteristics and performance, they entail considerable computational expenditures. Replacing EM analysis by fast surrogates provides a way to accelerate the design procedures. Unfortunately, modeling of microwave passives is a challenging...
-
HYGRO-MAGNETIC VIBRATION OF THE SINGLE-WALLED CARBON NANOTUBE WITH NONLINEAR TEMPERATURE DISTRIBUTION BASED ON A MODIFIED BEAM THEORY AND NONLOCAL STRAIN GRADIENT MODEL
PublicationIn this study, vibration analysis of single-walled carbon nanotube (SWCNT) has been carried out by using a refined beam theory, namely one variable shear deformation beam theory. This approach has one variable lesser than a contractual shear deformation theory such as first-order shear deformation theory (FSDT) and acts like classical beam approach but with considering shear deformations. The SWCNT has been placed in an axial or...
-
A constitutive model for concrete based on continuum theory with non-local softening coupled with eXtended Finite Element Method. Computational Modelling of Concrete Structures,
PublicationArtykuł omawia model połączony ciągły-nieciągły do modelowania stref lokalizacji i rys w betonie niezbrojonym. Obliczenia wykonano stosując rozszerzoną metodę elementów skończonych. Wyniki numeryczne porównano z doświadczeniami.
-
Density functional theory-based simulations of sum frequency generation spectra involving methyl stretching vibrations: effect of the molecular model on the deduced molecular orientation and comparison with an analytical approach
PublicationThe knowledge of the first hyperpolarizability tensor elements of molecular groups is crucial for a quantitative interpretation of the sum frequency generation (SFG) activity of thin organic films at interfaces. Here, the SFG response of the terminal methyl group of a dodecanethiol (DDT) monolayer has been interpreted on the basis of calculations performed at the density functional theory (DFT) level of approximation. In particular,...
-
Pro-Cognitive Properties of the Immunomodulatory Polypeptide Complex, Yolkin, from Chicken Egg Yolk and Colostrum-Derived Substances: Analyses Based on Animal Model of Age-Related Cognitive Deficits
Publication -
Erratum to: Pro-Cognitive Properties of the Immunomodulatory Polypeptide Complex, Yolkin, from Chicken Egg Yolk and Colostrum-Derived Substances: Analyses Based on Animal Model of Age-Related Cognitive Deficits
Publication -
Wyznaczenie optymalnego sposobu eksploatacji ujęć za pomocą modelu numerycznego na przykładzie rejonu Słupska = Determination of the optimal way of the exploitation based on the numerical model - case study Słupsk region
PublicationRejon Słupska należy do obszarów o korzystnych lecz skomplikowanych warunkach hydrogeologicznych. W neogeńskim poziomie wodonośnym wyróżnia się dwie warstwy wodonośne, przy czym obie narażone są na możliwość zasolenia w wyniku ascenzji wód piętra kredowego. Ze względu na planowane zaopatrzenie w wodę miasta Słupska wyłącznie w oparciu o ujęcia Westerplatte i Głobino, badaniami objęto przybliżony obszar zasilania i oddziaływania...
-
Experience with instantiating an automated testing process in the context of incremental and evolutionary software development
PublicationThe 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...
-
Testing OFDM Transmission Schemes for Shallow Water Acoustic Communications
PublicationLarge 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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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,...
-
FATIGUE TESTING MACHINES AND APPARATUS
Publication -
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...
-
Outboard valve material testing
PublicationWykonano analizę przyczyn uszkodzenia korozyjnego zaworu zaburtowego. Sformułowano wnioski.
-
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.
-
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...
-
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...
-
Computer modeling and testing of structural metamaterials
Publication -
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.
-
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.
-
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.
-
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...
-
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...