This contribution presents developments and trend for the structure of new simulation systems, or for extensions of existing simulation systems, in order to handle structural-dynamics systems in an adequate manner. The paper first introduces the CSSL standard for continuous system simulation and its consequences. In the following, discrete elements in continuous modelling and simulation; in more detail event structures are discussed and state events are classified. Thereby, the class of structural-dynamic systems is introduced: state events, changing the dimension of the state space, generate structural-dynamic systems. The paper continues with recent modelling standards in continuous modelling and simulation. There, Modelica and VHDL-AMS are leaving the classic input/output minus; related modelling methods and introduce non-causal modelling on a high level, including implicit models and state events associated with state events. Both new standards, extending and replacing the CSSL standard for the model frame, emphasise on continuous and hybrid modelling; but also especially Modelica allows defining pure discrete model constructs based on events, state charts, and Petri nets. The main chapter concentrates on new proposals for extending model frame and experimental frame of simulation systems, mainly in order to handle structural-dynamic systems properly. There, features of two competing 'philosophies' are sketched, maximal state space versus hybrid decomposition. The paper concludes with a concept for generalisation of the experimental frame, leaving the limits of pure time domain analysis
{"title":"Structure of Simulation Systems for Structural-Dynamic Systems","authors":"F. Breitenecker, N. Popper","doi":"10.1109/AMS.2007.97","DOIUrl":"https://doi.org/10.1109/AMS.2007.97","url":null,"abstract":"This contribution presents developments and trend for the structure of new simulation systems, or for extensions of existing simulation systems, in order to handle structural-dynamics systems in an adequate manner. The paper first introduces the CSSL standard for continuous system simulation and its consequences. In the following, discrete elements in continuous modelling and simulation; in more detail event structures are discussed and state events are classified. Thereby, the class of structural-dynamic systems is introduced: state events, changing the dimension of the state space, generate structural-dynamic systems. The paper continues with recent modelling standards in continuous modelling and simulation. There, Modelica and VHDL-AMS are leaving the classic input/output minus; related modelling methods and introduce non-causal modelling on a high level, including implicit models and state events associated with state events. Both new standards, extending and replacing the CSSL standard for the model frame, emphasise on continuous and hybrid modelling; but also especially Modelica allows defining pure discrete model constructs based on events, state charts, and Petri nets. The main chapter concentrates on new proposals for extending model frame and experimental frame of simulation systems, mainly in order to handle structural-dynamic systems properly. There, features of two competing 'philosophies' are sketched, maximal state space versus hybrid decomposition. The paper concludes with a concept for generalisation of the experimental frame, leaving the limits of pure time domain analysis","PeriodicalId":198751,"journal":{"name":"First Asia International Conference on Modelling & Simulation (AMS'07)","volume":"107 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":"117254394","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}
Clustering techniques create hierarchal network structures, called clusters, on an otherwise flat network. Neighboring devices elect one appropriate device as clusterhead. Due to the dynamic environment, clusterhead selection becomes an important issue. We consider the problem of appropriate clusterhead selection in wireless ad-hoc networks and sensor networks. This work analyzes synchronous as well as asynchronous heuristics for discovering nodes with prolonged topological stability. These nodes appear more appropriate to be elected as clusterheads, since the frequency of clusterhead re-election and re-clustering can be decreased. The heuristics described rely on 2-hop topological information and avoid any use of geographical data
{"title":"Node Stability in Dynamic Communication Networks","authors":"Matthias R. Brust, S. Rothkugel, A. Andronache","doi":"10.1109/AMS.2007.73","DOIUrl":"https://doi.org/10.1109/AMS.2007.73","url":null,"abstract":"Clustering techniques create hierarchal network structures, called clusters, on an otherwise flat network. Neighboring devices elect one appropriate device as clusterhead. Due to the dynamic environment, clusterhead selection becomes an important issue. We consider the problem of appropriate clusterhead selection in wireless ad-hoc networks and sensor networks. This work analyzes synchronous as well as asynchronous heuristics for discovering nodes with prolonged topological stability. These nodes appear more appropriate to be elected as clusterheads, since the frequency of clusterhead re-election and re-clustering can be decreased. The heuristics described rely on 2-hop topological information and avoid any use of geographical data","PeriodicalId":198751,"journal":{"name":"First Asia International Conference on Modelling & Simulation (AMS'07)","volume":"58 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":"122757727","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 paper presents how the Grid/Web services architecture can constitute a knowledge Grid that will facilitate access to vocational training courses in the framework of a job-rotation e-service implementing the job-rotation model. The job-rotation e-service is an integrated on-line system that links training policy with employment policy. On one hand it supports enterprises to find the proper training for their employees and on the other it supports them to find adequate unemployed resources to replace their own while on training. All involved parties benefit from this rotation. The main problem of the job rotation e-service, and generally of systems providing information on vocational training, is the lack of up to date information on running courses due to large administrative costs. The Grid/Web services solution can solve these problems by providing accurate information, directly from the organizations who offer the courses, and reducing administrative costs for the job rotation e-service
{"title":"Grid Web Services Facilitating Access to Vocational Training for Job Rotation","authors":"N. Karadimas, A. Orsoni, N. Papastamatiou","doi":"10.1109/AMS.2007.49","DOIUrl":"https://doi.org/10.1109/AMS.2007.49","url":null,"abstract":"The paper presents how the Grid/Web services architecture can constitute a knowledge Grid that will facilitate access to vocational training courses in the framework of a job-rotation e-service implementing the job-rotation model. The job-rotation e-service is an integrated on-line system that links training policy with employment policy. On one hand it supports enterprises to find the proper training for their employees and on the other it supports them to find adequate unemployed resources to replace their own while on training. All involved parties benefit from this rotation. The main problem of the job rotation e-service, and generally of systems providing information on vocational training, is the lack of up to date information on running courses due to large administrative costs. The Grid/Web services solution can solve these problems by providing accurate information, directly from the organizations who offer the courses, and reducing administrative costs for the job rotation e-service","PeriodicalId":198751,"journal":{"name":"First Asia International Conference on Modelling & Simulation (AMS'07)","volume":"150 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":"122762664","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}
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}
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}
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}
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}