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}
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}
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}
This paper presents the designing and implementation of a novel bit serial Least Mean Square adaptive filter based on a specially designed bit stream triangular compressor multiplier. The Architecture is used for processing bit serial data in communication systems. The efficiently designed bit stream multiplier is the key performance factor in terms of area and power consumption.
{"title":"LMS Bit Stream Adaptive Filter Design","authors":"A. Perwaiz, S. Khan","doi":"10.1109/UKSIM.2008.29","DOIUrl":"https://doi.org/10.1109/UKSIM.2008.29","url":null,"abstract":"This paper presents the designing and implementation of a novel bit serial Least Mean Square adaptive filter based on a specially designed bit stream triangular compressor multiplier. The Architecture is used for processing bit serial data in communication systems. The efficiently designed bit stream multiplier is the key performance factor in terms of area and power consumption.","PeriodicalId":22356,"journal":{"name":"Tenth International Conference on Computer Modeling and Simulation (uksim 2008)","volume":"12 1","pages":"507-512"},"PeriodicalIF":0.0,"publicationDate":"2008-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85132309","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 study, silicon microchannel heat sink (MCHS) performance using nanofluids as coolants was analyzed. The nanofluid was a mixture of nanoscale Cu particles and pure water with various volume fractions. Based on theoretical models and experimental correlations, the heat transfer and friction coefficients required in the analysis were used. In the theoretical model, nanofluid was treated as a single-phase fluid. In the experimental correlation, thermal dispersion due to particle random motion was included. The microchannel heat sink performances for a specific geometries with Wch = Wfin = 100 µm and Lch =300 µm is examined. In this study, flow in laminar and turbulent regimes using the theoretic and experimental relations was investigated; moreover an artificial neural network (ANN) was used to simulate the MCHS having laminar flow with different circumstances and after that, the best geometry and volume fraction of nanofluid could be found based on minimum thermal resistance.
{"title":"Analysis of Microchannel Heat Sink Performance Using Nanofluids in Turbulent and Laminar Flow Regimes and Its Simulation Using Artificial Neural Network","authors":"H. Shokouhmand, M. Ghazvini, Jaber Shabanian","doi":"10.1109/UKSIM.2008.128","DOIUrl":"https://doi.org/10.1109/UKSIM.2008.128","url":null,"abstract":"In this study, silicon microchannel heat sink (MCHS) performance using nanofluids as coolants was analyzed. The nanofluid was a mixture of nanoscale Cu particles and pure water with various volume fractions. Based on theoretical models and experimental correlations, the heat transfer and friction coefficients required in the analysis were used. In the theoretical model, nanofluid was treated as a single-phase fluid. In the experimental correlation, thermal dispersion due to particle random motion was included. The microchannel heat sink performances for a specific geometries with Wch = Wfin = 100 µm and Lch =300 µm is examined. In this study, flow in laminar and turbulent regimes using the theoretic and experimental relations was investigated; moreover an artificial neural network (ANN) was used to simulate the MCHS having laminar flow with different circumstances and after that, the best geometry and volume fraction of nanofluid could be found based on minimum thermal resistance.","PeriodicalId":22356,"journal":{"name":"Tenth International Conference on Computer Modeling and Simulation (uksim 2008)","volume":"66 1","pages":"623-628"},"PeriodicalIF":0.0,"publicationDate":"2008-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90973134","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}
This paper describes a new modelling and simulation approach in order to observe the system behaviour and eventual faults. It is based on hardware-software co-modelling with multi-level of granularity to get multi-level of simulation speed. Our modelling approach let integrate the hardware specifications to the functional model in order to establish also hardware supervision models after HW/SW co-modelling and simulation.To reach this objective we have to have a relationship between the desired accuracy of the supervision and the level of granularity of the hardware-software model, for every ECU (Electronic Computing Units) that belongs to an automotive embedded architecture.
{"title":"Co-modelling and Simulation with Multilevel of Granularity for Real Time Electronic Systems Supervision","authors":"Manel Khlif, M. Shawky","doi":"10.1109/UKSIM.2008.76","DOIUrl":"https://doi.org/10.1109/UKSIM.2008.76","url":null,"abstract":"This paper describes a new modelling and simulation approach in order to observe the system behaviour and eventual faults. It is based on hardware-software co-modelling with multi-level of granularity to get multi-level of simulation speed. Our modelling approach let integrate the hardware specifications to the functional model in order to establish also hardware supervision models after HW/SW co-modelling and simulation.To reach this objective we have to have a relationship between the desired accuracy of the supervision and the level of granularity of the hardware-software model, for every ECU (Electronic Computing Units) that belongs to an automotive embedded architecture.","PeriodicalId":22356,"journal":{"name":"Tenth International Conference on Computer Modeling and Simulation (uksim 2008)","volume":"140 1","pages":"348-353"},"PeriodicalIF":0.0,"publicationDate":"2008-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86740500","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 proposes a basic ARM full system simulation framework, a novel approach to understanding the behavior of modern embedded systems. Our simulation framework implements the kernel architecture of the ARM ISA, on which one can run and debug system or user-level programs. It has flexible software architecture, and good encapsulation of the communication between virtual peripherals and host peripherals. On the other hand, we implement a remote debugging system based on our simulation kernel, which extends remote serial protocol (RSP) of GDB and using Eclipse as the front-UI to build a platform-independent system. Since the simulation kernel has the full control of the target programs, the debugging system provides a flexible mechanism to collect the simulation information. These allowed people use or extend it to build a new ARM development environment, in order to study the embedded systems or help investigating the embedded operating system and low-level software.
{"title":"Design and Implementation of a Simulation Framework for the ARM Embedded System","authors":"Han Wan, Xiaopeng Gao, Libo Deng, Ting Yu","doi":"10.1109/UKSIM.2008.41","DOIUrl":"https://doi.org/10.1109/UKSIM.2008.41","url":null,"abstract":"This paper proposes a basic ARM full system simulation framework, a novel approach to understanding the behavior of modern embedded systems. Our simulation framework implements the kernel architecture of the ARM ISA, on which one can run and debug system or user-level programs. It has flexible software architecture, and good encapsulation of the communication between virtual peripherals and host peripherals. On the other hand, we implement a remote debugging system based on our simulation kernel, which extends remote serial protocol (RSP) of GDB and using Eclipse as the front-UI to build a platform-independent system. Since the simulation kernel has the full control of the target programs, the debugging system provides a flexible mechanism to collect the simulation information. These allowed people use or extend it to build a new ARM development environment, in order to study the embedded systems or help investigating the embedded operating system and low-level software.","PeriodicalId":22356,"journal":{"name":"Tenth International Conference on Computer Modeling and Simulation (uksim 2008)","volume":"1 1","pages":"714-719"},"PeriodicalIF":0.0,"publicationDate":"2008-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85586587","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
扫码关注我们
求助内容：
应助结果提醒方式：