Several severe accidents have occurred in metro transportation, the attention for safety has increased enormously. The paper introduces the method to combine metro traffic safety with Virtual Reality technology in urb...
详细信息
ISBN:
(纸本)9780784410394
Several severe accidents have occurred in metro transportation, the attention for safety has increased enormously. The paper introduces the method to combine metro traffic safety with Virtual Reality technology in urban rail traffic system, studies the metro fire characteristics and causes. Puts forward a method to set up the metro virtual environment for simulation by using Virtual Reality technology, which is helpful to deal with potential hazards in advance. On this foundation, by using 3DS MAX and OpenGL graphics programming techniques, the rendering pipeline of virtual metro station scene is designed. The virtual metro station scene is rendered and can be roamed and implemented in real time. The dynamical fire effect is rendered in the virtual metro station by using the real time fire simulation algorithm based on the particle system, and the locomotive and metro station fire are simulated. Preliminary fire simulation framework of the virtual metro station is established. Copyright ASCE 2009.
This paper presents a CAD system, termed as HOCAD, for heterogeneous object modeling based on ACIS and HOOPS. The HO-CAD system is composed of four modules which are used for creation, representation and visualization...
详细信息
Aiming at the wide application of SPWM sinusoidal modulation wave in the inverter circuit, the paper introduces a method of generating SPWM wave according to asymmetric regular sampling with the period and overflow in...
详细信息
An integrated modeling and simulation tool called Componentbased System Modeler and Simulator (CoSMoS) is developed. It supports visual development of families of models that have well-defined logical specifications. ...
详细信息
ISBN:
(纸本)9789639799455
An integrated modeling and simulation tool called Componentbased System Modeler and Simulator (CoSMoS) is developed. It supports visual development of families of models that have well-defined logical specifications. The logical componentbased models persist in relational databases and may be automatically translated into specific target simulation and markup programming languages. The underlying systemtheoretic modeling framework of CoSMoS lends itself for the well-known discrete-time, continuous, and discrete-event modeling approaches. Currently, CoSMoS supports developing parallel DEVS-compliant models which can be executed using the DEVS-Suite simulator. The underlying process lifecycle of the CoSMoS enables systematic transitioning from visual model development and design of experiments to simulation execution and experimentation. Simulation data can be used for run-time animation and viewing of time-based trajectories or exported for post processing. This tool helps to simplify simulation-based system design, verification, and validation. The core capabilities of the CoSMoS are exemplified with a conceptual model of an anti-virus network software system.
Data Structures is a core course in almost all Com-puter science *** and courses on Data Struc-tures these days are programming-languages-based with those based on object-oriented programming(OOP)in *** many cases,the...
详细信息
Data Structures is a core course in almost all Com-puter science *** and courses on Data Struc-tures these days are programming-languages-based with those based on object-oriented programming(OOP)in *** many cases,they base their pedagogy on software design ***,because of heavy reliance on abstraction,they place greater demands on *** this study,we design and implement a visualization tool that makes it easier for students to understand object-oriented data structures.
Event search is the problem of identifying events or activity of interest in a large database storing long sequences of activity. In this paper, our topic is the problem of identifying activities of interest in databa...
详细信息
ISBN:
(纸本)9781605584096
Event search is the problem of identifying events or activity of interest in a large database storing long sequences of activity. In this paper, our topic is the problem of identifying activities of interest in databases where such activities are represented as time series. In the typical setup, the user presents a query that represents an activity of interest, and the system needs to retrieve the most similar activities stored in the database. We focus on the case where the best database matches are not segmented a priori: the database contains representations of long, continuous activity, that occurs throughout relatively extensive periods of time, and, given a query, there are no constraints as to when exactly a database match starts and ends within the longer activity pattern where it is contained. Using the popular DTW measure, the best database matches can be found using dynamic programming. However, retrieval time is linear to the size of the database and can become too long as the database size becomes larger. To achieve more efficient retrieval time, we apply to this problem a recently proposed technique called Embed ding based Subsequence Matching (EBSM), and we demonstrate that using EBSM we can obtain significant speedups in retrieval time. Copyright 2009 ACM.
Network video monitoring system realized with ARM9 and embedded linux. Monitor terminal hardware takes ARM9 S3C2410 processor for centralization, in virtue of Flash, SDRAM, USB, network controller,etc. Software system...
详细信息
ISBN:
(纸本)9780791802977
Network video monitoring system realized with ARM9 and embedded linux. Monitor terminal hardware takes ARM9 S3C2410 processor for centralization, in virtue of Flash, SDRAM, USB, network controller,etc. Software system adopts embedded linux, the main function realized by C programming to achieve real-time camera data acquisition, image compression and network transmission. Monitoring center connects to the terminal by network, receives image data and displays with VC++ software. It is easier to be used in windows system. The results showed that the monitoring system has the advantage of high reliability,high efficiency and low cost with ARM9 and a wired or wireless network,and it provides a feasible method for remote video monitoring.
Modeling languages as programming languages need precise and unambiguous semantics to be used appropriately, the formal semantics is significant for designing CASE tools and model verification. Several approaches have...
详细信息
ISBN:
(纸本)9781424449453;9781424449460
Modeling languages as programming languages need precise and unambiguous semantics to be used appropriately, the formal semantics is significant for designing CASE tools and model verification. Several approaches have been used throughout these years to describe the semantics of modeling languages, but in spite of programming languages, these semantics frameworks are not used in large scale for modeling languages. This paper reviews the history of developments on semantics frameworks for modeling languages.
Gene expression programming (GEP) is a powerful tool widely used in function mining. However, it is difficult for GEP to generate appropriate numeric constants for function mining. In this paper, a novel approach of c...
详细信息
Gene expression programming (GEP) is a powerful tool widely used in function mining. However, it is difficult for GEP to generate appropriate numeric constants for function mining. In this paper, a novel approach of creating numeric constants, GEPPSO, was proposed, which embedded particle swarm optimization (PSO) into GEP. In the approach, the evolutionary process was divided into 2 phases: in the first phase, GEP focused on optimizing the structure of function expression, and in the second one, PSO focused on optimizing the constant parameters. The experimental results on function mining problems show that the performance of GEPPSO is better than that of the existing GEP random numerical constants algorithm (GEP-RNC).
programming skill is crucial for all Computer science students which can only be mastered through intensive exercise practice. Apart from traditional face-to-face manner of teaching programming, with the recent advanc...
详细信息
programming skill is crucial for all Computer science students which can only be mastered through intensive exercise practice. Apart from traditional face-to-face manner of teaching programming, with the recent advancement of Internet and advanced program verification techinques, Webbased tutoring systems that can play the role of teacher are increasingly considered. In this paper, we suggest a framework for automatic verification of program exercises without risking the execution of actual code. In our framework, we first employ theorem proving to verify programming exercises and model checking to generate counter-examples to the learners. Our framework is being implemented and employed in a real education university environment with some initial promising results.
暂无评论