This paper describes behaviour and implementation of light signalization in urban traffic simulator JUTS. Traffic lights are necessary part of urban traffic network and they allow using JUTS in experiments dealing with impact of time plans to traffic situation.
{"title":"Implementation of Traffic Lights in JUTS","authors":"Richard Lipka, P. Herout","doi":"10.1109/UKSIM.2008.53","DOIUrl":"https://doi.org/10.1109/UKSIM.2008.53","url":null,"abstract":"This paper describes behaviour and implementation of light signalization in urban traffic simulator JUTS. Traffic lights are necessary part of urban traffic network and they allow using JUTS in experiments dealing with impact of time plans to traffic situation.","PeriodicalId":22356,"journal":{"name":"Tenth International Conference on Computer Modeling and Simulation (uksim 2008)","volume":"26 1","pages":"422-427"},"PeriodicalIF":0.0,"publicationDate":"2008-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87305081","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We evaluate the performance of a number of action-selection methods on the multi-armed bandit problem with covariates. We resort to simulations because our primary concern is the speed with which the different methods identify the optimal policy, and not their asymptotic behaviour. The experimental results show that the performance of the ε-greedy methods is robust, while the interval estimation strategies achieve the fastest learning of the optimal policy. We propose a metric to quantify the difficulty of a multi-armed bandit problem with covariates and show that there is a trade-off between the satisfaction of the different performance measures.
{"title":"Simulation Studies of Multi-armed Bandits with Covariates (Invited Paper)","authors":"N. Pavlidis, D. Tasoulis, D. Hand","doi":"10.1109/UKSIM.2008.86","DOIUrl":"https://doi.org/10.1109/UKSIM.2008.86","url":null,"abstract":"We evaluate the performance of a number of action-selection methods on the multi-armed bandit problem with covariates. We resort to simulations because our primary concern is the speed with which the different methods identify the optimal policy, and not their asymptotic behaviour. The experimental results show that the performance of the ε-greedy methods is robust, while the interval estimation strategies achieve the fastest learning of the optimal policy. We propose a metric to quantify the difficulty of a multi-armed bandit problem with covariates and show that there is a trade-off between the satisfaction of the different performance measures.","PeriodicalId":22356,"journal":{"name":"Tenth International Conference on Computer Modeling and Simulation (uksim 2008)","volume":"38 1","pages":"493-498"},"PeriodicalIF":0.0,"publicationDate":"2008-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90561023","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
This paper covers the effects of parallel resonance in the Electrical Network due to Power Factor correction (PFC)/VAR compensation. Parallel Resonance can make entire electrical network unstable as THD (voltage) may rise upto 26% of fundamental (which is nearly seven to eight times of THD produced by the harmonic source) resulting in highly distorted Electrical wave. This will result in misfiring in UPS, Variable Frequency Drives, and Battery Charges. The Protection system may mal-operate due to resonance. The losses in various electrical equipments will increase, which will result in heating and ultimately premature failure of equipments. A typical Electrical network was modeled in EDSA (Electrical design software) and parallel resonance condition was simulated to analyze the effect of resonance on following:• THD on various busses in the electrical network • Impedance response with/without the PFC • Distortion of waveform at various buses • Corrective measures to avoid resonance due to PFC
{"title":"Simulation of Parallel Resonance Condition in Electrical Network Using EDSA","authors":"K. Wadhwani","doi":"10.1109/UKSIM.2008.134","DOIUrl":"https://doi.org/10.1109/UKSIM.2008.134","url":null,"abstract":"This paper covers the effects of parallel resonance in the Electrical Network due to Power Factor correction (PFC)/VAR compensation. Parallel Resonance can make entire electrical network unstable as THD (voltage) may rise upto 26% of fundamental (which is nearly seven to eight times of THD produced by the harmonic source) resulting in highly distorted Electrical wave. This will result in misfiring in UPS, Variable Frequency Drives, and Battery Charges. The Protection system may mal-operate due to resonance. The losses in various electrical equipments will increase, which will result in heating and ultimately premature failure of equipments. A typical Electrical network was modeled in EDSA (Electrical design software) and parallel resonance condition was simulated to analyze the effect of resonance on following:• THD on various busses in the electrical network • Impedance response with/without the PFC • Distortion of waveform at various buses • Corrective measures to avoid resonance due to PFC","PeriodicalId":22356,"journal":{"name":"Tenth International Conference on Computer Modeling and Simulation (uksim 2008)","volume":"18 1","pages":"708-713"},"PeriodicalIF":0.0,"publicationDate":"2008-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75064300","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In this article we present the new numerical algorithm GEOMS for the numerical integration of the most general form of the equations of motion of multibody systems, including nonholonomic constraints and possible redundancies in the constraints, as they may appear in industrial applications. Besides the numerical integration, the algorithm offers some additional features like stabilization of the model quations, use of different decomposition strategies, or checking and correction of the initial values with respect to their consistency. Furthermore, {tt GEOMS} preserves hidden constraints and (possibly) existing solution invariants.
{"title":"GEOMS: A New Software Package for the Numerical Simulation of Multibody Systems","authors":"A. Steinbrecher","doi":"10.1109/UKSIM.2008.120","DOIUrl":"https://doi.org/10.1109/UKSIM.2008.120","url":null,"abstract":"In this article we present the new numerical algorithm GEOMS for the numerical integration of the most general form of the equations of motion of multibody systems, including nonholonomic constraints and possible redundancies in the constraints, as they may appear in industrial applications. Besides the numerical integration, the algorithm offers some additional features like stabilization of the model quations, use of different decomposition strategies, or checking and correction of the initial values with respect to their consistency. Furthermore, {tt GEOMS} preserves hidden constraints and (possibly) existing solution invariants.","PeriodicalId":22356,"journal":{"name":"Tenth International Conference on Computer Modeling and Simulation (uksim 2008)","volume":"192 1","pages":"643-648"},"PeriodicalIF":0.0,"publicationDate":"2008-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79668037","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
UAV (Unmanned Aerial Vehicle) performs various kinds of missions such as mobile tactical reconnaissance, surveillance, law enforcement, search and rescue, land management, environmental monitoring, disaster management. UAV is a complex and challenging system to develop. It operates autonomously in unknown and dynamically changing environment. This requires different types of subsystems to cooperate. In order to realize all functionalities of the UAV, the software part becomes very complex real-time system expected to execute real-time tasks concurrently. This paper describes proposed software architecture for GCS (Ground Control Station) for lightweight UAV purpose-built for medium-scale reconnaissance and surveillance missions in civil area. The overall system architecture and implementation are described.
{"title":"Software Architecture for Ground Control Station for Unmanned Aerial Vehicle","authors":"M. Jovanovic, D. Starcevic","doi":"10.1109/UKSIM.2008.12","DOIUrl":"https://doi.org/10.1109/UKSIM.2008.12","url":null,"abstract":"UAV (Unmanned Aerial Vehicle) performs various kinds of missions such as mobile tactical reconnaissance, surveillance, law enforcement, search and rescue, land management, environmental monitoring, disaster management. UAV is a complex and challenging system to develop. It operates autonomously in unknown and dynamically changing environment. This requires different types of subsystems to cooperate. In order to realize all functionalities of the UAV, the software part becomes very complex real-time system expected to execute real-time tasks concurrently. This paper describes proposed software architecture for GCS (Ground Control Station) for lightweight UAV purpose-built for medium-scale reconnaissance and surveillance missions in civil area. The overall system architecture and implementation are described.","PeriodicalId":22356,"journal":{"name":"Tenth International Conference on Computer Modeling and Simulation (uksim 2008)","volume":"320 1","pages":"284-288"},"PeriodicalIF":0.0,"publicationDate":"2008-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80222030","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
M. Kraus, J. Kunovsky, Milan Pindryc, Václav Šátek
An original mathematical method which uses the Taylor series method for solving differential equations in a non-traditional way has been developed. Experimental calculations have shown and theoretical analyses have verified that the accuracy and stability of the Taylor series method exceeds the currently used algorithms for numerically solving differential equations. It is the aim of the paper to adapt Taylor series to real-time simulation. A special hardware for model representation is presented, too.
{"title":"Taylor Series in Control Theory","authors":"M. Kraus, J. Kunovsky, Milan Pindryc, Václav Šátek","doi":"10.1109/UKSIM.2008.45","DOIUrl":"https://doi.org/10.1109/UKSIM.2008.45","url":null,"abstract":"An original mathematical method which uses the Taylor series method for solving differential equations in a non-traditional way has been developed. Experimental calculations have shown and theoretical analyses have verified that the accuracy and stability of the Taylor series method exceeds the currently used algorithms for numerically solving differential equations. It is the aim of the paper to adapt Taylor series to real-time simulation. A special hardware for model representation is presented, too.","PeriodicalId":22356,"journal":{"name":"Tenth International Conference on Computer Modeling and Simulation (uksim 2008)","volume":"5 5 1","pages":"378-379"},"PeriodicalIF":0.0,"publicationDate":"2008-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81225131","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In the future Internet of Things, intelligent embedded devices are expected to not only offer their functionality as a web service, but also to be able to discover and cooperate with other devices and services in a peer-to-peer way. The new capabilities of the emerging infrastructure will have a significant impact on industrial applications, services and business practices. In this paper we explore the simulation of such an infrastructure composed of heterogeneous web-service enabled (SOA-ready) devices with the help of a multi-agent system.
{"title":"An Agent-Based Simulation of SOA-Ready Devices","authors":"S. Karnouskos, Mian Mohammad Junaid Tariq","doi":"10.1109/UKSIM.2008.81","DOIUrl":"https://doi.org/10.1109/UKSIM.2008.81","url":null,"abstract":"In the future Internet of Things, intelligent embedded devices are expected to not only offer their functionality as a web service, but also to be able to discover and cooperate with other devices and services in a peer-to-peer way. The new capabilities of the emerging infrastructure will have a significant impact on industrial applications, services and business practices. In this paper we explore the simulation of such an infrastructure composed of heterogeneous web-service enabled (SOA-ready) devices with the help of a multi-agent system.","PeriodicalId":22356,"journal":{"name":"Tenth International Conference on Computer Modeling and Simulation (uksim 2008)","volume":"9 1","pages":"330-335"},"PeriodicalIF":0.0,"publicationDate":"2008-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81611036","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The control of an activated sludge treatment plant depends on on-line process data and measurements made in the laboratory. The most important quality indicators of activated sludge are settling properties. Even though the behaviour of activated sludge is basically known, long lags and the complex characteristic of biological activity set a challenge for controlling the process. In this paper, the process lags of an activated sludge treatment plant are determined by a cross-correlation method. We also demonstrate the use of Self-Organizing Maps (SOM) for analysing an activated sludge treatment process. A data set of the process was used for training a SOM, which could be used for estimating the diluted sludge volume index (DSVI). The results of a validation data set showed a good agreement between the actual and estimated values of DSVI. The results indicate that the SOM method can also be efficiently applied to the analysis of the activated sludge treatment process and so towards better process control.
{"title":"SOM-Based Modelling for an Activated Sludge Treatment Process","authors":"M. Heikkinen, Tomi Latvala, E. Juuso, Y. Hiltunen","doi":"10.1109/UKSIM.2008.78","DOIUrl":"https://doi.org/10.1109/UKSIM.2008.78","url":null,"abstract":"The control of an activated sludge treatment plant depends on on-line process data and measurements made in the laboratory. The most important quality indicators of activated sludge are settling properties. Even though the behaviour of activated sludge is basically known, long lags and the complex characteristic of biological activity set a challenge for controlling the process. In this paper, the process lags of an activated sludge treatment plant are determined by a cross-correlation method. We also demonstrate the use of Self-Organizing Maps (SOM) for analysing an activated sludge treatment process. A data set of the process was used for training a SOM, which could be used for estimating the diluted sludge volume index (DSVI). The results of a validation data set showed a good agreement between the actual and estimated values of DSVI. The results indicate that the SOM method can also be efficiently applied to the analysis of the activated sludge treatment process and so towards better process control.","PeriodicalId":22356,"journal":{"name":"Tenth International Conference on Computer Modeling and Simulation (uksim 2008)","volume":"9 1","pages":"224-229"},"PeriodicalIF":0.0,"publicationDate":"2008-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88730198","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We propose in this paper a hierarchical and temporal extension of Petri Nets for the incremental authoring of SMIL multimedia documents. The complexity of these documents can lead authors, in some cases, to specify synchronization relations which could not be satisfied during the presentation of the document, what characterizes the occurrence of inconsistencies; a consistency checking mechanism is then necessary. This new model, named H-SMIL-Net (Hierarchical SMIL-Petri Net) proposes a technique for the incremental verification of temporal consistency. The originality of the solution resides in the modular aspect of the modelling, and the local approach of verification, what optimizes the verification time after each editing operation. This formal approach has been integrated in an incremental authoring tool for SMIL presentations.
{"title":"H-SMIL-Net: A Hierarchical Petri Net Model for SMIL Documents","authors":"Samia Bouyakoub, Abdelkader Belkhir","doi":"10.1109/UKSIM.2008.54","DOIUrl":"https://doi.org/10.1109/UKSIM.2008.54","url":null,"abstract":"We propose in this paper a hierarchical and temporal extension of Petri Nets for the incremental authoring of SMIL multimedia documents. The complexity of these documents can lead authors, in some cases, to specify synchronization relations which could not be satisfied during the presentation of the document, what characterizes the occurrence of inconsistencies; a consistency checking mechanism is then necessary. This new model, named H-SMIL-Net (Hierarchical SMIL-Petri Net) proposes a technique for the incremental verification of temporal consistency. The originality of the solution resides in the modular aspect of the modelling, and the local approach of verification, what optimizes the verification time after each editing operation. This formal approach has been integrated in an incremental authoring tool for SMIL presentations.","PeriodicalId":22356,"journal":{"name":"Tenth International Conference on Computer Modeling and Simulation (uksim 2008)","volume":"2 1","pages":"106-111"},"PeriodicalIF":0.0,"publicationDate":"2008-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89358091","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
A very interesting and promising numerical method of solving systems of ordinary differential equations based on Taylor series has appeared. The potential of the Taylor series has been exposed by many practical experiments and a way of detection and solution of large systems of ordinary differential equations has been found. Generally speaking, a stiff system contains several components, some of them are heavily suppressed while the rest remain almost unchanged. This feature forces the used method to choose an extremely small integration step and the progress of the computation may become very slow. There are many (implicit) methods for solving stiff systems of ODE’s, from the most simple such as implicit Euler method to more sophisticated (implicit Runge-Kutta methods) and finally the general linear methods. Usually a quite complicated auxiliary system of equations has to be solved in each step. These facts lead to immense amount of work to be done in each step of the computation. These are the reasons why one has to think twice before using the stiff solver and to decide between the stiff and non-stiff solver.
{"title":"Multiple Arithmetic in Dynamic System Simulation","authors":"Václav Šátek, J. Kunovsky, J. Petrek","doi":"10.1109/UKSIM.2008.46","DOIUrl":"https://doi.org/10.1109/UKSIM.2008.46","url":null,"abstract":"A very interesting and promising numerical method of solving systems of ordinary differential equations based on Taylor series has appeared. The potential of the Taylor series has been exposed by many practical experiments and a way of detection and solution of large systems of ordinary differential equations has been found. Generally speaking, a stiff system contains several components, some of them are heavily suppressed while the rest remain almost unchanged. This feature forces the used method to choose an extremely small integration step and the progress of the computation may become very slow. There are many (implicit) methods for solving stiff systems of ODE’s, from the most simple such as implicit Euler method to more sophisticated (implicit Runge-Kutta methods) and finally the general linear methods. Usually a quite complicated auxiliary system of equations has to be solved in each step. These facts lead to immense amount of work to be done in each step of the computation. These are the reasons why one has to think twice before using the stiff solver and to decide between the stiff and non-stiff solver.","PeriodicalId":22356,"journal":{"name":"Tenth International Conference on Computer Modeling and Simulation (uksim 2008)","volume":"1 1","pages":"597-598"},"PeriodicalIF":0.0,"publicationDate":"2008-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90265314","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：