Wyniki wyszukiwania dla: MODELE KOMPARTMENTOWE

• 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

• Aktywne modele kształtu i ich biometryczne zastosowania = Active shape models and their biometric applications

  Publikacja

  • W. Malina
  • M. Smiatacz

  - Rok 2005

  Aktywne modele kształtu zostały zaproponowane w latach 90 XX wieku jako uniwersalna metoda lokalizowania i rozpoznawania obiektów. Koncepcje teoretyczne, na których metoda ta została oparta, wydają się obiecujące, jednak ich praktyczna wartość nie została jeszcze do końca zweryfikowana. Autorzy niniejszej pracy przeprowadzili testy aktywnych modeli kształtu za pomocą własnego systemu lokalizacji obiektów, szczególną uwagę zwracając...

• 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

• Sensitivity of binomial N‐mixture models to overdispersion: The importance of assessing model fit

  Publikacja

  • J. Knape
  • D. Arlt
  • F. Barraquand
  • Å. Berg
  • M. Chevalier
  • T. Pärt
  • A. Ruete
  • M. Żmihorski

  - Methods in Ecology and Evolution - Rok 2018

  Pełny tekst do pobrania w serwisie zewnętrznym

• The role and concept of sub-models in the smart fuzzy model of the internet mortgage market

  Publikacja

  • A. Orłowski
  • E. Szczerbicki

  - LECTURE NOTES IN COMPUTER SCIENCE - Rok 2011

  The paper introduces some challenges of the fast growing mortgage market in Poland. One of these challenges is the need for a model development that could be used for various predictions related to this market. At the current stage of the model evelopment process our main goal is to propose and introduce sub-models the role of which would be to describe three different economic environments: stable, fast growing, and recession....

• A compact smart sensor based on a neural classifier for objects modeled by Beaunier's model

  Publikacja

  • Z. Czaja
  • M. Kowalewski

  - Przegląd Elektrotechniczny - Rok 2017

  A new solution of a smart microcontroller sensor based on a simple direct sensor-microcontroller interface for technical objects modeled by two-terminal networks and by the Beaunier’s model of anticorrosion coating is proposed. The tested object is stimulated by a square pulse and its time voltage response is sampled four times by the internal ADC of microcontroller. A neural classifier based on measurement data classifies the...

  Pełny tekst do pobrania w portalu

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

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

• Finite Element model updating on experimental modal parameters

  Publikacja

  • M. Hirsz

  - Rok 2008

• Modeles linguistiques

  Czasopisma

  ISSN: 0249-6267