Search
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.
-
Method of lines for physiologically structured models with diffusion
PublicationWe deal with a size-structured model with diffusion. Partial differential equations are approximated by a large system of ordinary differential equations. Due to a maximum principle for this approximation method its solutions preserve positivity and boundedness. We formulate theorems on stability of the method of lines and provide suitable numerical experiments.
-
Multi-level models of transport systems for traffic management
PublicationThe region of Pomorskie uses a variety of tools for forecasting and analysing transport. They can be operated, calibrated and updated with data that will be collected and stored in the TRISTAR system. An initiative of the Department of Highway Engineering of the Gdansk University of Technology is designed to develop and implement an integrated and hierarchical system for forecasting and analysing transport called MST (Multilevel...
-
Biomechanical properties of 3D-printed bone models
PublicationBone lesions resulting from large traumas or cancer resections can be successfully treated by directly using synthetic materials or in combination with tissue engineering methods (hybrid). Synthetic or hybrid materials combined with bone tissue’s natural ability for regeneration and biological adaptation to the directions of loading, allow for full recovery of its biological functions. Increasing interest in new production methods...
-
Symbolic multibody models for digital-twin applications
PublicationSymbolic generation of multibody systems equations of motion appeared in the 1980s. In addition to their computational advantage over their numerical counterparts, symbolic models can be very easily and straightforwardly interfaced with a wide range of software environments and hardware devices. These two features place this approach in a pole position to participate and intervene in the design of digital twins for systems such...
-
Integrate-and-fire models with an almost periodic input function
PublicationWe investigate leaky integrate-and-fire models (LIF models for short) driven by Stepanov and μ-almost periodic functions. Special attention is paid to the properties of the firing map and its displacement, which give information about the spiking behavior of the considered system. We provide conditions under which such maps are well-defined and are uniformly continuous. We show that the LIF models with Stepanov almost periodic...
-
From U2TP Models to Executable Tests with TTCN-3
PublicationThe 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)...
-
Comparative analysis of different numerical models of a steel radial gate
PublicationHydrotechnical structures are important components in water management system and general flooding safety. Their reliability should be ensured since potential damage might lead to catastrophic consequences. Weir gates are considered to be highly vulnerable elements of each hydro power plant, with regard to its dynamic resistance. The aim of the paper is to compare different numerical models and their influence on the results of...
-
Multi-objective optimization of expensive electromagnetic simulation models
PublicationVast majority of practical engineering design problems require simultaneous handling of several criteria. For the sake of simplicity and through a priori preference articulation one can turn many design tasks into single-objective problems that can be handled using conventional numerical optimization routines. However, in some situations, acquiring comprehensive knowledge about the system at hand, in particular, about possible...
-
Regularized Local Multivariate Reduced-Order Models With Nonaffine Parameter Dependence
PublicationThis paper addresses a singular problem, not yet discussed in the literature, which occurs when parametric reduced-order models are created using a subspace projection approach with multiple concatenated projection bases. We show that this technique may lead to the appearance of localized artifacts in the frequency characteristics of a system, even when the reduced-order projection basis is rich enough to describe the original...
-
Numerical Issues and Approximated Models for the Diagnosis of Transmission Pipelines
PublicationThe chapter concerns numerical issues encountered when the pipeline flow process is modeled as a discrete-time state-space model. In particular, issues related to computational complexity and computability are discussed, i.e., simulation feasibility which is connected to the notions of singularity and stability of the model. These properties are critical if a diagnostic system is based on a discrete mathematical model of the flow...
-
Testing the impact of simplifications adopted in models describing wave loads on ship
PublicationThe wave-ship system in naval architecture is generally assumed to be a linear one. This allows for the computation of a transfer function of ship response to waves including wave loads on ship. The transfer function and the wave spectral density function enable the development of the stochastic process of wave loads on ship, corresponding to the irregular wave generating that loads. If the mathematical models of wave load transfer...
-
Testing the impact of simplifications adopted in models describing wave loads on ship
PublicationThe wave-ship system in naval architecture is generally assumed to be a linear one. This allows for the computation of a transfer function of ship response to waves including wave loads on ship. The transfer function and the wave spectral density function enable the development of the stochastic process of wave loads on ship, corresponding to the irregular wave generating that loads. If the mathematical models of wave load transfer...
-
Comparative Study of Integer and Non-Integer Order Models of Synchronous Generator
PublicationThis article presents a comparison between integer and non-integer order modelling of a synchronous generator, in the frequency domain as well as in the time domain. The classical integer order model was compared to one containing half -order systems. The half-order systems are represented in a Park d-q axis equivalent circuit as impedances modelled by half-order transmittances. Using a direct method based on the approximation...
-
Reduction of vibrations of steel structure models with Polymeric Bearings - experimental study
PublicationEarthquake-induced ground motions are the most severe and unpredictable threats to the structures all around the world. Therefore, designing earthquake protective systems has become an extremely challenging problem in civil engineering. Base isolation is one of the most popular and widely adopted methods of protecting structures against earthquake forces. The present paper reports the results obtained from the shaking table experimental...
-
Regional quality contests based on business excellence models – Pomeranian case study
PublicationCompetitions based on models of organizational excellence have significant potential. Organizations participating in these initiatives have the chance not only to get marketing benefits, but also gain comprehensive knowledge about their management systems. Moreover, thanks to the structure of models of excellence an organization can plan in detail the improvement activities in its main processes. The aim of the authors is to analyze...
-
CAUSALITY IN MODELS OF THERMAL PROCESSES IN SHIP ENGINE ROOMS WITH THE USE OF BOND GRAPH (BG) METHOD
PublicationWith a single approach to modeling elements of different physical nature, the method of Bond Graph (BG) is particularly well suited for modeling energy systems consisting of mechanical, thermal, electrical and hydraulic elements that operate in the power system engine room. The paper refers to the earlier presented new concept of thermal process modeling using the BG method. The authors own suggestions for determining causality...
-
Type III Responses to Transient Inputs in Hybrid Nonlinear Neuron Models
PublicationExperimental characterization of neuronal dynamics involves recording both of spontaneous activity patterns and of responses to transient and sustained inputs. While much theoretical attention has been devoted to the spontaneous activity of neurons, less is known about the dynamic mechanisms shaping their responses to transient inputs, although these bear significant physiological relevance. Here, we study responses to transient...
-
Efficient knowledge-based optimization of expensive computational models using adaptive response correction
PublicationComputer simulation has become an indispensable tool in engineering design as they allow an accurate evaluation of the system performance. This is critical in order to carry out the design process in a reliable manner without costly prototyping and physical measurements. However, high-fidelity computer simulations are computationally expensive. This turns to be a fundamental bottleneck when it comes to design automation using numerical...
-
Exploring governance among social co-operatives: three models from Poland
PublicationThere has been overly interest regarding social enterprise and social entrepreneurship in theory and practice. In this paper the author introduces the workings of governance of small social enterprises i.e. social co-operatives, acting in most cases for the purpose of work and social integration of the marginalized, at the bottom of the pyramid of socio-economic system. The aim of this paper is to provide insights into under researched...
-
Towards Designing an Innovative Industrial Fan: Developing Regression and Neural Models Based on Remote Mass Measurements
PublicationThis article presents the process of the construction and testing a remote, fully autonomous system for measuring the operational parameters of fans. The measurement results obtained made it possible to create and verify mathematical models using linear regression and neural networks. The process was implemented as part of the first stage of an innovative project. The article presents detailed steps of constructing a system to...
-
Methodology of research on the impact of ITS services on the safety and efficiency of road traffic using transport models
PublicationThe current assessment of the impact of Intelligent Transport System (ITS) services on the level of traffic safety and efficiency is based mainly on expert assessments, statistical surveys or several traffic safety models requiring development. There is no structured, uniform assessment method that would give the opportunity to compare the impact of ITS services and their different configurations. The paper presents the methodology...
-
Application of mechanistic and data-driven models for nitrogen removal in wastewater treatment systems
PublicationIn this dissertation, the application of mechanistic and data-driven models in nitrogen removal systems including nitrification and deammonification processes was evaluated. In particular, the influential parameters on the activity of the Nitrospira activity were assessed using response surface methodology (RSM). Various long-term biomass washout experiments were operated in two parallel sequencing batch reactor (SBR) with a different...
-
Implementation of didactic simulation models in Open Source and SCORM compliant LMS systems.
PublicationModele symulacyjne są cenną pomocą w procesie dydaktycznym. Ich zastosowanie w systemach komputerowego wspomagania nauczania znacząco podnosi ich efektywność oraz pozwala na przeprowadzanie wirtualnych ćwiczeń laboratoryjnych (na przykład podczas nauczania na odległość). Niestety stosowane obecnie systemy LMS (Lerning Management System) nie są zadowalająco przystosowane do obsługi symulacyjnej zawartości dydaktycznej. W artykule...
-
The analysis of the accuracy of spatial models using photogrammetric software: Agisoft Photoscan and Pix4D
PublicationThis article was created as a result of research conducted within the master thesis. The purpose of the measurements was to analyze the accuracy of the positioning of points by computer programs. Selected software was a specialized computer software dedicated to photogrammetric work. For comparative purposes it was decided to use tools with similar functionality. As the basic parameters that affect the results selected the resolution...
-
Environmentally Oriented Models and Methods for the Evaluation of Drug x Drug Interaction Effects
PublicationThis detailed review compares known and widely used methods for drug interaction estimation, some of which now have historical significance. Pharmaceutical application has been noted as far back as several thousand years ago. Relatively late in the 20th century, however, researchers became aware that their fate and metabolism, which still remain a great challenge for environmental analysts and risk assessors. For the patient’s...
-
Mathematical Models of Control Systems of Angular Speed of Steam Turbines for Diagnostic Tests of Automatic and Mechatronic Devices
PublicationAccurate modeling of physical processes of many automatics and mechatronics systems is often necessity. In power system such a process is control of angular velocity of power objects during connection to operation in parallel. This process is extremely dynamic. For this reason response of control system depends from changes of many physical parameters (temperature, pressure and flow of the medium, etc.). Precision modeling influences...
-
Interpretable deep learning approach for classification of breast cancer - a comparative analysis of multiple instance learning models
PublicationBreast cancer is the most frequent female cancer. Its early diagnosis increases the chances of a complete cure for the patient. Suitably designed deep learning algorithms can be an excellent tool for quick screening analysis and support radiologists and oncologists in diagnosing breast cancer.The design of a deep learning-based system for automated breast cancer diagnosis is not easy due to the lack of annotated data, especially...
-
Recent advances in rapid multiobjective optimization of expensive simulation models in microwave and antenna engineering by Pareto front exploration
PublicationPractical engineering design problems are inherently multiobjective, that is, require simultaneous control of several (and often conflicting) criteria. In many situations, genuine multiobjective optimization is required to acquire comprehensive information about the system of interest. The most popular solution techniques are populationbased metaheuristics, however, they are not practical for handling expensive electromagnetic...
-
THE PHASE SHIFTERS INFLUENCE ON THE POWER SYSTEM STABILITY
PublicationThe paper presents the effect of phase shifters as FACTS devices on the possibility of improving the angle stability. Presented results obtained by the dynamic simulation performed on the mathematical model of the three machine system cooperating with the 400 kV network. The generative blocks models include turbine models with their controllers and models of synchronous generators with their excitation systems and voltage regulation....
-
Path integrals formulations leading to propagator evaluation for coupled linear physics in large geometric models
PublicationReformulating linear physics using second kind Fredholm equations is very standard practice. One of the straightforward consequences is that the resulting integrals can be expanded (when the Neumann expansion converges) and probabilized, leading to path statistics and Monte Carlo estimations. An essential feature of these algorithms is that they also allow to estimate propagators for all types of sources, including initial conditions....