Search results for: HANDEL ELEKTRONICZNY - Bridge of Knowledge

Search

Search results for: HANDEL ELEKTRONICZNY

Filters

total: 4101
filtered: 2989

clear all filters


Chosen catalog filters

  • Category

  • Year

  • Options

clear Chosen catalog filters disabled

Search results for: HANDEL ELEKTRONICZNY

  • Badania eksperymentalne i numeryczne zachowania się zbiorników stalowych poddanych wstrząsom górniczym i sejsmicznym

    Publication

    - Year 2023

    W niniejszej dysertacji opisano wyniki kompleksowych badań zachowania się zbiorników stalowych poddanych wstrząsom górniczym i umiarkowanym trzęsieniom ziemi. Badania prowadzono dla dwóch zbiorników rzeczywistych zlokalizowanych na terenie Polski. W pierwszym etapie badań przeprowadzono badania eksperymentalne na specjalnym stanowisku laboratoryjnym dla modeli doświadczalnych zbiorników. Badania prowadzono dla różnego poziomu wypełnienia...

    Full text available to download

  • Inwestycje kolejowe w świetle polskiego prawa

    Publication

    - Year 2007

    Przeprowadzona analiza aktów prawnych daje mocno zagmatwany obraz stanu, w jakim muszą się poruszać podmioty przystępujące do inwestycji na terenach kolejowych i w ich sąsiedztwie. Dotychczas nie istnieje w Polsce czysty, zhierarchizowany układ dokumentów planistycznych od najwyższego do najniższego rzędu, mający bezpośrednie przełożenie na decyzje lokalizacyjne dla inwestycji ponadlokalnych lub na ochronę rezerw komunikacyjnych...

  • Nowoczesne podejście do usprawnienia systemu transportu ładunków na przykładzie działalności Zarządu Transportu w Londynie

    Przedstawiono ocenę wybranych narzędzi stosowanych przez Zarząd Transportu w Londynie (TfL) w celu poprawy jakości systemu transportu ładunków. Rozwiązania wybrano z uwagi na ich innowacyjność w zakresie dwóch podstawowych problemów: współpracy pomiędzy uczestnikami łańcucha dostaw oraz uzyskania niezbędnych informacji o charakterze przewozów realizowanych w mieście. Przeprowadzona ocena pozwala na stwierdzenie, że poprawa efektywności...

    Full text available to download

  • Relevance of Urban Freight Transport Modelling Towards the Challenges of Urban Freight Policy

    Publication

    - Year 2017

    The main objective of this paper is to investigate how recent trends in urban freight transport analysis and modelling are related to urban freight measures set out in Gdynia’s 2016 Sustainable Urban Mobility Plan. Building on the literature a review framework was defined including 1) stakeholders, 2) descriptors, 3) objectives and 4) solution approach applied in freight modelling efforts. It was clear that the implementation...

    Full text to download in external service

  • Metoda prognozowania mocy skrawania przy przecinaniu piłami polskiego drewna sosnowego z uwzględnieniem wiązkości materiału obrabianego

    Publication

    - Year 2016

    W pracy zostały przedstawione wartości właściwości materiałowych tj.: wiązkość R oraz naprężenia tnące w strefie skrawania τy, dla drewna sosnowego (Pinus sylvestris L.). Badane próbki drewna pochodziły z czterech Krain Przyrodniczo - Leśnych Polski: Bałtyckiej Krainy Przyrodniczo - Leśnej (kraina A), Karpackiej Krainy Przyrodniczo - Leśnej (kraina B), Małopolskiej Krainy Przyrodniczo - Leśnej (kraina C) oraz Wielkopolsko - Pomorskiej...

    Full text to download in external service

  • Urban Freight Transport Demand Modelling and Data Availability Constraints

    Publication

    - Year 2018

    The paper provides a review of urban freight transport demand modelling approaches confronted with constrains regarding adequate data provision from a perspective of the local authorities. Demand estimation models has been selected as a reference because they are the most representative in terms of inclusion of urban freight indicators which can be transformed into a decision-support tool for evaluation of freight measures. The...

    Full text to download in external service

  • A Method for the Evaluation of Urban Freight Transport Models as a Tool for Improving the Delivery of Sustainable Urban Transport Policy

    Publication

    The article presents a method which helps local authorities to evaluate urban freight transport models. Given the complex requirements for input data and the inability to supply them for most cities, a proper quantitative evaluation of model functionality may be quite difficult for local authorities. Freight transport models designed to support sustainable urban freight transport objectives are a particular example. To overcome...

    Full text available to download

  • Metoda wspomagająca wybór modelu transportu ładunków przez samorząd lokalny

    Publication

    - Year 2019

    Celem monografii było opracowanie metody wspomagającej wybór modelu transportu ładunków, uwzględniającej wymagania zarządzania tym rodzajem transportu oraz operacyjne uwarunkowania wykorzystania modeli przez samorząd lokalny. Przyjęty cel wynika ze zidentyfikowanych luk badawczych związanych z wykorzystaniem modeli miejskiego transportu ładunków przez samorząd lokalny. Dotyczą one niedostatecznej umiejętności wyodrębnienia transportu...

    Full text to download in external service

  • NEW CONCEPT OF HYBRID PROPULSION WITH HYDROSTATIC GEAR FOR INLAND WATER TRANSPORT

    Publication

    The article presents the development of author’s concept of a diesel/hydraulic propulsion system for inland watercraft. Due to specific nature of vessel navigation on rivers, classical propulsion systems with shaft lines can be effectively replaced by systems with hydraulic power transmission. A solution is also presented of a hybrid design with extra electric port having the form of a pumping system driven from a battery of accumulators....

    Full text available to download

  • Genetic Algorithm Approach for Gains Selection of Induction Machine Extended Speed Observer

    Publication

    - ENERGIES - Year 2020

    The subject of this paper is gains selection of an extended induction machine speed observer. A high number of gains makes manual gains selection difficult and due to nonlinear equations of the observer, well-known methods of gains selection for linear systems cannot be applied. A method based on genetic algorithms has been proposed instead. Such an approach requires multiple fitness function calls; therefore, using a quality index...

    Full text available to download

  • Analiza właściwości rozszerzonego obserwatora prędkości maszyny indukcyjnej

    Publication

    - Year 2016

    Rozszerzony obserwator prędkości został zaproponowany przez prof. Krzemińskiego i jest oparty na rozszerzonym modelu maszyny indukcyjnej, gdzie wprowadzona został nowa zmienna ζ. Jest to nowe podejście do estymacji zmiennych stanu maszyny indukcyjnej i nie wszystkie problemy zostały do tej pory rozwiązane. Zaproponowano wykorzystanie algorytmów ewolucyjnych do doboru wzmocnień obserwatora. W celu redukcji nakładów obliczeniowych...

    Full text to download in external service

  • Ferrovie ad alta velocita in Polonia

    Publication

    - Year 2005

    Tranzytowe położenie Polski jest jej atutem. Do roku 2013 ma powstać sieć zmodernizowanych linii kolejowych przystosowanych do dużych prędkości. Połączą one kraj z silnymi ekonomicznie regionami starej Unii Europejskiej oraz z wielkimi rynkami zbytu w krajach byłego Związku Radzieckiego. Przy okazji przebudowy samych tras zamierza się przebudować ważniejsze dworce strategiczne: Gdynię Główną Osobową, Warszawę Centralną, Warszawę...

  • Architektoniczne hity XXI wieku - ankieta "ARCHITEKTURA - murator''

    Publication

    - Year 2005

    Współczesny dworzec obsługujący pociągi dużych prędkości to nowa jakość w kształtowaniu miasta. Jest to węzeł przesiadkowy, bardziej przypominający elitarne terminale lotnicze niż dworce kolejowe dla ubogich. Nowym węzłem na mapie szybkich kolei jest Arnhem. W 1994r. przystąpiono do prac projektowych nad przebudową istniejącego dworca. Celem projektu UN Studio Van Berkel & Bos jest osiągnięcie bezpiecznych i czytelnych przestrzeni...

  • Przebudowa obszarów kolejowych jako ważny element rewitalizacji obszarów śródmiejskich

    Publication

    - Year 2005

    Od lat osiemdziesiątych rozpoczęła się wielka kampania reklamowa kolei państwowych w poszczególnych krajach Europy Zachodniej. Upadający, tradycyjny przemysł opuszcza tereny przylegające do obszarów kolejowych. Dziewiętnastowieczne dworce kolejowe, łączące w sobie obsługę ruchu pasażerskiego i towarowego, stają się technologicznie przestarzałe. Na ich miejscu powstają nowoczesne terminale pasażerskie. Rejony dworców mogą połączyć...

  • Rewitalizacja Młodego Miasta w świetle zapisów planów miejscowych

    Publication

    - Year 2005

    W dniu 30 września 2004r. uchwalono miejscowe plany zagospodarowania przestrzennego "Gdańsk Nowe Miasto Północ" i "Gdańsk Nowe Miasto - Stocznia, Plac Solidarności". Plany te są podstawą prawną do rozpoczęcia przekształceń terenów poprzemysłowych Stoczni Gdańskiej na nowe funkcje śródmiejskie. W artykule omówiono wady i zalety ustaleń powyższych planów dla przyszłego wizerunku Młodego Miasta.

  • Sterowanie przekształtnikiem sieciowym z predykcją siły elektromotorycznej

    Publication
    • D. Wojciechowski

    - Year 2005

    Praca zawiera propozycję układu sterowania przkształtnikiem sieciowym z funkcją filtru aktywnego bez pomiaru napięcia sieci. W układzie sterowania zaproponowano precyzyjny algorytm estymacji i predykcji zastępczej siły elektromotorycznej oraz zastosowano predykcyjny regulator prądu oparty na modelu obiektu. W pracy przedstawiono analizę obszaru pracy przekształtnika, analizę strategii sterowania przkształtnikiem oraz algorytm i...

  • An Integrated Approach to an Assessment of Bottlenecks for Navigation on Riverine Waterways

    Publication
    • M. Schoeneich
    • M. Habel
    • D. Szatten
    • D. Absalon
    • J. Montewka

    - Water - Year 2023

    Water transport, both sea and inland, is the cheapest, least invasive, and safest option for non-standard loads; hence, it is important to increase the percentage share of inland waterway transport on the rivers of Central and Eastern Europe. Transporting cargo is particularly difficult on shallow waterways because rivers overloaded with sediment determine the vertical parameters on inland waterways. A ship’s safe manoeuvrability...

    Full text available to download

  • Measurement of Coherence Bandwidth in UHF Radio Channels for Narrowband Networks

    This paper presents results of investigation on the coherence bandwidth of narrowband radio channels in 430MHz band. The coherence bandwidth values were estimated froma power delay profile obtained by recording CDMA2000 forward channel signals during real-fieldmeasurements in various environments:mediumcity, flat terrain, and hilly terrain in northern Poland.The results of measurements are compared with characteristic parameters...

    Full text available to download

  • Bilansowanie lokalne w systemie elektroenergetycznym

    Publication

    - Rynek Energii - Year 2023

    Wprowadzenie rozliczeń rynkowych w handlu energią elektryczną wymusiło nowe podejście do krótkookresowego bilansowania energii w systemie elektroenergetycznym. Dla sprawnego funkcjonowania handlu energią, konieczne było wprowadzenie Rynku Bilansującego, łączącego realizację zadań technicznych i handlowych. Obecnie bilansowanie systemu rozwiązywane jest ogólnosystemowo. Decentralizacja procesu wytwarzania energii, rozwój niespokojnych...

    Full text to download in external service

  • PRZEDPŁATOWE LICZNIKI ENERGII ELEKTRYCZNEJ

    Do rozliczania pieniężnego między konsumentem, będącym odbiorcą energii elektrycznej i zakładem energetycznym dostarczającym energię elektryczną, wykorzystywane są urządzenia pomiarowe zwane licznikami. W artykule przedstawiono genezę i konstrukcję liczników przedpłatowych, wyposażonych w skarbonkę na monety lub żetony. Wykorzystanie takiego licznika polegało na umożliwieniu pobrania określonej ilości energii elektrycznej, odpowiadającej...

    Full text available to download

  • Property-performance relationship of core-shell structured black TiO2 photocatalyst for environmental remediation

    Publication
    • S. Haider
    • R. Nawaz
    • M. Anjum
    • T. Haneef
    • V. K. Oad
    • S. Uddinkhan
    • R. Khan
    • M. Aqif

    - Frontiers of Environmental Science & Engineering - Year 2023

    Understanding the relationship between the properties and performance of black titanium dioxide with core-shell structure (CSBT) for environmental remediation is crucial for improving its prospects in practical applications. In this study, CSBT was synthesized using a glycerol-assisted sol-gel approach. The effect of different water-to-glycerol ratios (W:G = 1:0, 9:1, 2:1, and 1:1) on the semiconducting and physicochemical properties...

    Full text to download in external service

  • Detection of dialogue in movie soundtrack for speech intelligibility enhancement

    Publication

    - Year 2014

    A method for detecting dialogue in 5.1 movie soundtrack based on interchannel spectral disparity is presented. The front channel signals (left, right, center) are analyzed in the frequency domain. The selected partials in the center channel signal, which yield high disparity with left and right channels, are detected as dialogue. Subsequently, the dialogue frequency components are boosted to achieve increased dialogue intelligibility....

    Full text to download in external service

  • A walk Around Gdańsk for Physicists

    Publication
    • A. Januszajtis

    - PHYSICS IN PERSPECTIVE - Year 2011

    I provide a guide to Gdańsk (Danzig) and some of its suburbs, focusing on sites of particular interest to physicists. These include the Town Hall with the old Gdańsk standards of length at its entrance, the solar dial of 1588 on its corner, and its bell tower; the Naturalists Society; the medieval harbor crane; the medieval astronomical clock in St. Mary's Church; the late nineteenth-century lighthouse and time ball; and sites...

    Full text available to download

  • GDAŃSK UNIVERSITY OF TECHNOLOGY - A CONTINUATOR OF THE LVIV SCHOOL OF ARCHITECTS' EDUCATION ON THE EXAMPLE OF DESCRIPTIVE GEOMETRY TEACHING

    Publication

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

    Full text to download in external service

  • A Circular Waveguide Dual-Mode Filter With Improved Out-of-Band Performance for Satellite Communication Systems

    Publication

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

    Full text available to download

  • Model jakości bibliotek cyfrowych

    Biblioteki cyfrowe zyskują z dnia na dzień coraz większą popularność, zarówno wśród osób poszukujących, jak i udostępniających informację. Twórcy bibliotek cyfrowych, mają do zaoferowania użytkownikom coraz to bardziej zaawansowane narzędzia przeznaczone do tworzenia, przeglądania i wyszukiwania dokumentów elektronicznych. Na przestrzeni ostatnich lat ustalony został kanon podstawowych funkcji, które powinna spełniać każda biblioteka...

  • Studia podyplomowe dla nauczycieli przez Internet na przykładzie Gdańska i Warszawy

    Publication

    - Year 2003

    W artykule przedstawiono studia podyplomowe dla nauczycieli przez Internet realizowane przez Politechnikę Gdańską w ramach współpracy Wydziału Elektroniki, Telekomunikacji i Informatyki oraz Centrum Edukacji Niestacjonarnej. Zaproponowano model kształcenia zintegrowanego, który pozwala na lepsze wykorzystanie materiałów pomocniczych (biblioteki zasobów, linki, testy kontrolne, przykładowe prace dyplomowe z lat poprzednich) oraz...

  • A prediction of the fault-induced instability of circuit under test as a new approach in categorisation of faults.

    Publication

    - Year 2004

    W artykule przedstawiono nowy sposób kategoryzacji uszkodzeń w analogowych układach elektronicznych. Zaproponowano kryterium oparte na predykcji niestabilności indukowanej przez uszkodzenie w testowanym układzie. Przyjeto, że granicą pomiędzy uszkodzeniem miękkim i katastroficznym jest najmniejsza odchyłka parametru elementu, która sprowadza układ testowany do granicy stabilności. Wzrost wartości odchyłki poza wyznaczony margines...

  • Zastosowanie Internetu w małej firmie

    Publication

    - Year 2005

    Znaczenie sektora małych i średnich przedsiębiorstw (MSP) rosło w okresie transformacji polskiej gospodarki i od lat utrzymuje się na tym samym, wysokim, poziomie. Niemniej zaobserwowano wysoką śmiertelność firm w tym sektorze. Możliwości przetrwania, rozwoju, czy sprostania konkurencji związane są, między innymi, z wykorzystaniem technologii informacyjnych i/ lub Internetu w prowadzeniu działalności. Z prezentowanych wyników...

  • The influence of core material on strength properties of hybrid sandwich panels

    Publication

    - Year 2014

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

    Full text to download in external service

  • OCENA PROJEKTU KONCEPCYJNEGO PRZEBUDOWY DWORCA PKP WARSZAWA ŚRÓDMIEŚCIE (Konsorcjum TB.INVEST & ALLPLAN, listopad 2013)

    Publication

    - Year 2014

    Ocena 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

    Publication

    - Year 2014

    Ocena 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)

    Publication

    - Year 2014

    Ocena funkcjonalno-przestrzenna koncepcji estetyzacji dworca Warszawa Centralna w Warszawie, wykonanej przez Sud Architekt Polska Sp. z o.o., luty 2014

  • Reactions of methyl radicals with silica supported silver nanoparticles in aqueous solutions

    Publication

    - RADIATION PHYSICS AND CHEMISTRY - Year 2016

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

    Full text to download in external service

  • Derivation of Executable Test Models From Embedded System Models using Model Driven Architecture Artefacts - Automotive Domain

    Publication

    - Year 2006

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

    Full text to download in external service

  • A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains

    Publication

    - Year 2012

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

    Full text to download in external service

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

    Publication

    - Year 2013

    cps

    Full text to download in external service

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

    Publication

    - Year 2009

    PhD

    Full text to download in external service

  • Three-dimensional conceptual model for service-oriented simulation

    Publication

    - Journal of Zhejiang University-SCIENCE A - Year 2009

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

    Full text to download in external service

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

    Publication

    - Year 2007

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

    Full text to download in external service

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

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

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

    Full text to download in external service

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

    Publication

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

    Full text to download in external service

  • Quality of Test Specification by Application of Patterns

    Publication

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

    Full text to download in external service

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

    Publication

    - Year 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

    Publication

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

    Full text to download in external service

  • Grand Challenges on the Theory of Modeling and Simulation

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

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

    Full text to download in external service

  • Test Design Patterns for Embedded Systems,

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

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

    Full text to download in external service

  • Systematic Test Data Generation for Embedded Software

    Publication

    - Year 2008

    Systematic Test Data Generation for Embedded Software

    Full text to download in external service

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

    Publication

    - Year 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

    Publication

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

    Full text to download in external service