Wyniki wyszukiwania dla: HANDEL%20ELEKTRONICZNY - MOST Wiedzy

Wyszukiwarka

Wyniki wyszukiwania dla: HANDEL%20ELEKTRONICZNY

Wyniki wyszukiwania dla: HANDEL%20ELEKTRONICZNY

  • The Towers of Hanoi as a Cyber-Physical System Education Case Study

    Publikacja

    - Rok 2013

    cps

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Model-Based Testing of Embedded Systems in the Automotive Domain

    Publikacja

    - Rok 2009

    PhD

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Three-dimensional conceptual model for service-oriented simulation

    Publikacja

    n 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,...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • From Functional Requirements through Test Evaluation Design to Automatic Test Data Retrieval – a Concept for Testing of Software Dedicated for Hybrid Embedded Systems

    Publikacja

    - Rok 2007

    From Functional Requirements through Test Evaluation Design to Automatic Test Data Retrieval – a Concept for Testing of Software Dedicated for Hybrid Embedded Systems

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Werkzeugübergreifende Konsistenzsicherung von Artefakten bei der Entwicklung softwarebasierter Systeme im Automobil

    Publikacja
    • T. Farkas
    • A. Leicher
    • H. Röbig
    • M. Born
    • T. Klein
    • J. Zander

    - Rok 2006

    Die 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Automotive Validation Functions for On-line Test Evaluation of Hybrid Real-time Systems

    Publikacja

    - Rok 2006

    The 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Quality of Test Specification by Application of Patterns

    Publikacja

    - Rok 2008

    Embedded 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Technical Engine for Democratization of Modeling, Simulations, and Predictions

    Publikacja

    - Rok 2012

    Computational 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

    Publikacja

    - Rok 2004

    Traditionally, 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Grand Challenges on the Theory of Modeling and Simulation

    Publikacja
    • S. J. E. Taylor
    • A. Khan
    • K. L. Morse
    • A. Tolk
    • L. Yilmaz
    • J. Zander

    - Rok 2013

    Modeling & 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Test Design Patterns for Embedded Systems,

    Publikacja
    • J. Zander
    • A. M. Perez
    • I. Schieferdecker
    • Z. R. Dai

    - Rok 2007

    Test 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Systematic Test Data Generation for Embedded Software

    Publikacja

    - Rok 2008

    Systematic Test Data Generation for Embedded Software

    Pełny tekst do pobrania w serwisie zewnętrznym

  • A Hyperdense Semantic Domain for Discontinuous Behavior in Physical System Models

    Publikacja

    - Rok 2013

    Multiple 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

    Publikacja

    - Rok 2013

    Systematic 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • From U2TP Models to Executable Tests with TTCN-3

    Publikacja
    • J. Zander
    • Z. R. Dai
    • I. Schieferdecker
    • G. Din

    - Rok 2005

    The 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)...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Model-based testing for execution algorithms in the simulation of cyber-physical systems

    Publikacja

    - Rok 2013

    The 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....

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Semantics for an Interdisciplinary Computation

    Publikacja

    - Rok 2013

    Semantics 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Model-Driven Testing of Real-Time Embedded Systems - From Object Oriented towards Function Oriented Development

    Publikacja

    - Rok 2005

    MBD

    Pełny tekst do pobrania w serwisie zewnętrznym

  • On the Structure of Time in Computational Semantics of a Variable-Step Solver for Hybrid Behavior Analysis

    Publikacja
    • J. Zander
    • P. J. Mosterman
    • G. Hamon
    • B. Denckla

    - Rok 2011

    Hybrid 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Computational Model of Time for Stiff Hybrid Systems Applied to Control Synthesis

    Publikacja
    • P. J. Mosterman
    • J. Zander
    • G. Hamon
    • B. Denckla

    - CONTROL ENGINEERING PRACTICE - Rok 2012

    Computational representation.

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Pose-Configurable Generic Tracking of Elongated Objects

    Publikacja

    - Rok 2013

    Elongated 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...

  • Charakterystyka ogólna transportu drogowego

    Publikacja

    - Rok 2009

  • Wizja bez programu - gdańska Droga do Wolności

    Publikacja

    - Rok 2005

    W dniach 2-3 sierpnia 2005r. odbyło się w Gdańskim Dworze Artusa Międzynarodowe Seminarium pt. "Europejskie Centrum Solidarności", zorganizowane przez Prezydenta RP Lecha Wałęsę i Prezydenta Miasta Gdańska Pawła Adamowicza. Celem seminarium było zaprezentowanie przez zaproszonych z Europy architektów różnorodnych wizji urbanistyczno - architektonicznych Gdańskiej Drogi do Wolności. Wizje te będą stanowić inspiracje dla organizatorów...

  • Koszary po rewitalizacji - Park Chasse w Bredzie

    Publikacja

    - Rok 2005

    Pojawianie się terenów powojskowych jest bardzo niekorzystne dla struktury miasta. Omawiane obszary dla większości mieszkańców kojarzą się z "zamkniętymi miastami", dostępnymi jedynie dla niewielkiej grupy osób. Tereny te pozostają nadal nieznane wkrótce po zaniku pierwotnej funkcji. Dlatego też bardzo szybko są zagarniane przez nowych autsajderów: złodziei, podpalaczy, bezdomnych, pijaków... W świetle powyższych zjawisk samorządy...

  • Czas na kolej - nowe inwestycje w Holandii

    Publikacja

    - Rok 2005

    Holandia dąży dziś do przejęcia ekonomicznej kontroli nad najbogatszym regionem Europy, przez makroekonomistów zwanym "żółtym bananem". Stworzyła projekt DELTA w oparciu o międzykontynentalne lotnisko Schiphol Amsterdam, sieć międzynarodowych autostrad oraz realizowaną obecnie linię szybkiej kolei międzyregionalnej. W ramach narodowego programu inwestycyjnego, rząd holenderski podjął w roku 1997 decyzję o stworzeniu "Nowych Projektów...

  • Z rozmachem.

    Publikacja

    - Rok 2004

    W dniach 10-11 września br. Urząd Miasta Stołecznego Warszawy - Biuro Strategii Rozwoju i Integracji Europejskiej przy współpracy polskich i europejskich instytucji zorganizował międzynarodową konferencję pt. "Rewitalizacja substancji mieszkaniowej, społecznej i gospodarczej - kreowanie projektów społecznych, kulturalnych i turystycznych w zdegradowanych obszarach miejskich i poprzemysłowych". Omawiano europejskie przykłady pozytywnych...

  • Elektro- i magnetomodulacja dysocjacji ekscytonów w organicznych układach jednoskładnikowych i dwuskładnikowych typu donor elektronu - akceptor elektronu

    Publikacja

    - Rok 2019

    W ramach rozprawy doktorskiej przeprowadzono badania procesu dysocjacji stanów wzbudzenia elektronowego w układach molekularnych jedno- i dwuskładnikowych typu donor elektronu - akceptor elektronu. Do tego celu wykorzystano technikę spektroskopii elektro- i magnetomodulacyjnej wykonując pomiary zarówno fotoprądu, jak i elektromodulowanej fotoluminescencji. Spektroskopia magnetomodulacyjna okazała się skutecznym narzędziem do opisu...

    Pełny tekst do pobrania w portalu

  • LDRAW based positional renders of LEGO bricks

    Dane Badawcze
    open access
    • M. Wysoczańska
    • M. Rutkiewicz
    • K. Mastalerz
    • T. Boiński
    - seria: LEGO - partial

    243 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

    Dane Badawcze

    The 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...

  • Impact of Urbanization on Stormwater Runoff from a Small Urban Catchment: Gdańsk Małomiejska Basin Case Study

    This 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...

    Pełny tekst do pobrania w portalu

  • Introducing concurrent engineering to space and satellite technology undergraduate course

    Publikacja

    - Rok 2018

    In 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,...

    Pełny tekst do pobrania w portalu

  • Architektura przedsiębiorstw handlowych.

    Publikacja

    Opracowanie przedstawia charakterystykę architektury przedsiębiorstw handlowych, tj. opis struktury wewnętrznej oraz rodzaje powiązań z innymi podmiotami rynkowymi. Szczególną uwagę poświęcono przedsiębiorstwom handlu detalicznego oraz ich współpracy z dostawcami (producentami).

  • Patrycja Hanzel mgr

    Osoby

  • A Reputation Scheme to Discourage Selfish QoS Manipulation in Two-Hop Wireless Relay Networks

    Publikacja

    - Rok 2018

    In wireless networks, stations can improve their received quality of service (QoS) by handling packets of source flows with higher priority. Additionally, in cooperative relay networks, the relays can handle transit flows with lower priority. We use game theory to model a two-hop relay network where each of the two involved stations can commit such selfish QoS manipulation. We design and evaluate a reputation-based incentive scheme...

    Pełny tekst do pobrania w portalu

  • Open-Phase Fault Detection Method for Sensorless Five-Phase Induction Motor Drives with an Inverter Output Filter

    The paper presents the sensorless five-phase induction motor drive implementation with an inverter output filter with third harmonic injection. For the sensorless operation, the required observers are presented for the first and third harmonics with consideration of the inverter output filter. Moreover, the interaction of the observers and the control system is capable to handle a deactivation of one or two phases, which improves...

    Pełny tekst do pobrania w portalu

  • Underwater Acoustic Communications in Time-Varying Dispersive Channels

    Publikacja

    Underwater acoustic communication (UAC) system designers tend to transmit as much information as possible, per unit of time, at as low as possible error rate. However, the bit rate achieved in UAC systems is much lower than for wire or radio-communication systems. This is due to disadvantageous properties of the UAC channels, namely the sea and inland waters. Estimation of UAC channel transmission properties is possible within...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Facial emotion recognition using depth data

    Publikacja

    - Rok 2015

    In this paper an original approach is presented for facial expression and emotion recognition based only on depth channel from Microsoft Kinect sensor. The emotional user model contains nine emotions including the neutral one. The proposed recognition algorithm uses local movements detection within the face area in order to recognize actual facial expression. This approach has been validated on Facial Expressions and Emotions Database...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • One-Dimensional Modeling of Flows in Open Channels

    Publikacja

    - Rok 2015

    In this chapter, modeling of the unsteady open channel flow using one-dimensional approach is considered. As this question belongs to the well-known and standard problems of open channel hydraulic engineering, comprehensively presented and described in many books and publications, our attention is focused on some selected aspects only. As far as the numerical solution of the governing equations is considered, one can find out that...

  • Application of OFDM technique to underwater acoustic data transmission

    Publikacja

    Performances of underwater acoustic communication (UAC) digital systems are strongly related to specific transmission properties of the underwater channel. Depending on the characteristics of the channel, an architecture and modulation techniques are usually implemented that are known as reliable solutions for data transmission in difficult radio channels. The OFDM technique seems to be the most promising nowadays. The parameters...

    Pełny tekst do pobrania w portalu

  • New methodology for calculating cost-efficiency of different ways of voting: is internet voting cheaper?

    Publikacja

    - PUBLIC MONEY & MANAGEMENT - Rok 2021

    New ways of voting in elections are being sought by electoral administrations worldwide who want to reverse declining voter turnouts without increasing electoral budgets. This paper presents a novel approach to cost accounting for multi-channel elections based on local elections in Estonia. By doing so, it addresses an important gap in the academic literature in this field. The authors confirm that internet voting was most cost-efficient...

    Pełny tekst do pobrania w portalu

  • Niebezpieczne dla zdrowia. Oocysty w basenach kąpielowych. Część II

    Publikacja

    Zanieczyszczenia pasożytnicze, szczególnie ich formy przetrwalnikowe, stanowią istotny problem dla jakości wody pitnej i rekreacyjnej. Pasożyty Cryptosporidium, występujące w błonie śluzowej jelit, powodują choroby układu pokarmowego u ludzi i zwierząt. Oocysty te są odporne na działanie chloru, jodu i bromu w dawkach stosowanych w procesie uzdatniania wody.

  • Niebezpieczne dla zdrowia. Oocysty w basenach kąpielowych. Część I

    Publikacja

    - Rok 2012

    Wraz z budową nowych basenów kąpielowych i aquaparków wzrasta zużycie wody o jakości wody do picia, a zarazem powraca pytanie o zagrożenie zdrowia. O ile konwencjonalne technologie uzdatniania wody pozwalają na skuteczną dezynfekcję w odniesieniu do bakterii, wirusów i grzybów, to mogą być nieskuteczne względem oocyst pasożytów.

  • TiO2-based photocatalysts in indoor swimming pool air purification

    Publikacja

    - Rok 2011

    Wzrastająca ilość basenów kąpielowych i aquaparków jest obecnie wyzwaniem dla naukowców zajmujących się badaniem i kontrolowaniem powietrza hali basenowej. Mikroorganizmy powstałe w powietrzu hali stanowią ogromne zagrożenie dla zdrowia. Ponadto, w fazie gazowej obecne są także uboczne produkty dezynfekcji (DBP), które mogą mieć szkodliwy wpływ zarówno na kąpiących się, jak i personel. W pracy omówiono potencjalne zagrożenia spowodowane...

  • Chromatograficzne metody rozdzielania związków optycznie czynnych.

    Publikacja

    Praca stanowi przegląd nowoczesnych metod i technik stosowanych w rozdzielaniu związków optycznie czynnych. Omówiono oraz porównano wszystkie typy chiralnych faz stacjonarnych dostępnych w handlu ze szczególnym uwzględnienniem mechanizmów ich działania.

  • XXVIII Wieczór z Ekonomią

    Wydarzenia

    21-11-2019 18:00 - 21-11-2019 19:30

    Gościem prof. Piotra Dominiaka będzie prof. Przemysław Hensel z Wydziału Zarządzania Uniwersytetu Warszawskiego. Tytuł wystąpienia: „Badania replikacyjne w naukach społecznych.” . Miejsce spotkania - sala 110/111 WZiE PG

  • CONNECTIVE, SUBCUTANEOUS AND OTHER SOFT TISSUES, Connective, subcutaneous and other soft tissues of hand - Male, 11 - Tissue image [5270730023435211]

    Dane Badawcze

    This is the histopathological image of CONNECTIVE, SUBCUTANEOUS AND OTHER SOFT TISSUES 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.

  • CONNECTIVE, SUBCUTANEOUS AND OTHER SOFT TISSUES, Connective, subcutaneous and other soft tissues of hand - Male, 11 - Tissue image [5270730023436111]

    Dane Badawcze

    This is the histopathological image of CONNECTIVE, SUBCUTANEOUS AND OTHER SOFT TISSUES 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.

  • Likwidacja suchego doku przy Nabrzeżu Przemysłowym w Porcie Gdańsk

    Publikacja

    W niniejszej pracy przedstawiono problemy techniczne związane z likwidacją dużego obiektu hydrotechnicznego, stanowiącego utrudnienie nawigacyjne w intensywnie eksploatowanym portowym kanale dostępowym w Porcie Gdańsk. Dwukomorowy dok zlokalizowany przy Nabrzeżu Przemysłowym wybudowano w latach 1970-1972. Komory dokowe służyły do budowy żelbetowych, pływających skrzyń falochronowych, na potrzeby budowanego w tym czasie Portu Północnego....

    Pełny tekst do pobrania w portalu

  • Inżynieria jakości dla konsumenta

    W opracowaniu przedstawiono nowy, ważny obszar zastosowań metod inżynierii jakości w różnych dziedzinach działalności gospodarczej. Pokazano możliwości i przykłady zastosowań inżynierii jakości w sferach: projektowania, wytwarzania i handlu produktami działalności człowieka.

  • Stanowisko dydaktyczne do badania procesu osuszania powietrza

    Publikacja

    W artykule zaprezentowano unikalne stanowisko dydaktyczne przeznaczone do prowadzenia badań w zakresie przemian, jakie zachodzą podczas obróbki cieplno - wilgotnościowej powietrza. Przedstawiono budowę i charakterystykę techniczną podstawowych elementów składowych tego stanowiska, a są to: blok nawilżania, blok ogrzewania, blok chłodzenia, a ponadto panel kontrolno - sterujący i panel pomiarowy. W artykule zaprezentowano wyniki...