Filtry
wszystkich: 5485
wybranych: 1893
-
Katalog
- Publikacje 1893 wyników po odfiltrowaniu
- Czasopisma 83 wyników po odfiltrowaniu
- Konferencje 1 wyników po odfiltrowaniu
- Wydawnictwa 3 wyników po odfiltrowaniu
- Osoby 212 wyników po odfiltrowaniu
- Wynalazki 1 wyników po odfiltrowaniu
- Projekty 33 wyników po odfiltrowaniu
- Zespoły Badawcze 1 wyników po odfiltrowaniu
- Kursy Online 100 wyników po odfiltrowaniu
- Wydarzenia 21 wyników po odfiltrowaniu
- Dane Badawcze 3137 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: FENDER PITCH
-
State equations in the mathematical model of dynamic behaviour of multihull floating unit
PublikacjaPrzedstawiony artykuł dotyczy dynamiki wielokadłubowej jednostki pływającej typu katamaran poddanej wymuszeniom pochodzącym od falowania nieregularnego. Analiza dynamiki jednostki wielokadłubowej została przeprowadzona przy założeniu, że model układu jest modelem liniowym na który działa fala nieregularna. Model matematyczny takiego układu dynamicznego jest reprezentowany poprzez równania stanu. Zapisane zostały równania uwzględniające...
-
Heat Transfer During Pool Boiling of Water, Methanol and R141b on Porous Coated Horizontal Tube Bundles
PublikacjaThis paper presents the results of experimental investigation of water, methanol and R141b refrigerant boiling on horizontal porous coated tube bundles supposed to represent a flooded-type evaporator. Experiments were carried out for a bundle of 19 tubes in triangular layout for two pitch-to-diameter ratio values – 1.7 and 2.0 – in atmospheric and sub-atmospheric pressure conditions. Average heat transfer coefficients – both local,...
-
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.
-
Powierzchniowe badania mikrosejsmiczne na odwiercie w północnej Polsce, optymalizacja modelu prędkościowego
PublikacjaCelem wykonanych prac było potwierdzenie możliwości wykorzystania mikrosejsmicznego pomiaru powierzchniowego ze schematem rozłożenia typu patch array dla polskich warunków geologicznych. Artykuł zawiera opis przeprowadzonych prac mikrosejsmiki powierzchniowej wykonanych na odwiercie w północnej Polsce wraz z procedurą optymalizacji modelu prędkościowego.
-
O07 Filaggrin insufficiency renders keratinocyte-derived small extracellular vesicles capable of affecting CD1a-mediated T-cell responses and promoting allergic inflammation
PublikacjaThe association between FLG loss-of-function mutations and the development of atopic dermatitis (AD) indicates that filaggrin is critical to skin barrier function; the mutations are also linked to additional allergic manifestations, but it is unknown how the skin may influence inflammation in distant tissues. Here we investigated the impact of filaggrin insufficiency on keratinocyte-derived exosome-enriched small extracellular...
-
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...
-
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...