Filtry
wszystkich: 5357
-
Katalog
- Publikacje 1797 wyników po odfiltrowaniu
- Czasopisma 93 wyników po odfiltrowaniu
- Konferencje 1 wyników po odfiltrowaniu
- Wydawnictwa 4 wyników po odfiltrowaniu
- Osoby 196 wyników po odfiltrowaniu
- Projekty 34 wyników po odfiltrowaniu
- Kursy Online 121 wyników po odfiltrowaniu
- Wydarzenia 25 wyników po odfiltrowaniu
- Dane Badawcze 3086 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: render
-
Imminent threats analysis and security level evaluation in social networks
PublikacjaRozprawa doktorska poświęcona jest analizie nadciągających zagrożeń w sieciach społecznych. Dotyczy to takich zjawisk jak spam, phishing, kradzież tożsamości czy ataki na systemy reputacji w serwisach aukcji internetowych. W pracy zaproponowano metodę pozwalającą na wczesne wykrycie zagrożeń w sieciach społecznych w oparciu o zdefiniowane modele zachowań aktorów sieci. Modele zachowań tworzone są za pomocą podgrafów wzorcowych...
-
Nicole Nawrot dr inż.
OsobyDr inż. Nicole Nawrot jest zatrudniona w Katedrze Inżynierii Sanitarnej od 2016 roku. W 2021 uzyskała tytuł naukowy doktora z wyróżnieniem w dziedzinie nauk inżynieryjno-technicznych w dyscyplinie inżynieria środowiska, górnictwo i energetyka. Pracę doktorską pt. „Heavy metals in urban retention tanks bottom sediments: distribution, source tracking, and evaluation of phytostabilisation adaptability and performance of P. australis...
-
Tożsamość przedsiębiorcza a stereotypy płci w firmach rodzinnych
PublikacjaThis article analyses various aspects of women’s experiences in overcoming gender stereotypes that they encounter in family businesses. Historically, entrepreneurship was regarded as a male domain in the literature and entrepreneurs have traditionally been described with typical and stereotypical masculine features. When woman engages in economic activities, she must face the potential incoherence...
-
QUICK IGA QUICK: Innovative SMEs by Gender and Age - QUICK IGA
ProjektyProjekt realizowany w Wydział Zarządzania i Ekonomii z dnia 2011-12-08
-
Derivation of Executable Test Models From Embedded System Models using Model Driven Architecture Artefacts - Automotive Domain
PublikacjaThe 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...
-
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...
-
The Towers of Hanoi as a Cyber-Physical System Education Case Study
Publikacjacps
-
Model-Based Testing of Embedded Systems in the Automotive Domain
PublikacjaPhD
-
Three-dimensional conceptual model for service-oriented simulation
Publikacjan this letter, we propose a novel three-dimensional conceptual model for an emerging service-oriented simulation paradigm. The model can be used as a guideline or an analytic means to find the potential and possible future directions of the current simulation frameworks. In particular, the model inspects the crossover between the disciplines of modeling and simulation, service-orientation, and software/systems engineering. Finally,...
-
From Functional Requirements through Test Evaluation Design to Automatic Test Data Retrieval – a Concept for Testing of Software Dedicated for Hybrid Embedded Systems
PublikacjaFrom Functional Requirements through Test Evaluation Design to Automatic Test Data Retrieval – a Concept for Testing of Software Dedicated for Hybrid Embedded Systems
-
Werkzeugübergreifende Konsistenzsicherung von Artefakten bei der Entwicklung softwarebasierter Systeme im Automobil
PublikacjaDie Entwicklung von eingebetteten Systemen im Auto mobilbereich zeichnet sich zunehmend durch steigende Komplexität der zu entwickelnden Fahrzeugfunktionen aus. Die Handhabung dieser Kompl exität wird über entsprechend mächtige Werkzeuge, welche die verschi edenen Aktivitäten des Softwareentwicklungsprozesses unterstützen, angestr ebt. Als eine Schwachstelle erweist sich dabei, dass die eingesetzten Werkzeugk etten im Automobilbereich...
-
Automotive Validation Functions for On-line Test Evaluation of Hybrid Real-time Systems
PublikacjaThe aim of this paper is to present the means of black-box on-line test evaluation for hybrid real-time systems. The described procedures can be used for the model-based testing process so as to improve its effectiveness. In particular, intelligent automotive validation functions are considered, which are divided into different types depending on the nature of the evaluated issue. All provided definitions are specified on the meta-model...
-
Quality of Test Specification by Application of Patterns
PublikacjaEmbedded system and software testing requires sophisticated methods, which are nowadays frequently supported by application of test patterns. This eases the test development process and contributes to the reusability and maintainability of the test specification. However, it does not guarantee the proper level of quality and test coverage in d ifferent dimensions of the test specification. In this paper the quality of the test...
-
Technical Engine for Democratization of Modeling, Simulations, and Predictions
PublikacjaComputational science and engineering play a critical role in advancing both research and daily-life challenges across almost every discipline. As a society, we apply search engines, social media, and se- lected aspects of engineering to improve personal and professional growth. Recently, leveraging such aspects as behavioral model analysis, simulation, big data extraction, and human computation is gain- ing momentum. The nexus...
-
Test Execution Logging and Visualization Techniques
PublikacjaTraditionally, log traces of test cases ex ecution are stored in textual format and their analysis is done in a post- execution phase. Our approach bases on the concept of gr aphical presentation of te st execution which enables better analysis of log traces and also gives the opportunity to consider them on-line. In particular, we discuss the graphical symbols we chose, we pres ent the logging interface we defined a nd describe...
-
Grand Challenges on the Theory of Modeling and Simulation
PublikacjaModeling & Simulation (M&S) is used in many different fields and has made many significant contributions. As a field in its own right, there have been many advances in methodologies and technologies. In 2002 a workshop was held in Dagstuhl, Germany, to reflect on the grand challenges facing M&S. Ten years on, a series of M& S Grand Challenge activities are marking a decade of progress and are providing an opportunity to reflect...
-
Test Design Patterns for Embedded Systems,
PublikacjaTest 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...
-
Systematic Test Data Generation for Embedded Software
PublikacjaSystematic Test Data Generation for Embedded Software
-
A Hyperdense Semantic Domain for Discontinuous Behavior in Physical System Models
PublikacjaMultiple time models have been proposed for the formalization of hybrid dynamic system behavior. The superdense notion of time is a well-known time model for describing event-based systems where several events can occur simultaneously. Hyperreals provide a domain for defining the semantics of hybrid models that is elegantly aligned with first principles in physics. This paper discusses the value of both time models and shows how...
-
Systematic Management of Simulation State for Multi-Branch Simulations in Simulink
PublikacjaSystematic simulation is a technique related and motivated by the formal analysis of hybrid dynamic systems. It combines the exhaustive and conservative nature of traditional model checking with numerical simulation for providing efficient algorithms to manage simulations. Multi-branch simulation is the concept advancing simulation efficiency by reducing the number of state transitions. This paper introduces an approach to implement...
-
From U2TP Models to Executable Tests with TTCN-3
PublikacjaThe approach towards system engineering according to Model-Driven Architectures (MDA) with code generation derived from model implies also an increased need for research on automation of the test generation process. This paper presents an approach to derive executable tests from UML 2.0 Testing Profile diagrams automatically. In particular, an approach to derive executable tests within the Testing and Test Control Notation (TTCN-3)...
-
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....
-
Semantics for an Interdisciplinary Computation
PublikacjaSemantics for an interdisciplinary computation is becoming increasingly difficult to capture while dealing with multi-domain problems. Expertise from Computer Science, Computer Engineering, Electrical Engineering, and other disciplines merges as engineering challenges in modern systems, such as, Cyber-Physical Systems, Smart Cities, and Bionic Systems must be tackled in a methodological manner. In this paper, a paradigm for formalization...
-
Model-Driven Testing of Real-Time Embedded Systems - From Object Oriented towards Function Oriented Development
PublikacjaMBD
-
On the Structure of Time in Computational Semantics of a Variable-Step Solver for Hybrid Behavior Analysis
PublikacjaHybrid dynamic systems combine continuous and discrete behavior. Often, computational approaches are employed to derive behaviors that approximate the analytic solution. An important part of this is the approximation of differential equation behavior by numerical integration. The accuracy and computational efficiency of the integration usually depend on the complexity of the method and its implicated approximation errors, especially...
-
Computational Model of Time for Stiff Hybrid Systems Applied to Control Synthesis
PublikacjaComputational representation.
-
Determinanty lokalizacji centrów usług outsourcingowych w Polsce
PublikacjaW pracy za główny cel poznawczy przyjęto identyfikację i weryfikację empiryczna czynników determinujących lokalizację podmiotów z udziałem kapitału zagranicznego świadczących usług outsourcingowych na terenie Polski.
-
Synteza oraz właściwości biologiczne pochodnych 4(5)-(2-aminoetylo)imidazoliny
Publikacja -
Comparative Study of Machining Technology Selection to Manufacture Large-Size Components of Offshore Constructions
PublikacjaThe focus of this paper is on process planning for large parts manufacture in systems of definite process capabilities, involving the use of multi-axis machining centres. The analysis of machining heavy mechanical components used in off-shore constructions has been carried out. Setup concepts applied and operation sequences determined in related process plans underwent studies. The paper presents in particular a reasoning approach...
-
Output voltage, current and DC-link voltages under SVPWM, experimental results
Dane BadawczeThe dataset contains the experimental results of the project: A universal algorithm of space vector pulse width modulation for three-level three and multi-phase NPC inverters with DC-link voltage balancing. The output line-to-line voltage, output current and DC-link voltages were included. The comparison studies between proposed Space Vector Pulse-Width...
-
Output voltage, current and DC-link voltages under SPWM, experimental results
Dane BadawczeThe dataset contains the experimental results of the project: A universal algorithm of space vector pulse width modulation for three-level three and multi-phase NPC inverters with DC-link voltage balancing. The output line-to-line voltage, output current and DC-link voltages were included. The Carrier-Based Pulse-Width Modulation (CBPWM) technique was...
-
Measurements of the heat of hydration released by concrete specimens cured under adiabatic conditions
Dane BadawczeThe DataSet contains measurements of heat of hydartion of concrete cubes (150 x 150 x 150 mm) cured under adiabatic conditions. The specimens were moulded from six types of concrete mixtures produced in the laboratory conditions. Mix #1: Portland cement CEM I 42.5R and gravel aggregate, mix #2: CEM I 42.5R and basalt aggregate, mix#3: Portland-composite...
-
Structure of the register of immovable monuments under the primary function – comparison of 2017 and 2024
Dane BadawczeThis dataset compares the structure of the register of immovable monuments in Poland under the primary function of objects for 2017 and 2024. The statement included the following primary functions of the monuments: urbanism, sacral, defence, industrial, economic, residential, public utilities, communication, cemeteries, greenery, etc. The dataset has...
-
XRD patterns of the V2O5 nanorods after thermal treatment under reducing atmosphere
Dane BadawczeThe DataSet contains the XRD patterns of V2O5 nanorods after thermal treatment under a reducing atmosphere. Samples were annealed at 450C for 2, 20, and 40h under a reducing atmosphere (94% Ar, 6% H2).
-
SEM micrographs of the V2O5 nanorods after thermal treatment under reducing atmosphere
Dane BadawczeThe DataSet contains the SEM micrographs of V2O5 nanorods after thermal treatment under a reducing atmosphere. Samples were annealed at 450C for 2, 20, and 40h under a reducing atmosphere (94% Ar, 6% H2).
-
XRD patterns of the V2O5 coatings after thermal treatment under reducing atmosphere
Dane BadawczeThe DataSet contains the XRD patterns of V2O5 coatings on the silicon substrate after thermal treatment under a reducing atmosphere. Thin films were annealed at 500C, 600C, and 700C for 10 under a reducing atmosphere (94% Ar, 6% H2).
-
SEM micrographs of the V2O5 coatings after thermal treatment under reducing atmosphere
Dane BadawczeThe DataSet contains the scanning electron microscopy (SEM) micrographs of V2O5 coatings on the silicon substrate after thermal treatment under a reducing atmosphere. Thin films were annealed at 600C and 700C for 10 under a reducing atmosphere (94% Ar, 6% H2).
-
The XRD diffraction patterns of La0.3Sr0.6Ce0.1Ni0.1W0.9O3-s precursor calcined under air atmosphere
Dane BadawczeThe dataset includes XRD patterns of La0.3Sr0.6Ce0.1Ni0.1W0.9O3-s precursor gel prepared using wet chemistry methods, namely modified Pechini route. The powders were calcined at 550oC for 5 h in air.
-
Luminescence properties of TeOx-Dy thin films annealing under an oxidizing atmosphere
Dane BadawczeThe DataSet contains the emission and excitation spectra of TeOx-Dy thin films. The material was obtained by the sol-gel method. The starting solution was prepared by mixing telluric acid (precursor) with thetraetylene glycol, water, and ethanol. Next, the 5% mol of dysprosium ions were added, the nitrates were used as a source of rare-earth ions....
-
The XRD diffraction patterns of La0.3Sr0.6Ce0.1Ni0.1Mo0.9O3-s precursor calcined under air atmosphere
Dane BadawczeThe dataset includes XRD patterns of La0.3Sr0.6Ce0.1Ni0.1Mo0.9O3-s precursor gel prepared using wet chemistry methods, namely modified Pechini route. The powders were calcined at 550oC for 5 h in air.
-
The XRD diffraction patterns of La0.3Sr0.6Ce0.1Ni0.1W0.45Mo0.45O3-s precursor calcined under air atmosphere
Dane BadawczeThe dataset includes XRD patterns of La0.3Sr0.6Ce0.1Ni0.1W0.45Mo0.45O3-s precursor gel prepared using wet chemistry methods, namely modified Pechini route. The powders were calcined at 550oC for 5 h in air.
-
Luminescence properties of TeOx-Tb thin films annealing under an oxidizing atmosphere
Dane BadawczeThe DataSet contains the emission and excitation spectra of TeOx-Tb thin films. The material was obtained by the sol-gel method. The starting solution was prepared by mixing telluric acid (precursor) with thetraetylene glycol, water, and ethanol. Next, the 5% mol of terbium ions were added, the nitrates were used as a source of rare-earth ions. The...
-
Thermal behaviour of vanadium xerogel powder and V2O5 nanorods under helium atmosphere
Dane BadawczeThe DataSet contains the results of the thermal behavior of the vanadium xerogel powder and V2O5 nanorods obtained at 650C. The information about xerogel powder and V2O5 nanorods synthesis is described in the Journal of Nanomaterials.
-
Luminescence properties of TeOx-Eu thin films annealing under an oxidizing atmosphere
Dane BadawczeThe DataSet contains the emission and excitation spectra of TeOx-Eu thin films. The material was obtained by the sol-gel method. The starting solution was prepared by mixing telluric acid (precursor) with thetraetylene glycol, water, and ethanol. Next, the 5% mol of europium ions were added, the nitrates were used as a source of rare-earth ions. The...
-
Time-series analysis of road safety trends aggregated at national level in Europe for 2000-2010
PublikacjaThe reader will find in this study road safety modelling theory and time-series analysis techniques, applications to long period data of injury accidents and casualities, aggregared at national level
-
Various types of semiconductor photocatalysts modified by CdTe QDs and Pt NPs for toluene photooxidation in the gas phase under visible light
PublikacjaA novel synthesis process was used to prepare TiO2 microspheres, TiO2 P-25, SrTiO3 and KTaO3 decorated by CdTe QDs and/or Pt NPs. The effect of semiconductor matrix, presence of CdTe QDs and/or Pt NPs on the semiconductor surface as well as deposition technique of Pt NPs (photodeposition or radiolysis) on the photocatalytic activity were investigated. The as-prepared samples were characterized by X-ray powder diffractometry (XRD),...
-
Preparation and Characterization of Au/Pd Modified-TiO2 Photocatalysts for Phenol and Toluene Degradation under Visible Light—The Effect of Calcination Temperature
PublikacjaRutile loaded with Au/Pd nanoparticles was prepared using a water-in-oil microemulsion system of water/AOT/cyclohexane followed by calcination.Theeffect of calcination temperature (from350 to 700∘C) on the structure ofAu/Pd nanoparticles deposited at rutile matrix and the photocatalytic properties of Au/Pd-TiO2 was investigated in two model reactions (toluene degradation in gas phase and phenol degradation in aqueous phase). The...
-
Ultrasound assisted rapid synthesis of mefenamic acid based indole derivatives under ligand free Cu-catalysis: Their pharmacological evaluation
Publikacja -
Softly switched robustly feasible mpc for constrained linear systems under set bounded uncertainty- LQ-MPC with IC action
PublikacjaNie jest możliwe efektywne sterowanie procesem w szerokim zakresie zmian warunków operacyjnych przy użyciu jednego uniwersalnego regulatora. W pracy zaproponowano koncepcję sposobu regulacji polegającego na przełączaniu wielu regulatorów uzależnionego od stanu operacyjnego systemu. Często twarde przełączanie regulatorów nie jest pożądane lub wręcz możliwe, alternatywą jest ich miękkie przełączanie. W pracy rozważany jest problem...
-
The cytoprotective role of antioxidants in mammalian cells under rapidly varying temperature, pressure and UV conditions during stratospheric balloon campaign
Publikacja