Wyniki wyszukiwania dla: handel internetowy - MOST Wiedzy

Wyszukiwarka

Wyniki wyszukiwania dla: handel internetowy

Filtry

wszystkich: 3966
wybranych: 2927

wyczyść wszystkie filtry


Filtry wybranego katalogu

  • Kategoria

  • Rok

  • Opcje

wyczyść Filtry wybranego katalogu niedostępne

Wyniki wyszukiwania dla: handel internetowy

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

    Publikacja

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

    Publikacja

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

    Publikacja

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

    Publikacja
    • D. Wojciechowski

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

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

    Pełny tekst do pobrania w portalu

  • Bilansowanie lokalne w systemie elektroenergetycznym

    Publikacja

    - Rynek Energii - Rok 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Projekt Leonardo da Vinci ''Wirtualne kursy zawodowego języka angielskiego oraz system ich ewaluacji VENOCES''.

    Publikacja

    - Rok 2005

    Project VENOCES ma na celu podniesienie poziomu nauczania języków obcych oraz ułatwienie dostępu do wiedzy specjalistycznej przez stworzenie wirtualnych kursów językowych w dziedzinach istotnych dla wszystkich partnerów stosując nowoczesne technologie multimedialne oraz innowacyjne podejście metodologiczne CLIL (ang. Content and Language Learning Approach). Niewątpliwą innowacją założoną przez twórców projektu będzie zastosowanie,...

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

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

    - Frontiers of Environmental Science & Engineering - Rok 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Detection of dialogue in movie soundtrack for speech intelligibility enhancement

    Publikacja

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

    Pełny tekst do pobrania w serwisie zewnętrznym

  • A walk Around Gdańsk for Physicists

    Publikacja
    • A. Januszajtis

    - PHYSICS IN PERSPECTIVE - Rok 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...

    Pełny tekst do pobrania w portalu

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

    Publikacja

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

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Nowe substancje psychoaktywne CZ. II. SYNTETYCZNE KANNABINOIDY - CHARAKTERYSTYKA, METODY OZNACZANIA I WYZWANIA ANALITYCZNE

    Publikacja

    Do nielegalnego obrotu co roku trafiają nowe związki o działaniu psychoaktywnym. Dostęp do takich substancji nie jest trudny, gdyż są one łatwo dostępne w wielu krajach, głównie w sklepach internetowych. Ponadto, organy ścigania i wymiar sprawiedliwości nie nadążają z wprowadzaniem tych substancji na listy substancji zakazanych przez co ich kontrola jest bardzo utrudniona. Syntetyczne kannabinoidy to grupa związków chemicznych,...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Autentyczność na zajęciach zwiększających kompetencje w użyciu specjalistycznego języka angielskiego

    Publikacja

    - LINGUODIDACTICA - Rok 2017

    Włączenie zasobów i aktywności online do sylabusa tradycyjnego kursu akademickiego wymaga restrukturyzacji programu nauczania w celu osiągnięcia efektu synergii. Rozwój technologii internetowych umożliwił edukatorom przejście od czysto instruktywistycznych praktyk dydaktycznych do zajęć opartych na ideach konstruktywistycznych i konstrukcjonistycznych. Dzięki zmianie paradygmatu nauczanie i uczenie się jest bardziej ukierunkowane...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Nowa metoda oceny szkodliwości hałasu,uwzględniająca psychoakustyczne właściwości słuchu

    Publikacja

    - Rok 2009

    W referacie przedstawiono koncepcję, algorytm oraz wyniki działania Psychoakustycznego Dozymetru Hałasowego (PDH). Opracowana metoda opiera się na wykorzystaniu wiedzy na temat właściwości słuchu dostęp-nej w literaturze oraz na wynikach badań słuchu i hałasu przeprowadzonych w warunkach laboratoryjnych. Stanowi nowe podejście do zagadnienia oceny szkodliwości hałasu. W tym celu zaproponowano nowe wskaźniki oceny skumu-lowanych...

  • Imminent threats analysis and security level evaluation in social networks

    Publikacja

    - Rok 2011

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

  • Prawne aspekty wykorzystania Internetu w procesie kształcenia studentów

    Publikacja

    Zajęcia prowadzone z wykorzystaniem metod i technik kształcenia na odległość nabierają coraz większego znaczenia w związku z rozwojem technologii informacyjno−komunikacyjnych. Pozwalają one na zastosowanie nowych form przekazywania wiedzy oraz komunikacji nauczycieli akademickich i studentów. Pamiętać należy, że przepisy dotyczące usług internetowych nie zostały stworzone z myślą o regulacji e−nauczania. W 2006 roku Ministerstwo...

    Pełny tekst do pobrania w serwisie zewnętrznym

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

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

    Pełny tekst do pobrania w portalu

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

    Publikacja

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

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Analiza możliwości usprawnienia organizacji przewozów kurierskich o zróżnicowanym zasięgu przestrzennym na przykładzie powiatu nidzickiego

    Publikacja

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

    Pełny tekst do pobrania w portalu

  • Wykorzystanie analitycznych narzędzi zarządzania projektami w kształtowaniu procesów logistycznych na przykładzie działalności Lotos Kolej

    Publikacja

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

    Pełny tekst do pobrania w portalu

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

  • Attachment of silica and alumina nanoparticles as studied by QCM

    Publikacja
    • A. Haenel
    • P. Nalaskowski
    • S. Satyavolu & M. Krishnan

    - Rok 2013

    Nanoczą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...

    Pełny tekst do pobrania w serwisie zewnętrznym

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

  • Charakterystyka ogólna transportu drogowego

    Publikacja

    - Rok 2009

  • Analiza lepko sprężysta wirnika promieniowego

    Publikacja

    - Rok 2011

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

    Publikacja

    - Rok 2010

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

    Publikacja

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

    Publikacja

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

    Publikacja

    - Rok 2014

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

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

    Publikacja

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

    Pełny tekst do pobrania w serwisie zewnętrznym

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

    Publikacja

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

    Pełny tekst do pobrania w serwisie zewnętrznym

  • 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