Wyniki wyszukiwania dla: MODEMY

• Uniform Model Interface for Assurance Case Integration with System Models

  Publikacja

  • A. Wardziński
  • P. Jones

  - Rok 2017

  Assurance cases are developed and maintained in parallel with corresponding system models and therefore need to reference each other. Managing the correctness and consistency of interrelated safety argument and system models is essential for system dependability and is a nontrivial task. The model interface presented in this paper enables a uniform process of establishing and managing assurance case references to various types...

  Pełny tekst do pobrania w portalu

• An optimal abstraction model for hardware multithreding in modern processor architectures.

  Publikacja

  • T. Madajczak

  - Rok 2004

  Przegląd technologii implementacji wątków sprzętowych. Propozycja abstrakcji maszyny wirtualnej SIMD (On-Demand Virtual Single Instruction Multiple Data machine) do optymalnego użycia wątków sprzętowych.

• Consensus models: Computational complexity aspects in modern approaches to the list coloring problem

  Publikacja

  • D. Bogdanowicz
  • K. Giaro
  • R. Janczewski

  - THEORETICAL COMPUTER SCIENCE - Rok 2011

  Artykuł poświęcony jest nowym modelom konsensusowego kolorowania grafów. Artykuł zawiera omówienie trzech takich modeli, analizę ich złożoności obliczeniowej oraz wielomianowy algorytm dla częściowych k-drzew, dla tzw. modelu addytywnego.

  Pełny tekst do pobrania w portalu

• Journal of Modern Science

  Czasopisma

  ISSN: 1734-2031 , eISSN: 2391-789X

• Protochlorophyllide and protochlorophyll in model membranes — An influence of hydrophobic side chain moiety

  Publikacja

  • B. Mysliwa-Kurdziel
  • J. Kruk
  • K. Strzałka

  - BIOCHIMICA ET BIOPHYSICA ACTA-BIOMEMBRANES - Rok 2013

  Pełny tekst do pobrania w serwisie zewnętrznym

• Spurious Modes in Model Order Reduction in Variational Problems in Electromagnetics

  Publikacja

  • V. D. L. Rubia
  • D. Young
  • G. Fotyga
  • M. Mrozowski

  - IEEE TRANSACTIONS ON MICROWAVE THEORY AND TECHNIQUES - Rok 2022

  In this work, we address an everlasting issue in 2 model order reduction (MOR) in electromagnetics that has 3 remained unnoticed until now. Contrary to what has been 4 previously done, we identify for the very first time spurious 5 modes in MOR for time-harmonic Maxwell’s equations and 6 propose a methodology to remove their negative influence on the 7 reduced order model (ROM) response. These spurious modes 8 have nonzero resonance...

  Pełny tekst do pobrania w serwisie zewnętrznym

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

  Publikacja

  • J. Zander
  • I. Schieferdecker
  • T. Farkas

  - 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

• Recent advances in traffic optimisation: systematic literature review of modern models, methods and algorithms

  Publikacja

  • A. Rydzewski
  • P. Czarnul

  - IET Intelligent Transport Systems - Rok 2020

  Over the past few decades, the increasing number of vehicles and imperfect road traffic management have been sources of congestion in cities and reasons for deteriorating health of its inhabitants. With the help of computer simulations, transport engineers optimise and improve the capacity of city streets. However, with an enormous number of possible simulation types, it is difficult to grasp valuable, innovative solutions which...

  Pełny tekst do pobrania w serwisie zewnętrznym

• Integracja modeli ocenowych rozwoju organizacji IT w modelu pozyskiwania i przetwarzania wiedzy

  Publikacja

  • C. Orłowski
  • T. Sitek

  - Rok 2011

  Celem rozdziału jest prezentacja Modelu Pozyskiwania i Przetwarzania wiedzy (MPPW) wspomagającego rozwój organizacji IT oraz pokazanie możliwości wprowadzenia do opracowanego rozwiązania różnych modeli ocenowych.

• Hybrid of Neural Networks and Hidden Markov Models as a modern approach to speech recognition systems

  Publikacja

  • P. Sokólski
  • T. A. Rutkowski

  - Pomiary Automatyka Robotyka - Rok 2013

  The aim of this paper is to present a hybrid algorithm that combines the advantages ofartificial neural networks and hidden Markov models in speech recognition for control purpos-es. The scope of the paper includes review of currently used solutions, description and analysis of implementation of selected artificial neural network (NN) structures and hidden Markov mod-els (HMM). The main part of the paper consists of a description...

  Pełny tekst do pobrania w portalu