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 -
Data-driven models for fault detection using kernel pca:a water distribution system case study
PublicationKernel Principal Component Analysis (KPCA), an example of machine learning, can be considered a non-linear extension of the PCA method. While various applications of KPCA are known, this paper explores the possibility to use it for building a data-driven model of a non-linear system-the water distribution system of the Chojnice town (Poland). This model is utilised for fault detection with the emphasis on water leakage detection....
-
Bridging the gap between business process models and use-case models
PublicationToday's software development methodologies are equipped with a plethora of methods and techniques for business process engineering and Requirements Engineering. However, heavy investments in IT have not brought forth expected results. What seems to be lacking is a systematic approach that consolidates both disciplines to gain a synergistic effect. To address this challenge we extend Use-Case Driven Approach (UCDA) by binding use...
-
Active shape models in practice
PublicationAutorzy wykonali uniwersalny system lokalizacji obiektów zawierający implementację aktywnych modeli kształtu, a przeprowadzone z użyciem tego systemu eksperymenty wykazały powżne wady badanej metody. W pracy przedstawiono zaobserwowane w praktyce problemy związane ze stosowaniem metody aktywnych modeli kształtu (ASM).
-
Models of Information Systems Integration in CompaniesW : Information Systems Architecture and Technology : IT Models in Management Process
PublicationThis work indicates the need for supporting IT organizations with incident and change management IT tools. The work presents tche characteristics of a computer system for the comprehensive management of projects, wich can be used to resolve the issues of version management, releases and incidents.
-
Simple SIR models with Markovian control
PublicationWe consider a random dynamical system, where the deterministic dynamics are driven by a finite-state space Markov chain. We provide a comprehensive introduction to the required mathematical apparatus and then turn to a special focus on the susceptible-infected-recovered epidemiological model with random steering. Through simulations we visualize the behaviour of the system and the effect of the high-frequency limit of the driving...
-
Mathematical Models in Design Process of Ship Bow Thrusters
PublicationThe paper describes an application of simulation models for computer-aided design of ship bow thrusters. Generation of simulation models of ship bow thruster requires development and verifying of mathematical models of system component elements. Using the results of simulation the expert system is able to determine, that the rules of classification societies are met. Design procedures and mathematical models are part of an expert...
-
Mathematical Models in Design Process of Ship Bow Thrusters
PublicationThe presentation is about an application of simulation models for computer-aided design of ship bow thrusters. Generation of simulation models of ship bow thruster requires development and verifying of mathematical models of system component elements. Using the results of simulation the expert system is able to determine, that the rules of classification societies are met. Design procedures and mathematical models are part of an...
-
Hybrid, Approximate Models of Distributed-Parameter Systems
PublicationThe paper introduces the method of distributed-parameter systems modelling. It enables to obtain low order modal model of the system that experiences Coriolis acceleration component and gyroscopic effect. In such cases, corresponding system equations are non-self-adjoined. To solve this problem modal reduced model is built up for the system without Coriolis acceleration or gyroscopic effect terms. These phenomena are next included...
-
Enhancing rheological muscle models with stochastic processes
PublicationPurpose: Biological musculoskeletal systems operate under variable conditions. Muscle stiffness, activation signals, and loads change during each movement. The presence of noise and different harmonic components in force production significantly influences the behaviour of the muscular system. Therefore, it is essential to consider these factors in numerical simulations. Methods: This study aims to develop a rheological mathematical...
-
Trust Models for Community- Aware Identity Managment. [....]
PublicationArtykuł przedstawia możliwości budowania zaufania pomiędzy członkami społecznych sieci współpracujacych w Internecie. Przedstawiono system informatyczne wykorzystującyna współczesą wiedzę z zakresu psychologi społecznej, umozliwiajacy tworzenie sieci społecznych w internecie.