Filtry
wszystkich: 5318
-
Katalog
- Publikacje 1769 wyników po odfiltrowaniu
- Czasopisma 93 wyników po odfiltrowaniu
- Konferencje 1 wyników po odfiltrowaniu
- Wydawnictwa 4 wyników po odfiltrowaniu
- Osoby 194 wyników po odfiltrowaniu
- Projekty 33 wyników po odfiltrowaniu
- Kursy Online 119 wyników po odfiltrowaniu
- Wydarzenia 25 wyników po odfiltrowaniu
- Dane Badawcze 3080 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: render
-
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.
-
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...
-
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
-
Deformation of thin metal and composite sheets by using anti-buckling fixture for large deformation under tension–compression cyclic loading
Publikacja -
Pore water phosphate and ammonia below the permanent halocline in the south-eastern Baltic Sea and their benthic fluxes under anoxic conditions
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...
-
Amberlyst-15 catalysed synthesis of novel indole derivatives under ultrasound irradiation: Their evaluation as serotonin 5‑HT2C receptor agonists
Publikacja -
A Salp-Swarm Optimization based MPPT technique for harvesting maximum energy from PV systems under partial shading conditions
Publikacja -
Ultrasound assisted rapid synthesis of mefenamic acid based indole derivatives under ligand free Cu-catalysis: Their pharmacological evaluation
Publikacja -
Interval estimator for chlorine monitoring in drinking water distribution systems under uncertain system dynamics, inputs and state measurement errors
PublikacjaThe design of interval observer for estimation of unmeasured state variables for application to drinking water distribution systems is described in this paper. In particular, it considers the design of such observer for estimation of water quality described by free chlorine concentration. An interval observer is derived to produce robust interval bounds on the estimated water quality state variables. The stability and robustness...
-
The reduction of (ImH)[trans-RuIIICl4(dmso)(Im)] under physiological conditions: preferential reaction of the reduced complex with human serum albumin
Publikacja -
Erosion under turbulent slurry flow: An experimental determination of particle impact angle, impact direction, and distribution thereof by image processing
Publikacja -
Degradacja stali 9CR-1Mo pod wpływem podwyższonej temperatury. Degradation of 9Cr-1Mo steel under the influence of elevated temperature
PublikacjaBadano charakterystyczne cechy degradacji mikrostruktury i właściwości mechanicznych stali 9Cr-1Mo gat. P9 ASTM SA-335 po eksploatacji w piecu rafineryjnym w temperaturze 390-500 stopni C. Wykazano, że po 30 000 godzin wydłużenie obniżyło się o około 30%. Przyczyną spadku wydłużenia były zmiany mikrostruktury związane z umocnieniem osnowy metalicznej przez chrom oraz wynikające z kruchości odpuszczania stali. Większy spadek wydłużenia...
-
The cytoprotective role of antioxidants in mammalian cells under rapidly varying temperature, pressure and UV conditions during stratospheric balloon campaign
Publikacja -
Crack monitoring in concrete beams under bending using ultrasonic waves and coda wave interferometry: the effect of excitation frequency on coda
PublikacjaConcrete is one of the most widely used construction materials in the world. In recent years, various non-destructive testing (NDT) and structural health monitoring (SHM) techniques have been investigated to improve the safety and control of the current condition of concrete structures. This study focuses on micro-crack monitoring in concrete beams. The experimental analysis was carried out on concrete elements subjected to three-point...
-
Scanning with Laser Beam over the TiO2 Nanotubes Covered with Thin Chromium Layers towards the Activation of the Material under the Visible Light
Publikacja -
In silico study on the effects of carbonyl groups on chemical equilibrium of reactions with a polar product occurring under confinement in pores of activated carbons
Publikacja -
Enhanced expression of the proline synthesis gene P5CSA in relation to seed osmopriming improvement of Brassica napus germination under salinity stress
Publikacja -
Influence of an Electronic Structure of N-TiO2 on Its Photocatalytic Activity towards Decomposition of Acetaldehyde under UV and Fluorescent Lamps Irradiation
Publikacja -
WITHDRAWN: The kinetics of phenol decomposition under UV irradiation with and without H2O2 on TiO2, Fe-TiO2 and Fe-C-TiO2 photocatalysts
Publikacja -
Effect of the carbon coating in Fe–C–TiO2 photocatalyst on phenol decomposition under UV irradiation via photo-Fenton process
Publikacja -
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...
-
Stability analysis of nanobeams in hygrothermal environment based on a nonlocal strain gradient Timoshenko beam model under nonlinear thermal field
PublikacjaThis article is dedicated to analyzing the buckling behavior of nanobeam subjected to hygrothermal environments based on the principle of the Timoshenko beam theory. The hygroscopic environment has been considered as a linear stress field model, while the thermal environment is assumed to be a nonlinear stress field based on the Murnaghan model. The size-dependent effect of the nanobeam is captured by the nonlocal strain gradient...
-
Rotational state-changing collisions of C2H− and C2N− anions with He under interstellar and cold ion trap conditions: A computational comparison
PublikacjaWe present an extensive range of quantum calculations for the state-changing rotational dynamics involving two simple molecular anions that are expected to play some role in the evolutionary analysis of chemical networks in the interstellar environments, C2H− (X1Σ+) and C2N− (X3Σ−), but for which inelastic rates are only known for C2H−. The same systems are also of direct interest in modeling selective photo-detachment experiments...
-
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),...
-
Effect of synthesis method parameters on properties and photoelectrocatalytic activity under solar irradiation of TiO2 nanotubes decorated with CdS quantum dots
PublikacjaThe growing research interest on photoelectrocatalysis has encouraged the search for new materials with high activity and the development of methods for their synthesis. The successive ionic layer adsorption and reaction (SILAR) method is an effective way to synthesize materials with photoelectrocatalytic (PEC) properties that are active under visible radiation. Therefore, studies on the impact of the parameters of the SILAR method...
-
Fragility analysis of structural pounding between adjacent structures arranged in series with various alignment configurations under near‑field earthquakes
PublikacjaA major cause of local to total damages is related to structural pounding in a large number of past earthquakes. In general, these collisions take place as a result of differences in the dynamic characteristics of the colliding structures. To acquire a better perception of the behavior of structures, in this paper, three structures featuring different heights are modeled in series and with various configurations next to each other...
-
Ti/TiO2 nanotubes sensitized PbS quantum dots as photoelectrodes applied for decomposition of anticancer drugs under simulated solar energy
PublikacjaOne of the challenges in research into photoelectrocatalytic (PEC) degradation of pollutants is finding the appropriate photoanode material, which has a significant impact on the process efficiency. Among all others, photoelectrodes based on an ordered TiO2 nanotube arrays are a promising material due to well-developed surface area and efficient charge separation. To increase the PEC activity of this material, the SILAR method was...
-
Amberlyst-15 catalysed synthesis of novel indole derivatives under ultrasound irradiation: Their evaluation as serotonin 5‑HT2C receptor agonists
PublikacjaA series of indole based novel Schiff bases was designed as potential agonists of 5‑HT2C receptor that was supported by docking studies in silico. These compounds were synthesized via Amberlyst-15 catalysed condensation of an appropriate pyrazole based primary amine with the corresponding indole-3-aldehyde under ultrasound irradiation at ambient temperature. A number of target Schiff bases were obtained...
-
Changes in Epigenetic Patterns Related to DNA Replication in Vicia faba Root Meristem Cells under Cadmium-Induced Stress Conditions
PublikacjaExperiments on Vicia faba root meristem cells exposed to 150 µM cadmium chloride (CdCl2) were undertaken to analyse epigenetic changes, mainly with respect to DNA replication stress. Histone modifications examined by means of immunofluorescence labeling included: (1) acetylation of histone H3 on lysine 56 (H3K56Ac), involved in transcription, S phase, and response to DNA damage during DNA biosynthesis; (2) dimethylation of histone...
-
FE-analysis of spacing of localized zones in reinforced concrete bars under tension using elasto-plasticity with non-local softening
PublikacjaW artykule przedstawiono wyniki numerycznej analizy lokalizacji odkształceń w pręcie żelbetowym poddanym rozciąganiu. Obliczenia wykonano przy zastosowaniu metody elementów skończonych i sprężysto-plastycznego modelu z nielokalnym osłabieniem. Pokazano wpływ różnych parametrów na nośność pręta i rozstaw lokalizacji.
-
FE calculations of a deterministic and statistical size effect in concrete under bending within stochastic elasto-plasticity and non-local softening
PublikacjaW artykule przedstawiony wyniki obliczeń MES deterministycznego i statystycznego efektu skali w belkach betonowych podczas zginania. Zastosowano model w ramach stochastycznej sprężysto-plastyczności i nielokalnego osłabienia. Belki były geometrycznie podobne. Wyniki porównano z modelem efektu skali Bazanta.
-
Gendered entrepreneurship and its impact on firm innovativeness - a literature review.
PublikacjaEntrepreneurs gain a lot of attention in recent decades. Even if a precise definition of entrepreneur and entrepreneurship remains problematic, it is clear that there is a strong link between entrepreneurship and innovativeness, as well as between entrepreneur and innovation. In the current era of globalisation, the importance of innovations is as great as never before. And so is the importance of innovativeness determinants. Investigating...
-
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...