Filtry
wszystkich: 5318
wybranych: 1769
-
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
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: render
-
Promotion of Photocatalytic Hydrogen Evolution under Visible Light with NiO/C Fabricated via a Super Facile and General Strategy
Publikacja -
Potassium trimethylsilanolate-mediated conversion of dialkyl phosphonates to their anhydrous potassium monoalkyl phosphonates under mild, non-aqueous conditions
PublikacjaPrzedstawiona została metoda syntezy bezwodnych soli potasowych fosfonianów monoalkilu z odpowiednich fosfonianów dialkilu w reakcji z trimetylosilanolanem potasu w bezwodnym eterze i chlorku metylenu. Metoda ta może być również stosowana dla makrocyklicznych kaliks[4]arenów z wbudowanymi grupami fosfonowymi na górnej obręczy; preferowanym rozpuszczalnikiem jest w tym przypadku bezwodny THF. Zaletą opisanej metody są łagodne warunki...
-
Exploring avian exposure to parent polycyclic aromatic hydrocarbons (PAHs): Using the common eider Somateria mollissima in a global context
PublikacjaCompared to other organic contaminants, birds are rarely studied for their exposure to polycyclic aromatic hydrocarbons (PAHs), mainly due to their effective metabolization of parent PAHs. However, as some studies suggest, exposure to PAHs may result in adverse health effects including decreased survival, especially following oil spills. In the present study, we analyzed samples from a sea duck, the common eider Somateria mollissima...
-
Design and Microwave-Assisted Synthesis of TiO2-Lanthanides Systems and Evaluation of Photocatalytic Activity under UV-LED Light Irradiation
PublikacjaThe TiO2-Eu and TiO2-La systems were successfully synthesized using the microwave method. Based on the results of X-ray diffraction analysis, it was found that regardless of the analyzed systems, two crystal structures were noted for the obtained samples: anatase and rutile. The analysis, such as XPS and EDS, proved that the doped lanthanum and europium nano-particles are present only on the TiO2 surface without disturbing the...
-
Cattaneo–Christov heat flow model for copper–water nanofluid heat transfer under Marangoni convection and slip conditions
PublikacjaThis report is devoted to the study of the flow of MHD nanofluids through a vertical porous plate with a temperature-dependent surface tension using the Cattaneo–Christov heat flow model. The energy equation was formulated using the Cattaneo–Christov heat flux model instead of Fourier’s law of heat conduction. The Tiwari–Das model was used to take into account the concentration of nanoparticles when constructing the momentum equation....
-
The elasto-plastic numerical study of crack initiation in notched PMMA specimens under uniaxial loading conditions – Tension and torsion
PublikacjaThis paper presents the results of FEM numerical calculations aimed at describing the plastic strain and stress fields under critical loading conditions: tensile force or torsional moment. The calculations were carried out with reference to the results of experimental tensile and torsional tests of flat PMMA specimens weakened with V-notches of different root radii: 0.5, 2 and 10 mm. The procedure for conducting nonlinear numerical...
-
Fracture prediction in flat PMMA notched specimens under tension - effectiveness of the equivalent material concept and fictitious material concept
PublikacjaThe fracture of notched elements under mode I loading (tension) remains an inexhaustible research topic, especially when it comes to the fracture of thermoplastic materials such as polymethylmethacrylate (PMMA), which experience considerable plastic strains under tension. The paper points out that traditional brittle fracture criteria such as mean stress (MS) or maximum tangential stress (MTS) criteria used to predict this phenomenon do...
-
The effect of PEDOT morphology on hexavalent chromium reduction over 2D TiO2/PEDOT photocatalyst under UV–vis light
PublikacjaThe present study represents an approach to apply organic-inorganic hybrid materials for photocatalytic removal of heavy metals from the aqueous environment. The photocatalytic activity of the semiconductor modified with the conjugated polymer may depends on the conjugated polymer type, its amount and morphology. Therefore, in the present study the effect of poly (3, 4-ethylenedioxythiophene) (PEDOT) morphology on adsorption and photoreduction...
-
Organic Vapor Sensing Mechanisms by Large-Area Graphene Back-Gated Field-Effect Transistors under UV Irradiation
PublikacjaThe gas sensing properties of graphene back-gated field-effect transistor (GFET) sensors toward acetonitrile, tetrahydrofuran, and chloroform vapors were investigated with the focus on unfolding possible gas detection mechanisms. The FET configuration of the sensor device enabled gate voltage tuning for enhanced measurements of changes in DC electrical characteristics. Electrical measurements were combined with a fluctuation-enhanced...
-
Evaluation of Partial Nitritation/Anammox (PN/A) Process Performance and Microorganisms Community Composition under Different C/N Ratio
PublikacjaA one-stage partial nitritation/anammox (PN/A) process with intermittent aeration is possible under sidestream conditions, but implementation in a mainstream is a challenge due to increased Carbon/Nitrogen (C/N) ratios in domestic wastewater. This study investigated the effect of C/N ratios on process efficiency and the effect of narrowing non-aeration time on process improvement at high chemical oxygen demand (COD) load. An increase...
-
Study on surface termination of boron-doped diamond electrodes under anodic polarization in H2SO4 by means of dynamic impedance technique
PublikacjaAnodic oxidation is a popular way to modify termination bonds at boron doped diamond electrodes altering their electrochemical and physicochemical properties. Our studies, performed with dynamic electrochemical impedance spectroscopy technique, supported with X-ray photoelectron spectroscopy and ellipsometry analysis prove its utility in continuous on-line monitoring of impedance changes on the electrode surface under polarization...
-
A continual model of a damaged medium used for analyzing fatigue life of polycrystalline structural alloys under thermal–mechanical loading
PublikacjaThe main physical laws of thermal–plastic deformation and fatigue damage accumulation processes in polycrystalline structural alloys under various regimes of cyclic thermal–mechanical loading are considered. Within the framework of mechanics of damaged media, a mathematical model is developed that describes thermal–plastic deformation and fatigue damage accumulation processes under low-cycle loading. The model consists of three...
-
Transport of Particles in Intestinal Mucus under Simulated Infant and Adult Physiological Conditions: Impact of Mucus Structure and Extracellular DNA
PublikacjaThe final boundary between digested food and the cells that take up nutrients in the small intestine is a protective layer of mucus. In this work, the microstructural organization and permeability of the intestinal mucus have been determined under conditions simulating those of infant and adult human small intestines. As a model, we used the mucus from the proximal (jejunal) small intestines of piglets and adult pigs. Confocal...
-
The experimental identification of the dynamic coefficients of two hydrodynamic journal bearings operating at constant rotational speed and under nonlinear conditions.
PublikacjaHydrodynamic bearings are commonly used in ship propulsion systems. Typically, they are calculated using numerical or experimental methods. This paper presents an experimental study through which it has been possible to estimate 24 dynamic coefficients of two hydrodynamic slide bearings operating under nonlinear conditions. During the investigation, bearing mass coefficients are identified by means of a newly developed algorithm....
-
AN ATTEMPT AT IDENTIFYING THE INFLUENCE OF TEST HEAD ASSEMBLY STIFFNESS ON THE RESULTS OF A TRIBOLOGICAL EXPERIMENT CONDUCTED UNDER MICRO-OSCILLATION CONDITIONS
PublikacjaThe outcome of experimental research on a group of dry bearing materials carried out under small oscillation conditi ons and using a test rig designed and made at Gdansk University of Technology inspired the decision to find out if the stiffness of test head elements in fluenced the generated results. Therefore, a computer model utilising finite elements was devised and used to simulate the workings of the test head. The mode l...
-
Heterogeneous distribution of surface electrochemical activity in polycrystalline highly boron-doped diamond electrodes under deep anodic polarization
PublikacjaThe surface homogeneity of boron-doped diamond electrodes is variable and depends on anodic polarization conditions. The differentiation factor is the gradual and localized change in surface termination. A series of measurements under different polarization conditions was performed in order to investigate the scale of this effect. Nanoscale impedance microscopy (NIM) revealed large variation of surface resistance in individual...
-
Polymer journal bearings behaviour research under limited lubrication and cooling conditions conducted on high torque test rig
PublikacjaPolymer journal bearings are frequently used as a water-lubricated bearings of small marine units’ propeller shafts . Choice of these bearings is based on their simple construction and relatively low purchase and maintenance costs. Although properly designed and installed water lubricated bearings may well last for over a decade, rapid wear or failure of these bearings can be observed...
-
Fatigue life prediction of notched components under size effect using strain energy reformulated critical distance theory
PublikacjaNotch and size effects show significant impact on the fatigue performance of engineering components, which deserves special attention. In this work, a strain energy reformulated critical distance theory was developed for fatigue life prediction of notched components under size effect. Experimental data of different notched specimens manufactured from GH4169, TC4, TC11 alloys and low carbon steel En3B were used for model validation...
-
Finite element investigations of granular material behaviour during cyclic wall shearing under a constant normal stiffness condition
PublikacjaW artykule przedstawiono wyniki numnerycznej analizy zachowania sie materiałów granulowanych podczas cyklicznego ścinanai wzdłuz szorstkiej ściany z warunkiem stałej sztywności normalnej. Obliczenia wykonano przy zastosowaniu metody elementów skończonych i mikropolarnego nodelu hipopalstycznego. Obliczenia wykonano dla róznych sztywności, początkowych wskaźników porowatości i sredniej średnicy ziarna. Wyniki numeryczne porównano...
-
Computational simulations of concrete behaviour under dynamic conditions using elasto-visco-plastic model with non-local softening.
PublikacjaW artykule przedstawiono wyniki obliczeniowych symulacji zachowania betonu w warunkach dynamicznych stosując sprężysto-lepko-plastyczny model z nielokalnym osłabieniem. Wykonano obliczenia dla ściskania jednoosiowego, rozciągania jednoosiowego i zginania. Dla dużych prędkości obciążenia uwzględniono fragmentację materiału. Wyniki porównano z doswiadczeniami.
-
Notched concrete beams under bending - calculations of size effects within stochastic elasto-plasticity with non-local softening
PublikacjaW artykule przedstawiono wyniki numerycznej analizy efektów skali (efektu deterministycznego i stochastycznego) w belkach betonowych nacięciem poddanych zginaniu z uwzględnieniem lokalizacji odkształceń. Obliczenia wykonano przy zastosowaniu metody elementów skończonych i sprężysto-plastycznego modelu z nielokalnym osłabieniem. Pokazano wpływ wielkości belek na nośność z uwzględnieniem stochastycznego rozkładu wytrzymałości na...
-
Scenariusze ochrony własnosci intelektualnej
PublikacjaPrzedstawiono ogólnie tematykę związaną z pojęciem ochrony własności intelektualnej. W sposób szczegółowy opisano problemzwiązany ze zjawiskiem plagiaryzmu w dokumentach cyfrowych. Przedstawiono metody pozwalające na minimalizowanie skali, tak powszechnego dziś zjawiska. Opisano zarówno metody prewencyjne, jak i te związane z wykrywaniem oraz właściwym postępowaniem w przypadku wykrycia popełnienia plagiatu. Podano przykłady scenariuszy...
-
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...
-
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...
-
Synteza oraz właściwości biologiczne pochodnych 4(5)-(2-aminoetylo)imidazoliny
Publikacja -
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.
-
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