More and more often civil and military threats tend to occur within urban environments which raise the demand for increasing the knowledge and understanding of these events and their effects on society. Crisis simulation modeling could provide excellent support for this demand, and we present a generic platform for modeling and simulation of crises in urban environments, SimCUE, that is proposed by FOI. Such a tool could be used for planning of operations and in preparation for training rescue personnel and decision makers in emergency response. Initially our own existing models will be used as a basis for the platform but we intend and need to extend those with more models describing different kinds of disasters. An overview of existing research models and efforts is presented as well as some examples of plausible scenarios where the tool can be used
{"title":"A Platform for Simulation of Crises in Urban Environments","authors":"Gunnar Holm, F. Moradi, Pernilla Svan, N. Wallin","doi":"10.1109/AMS.2007.5","DOIUrl":"https://doi.org/10.1109/AMS.2007.5","url":null,"abstract":"More and more often civil and military threats tend to occur within urban environments which raise the demand for increasing the knowledge and understanding of these events and their effects on society. Crisis simulation modeling could provide excellent support for this demand, and we present a generic platform for modeling and simulation of crises in urban environments, SimCUE, that is proposed by FOI. Such a tool could be used for planning of operations and in preparation for training rescue personnel and decision makers in emergency response. Initially our own existing models will be used as a basis for the platform but we intend and need to extend those with more models describing different kinds of disasters. An overview of existing research models and efforts is presented as well as some examples of plausible scenarios where the tool can be used","PeriodicalId":198751,"journal":{"name":"First Asia International Conference on Modelling & Simulation (AMS'07)","volume":"169 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116128566","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}
Simulation is perhaps the most cost-effective tool to evaluate the operation of a system under design. A flexible, easy to extend, fully object-oriented, and multilayered simulator for interconnection networks can be a very useful tool for multicomputer designers and researchers. It is so desirable to attach newly designed components to the existing models and to exploit detailed results. This paper presents XMulator, an object-oriented listener-based simulation environment for evaluating multicomputer interconnection networks. The simulator involves a toolbox of various network topologies, routing algorithms, switching techniques, and flexible router models. This work introduces a simulator, using listener-based integration methodology, which has a great impact on extensibility of the system. Mixed-mode event processing improves the performance of the simulator. By decoupling individual parts of the code, XMulator enables independent code development and creates a flexible and extensible environment for different aspects of network design. This simulator uses XML format to define network topologies, input parameters, and outputs reports providing a high level of flexibility. To the best of the authors' knowledge, it is the first simulator enabled to simulate any arbitrary interconnection topology under different working conditions including in the presence of faults
{"title":"XMulator: A Listener-Based Integrated Simulation Platform for Interconnection Networks","authors":"A. Nayebi, S. Meraji, A. Shamaei, H. Sarbazi-Azad","doi":"10.1109/AMS.2007.112","DOIUrl":"https://doi.org/10.1109/AMS.2007.112","url":null,"abstract":"Simulation is perhaps the most cost-effective tool to evaluate the operation of a system under design. A flexible, easy to extend, fully object-oriented, and multilayered simulator for interconnection networks can be a very useful tool for multicomputer designers and researchers. It is so desirable to attach newly designed components to the existing models and to exploit detailed results. This paper presents XMulator, an object-oriented listener-based simulation environment for evaluating multicomputer interconnection networks. The simulator involves a toolbox of various network topologies, routing algorithms, switching techniques, and flexible router models. This work introduces a simulator, using listener-based integration methodology, which has a great impact on extensibility of the system. Mixed-mode event processing improves the performance of the simulator. By decoupling individual parts of the code, XMulator enables independent code development and creates a flexible and extensible environment for different aspects of network design. This simulator uses XML format to define network topologies, input parameters, and outputs reports providing a high level of flexibility. To the best of the authors' knowledge, it is the first simulator enabled to simulate any arbitrary interconnection topology under different working conditions including in the presence of faults","PeriodicalId":198751,"journal":{"name":"First Asia International Conference on Modelling & Simulation (AMS'07)","volume":"140 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127487206","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 mobile ad-hoc network (MANET) is self-configuring network of mobile nodes connected by wireless links to form an arbitrary topology without the use of existing infrastructure. In this paper, we have studied the effects of various mobility models on the performance of two routing protocols dynamic source routing (DSR-reactive protocol) and destination-sequenced distance-vector (DSDV-proactive protocol). For experiment purposes, we have considered four mobility scenarios: Random Wayward Mobility, Group Mobility, Freeway and Manhattan models. These four mobility models are selected to represent the possibility of practical application in future. Performance comparison has also been conducted across varying node densities and number of hops. Experiment results illustrate that performance of the routing protocol varies across different mobility models, node densities and length of data paths
{"title":"Analysis of Dynamic Source Routing and Destination-Sequenced Distance-Vector Protocols for Different Mobility Models","authors":"B. Divecha, A. Abraham, C. Grosan, S. Sanyal","doi":"10.1109/AMS.2007.14","DOIUrl":"https://doi.org/10.1109/AMS.2007.14","url":null,"abstract":"A mobile ad-hoc network (MANET) is self-configuring network of mobile nodes connected by wireless links to form an arbitrary topology without the use of existing infrastructure. In this paper, we have studied the effects of various mobility models on the performance of two routing protocols dynamic source routing (DSR-reactive protocol) and destination-sequenced distance-vector (DSDV-proactive protocol). For experiment purposes, we have considered four mobility scenarios: Random Wayward Mobility, Group Mobility, Freeway and Manhattan models. These four mobility models are selected to represent the possibility of practical application in future. Performance comparison has also been conducted across varying node densities and number of hops. Experiment results illustrate that performance of the routing protocol varies across different mobility models, node densities and length of data paths","PeriodicalId":198751,"journal":{"name":"First Asia International Conference on Modelling & Simulation (AMS'07)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125995985","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}
Myunggwon Hwang, Hyunjang Kong, Sunkyoung Baek, Pankoo Kim
In this paper, we propose a topic selection method about Web documents. The idea of our approach is to utilize an ontology structure and TF (term frequency) values of each term. For improving the performance of documents clustering, our research is strongly demanded. We process Web documents for keywords acquisition using TF values and relevancy values between terms using relations defined in WordNet. And then, we proposed the topic selection formula as we consider three kinds of cases during the topic selection. In conclusion, we demonstrate that our approach is very useful for the topic selection of documents
{"title":"TSM. Topic Selection Method of Web Documents","authors":"Myunggwon Hwang, Hyunjang Kong, Sunkyoung Baek, Pankoo Kim","doi":"10.1109/AMS.2007.108","DOIUrl":"https://doi.org/10.1109/AMS.2007.108","url":null,"abstract":"In this paper, we propose a topic selection method about Web documents. The idea of our approach is to utilize an ontology structure and TF (term frequency) values of each term. For improving the performance of documents clustering, our research is strongly demanded. We process Web documents for keywords acquisition using TF values and relevancy values between terms using relations defined in WordNet. And then, we proposed the topic selection formula as we consider three kinds of cases during the topic selection. In conclusion, we demonstrate that our approach is very useful for the topic selection of documents","PeriodicalId":198751,"journal":{"name":"First Asia International Conference on Modelling & Simulation (AMS'07)","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114964454","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 new IETF protocol ENUM uses the DNS to bind existing phone numbers into set of information's (email address, SIP phone number etc.). Success of ENUM will depend on whether the DNS can achieve a performance similar to the database used in classical voice services. In order to study the DNS performance we designed a new way to measure and model a single DNS server behavior. We also modeled and measured the IP links connecting the DNS devices: resolver, cache server and authoritative servers. Finally we created a simulation model which enables us to simulate ENUM traffic. We then use the parameters obtained from the previous two models as input values into this simulator. The numerical results obtained from the simulation, was compared to real measurements in order to validate the global model. We plan to use the simulator to study different scenarios by varying different parameters. This will lead to recommendations of the new ENUM protocol to achieve the best performance
{"title":"Studying ENUM Performance with Modeling and Simulation","authors":"S. Balakrichenan, Thomas Bugnazet, M. Becker","doi":"10.1109/AMS.2007.99","DOIUrl":"https://doi.org/10.1109/AMS.2007.99","url":null,"abstract":"The new IETF protocol ENUM uses the DNS to bind existing phone numbers into set of information's (email address, SIP phone number etc.). Success of ENUM will depend on whether the DNS can achieve a performance similar to the database used in classical voice services. In order to study the DNS performance we designed a new way to measure and model a single DNS server behavior. We also modeled and measured the IP links connecting the DNS devices: resolver, cache server and authoritative servers. Finally we created a simulation model which enables us to simulate ENUM traffic. We then use the parameters obtained from the previous two models as input values into this simulator. The numerical results obtained from the simulation, was compared to real measurements in order to validate the global model. We plan to use the simulator to study different scenarios by varying different parameters. This will lead to recommendations of the new ENUM protocol to achieve the best performance","PeriodicalId":198751,"journal":{"name":"First Asia International Conference on Modelling & Simulation (AMS'07)","volume":"2672 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131173891","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}
FIFO channel languages of communicating finite state machines are useful for protocol verification. The reachability set is the set of all reachable states and it's the purpose of reachability analysis. Computing this set is not reasonable especially if it's infinite. Context free grammars are defined for languages for FIFO channel systems. A grammar 'like' context free is defined for each CFSM. Each rule is of the form Xrarr u-1Yv, where u-1Yv stands for the residual of the language (L(Y)v) with regard to u. Context-free grammar properties are used to make transformations for calculating the channel languages which are fix-point of a system of equations. In this paper we use some acceleration techniques to calculate the channel languages and we show how we can use theoretical framework to verify some protocol properties such as reachability and deadlock problems
{"title":"On Verification of Communicating Finite State Machines Using Residual Languages","authors":"El maati Chabbar, M. Bouhdadi","doi":"10.1109/AMS.2007.75","DOIUrl":"https://doi.org/10.1109/AMS.2007.75","url":null,"abstract":"FIFO channel languages of communicating finite state machines are useful for protocol verification. The reachability set is the set of all reachable states and it's the purpose of reachability analysis. Computing this set is not reasonable especially if it's infinite. Context free grammars are defined for languages for FIFO channel systems. A grammar 'like' context free is defined for each CFSM. Each rule is of the form Xrarr u-1Yv, where u-1Yv stands for the residual of the language (L(Y)v) with regard to u. Context-free grammar properties are used to make transformations for calculating the channel languages which are fix-point of a system of equations. In this paper we use some acceleration techniques to calculate the channel languages and we show how we can use theoretical framework to verify some protocol properties such as reachability and deadlock problems","PeriodicalId":198751,"journal":{"name":"First Asia International Conference on Modelling & Simulation (AMS'07)","volume":"153 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114640762","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}
Composability, the capability to select and assemble off-the-shelf model components in various combinations to satisfy user requirements, is an appealing approach in reducing the time and costs of developing complex simulation. This paper discusses CODES, a hierarchical component framework to support component-based modeling and simulation. We propose the use of EBNF based grammars to specify syntactic composability rules with the aims of achieving syntax consistency for model components to operate together. EBNF production strings associated with each composed models are transformed into a unique identifier to support distributed DHT-based model discovery. The hierarchical design supports the sharing and reuse of models and model components across application domains, and facilitates the verification of composed models. We present a prototype of the framework implemented using the scalable simulation framework, and illustrate this approach by modeling a grid computing system
{"title":"On Syntactic Composability and Model Reuse","authors":"Claudia Szabo, Y. M. Teo","doi":"10.1109/AMS.2007.74","DOIUrl":"https://doi.org/10.1109/AMS.2007.74","url":null,"abstract":"Composability, the capability to select and assemble off-the-shelf model components in various combinations to satisfy user requirements, is an appealing approach in reducing the time and costs of developing complex simulation. This paper discusses CODES, a hierarchical component framework to support component-based modeling and simulation. We propose the use of EBNF based grammars to specify syntactic composability rules with the aims of achieving syntax consistency for model components to operate together. EBNF production strings associated with each composed models are transformed into a unique identifier to support distributed DHT-based model discovery. The hierarchical design supports the sharing and reuse of models and model components across application domains, and facilitates the verification of composed models. We present a prototype of the framework implemented using the scalable simulation framework, and illustrate this approach by modeling a grid computing system","PeriodicalId":198751,"journal":{"name":"First Asia International Conference on Modelling & Simulation (AMS'07)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132697819","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 work aimed at integrating performance evaluation into the systems design process. It considers the problem of providing a performance evaluation service to system designers that will allow practitioners from different application areas to specify the system in a level of abstraction that is readily understandable in their own particular application area, and then to use this specification to automatically generate a solution for the performance evaluation of that system. It presents the proposal for an open-systems-like architectural approach to the problem of providing these services and outlines the research issues that need to be addressed in the development of this architecture
{"title":"An Architectural Approach for Integrating Performance Evaluation into the Systems Design Process","authors":"F. Ball, I. Awan, R. Pereira","doi":"10.1109/AMS.2007.12","DOIUrl":"https://doi.org/10.1109/AMS.2007.12","url":null,"abstract":"This paper presents work aimed at integrating performance evaluation into the systems design process. It considers the problem of providing a performance evaluation service to system designers that will allow practitioners from different application areas to specify the system in a level of abstraction that is readily understandable in their own particular application area, and then to use this specification to automatically generate a solution for the performance evaluation of that system. It presents the proposal for an open-systems-like architectural approach to the problem of providing these services and outlines the research issues that need to be addressed in the development of this architecture","PeriodicalId":198751,"journal":{"name":"First Asia International Conference on Modelling & Simulation (AMS'07)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134109427","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 paper the derivation of mathematical model of a horizontal active magnetic bearing (AMB) system in deterministic form is presented. The system is open-loop unstable and highly coupled due to nonlinearities inherited in the system such as gyroscopic effect and mass imbalance. Based on the equation of motions of the rotor and dynamic equation of electromagnetic coils, the dynamic model of the system with eight inputs is derived and represented in state-space format in which the system matrix is 16times16 in size. By using the upper and lower bounds of the parameter and the state variables of the system, the model is transformed into deterministic form where it can be shown that the system contains mismatched uncertainties in the state and disturbance matrices. This final system model with its numerical values can be used for the design of a class of a dynamic controller for system stabilization
{"title":"Modeling of a Horizontal Active Magnetic Bearing System with Uncertainties in Deterministic Form","authors":"A. R. Husain, M. N. Ahmad, A. Yatim","doi":"10.1109/AMS.2007.61","DOIUrl":"https://doi.org/10.1109/AMS.2007.61","url":null,"abstract":"In this paper the derivation of mathematical model of a horizontal active magnetic bearing (AMB) system in deterministic form is presented. The system is open-loop unstable and highly coupled due to nonlinearities inherited in the system such as gyroscopic effect and mass imbalance. Based on the equation of motions of the rotor and dynamic equation of electromagnetic coils, the dynamic model of the system with eight inputs is derived and represented in state-space format in which the system matrix is 16times16 in size. By using the upper and lower bounds of the parameter and the state variables of the system, the model is transformed into deterministic form where it can be shown that the system contains mismatched uncertainties in the state and disturbance matrices. This final system model with its numerical values can be used for the design of a class of a dynamic controller for system stabilization","PeriodicalId":198751,"journal":{"name":"First Asia International Conference on Modelling & Simulation (AMS'07)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134415125","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 new approach to modelling Internet end-to-end loss behaviours. Rather than select the model structure from the loss observations like being done previously, we construct a new loss model based on the TCP congestion control mechanism. Thus, the model can explicitly reflect the correlation between end-to-end loss observations and network flow level activities. Besides simulation, the model has been tested in both wired and wireless Internet environments. The result shows that, unless the losses due to the transmission errors are excessive e.g. in some lossy wireless channels, the model can correctly capture end-to-end loss behaviours not only in terms of average rates but also in terms of loss patterns i.e. loss and good runlengths. This implies a good connection between the model structure and network flow level activities, which makes the model attractive for assisting traffic control
{"title":"Modelling Internet End-to-End Loss Behaviours: A New Approach","authors":"Vinh T. Bui, Weiping Zhu","doi":"10.1109/AMS.2007.66","DOIUrl":"https://doi.org/10.1109/AMS.2007.66","url":null,"abstract":"This paper proposes a new approach to modelling Internet end-to-end loss behaviours. Rather than select the model structure from the loss observations like being done previously, we construct a new loss model based on the TCP congestion control mechanism. Thus, the model can explicitly reflect the correlation between end-to-end loss observations and network flow level activities. Besides simulation, the model has been tested in both wired and wireless Internet environments. The result shows that, unless the losses due to the transmission errors are excessive e.g. in some lossy wireless channels, the model can correctly capture end-to-end loss behaviours not only in terms of average rates but also in terms of loss patterns i.e. loss and good runlengths. This implies a good connection between the model structure and network flow level activities, which makes the model attractive for assisting traffic control","PeriodicalId":198751,"journal":{"name":"First Asia International Conference on Modelling & Simulation (AMS'07)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133686920","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
扫码关注我们
求助内容：
应助结果提醒方式：