Summer Computer Simulation Conference : (SCSC 2014) : 2014 Summer Simulation Multi-Conference : Monterey, California, USA, 6-10 July 2014. Summer Computer Simulation Conference (2014 : Monterey, Calif.)最新文献

{"title":"Combined simulation modeling using simplified discrete event simulation approach: a mining case study","authors":"M. Lu, S. Lau, Evan K. Y. Chan","doi":"10.1145/1357910.1357977","DOIUrl":"https://doi.org/10.1145/1357910.1357977","url":null,"abstract":"Functionalities for combined modeling (discrete plus continuous) have been embedded in sophisticated simulation tools to enable the representation of complicated construction operations systems in the real world. Yet, the application cost for combined modeling in terms of learning and modeling efforts generally remains on high order, thus making combined modeling features largely underutilized by or inaccessible to modelers who are domain experts instead of simulation specialists. In this research, we propose a simplified approach to \"discretize\" the continuous elements in combined modeling by using a batch-based modeling strategy with insignificant loss of accuracy. Each batch denotes the amount of material handled by a resource unit in the discrete system, which is further processed by a plant with continuous characteristics. A practical mining case study is presented to illustrate and verify our approach. The simulation model assisted the mining company in configuring the processes and optimizing the resource allocation and utilization in its mining operations.","PeriodicalId":91410,"journal":{"name":"Summer Computer Simulation Conference : (SCSC 2014) : 2014 Summer Simulation Multi-Conference : Monterey, California, USA, 6-10 July 2014. Summer Computer Simulation Conference (2014 : Monterey, Calif.)","volume":"12 1","pages":"421-428"},"PeriodicalIF":0.0,"publicationDate":"2007-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84495235","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}

{"title":"The centrifugal development of artificial agents: a research agenda","authors":"Ana Sofia Esteves, L. Botelho","doi":"10.1145/1357910.1358063","DOIUrl":"https://doi.org/10.1145/1357910.1358063","url":null,"abstract":"This paper presents a research agenda underlying a PhD proposal on embodied software agents. The research aims to demonstrate that it is possible, for embodied software agents, to develop first-person meanings for environmental perturbations. According to the proposed approach, first-person meanings will be created through the agent centrifugal development. We argue that centrifugally developed agents, which create first-person meanings for environmental perturbations, will perform better in identified classes of tasks. They will also contribute to advance the state of the art regarding embodiment, particularly with respect to the grounding problem. For traditional AI, the mind is a symbol processing system that can exist without the body or act in an independent way. Although traditional approaches have successfully solved several problems, they are trapped in the grounding problem. Embodied cognition approach departs from the dominant paradigm by focusing on cognition as an embodied situated activity. Organismic embodiment supporters argue that the systems development method (centrifugally versus centripetally) is decisive to the system autonomy and, thereby, to their cognitive abilities. This research will use models of cellular division and evolution from cellular biology and will propose processes, through which meaning grounding can be achieved as an emergent property of centrifugally developed agents.","PeriodicalId":91410,"journal":{"name":"Summer Computer Simulation Conference : (SCSC 2014) : 2014 Summer Simulation Multi-Conference : Monterey, California, USA, 6-10 July 2014. Summer Computer Simulation Conference (2014 : Monterey, Calif.)","volume":"46 1","pages":"977-982"},"PeriodicalIF":0.0,"publicationDate":"2007-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81412592","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}

{"title":"Dissecting network motifs by identifying promoter features that govern differential gene expression","authors":"O. Harari, I. Zwir","doi":"10.1145/1357910.1358036","DOIUrl":"https://doi.org/10.1145/1357910.1358036","url":null,"abstract":"One of the biggest challenges in genomics is the elucidation of the design principles controlling gene expression. Current approaches examine promoter sequences for particular features, such as the presence of binding sites for a transcriptional regulator, and identify recurrent relationships among these features termed network motifs. To define the expression dynamics of a group of genes, the strength of the connections in a network must be specified, and these are determined by the cis-promoter features participating in the regulation. Approaches that homogenize features among promoters (e.g., relying on consensuses to describe the various promoter features) and even across species hamper the discovery of the key differences that distinguish promoters that are co-regulated by the same transcriptional regulator. Thus, we have developed a an approach based on fuzzy logic expressions to analyze proteobacterial genomes for promoter features that is specifically designed to account for the variability in sequence, location and topology intrinsic to differential gene expression. We applied our method to characterize network motifs controlled by the PhoP/PhoQ regulatory system of Escherichia coli and Salmonella enterica serovar Typhimurium. We identify key features that that enable the PhoP protein to produce differential regulation in target genes, reflecting distinct kinetic patterns even for the same type of network motif. These findings could not have been uncovered just by inspecting network architecture. We show that the same approach can be generalized to model other regulatory systems.","PeriodicalId":91410,"journal":{"name":"Summer Computer Simulation Conference : (SCSC 2014) : 2014 Summer Simulation Multi-Conference : Monterey, California, USA, 6-10 July 2014. Summer Computer Simulation Conference (2014 : Monterey, Calif.)","volume":"10 1","pages":"817-826"},"PeriodicalIF":0.0,"publicationDate":"2007-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88326426","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}

{"title":"Use of simulation for the prevention of environmental problems","authors":"V. Duraccio, D. Falcone, A. Silvestri, G. D. Bona","doi":"10.1145/1357910.1358044","DOIUrl":"https://doi.org/10.1145/1357910.1358044","url":null,"abstract":"The prevention of environmental disasters due to changes of meteorological conditions and to uncontrolled technological developments, is one of the most important objects of the future generations. The present work wants to show how the use of sophisticated techniques of simulation allows to prevent natural phenomena, responsible of serious damages to persons and things. We have considered the residential and commercial district of a city of southern Italy, built in the area of an old riverbed of outflow of raining waters. A change of meteorological conditions caused unexpected and abundant meteorological precipitations and a subsequent flooding (10/22/2005). The applied methodology allowed to demonstrate that the building activities in the region have caused the damages occurred to the population during the above natural events. \u0000 \u0000Actually, there isn't a standard and general method able to value potential dangers and to define the areas characterized by a different risk of flooding, to realize a risk assessment. \u0000 \u0000However, in our work, we have followed the guided lines supplied by National Basin Authorities, in particular of the Puglia region. \u0000 \u0000The work can be divided into three parts: \u0000 \u00001) Cognitive Phase \u0000 \u0000- Acquisition of cartographical data of the region. \u0000 \u0000- Acquisition of data about meteorological precipitations. \u0000 \u0000- Census of historical events of flood, through official sources (for example: the hydrographical service of the Puglia region). \u0000 \u0000- Survey of the altitude of the area under investigation. \u0000 \u00002) Hydrological Analysis \u0000 \u0000- Hydrological-statistical analysis of the historical data of some meteorological stations in the region. \u0000 \u0000- Characterization of the morphology of the hydrological basin. \u0000 \u0000- Definition of the curves of climatic possibility. \u0000 \u0000- Construction of the hydro-charts of flood relating to different conditions of meteorological precipitations, on the basis of a model of inflow and outflow. \u0000 \u0000- Evaluation of the hydro-charts of the considered area, in particular of the closing section. \u0000 \u00003) Hydraulic Analysis \u0000 \u0000- Implementation of the hydraulic model. \u0000 \u0000- Esteem of the river profiles related to specific conditions of overflow. \u0000 \u0000- Calibration of the hydraulic model according to events of flood. \u0000 \u0000- Evaluation of the hydrometric levels. \u0000 \u0000- Esteem of the most important hydrodynamics factors (water average speed, Froud number etc.)","PeriodicalId":91410,"journal":{"name":"Summer Computer Simulation Conference : (SCSC 2014) : 2014 Summer Simulation Multi-Conference : Monterey, California, USA, 6-10 July 2014. Summer Computer Simulation Conference (2014 : Monterey, Calif.)","volume":"104 1","pages":"863-866"},"PeriodicalIF":0.0,"publicationDate":"2007-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87705671","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}

{"title":"A cooperative multi-agent system simulation model for urban traffic intelligent control","authors":"Xu Jin, M. Itmi, H. Abdulrab","doi":"10.1145/1357910.1358059","DOIUrl":"https://doi.org/10.1145/1357910.1358059","url":null,"abstract":"Agent-based urban traffic simulation has been looked as an efficient tool for traffic planning. However, the main problem is how to build an agent-based model for traffic simulation. This research presents an urban traffic information intelligent control model, which adopts a multi-agents coordination approach for urban traffic information control to coordinate the traffic network. In this paper, we propose a new traffic information intelligent control hybrid model based on multi-agent system that performs the basic interface, planning and supports services for managing different types of demand responsive transportation. In this research, we expose the main features and the behaviors exhibited of the multi-agent system. Based on this model, a simplified multi-agent traffic information control system can be developed that is effective for reducing traffic congestion and air pollution.","PeriodicalId":91410,"journal":{"name":"Summer Computer Simulation Conference : (SCSC 2014) : 2014 Summer Simulation Multi-Conference : Monterey, California, USA, 6-10 July 2014. Summer Computer Simulation Conference (2014 : Monterey, Calif.)","volume":"1 1","pages":"953-958"},"PeriodicalIF":0.0,"publicationDate":"2007-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89571650","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}

{"title":"Modeling, verification, and implementation of PLC program using timed-MPSG","authors":"D. Thapa, S. C. Park, C. Park, Gi-Nam Wang","doi":"10.1145/1357910.1357994","DOIUrl":"https://doi.org/10.1145/1357910.1357994","url":null,"abstract":"In this paper, we proposed a methodology to model, verify, and generate IEC standard PLC code using Timed-MPSG (an extended version of finite state automata). It can reduce PLC development time and the errors that generally occur when PLC programs are manually programmed. For this purpose, we used Timed-MPSG to model the formal specification of the targeted shop floor controller system, after that, the graphical representation of Timed-MPSG is converted to the textual format automatically. Thereafter, the textural structure of Timed-MPSG translated into input code for model checker (SMV) - for the purpose of formal verification. Although, the simulation can be used to verify the written code, however, the use of formal methods for verification is more desirable to validate the state model for hidden errors. After verifying the model against specified properties, written in temporal logic, finally, generation of programmable logic controller code by using one-to-one mapping technique. The similarity in the hierarchical and modular architecture of Timed-MPSG, SMV and IEC standard PLC program, made it convenient to transform from one form to another as described in our proposed method. Furthermore, an illustration of methodology to PLC design and development is explained with a suitable example.","PeriodicalId":91410,"journal":{"name":"Summer Computer Simulation Conference : (SCSC 2014) : 2014 Summer Simulation Multi-Conference : Monterey, California, USA, 6-10 July 2014. Summer Computer Simulation Conference (2014 : Monterey, Calif.)","volume":"52 1","pages":"533-540"},"PeriodicalIF":0.0,"publicationDate":"2007-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89907764","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}

{"title":"A formal verification approach for DEVS","authors":"H. Dacharry, N. Giambiasi","doi":"10.1145/1357910.1357960","DOIUrl":"https://doi.org/10.1145/1357910.1357960","url":null,"abstract":"This paper describes several approaches to the formal verification of discrete event systems modeled with the DEVS formalism. We define the operational semantics of the DEVS formalism in terms of a timed transition system, then we characterize a subclass of DEVS models, through the definition of a formalism inspired by DEVS and timed automata, that allows the use of modelchecking tools. Finally, we discuss the application of this tools and present a simple example.","PeriodicalId":91410,"journal":{"name":"Summer Computer Simulation Conference : (SCSC 2014) : 2014 Summer Simulation Multi-Conference : Monterey, California, USA, 6-10 July 2014. Summer Computer Simulation Conference (2014 : Monterey, Calif.)","volume":"4 1","pages":"312-319"},"PeriodicalIF":0.0,"publicationDate":"2007-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79606363","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}

{"title":"DEVS-based simulation web services for net-centric T&E","authors":"S. Mittal, J. L. Risco-Martín, B. Zeigler","doi":"10.1145/1357910.1357967","DOIUrl":"https://doi.org/10.1145/1357910.1357967","url":null,"abstract":"Current test and evaluation (T&E) systems are not sufficiently well integrated with defined net-centric architectures to support system-of-systems and enterprise level testing. This paper discusses a test and development environment using Discrete Event System Specification Modeling Language (DEVSML) and the Service Oriented Architecture (SOA) framework. The underlying DEVS Modeling Language is built on XML and provides model interoperability among DEVS models hosted at remote network addresses. We describe the client application that communicates with multiple servers hosting DEVS Simulation services and the underlying SOADEVS framework. We show how SOADEVS is positioned to address the need for a DoD Architecture Framework, DoDAF-based net-centric paradigm for test and evaluation at the system-of-systems and enterprise systems levels. The SOADEVS framework provides the needed feature of runtime composability of coupled systems using the SOA framework.","PeriodicalId":91410,"journal":{"name":"Summer Computer Simulation Conference : (SCSC 2014) : 2014 Summer Simulation Multi-Conference : Monterey, California, USA, 6-10 July 2014. Summer Computer Simulation Conference (2014 : Monterey, Calif.)","volume":"32 1","pages":"357-366"},"PeriodicalIF":0.0,"publicationDate":"2007-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75822299","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}

{"title":"A flexible dynamic structure DEVS algorithm towards real-time systems","authors":"Hui Shang, Gabriel A. Wainer","doi":"10.1145/1357910.1357964","DOIUrl":"https://doi.org/10.1145/1357910.1357964","url":null,"abstract":"A dynamic structure DEVS algorithm - Flexible Dynamic Structure DEVS is introduced in this paper. The dynamic structure is a salient supplementary of the Real-Time DEVS-based experimental environment we proposed before. By adapting the system organization to the changing internal/external environments while the systems are in progress, the functionality of the experimental environment is improved greatly. Consequently, it is possible to build more reliable and flexible Real-Time systems. This paper describes the abstract simulators for dynamic structure DEVS; moreover, the implementing process is presented to show how the dynamic structure abstract simulators work seamlessly with the regular DEVS simulating engine. The Real-Time DEVS-based experimental environment with the dynamic structure function exploits a new space to build reliable and adaptive Real-Time systems.","PeriodicalId":91410,"journal":{"name":"Summer Computer Simulation Conference : (SCSC 2014) : 2014 Summer Simulation Multi-Conference : Monterey, California, USA, 6-10 July 2014. Summer Computer Simulation Conference (2014 : Monterey, Calif.)","volume":"115 1","pages":"339-345"},"PeriodicalIF":0.0,"publicationDate":"2007-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78535587","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}

{"title":"DAG-guided parallel asynchronous variational integrators with super-elements","authors":"Jen-Chih Huang, X. Jiao, R. Fujimoto, H. Zha","doi":"10.1145/1357910.1358017","DOIUrl":"https://doi.org/10.1145/1357910.1358017","url":null,"abstract":"Physical systems often involve a wide spectrum of time scales, making traditional synchronous time integrators too slow even on the world's fastest supercomputers. Asynchronous variational integrators (AVIs) have recently been introduced to address this challenge for a class of nonlinear elastodynamic problems. In this paper, we introduce a new and efficient parallel algorithm for the AVIs. We propose a new local-minima interpretation of the dependencies in the AVIs. Based on this interpretation, we show that the expected amount of parallelism in the AVIs is proportional to the number of elements of a mesh assuming a uniform distribution of the dependencies. Second, based on the local-minima interpretation, we introduce a parallel algorithm for the AVIs guided by the dependency graph of the computation that avoids using priority queues, thereby improving scalability. Third, we present an efficient multi-threaded implementation of the AVIs and introduce performance-optimization techniques using super-elements. Preliminary experimental results are presented to verify our theoretical analysis and demonstrate the effectiveness of the proposed algorithms.","PeriodicalId":91410,"journal":{"name":"Summer Computer Simulation Conference : (SCSC 2014) : 2014 Summer Simulation Multi-Conference : Monterey, California, USA, 6-10 July 2014. Summer Computer Simulation Conference (2014 : Monterey, Calif.)","volume":"4 1","pages":"691-697"},"PeriodicalIF":0.0,"publicationDate":"2007-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75441790","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}