Search
Didn't find any results in this catalog!
But we have some results in other catalogs.displaying 1000 best results Help
Search results for: SYSTEM MODELS
-
Uniform Model Interface for Assurance Case Integration with System Models
PublicationAssurance 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...
-
A Hyperdense Semantic Domain for Discontinuous Behavior in Physical System Models
PublicationMultiple 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...
-
Derivation of Executable Test Models From Embedded System Models using Model Driven Architecture Artefacts - Automotive Domain
PublicationThe 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...
-
Concept of fuzzy models for social engieering system.
PublicationW artykule przedstawiono możliwości zastosowania teorii zbiorów rozmytych do modelowania systemów społecznych. Przedstawiono wybrane przykłady modelowania systemów technicznych oraz wskazano na ograniczenia modelowania dla systemów społecznych. Szczegółowo omówiono model zarządzania przedsięwzięciami informatycznymi jako przykład modelowania systemu społeczno technicznego.
-
High accuracy multisensor hydroacoustic system for models of trawl geometry measurements
PublicationW pracy przedstawiono wieloelementowy hydroakustyczny system do pomiaru modeli włoków. System został zaprojektowany dla Akademii Rolniczej w Szczecinie i umożliwia precyzyjny pomiar geometrii projektowanych tam narzędzi połowowych w tym selektywnych worków dorszowych. Zastosowanie małych hydrofonów o wysokiej częstotliwości pracy oraz cyfrowego przetwarzania sygnałów z analizą korelacyjną umożliwiło uzyskanie bardzo dużej dokładności...
-
Models of Brushless Synchronous Generator for Studying Autonomous Electrical Power System
PublicationThis is a PhD dissertation. The work presented in this monograph was carried out at the Department of Power Electronics and Electrical Machines, Faculty of Electrical and Control Engineering at the Gdansk University of Technology. Developed during the research models of brushless synchronous generator ware verified using FEM based simulations and measurements conducted on the prototype generator. The main focus of the research...
-
Chosen aspects of skeletal system modeling: Numerical solid and shell models of femur part
PublicationThe purpose of this paper is to present a new method of femur part modeling by using the finite element method. This method treats a femur part as a system composed of cortical and trabecular bone. For the purpose of determining a proper shape of femur part model there were created three models: a) the first one describes a femur part as a solid structure; b) the second one describes a femur part as a connection of cortical bone...
-
Semi-Markow Processes as Models of Devices´ Operating Process of Ship Pro-pulsion System
PublicationReferat zawiera formalny opis procesu eksploatacji urządzeń.
-
Automated Parameter Determination for Horizontal Curves for the Purposes of Road Safety Models with the Use of the Global Positioning System
PublicationThis paper presents the results of research conducted to develop an automated system capable of determining parameters for horizontal curves. The system presented in this article could calculate the actual course of a road by means of a two-stage positioning of recorded points along the road. In the first stage, measurements were taken with a Real-Time Network (RTN) receiver installed in a research vehicle. In the second stage,...
-
Data-driven models for fault detection using kernel PCA: A water distribution system case study
Publication