Search
Filters
total: 1009
-
Catalog
displaying 1000 best results Help
Search results for: model systems
-
Protochlorophyllide in model systems — An approach to in vivo conditions
Publication -
Understanding the interactions between protein stabilizers and the peptide bond through the analysis of the volumetric and compressibility properties for the model systems
PublicationThis work confirms our earlier supposition, that volumetric and acoustic parameters for simple model proposed by us are directly related to stabilizing/destabilizing effect of osmolytes on proteins structure. The apparent molar volumes, V and the apparent molar isentropic compressions, KS,, of glycine and N,N,N –trimethylglycine (betaine) were determined from densities and speed of sound measurements in aqueous solution of N-methylacetamide...
-
Parametrization of Backbone−Electrostatic and Multibody Contributions to the UNRES Force Field for Protein-Structure Prediction from Ab Initio Energy Surfaces of Model Systems
Publication -
Model of Volunteer Based Systems.
PublicationThere are two main approaches to processing tasks requiring high amounts of computational power. One approach is using clusters of mostly identical hardware, placed in dedicated locations. The other approach is outsourcing computing resources from large numbers of volunteers connected to the Internet. This chapter attempts to formulate a mathematical model of the volunteer based approach to distributed computations and apply it...
-
A model of ship propulsion systems operating process.
PublicationArtykuł zawiera opis formalny procesu eksploatacji układów napędowych statków. Model tego procesu został przedstawiony w formie dwuwymiarowego procesu,, którego współrzędnymi są procesy semi-Markowa o skończonych zbiorach stanów. Jeden z tych procesów jest procesem zmian stanów technicznych układów napędowych a drugi „ procesem zmian ich stanów eksploatacyjnych. Zaproponowano także jednowymiarowy model procesu eksploatacji układów...
-
Multiscalar Model Based Control Systems for AC Machines
PublicationContents of the Chapter: Nonlinear transformations and feedback linearization. Models of the squirrel cage induction machine: Vector model of the squirrel cage induction machine. Multiscalar models of the squirrel cage induction machine.Feedback linearization of multiscalar models of the induction motor.Models of the double fed induction machine: Vector model of the double fed induction machine. Multiscalar model of the...
-
The concept of knowledge bases supporting the it systems integration model
PublicationThis paper presents main concepts regarding the design of a knowledge base in order to support IT systems integration. The main goal of the research is to develop a universal method of integration of various systems concerning any possible area of interest. The concept is based on creating a generic mechanism which would support the decision regarding the choice of the integration model. The most important tasks include: key factors...
-
Model predictive controller for integrated wastewater treatment systems.
PublicationSterowanie optymalizujace systemem oczyszczania ścieków (WWTS) pozwala na zmniejszenie kosztów operacyjnych przy jednoczesnym spełnieniu narzuconych ograniczeń na wypływające ścieki, jednak wymaga zaawansowanych technologii sterowania. Sterowanie predykcyjne z modelem (MPC) jest bardzo użyteczną technologią sterowania takimi systemami. MPC doskonale radzi sobie z obecnością ogrniczeń na wielkości wyjściowe, wielowymiarowością problemu...
-
Model-Based Testing of Embedded Systems in the Automotive Domain
PublicationPhD
-
High-Level Model for the Design of KPIs for Smart Cities Systems
PublicationThe main goal of the paper is to build a high-level model for the design of KPIs. Currently, the development and processes of cities have been checked by KPI indicators. The authors realized that there is a limited usability of KPIs for both the users and IT specialists who are preparing them. Another observation was that the process of the implementation of Smart Cities systems is very complicated. Due to this the concept of a...
-
A pore-scale thermo–hydro-mechanical model for particulate systems
PublicationA pore scale numerical method dedicated to the simulation of heat transfer and associated thermo–hydro-mechanical couplings in granular media is described. The proposed thermo–hydro-mechanical approach builds on an existing hydromechanical model that employs the discrete element method for simulating the mechanical behavior of dense sphere packings and combines it with the finite volume method for simulating pore space fluid flow...
-
Model of speed-varing rotor for mechatronic systems analysis and design
PublicationW artykule przedstawiono sposób modelowania złożonych układów mechatronicznych w oparciu o metodę grafów wiązań. Celem zilustrowania metody posłużono się przykładem liczbowym, w którym rozważano wirnik obracający się ze zmienną prędkością kątową. Prezentowana metodyka doskonale nadaje się do modelowania układów o zróżnicowanej naturze fizycznej. Otrzymany model ma charakter obiektu o pewnej liczbie wejść i wyjść, który można w...
-
A Human Behaviour Model Agent for Testing of Voluntary Computing Systems
PublicationPaper presents a design and performance of a voluntary-based distributed computing system testing agent, implementing a human behaviour model. The agent, nicknamed iRobot, was designed and implemented to enable controlled, large scale testing of core algorithms of Comcute - a new voluntary distributed computing platform complementary to BOINC. The main agent design goals were: emulation of human behaviour when browsing web pages,...
-
Rule-Based Model for Selecting Integration Technologies for Smart Cities Systems
PublicationThe aim of this article is to present the stages of development for an information technology integration model for the design of systems for smart cities. The Introduction explains the need for integration technologies and presents a model for selecting integration technologies and the conditions for its use in designing smart cities systems. Then two verification stages of the presented model are discussed. In the first stage,...
-
New propagation model for wireless monitoring systems in the container terminal environment
PublicationW artykule został poddany analizie problem szacowania tłumienia propagacyjnego na obszarze terminala kontenerowego. Została opisana kampania pomiarowa, której rezultatem było opracowanie nowego modelu propagacyjnego dla łącza radiowego pracującego w warunkach LOS i NLOS.
-
Analyzing and improving a mechanistic model for the Microthrix parvicella in activated sludge systems
PublicationW pracy przedstawiono wyniki estymacji parametrów dla mechanistycznego modelu bakterii Microthrix parvicella w systemach osadu czynnego. W tym celu wykorzystano dane z oczyszczalni ścieków w Szwajcarii oraz wyniki dodatkowych badań laboratoryjnych w reaktorze nieprzepływowym. Model właściwie prognozował szybkość poboru tlenu (mierzoną dla różnych substratów) oraz zawartść bakterii Microthrix w biomasie osadu czynnego.
-
Polyarmonic model of synchronous generator for analysis of autonomous power generation systems
PublicationAbstract: This paper presents the polyharmonic modelling of synchronous generator (SG) in machine variables. The simple geometry and windings physical layout has been used for inductance calculations of a salient-pole SG. The main advantage of this model is the ease of describing an autonomous power generation system (APGS) in terms of its topology and thus providing effective analysis at the static and dynamic states, both for...
-
Model-based testing for execution algorithms in the simulation of cyber-physical systems
PublicationThe understanding of simulation semantics of a hybrid system is a challenge for computational engineers as it requires expertise in computer science, engineering, numerical methods, and mathematics at once. The testing methods for the execution of a simulation are being researched but not yet applied on the industrial level. Consequently, the semantics of the simulation becomes a critical artifact in the system development process....
-
Computational Model of Time for Stiff Hybrid Systems Applied to Control Synthesis
PublicationComputational representation.
-
Nonlinear Model of Synchronous Generator for Autonomous Electrical Power Systems Analysis
PublicationThis paper presents the nonlinear lookup table model for synchronous generator (SG) analysis. The saturation effects of the SG magnetic circuit have been considered. The saturated characteristic of the SG magnetic circuit are based on the open circuit saturation curve for magnetizing inductances. The model has been implemented into the Synopsys/Saber software using the MAST modelling language. To implement the no-load voltage characteristic...
-
Quality Model for Integrated Security Monitoring and Control in Water Distribution Systems
PublicationThis article addresses the problem of drinking water distribution system (DWDS) security in the terms of water quality which in the era of terrorist threat is of high importance to the public. The contribution of this paper is the development of the so called security module to extend a multi-species water quality model. This gives an insight to the situation in DWDS not only under normal operational conditions but also in case...
-
Softly Switched Robustly Feasible Model Predictive Control for Nonlinear Network Systems
PublicationIt is common that an efficient constrained plant operation under full range of disturbance inputs require meeting different sets of control objectives. This calls for application of model predictive controllers each of them being best fit into specific operating conditions. It further requires that not only designing robustly feasible model predictive controllers is needed to satisfy the real plant state/output constraints, but...
-
Nonlinear model of a synchronous generator for analysis of more electric aircraft power systems
PublicationA nonlinear model for studying a variable-speed synchronous generator (SG) in more electric aircraft (MEA) power system has been developed. The saturation effects of the SG magnetic circuit have been considered. The model has been implemented in the Synopys/Saber simulation environment. The modelling language MAST has been used to elaborate the SG model. The model exhibit a network with the same number of external terminals/ports...
-
Supervised Model Reference Adaptive Control of Chlorine Residuals in Water Distribution Systems
PublicationControl of integrated quality and quantity in Drinking Water Distribution Systems within recently proposed hierarchical framework is considered in the paper. A supervised nonlinear Indirect Model Reference Adaptive Controller is derived for the lower control level of the control structure to operate as the fast feedback controller of chlorine residuals in the monitored nodes. The major supervisor role is to manage switching between...
-
A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains
PublicationThis chapter provides a taxonomy of Model-Based Testing (MBT) based on the approaches that are presented throughout this book as well as in the related literature. The techniques for testing are categorized using a number of dimensions to familiarize the reader with the terminology used throughout the chapters that follow. In this chapter, after a brief introduction, a general definition of MBT and related work on available MBT...
-
Comparison of the Effectiveness of Health Systems in The European Countries-Two-Stage DEA Model
PublicationThis article compares the efficiency of health systems in selected European countries using two-stage data envelopment analysis (DEA), based on data from the EUROSTAT database. In the first step, DEA efficiency scores were calculated for health care systems and, subsequently, the external variables describing lifestyle were used to calculate the truncated regression. Health care resources (physicians, nurses, hospital beds, financial...
-
Model angular distribution functions in CA3, CA4 and CA6 structural units of glassy systems
PublicationMetodą Monte Carlo wyliczono funkcje rozkładu kątów pomiędzykrawędziami w losowo deformowanych jednostkach strukturalnychCA_3, CA_4 i CA_6, gdzie C oznacza centralny kation,a A - wierzchołkowy anion. Uzyskane dane mogą być wykorzystanejako dane referencyjne do ilościowej oceny stopnia nieporządkuw materiałach symulowanych numerycznie, głównie szkłachtlenkowych. W pracy podano przykłady takiego zastosowania.
-
Hierarchical model predictive control of integrated quality and quantity in drinking water distribution systems
PublicationW artykule zaproponowane zostało zintegrowane podejście do sterowania ilością i jakością w systemach zaopatrzenia i dystrybucji wody. Sterowanie zintegrowane polega na optymalizowaniu kosztów operacyjnych zaspokajając zapotrzebowanie na wodę o wymaganej jakości i spełniając ograniczenia systemu. To zagadnienie sterowania optymalizującego jest zagadnieniem złożonym z powodu nieliniowości, dużego wymiaru, ograniczeń na wyjście, występowania...
-
A mechanistic model for fate and removal of estrogens in biological nutrient removal activated sludge systems
PublicationTwo estrogen fate and transformation models were integrated with a comprehensive activated sludge model (ASM) to predict estrogen removal based on biomass and solids production. Model predictions were evaluated against published full-scale plant data as well as results from a laboratory-scale sequencing batch reactor (SBR) fed synthetic wastewater. The estrogen fate model relating the rate of total estrogen degradation to soluble...
-
Numerical Model of Surface and Quasi-Spherical Sea Noise and Its Application to Analysis of DIFAR Systems
PublicationVarious types of passive sonar systems are used to detect submarines. These activities are complex and demanding. Therefore, computer simulations are most often used at the design stage of these systems. For this reason, it is also necessary to simulate the acoustic ambient noise of the sea. The article proposes a new numerical model of surface and quasi-spherical sea noise and presents its statistical parameters. The results of...
-
Greedy Multipoint Model-Order Reduction Technique for Fast Computation of Scattering Parameters of Electromagnetic Systems
PublicationThis paper attempts to develop a new automated multipoint model-order reduction (MOR) technique, based on matching moments of the system input–output function, which would be suited for fast and accurate computation of scattering parameters for electromagnetic (EM) systems over a wide frequency band. To this end, two questions are addressed. Firstly, the cost of the wideband reduced model generation is optimized by automating a...
-
Optimizing control by robustly feasible model predictive control and application to drinking water distribution systems
PublicationThe paper considers optimizing Model Predictive Control (MPC) for nonlinear plants with output constraints under uncertainties. Although the MPC technology can handle the constraints in the model by solving constraint model based optimization task, satisfying the plant output constraints under the model uncertainty still remains a challenge. The paper proposes Robustly Feasible MPC (RFMPC), which achieves feasibility of the outputs...
-
A ship domain-based model of collision risk for near-miss detection and Collision Alert Systems
PublicationThe paper presents a new model of ship collision risk, which utilises a ship domain concept and the related domain-based collision risk parameters. An encounter is here described by five variables representing: degree of domain violation (DDV), relative speed of the two vessels, combination of the vessels’ courses, arena violations and encounter complexity. As for the first three variables, their values can be directly computed...
-
Optimizing Control by Robustly Feasible Model Predictive Control and Application to Drinking Water Distribution Systems
PublicationThe paper considers optimizing Model Predictive Control (MPC) for nonlinear plants with output constraints under uncertainties. Although the MPC technology can handle the constraints in the model by solving constraint model based optimization task, satisfying the plant output constraints still remains a challenge. The paper proposes Robustly Feasible MPC (RFMPC), which achieves feasibility of the outputs in the controlled plant....
-
Numerical model for thin liquid film with evaporation and condensation on solid surfaces in systems with conjugated heat transfer
PublicationCondensation and evaporation processes from wetted surfaces are of utmost importance in many technological or industrial applications. In many devices such as home-appliances and air conditioning systems just to name a few, condensation and evaporation processes greatly impact their performance and energy efficiency; The physics of these processes is quite complex, involving conjugate heat transfer among solid–liquid film-gaseous...
-
Weighted least squares parameter estimation for model predictive control of integrated wastewater systems at medium time scale.
PublicationW artykule przedstawione zostało sformułowanie i implementacja algorytmu ważonej sumy najmniejszych kwadratów na przesuwnym oknie pomiarowym dla celów estymacji parametrów modelu typu szara skrzynka. Model typu szara skrzynka dynamiki reaktora biologicznego jest wykorzystywany przez moduł sterowania predykcyjnego sterujący zintegrowanym systemem ściekowym w średniej skali czasu. Algorytm estymacji parametrów był walidowany na symulatorze...
-
Model-Driven Testing of Real-Time Embedded Systems - From Object Oriented towards Function Oriented Development
PublicationMBD
-
Four Degree-of-Freedom Hydrodynamic Maneuvering Model of a Small Azipod-Actuated Ship With Application to Onboard Decision Support Systems
PublicationThe main contribution of this paper is a numerical ship motion model of NTNU’s research vessel Gunnerus, capturing the surge, sway, roll, and yaw dynamics when sailing in uniform and steady currents. The model utilizes a crossflow drag formulation for the transverse viscous loads, and it includes a nonlinear formulation for the propulsion and steering loads provided by two azipod thrusters. A wide range of experimental data obtained...
-
Non-linear circuit model of a single doubly-fed induction machine formulated in natural axes for drive systems simulation purposes
PublicationMathematical modelling and a circuit model formulated in natural axes of a single doubly-fed induction machine, with the account of magnetic circuit nonlinearity are presented in the paper. Derivation of the model differential equations was based on Lagrange's energy method. State functions of magnetic elements in the model are non-linear and depend on all currents flowing in the machine windings and on the angle of rotor position....
-
The semi-Markov model of the process of appearance of sea-going ship propupsion system ability and inability states in application to determining the reliablity of these systems
PublicationThe article presents possible application of the theory of semi-Markov processes in creating the eight-state model of the process of appearance of the propulsion systems ability and inability states on sea-going vessels performing transportation tasks in a relatively long operating time t (t → ∞). The model has been proved to be able to be successfully used for determining the reliability of the abovementioned systems. The probability...
-
Set-Bounded joined parameter and state estimation for model predictive control of integrated wastewater treatment plant systems at medium time scale.
PublicationW artykule opisano moduł łącznej estymacji w postaci zbiorów ograniczonych (ang. set-bounded) parametrów i stanu systemu dla potrzeb sterowania predykcyjnego zintegrowanym systemem ściekowym w średniej skali czasu. Jest to jeden ze składowych elementów Inteligentnej Hierarchicznej Struktury Sterowania opracowanej w celu pokonania następujących problemów, które występują w kontrolowanym systemie: różne skale czasowe procesów, silnie...
-
Computer simulation of vibration surveillance of discretely idealised mechanical systems. Part II: Tool-workpiece vibration in a non-stationary model of the cutting process
PublicationPrzedmiotem rozważań jest problem nadzorowania drgań narzędzie-przedmiot obrabiany w procesie skrawania. Dokonano analizy obiektu badań oraz dynamiki skrawania. Utworzono niestacjonarny model obliczeniowy. Przedstawiono różne podejścia oraz przykłady symulacji komputerowych nadzorowania drgań z wykorzystaniem modelu niestacjonarnego. Bazowały one na sterowaniu optymalnym oraz sterowaniu skokową zmiana prędkości obrotowej wrzeciona....
-
Exception handling model influence factors for discributed systems. W: Proceedings. PPAM 2003. Parallel Processing and Applied Mathematics. 5th In- ternational Conference. Częstochowa, 7-10 September 2003.Model obsługi wyjątków uwzględniający wpływ czynników systemu rozproszonego.
PublicationSpecyfikacja programu jest jasno określona w systemach sekwencyjnych, gdzie posiada standardowe i wyjątkowe przejścia. Praca przedstawia rozszerzony model specyfikacji systemu w środowiskach rozproszonych uwzględniający szereg specyficznych czynników. Model zawiera analizę specyfikacji pod kątem obsługi wyjątków dla rozproszonych danych oraz komunikacji międzyprocesorowej. Ogólny model został zaimplementowany w środowisku...
-
International Conference on Model Driven Engineering Languages and Systems
Conferences -
Symposium Model Analysis and Simulation of Computer and Telecommunications Systems
Conferences -
Geoscientific Model Development
Journals -
Model Assisted Statistics and Applications
Journals -
Quality Modeling in Grid and Volunteer-Computing Systems
PublicationA model of computational quality in large-scale computing systems was presented in the previous chapter of this book. This model describes three quality attributes: performance, reliability and energy efficiency. We assumed that all processes in the system are incessantly ready to perform calculations and that communication between the processes occurs immediately. These assumptions are not true for grid and volunteer computing...
-
Towards automating repairs of IT systems
PublicationThis paper presents formal description of working principles of the repair library, being the essential component of the Repair Management Framework (RMF), which aims at automating the process of repairing IT systems, and consists also of the Repair Management Model (RMM) and the Repair Management System (RMS). RMM introduces two mathematical models (model of monitoring and model of repair processes), general enough to cover the...
-
Modal Reduction and Analysis of Gyroscopic Systems
PublicationThe paper introduces the method of the modal reduction of systems that experience the Coriolis acceleration or gyroscopic effect component. In such cases corresponding system equations are non-self-adjoined. To solve the problem modal reduced model is built up for the system without Coriolis acceleration or gyroscopic effect terms. These phenomena are included by application of any lumping technique. Hence, the final reduced model...