Filters
total: 3827
-
Catalog
- Publications 2712 available results
- Journals 32 available results
- Publishing Houses 2 available results
- People 147 available results
- Inventions 7 available results
- Projects 21 available results
- Laboratories 3 available results
- Research Teams 12 available results
- Research Equipment 1 available results
- e-Learning Courses 285 available results
- Events 38 available results
- Open Research Data 567 available results
displaying 1000 best results Help
Search results for: HANDEL TARGOWY
-
Analiza egzergetyczna bloku gazowo parowego współpracującego z obiegiem ORC
PublicationW pracy przedstawiono sposób przeprowadzania bilansu egzergetycznego dla obiegu Clausiusa – Rankina. Następnie przy pomocy programu EES współpracującego z bazą REFPROP 9.0 (Reference Fluid Thermodynamic and Transport Properties Database) [6] wykonany został bilans egzergetyczny dla układu kaskadowego siłowni CCGT – ORC, w którym blok gazowo – parowy współpracuje z obiegiem ORC. Obliczenia wykonano w oparciu o rzeczywiste parametry...
-
GDAŃSK UNIVERSITY OF TECHNOLOGY - A CONTINUATOR OF THE LVIV SCHOOL OF ARCHITECTS' EDUCATION ON THE EXAMPLE OF DESCRIPTIVE GEOMETRY TEACHING
PublicationThe new theory at the time was descriptive geometry, quickly reached the Polish lands. Her first lecture was held at the Warsaw School of Artillery and Engineering in 1809-1812, by a French teacher Jan Joachim Livet (1809-12). The new discipline was quickly adopted in all major centers of Polish science at that time, which include university cities - Warsaw, Krakow, Vilnius and the Krzemienieckie High School, which represent high...
-
Targi Pracy TRANSPORTER
EventsBiuro Karier, Wydział OiO, studenci kierunku Transport oraz WRS OiO serdecznie zapraszają na Targi Pracy TRANSPORTER.
-
Sposób wytwarzania kompozytu fotoaktywnego o wysoce rozwiniętej powierzchni oraz kompozyt fotoaktywny o wysoce rozwiniętej powierzchni
Inventions -
A Circular Waveguide Dual-Mode Filter With Improved Out-of-Band Performance for Satellite Communication Systems
PublicationThis letter presents a novel design for a 3-D-printed circular waveguide dual-mode (CWDM) filter with a modified cavity shape. The modification leads to a wide spurious-free stopband, which is highly desirable for channel separation in waveguide contiguous output multiplexers (OMUXs) in satellite communication systems. The new resonant cavity design is a result of applying shape deformation to a basic circular cavity in order to...
-
The influence of core material on strength properties of hybrid sandwich panels
PublicationAlong with high prices of fuels and more restrictive safety and environmental regulations (including environment protection) increased interest in sandwich structures is being observed. One of the solution having growing application potential is steel sandwich panel. The construction consist of very thin steel plates (about 2mm) and stiffeners between them. The main advantage of using such solution is very high strength to weight...
-
Impact of Urbanization on Stormwater Runoff from a Small Urban Catchment: Gdańsk Małomiejska Basin Case Study
PublicationThis paper deals with the impact of different forms of urbanization on the basin outflow. The influence of changes in land cover/use, drainage system development, reservoirs, and alternative ways of stormwater management (green roofs, permeable pavements) on basin runoff was presented in the case of a small urban basin in Gdańsk (Poland. Seven variants of area development (in the period of 2000-2012) – three historical and four...
-
Calculations of the resistance values of 10 ratio resistors
Open Research DataThe presented data set is part of the research aimed at determining the actual characteristics of each thermistor in a package of twenty NTC10k type sensors.
-
LDRAW based positional renders of LEGO bricks
Open Research Data243 different LEGO bricks renders of size 250x250 in 5 colors in 120 viewing angles stored as JPEG images. The renders are used to train neural networks for bricks recognition. All images were generated using L3P (http://www.hassings.dk/l3/l3p.html) and POV-Ray (http://www.povray.org/) tools and were based on the 3D models from LDraw (https://www.ldraw.org/)...
-
The 3d Ce XPS spectra of Ce0.9M0.1O2
Open Research DataThe dataset consists of 3d Ce XPS of Ce0.9M0.1O2 where (M=Mn, Fe, Co, Ni, Cu). X-ray Photoelectron Spectroscopy analysis (XPS) was performed using X-ray photoelectron spectrometer Omnicron NanoTechnology with 128-channel collector. XPS measurements were undertaken in ultra-high vacuum conditions, below 1.1x10-8 mbar. Photoelectrons were excited by an...
-
THYROID GLAND, Thyroid gland - Male, 41 - Tissue image [10110730048211021]
Open Research DataThis is the histopathological image of THYROID GLAND tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Hyalinizing trabecular tumor - Female, 47 - Tissue image [7100730013387901]
Open Research DataThis is the histopathological image of THYROID GLAND tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Hyalinizing trabecular tumor - Female, 47 - Tissue image [7100730013389681]
Open Research DataThis is the histopathological image of THYROID GLAND tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Introducing concurrent engineering to space and satellite technology undergraduate course
PublicationIn recent decade concurrent engineering has become a de facto leading methodology of work in space, aeronautics and sometimes even automotive industry. It has been used in designing ESA space missions for 20 years now, with rst Concurrent Design Facility (CDF) built in ESTEC in 1998. Still, it has not become a universal standard in engineering, and universities are specically reluctant to adopt it into their curricula. As a result,...
-
Analiza lepko sprężysta wirnika promieniowego
PublicationAnalizie poddano wirnik wentylatora promieniowego z typoszeregu 405/315. Wentylator zaprojektowany jest w sposób poprawny; zgodny ze sztuką rzemieślniczą. W procesie projektowania posłużono się narzędziami inżynierskimi jak i analizą CSD. Wymagania Normowe do których należalo sie odnieść nie przewidują obciążeń od przejścia fali uderzeniowej. Wirnik wentylatora spełnia wymagania dla klasy F400, tzn. w czasie 120 min. pracy w temperaturze...
-
Obliczenia wytrzymałościowo-dynamiczne mes wieńca wirnikowego i pierścienia kierującego przepływ pary, przy wymuszeniach w warunkach pracy nominalnej i wyjściowego obciążenia z uwzględnieniem wyników cfd, [w:] kompleksowe badania, ocena i identyfikacja przyczyn awarii i uszkodzenia stopnia regulacyjnego wirnika cz. wp turbiny 18k370 bloku nr. 2 w oparciu o analizy przepływowo-wytrzymałościowe i metaloznawcze.
Publication -
Charakterystyka ogólna transportu drogowego
Publication -
Reactions of methyl radicals with silica supported silver nanoparticles in aqueous solutions
PublicationSilica supported silver nanoparticles (Ag°–SiO2 –NCs, NCs=nanocomposites) suspended in aqueous solutions are efficient catalysts for the dimerization of methyl radicals to produce ethane, while bare silica is quite inert towards the interaction with methyl radicals. In the presence of small amounts of ethanol adsorbed on the SiO2 surface, the reaction path with methyl radicals is changed and methane is formed as the major product.
-
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...
-
A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains
PublicationThis 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
Publicationcps
-
Model-Based Testing of Embedded Systems in the Automotive Domain
PublicationPhD
-
Three-dimensional conceptual model for service-oriented simulation
Publicationn 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
PublicationFrom 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
PublicationDie 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
PublicationThe 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
PublicationEmbedded 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
PublicationComputational 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
PublicationTraditionally, 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
PublicationModeling & 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,
PublicationTest 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
PublicationSystematic Test Data Generation for Embedded Software
-
A Hyperdense Semantic Domain for Discontinuous Behavior in Physical System Models
PublicationMultiple 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
PublicationSystematic 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
PublicationThe 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
PublicationThe 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
PublicationSemantics 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
PublicationMBD
-
On the Structure of Time in Computational Semantics of a Variable-Step Solver for Hybrid Behavior Analysis
PublicationHybrid 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
PublicationComputational representation.
-
Attachment of silica and alumina nanoparticles as studied by QCM
PublicationNanocząstki są wykorzystywane w mikroelektronice do produkcji bardzo płaskich i gładkich powierzchni. Proces produkcji taki materiałów nazywany jest planaryzacją chemiczno-mechaniczną (CMP). Poniewąż nanocząstki na skutek interakcji z produkowanym materiałem specjalistyczntycznym mogą wiązać do jego powierzchni, na skutek czego powodując zanieczyszczenia. Ze względu na wpływ zanieczyszczeń na wydajność i miarodajność produkowanego...
-
Analiza możliwości usprawnienia organizacji przewozów kurierskich o zróżnicowanym zasięgu przestrzennym na przykładzie powiatu nidzickiego
PublicationW artykule przedstawiono możliwości poprawy efektywności przewozów kurierskich na przykładzie danych pochodzących z firmy Siódemka S.A, dotyczących obsługi powiatu nidzickiego. Uzyskane wyniki wskazują na możliwości osiągnięcia wymiernych efektów w postaci redukcji przebytego przez kuriera dystansu, co przekłada się na oszczędności w postaci niższego zużycia paliwa oraz oszczędności czasowych. Problemem jest możliwość praktycznego...
-
Wykorzystanie analitycznych narzędzi zarządzania projektami w kształtowaniu procesów logistycznych na przykładzie działalności Lotos Kolej
PublicationCelem artykułu była analiza możliwych efektów zmian w procesie obsługi zlecenia polegającego na organizacji przewozu cystern paliwowych, realizowanego przez przedsiębiorstwo LOTOS Kolej S.A. Głównym kryteriami porównania opracowanych wariantów zmian było skrócenie czasu trwania procesu oraz, tam gdzie to możliwe, minimalizacja kosztów pracy. Do wizualizacji procesu oraz analizy danych wykorzystany został program Microsoft Project....
-
Pose-Configurable Generic Tracking of Elongated Objects
PublicationElongated objects have various shapes and can shift, rotate, change scale, and be rigid or deform by flexing, articulating, and vibrating, with examples as varied as a glass bottle, a robotic arm, a surgical suture, a finger pair, a tram, and a guitar string. This generally makes tracking of poses of elongated objects very challenging. We describe a unified, configurable framework for tracking the pose of elongated objects, which...
-
OCENA PROJEKTU KONCEPCYJNEGO PRZEBUDOWY DWORCA PKP WARSZAWA ŚRÓDMIEŚCIE (Konsorcjum TB.INVEST & ALLPLAN, listopad 2013)
PublicationOcena funkcjonalno-przestrzenna projektu koncepcyjnego przebudowy dworca PKP Warszawa Śródmieście wg projektu Konsorcjum TB.Invest & Allplan, listopad 2013. Wytyczne przebudowy dworca.
-
KONCEPCJA USPRAWNIENIA FUNKCJONALNEGO DWORCA POZNAŃ GŁÓWNY
PublicationOcena funkcjonalno-przestrzenna zintegrowanego węzła przesiadkowego na dworcu Poznań Główny wraz z wytycznymi projektowymi przebudowy dworca.
-
Ocena koncepcji estetyzacji dworca Warszawa Centralna w Warszawie (Sud Architekt Polska Sp. z o.o., luty 2014)
PublicationOcena funkcjonalno-przestrzenna koncepcji estetyzacji dworca Warszawa Centralna w Warszawie, wykonanej przez Sud Architekt Polska Sp. z o.o., luty 2014
-
Dworzec Łódź Fabryczna
PublicationKrytyka architektoniczna dworca Łódź Fabryczna
-
Pomorska Kolej Metropolitalna
PublicationKrytyka architektoniczna Pomorskiej Kolei Metropolitalnej w Gdańsku
-
Rozważania nad intensywnością zabudowy w kontekście praktyki urbanistycznej oraz potencjału technologii GIS
PublicationCelem artykułu jest zasygnalizowanie konieczności wypracowania jednolitej definicji i sposobu obliczania intensywności zabudowy na potrzeby praktyki urbanistycznej. Punktem odniesienia jest definicja intensywności zabudowy, przyjęta w znowelizowanej ustawie o planowaniu i zagospodarowaniu przestrzennym na tle definicji zaczerpniętych z innych źródeł. Intensywność zabudowy jest parametrem o najdalej idących skutkach w przestrzeni....