CUMULVS is a middleware library that provides application programmers with a simple API for describing viewable and steerable fields in large-scale distributed simulations. These descriptions provide the data type, a ...
详细信息
CUMULVS is a middleware library that provides application programmers with a simple API for describing viewable and steerable fields in large-scale distributed simulations. These descriptions provide the data type, a logical name of the field/parameter, and the mapping of global indices to local indices (processor and physical storage) for distributed data fields. The CUMULVS infrastructure uses these descriptions to allow an arbitrary number of front-end "viewer" programs to dynamically attach to a running simulation, select one or more fields for visualization, and up-date steerable variables. (Viewer programs can be built using commercial visualization software such as AVS or custom software based on GUI interface builders like Tcl/Tk.) Although these data field descriptions require a small effort on the part of the application programmer, the payoff is a high degree of flexibility for the infrastructure and end-user. This flexibility has allowed us to extend the infrastructure to include "application-directed" checkpointing, where the application determines the essential state that must be saved for a restart. This has the advantage that checkpoints can be smaller and made portable across heterogeneous architectures using the semantic description information that can be included in the checkpoint file.
The proceedings contains 52 papers from the 1997 IEEE internationalconference on Application Specific systems, architectures, and Processors. Topics discussed include: visual computing environment for very large scal...
详细信息
The proceedings contains 52 papers from the 1997 IEEE internationalconference on Application Specific systems, architectures, and Processors. Topics discussed include: visual computing environment for very large scale biomolecular modeling;computing with locally interconnected architectures;nonlinear digital filter on a digital signal filtering processor;linear array parallel image processor;massively parallel implementation of the watershed based on cellular automata;Jacobi specific dataflow processor;storage size reduction in embedded multimedia systems;full-search block matching algorithms;image geometrical transformations using an embedded core based processor;and data-interlacing architecture for full-search block-matching algorithm.
During the past decade, the military modeling and simulation (M&S) community has seen the formation of the Defense modeling and simulation Office (DMSO) in the Department of Defense (DoD). Subsequently, many other...
详细信息
During the past decade, the military modeling and simulation (M&S) community has seen the formation of the Defense modeling and simulation Office (DMSO) in the Department of Defense (DoD). Subsequently, many other offices have been formed within the Services to be Service focal points for M&S and to coordinate Service domains. Out of this has arisen the awareness of the need and benefits of a standard high level M&S architecture. Despite the current seemingly disparate and large number of architectures, the M&S environment within the DoD will settle down to a small set of modelingsystems that will interoperate. However, does this mean that modeling will be mindless;will interoperability be automatic;will all answers be available to everyone? No, organizations will need to come together and plan their experiments within the chosen M&S architecture (i.e., they will need to Federate). Wright Laboratory and Science Applications international Corporation (SAIC) have worked simulation technology extensively over the years and most recently with the DMSO High-Level Architecture (HLA) and the Joint modeling and simulation System (JMASS). This paper will discuss the issues associated with organizations coming together to build a significant simulation suite, provide an approach to this activity, and share results of two Federating efforts.
The view of processing as an integral part of function suggests that information systems must be embedded into the structure and dynamics of the functions they support. This requires that the architecture of the compu...
详细信息
The view of processing as an integral part of function suggests that information systems must be embedded into the structure and dynamics of the functions they support. This requires that the architecture of the computer-based information system be compatible with the structure and dynamics of the organization it supports. In this paper we propose a model-based approach to the development of information systems that uses models of the structure and dynamics of organizations in order to develop effective function support. The proposed approach uses a conceptual tool to model key features of the structure and dynamics of the organization and a methodology that maps such features into the architecture of its supporting information system. A modeling and simulation environment is suggested that includes an extensive model base that can be used for the simulation and analysis of organizational function in addition to its use in systems development.
This paper enables symbolic simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variables used to characterize the initial state of t...
详细信息
ISBN:
(纸本)3540631666
This paper enables symbolic simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variables used to characterize the initial state of the memory is proportional to the number of memory accesses. The memory state is represented by a list containing entries of the form [c, a, d], where c is a Boolean expression denoting the set of conditions for which the entry is defined, a is an address expression denoting a memory location, and d is a data expression denoting the contents of this location. Address and data expressions are represented as vectors of Boolean expressions. The list interacts with the rest of the circuit by means of a software interface developed as part of the symbolic simulation engine. The interface monitors the control lines of the memory array and translates read and write conditions into accesses to the list. This memory model was also incorporated into the Symbolic Trajectory Evaluation technique for formal verification. Experimental results show that the new model significantly outperforms the transistor level memory model when verifying a simple pipelined data path.
The development of network protocols, especially if designed for use in very large scale networks, generally requires extensive simulation and tests in operational environments to assess their performance and correctn...
详细信息
ISBN:
(纸本)3540631011
The development of network protocols, especially if designed for use in very large scale networks, generally requires extensive simulation and tests in operational environments to assess their performance and correctness. Both approaches have limitations: simulation because of possible lack of accuracy in modeling the system (and, especially, traffic generators), tests in operating networks because of the difficulty of setting up and controlling the experimental testbed. In this paper we propose to embed network simulators in operational systems, so as to get the advantages of both simulators and real testbeds. Such simulators can be built with minimal modifications to existing protocol stacks. They work by intercepting communications of the protocol layer under test and simulating the effects of finite queues, bandwidth limitations, communication delays, noisy channels. As a result, experiments can be run on a standalone system, while simulating arbitrarily complex networks. Thanks to the ability of using real traffic generators and protocol implementations, doing experiments becomes as simple as running the desired set of applications on a workstation. An implementation of such a simulator, targeted to TCP and compatible with BSD-derived systems, is available from the author.
Knowledge of the complex molecular structures of living cells is being accumulated at a tremendous rate. Key technologies enabling this success have been high performance computing and powerful molecular graphics appl...
详细信息
Knowledge of the complex molecular structures of living cells is being accumulated at a tremendous rate. Key technologies enabling this success have been high performance computing and powerful molecular graphics applications, but the technology is beginning to seriously lag behind challenges posed by the size and number of new structures and by the emerging opportunities in drug design and genetic engineering. A visual computing environment is being developed which permits interactive modeling of biopolymers by linking a 3D molecular graphics program with an efficient molecular dynamics simulation program executed on remote high-performance parallel computers. The system will be ideally suited for distributed computing environments, by utilizing both local 3D graphics facilities and the peak capacity of high-performance computers for the purpose of interactive biomolecular modeling. To create an interactive 3D environment three input methods will be explored: (1) a six degree of freedom `mouse' for controlling the space shared by the model and the user;(2) voice commands monitored through a microphone and recognized by a speech recognition interface;(3) hand gestures, detected through cameras and interpreted using computer vision techniques. Controlling 3D graphics connected to real time simulations and the use of voice with suitable language semantics, as well as hand gestures, promise great benefits for many types of problem solving environments. Our focus on structural biology takes advantage of existing sophisticated software, provides concrete objectives, defines a well-posed domain of tasks and offers a well-developed vocabulary for spoken communication.
The proceedings contain 18 papers. The special focus in this conference is on modeling Techniques and Tools for computer Performance Evaluation. The topics include: A performability modeling environment tool;dependabi...
ISBN:
(纸本)9783540631019
The proceedings contain 18 papers. The special focus in this conference is on modeling Techniques and Tools for computer Performance Evaluation. The topics include: A performability modeling environment tool;dependability evaluation and the optimization of performability;design and implementation of a network computing platform using JAVA;storage alternatives for large structured state spaces;an efficient disk-based tool for solving very large markov models;efficient transient overload tests for real-time systems;towards an analytical tool for performance modeling of ATM networks by decomposition;an embedded network simulator to support network protocols’ development;synchronized two-way voice simulation for internet phone performance analysis and evaluation;processes as language-oriented building blocks of stochastic petri nets;measurement tools and modeling techniques for evaluating WEB server performance;workload characterization of input/output intensive parallel applications;interval based workload characterization for distributed systems;bounding the loss rates in a multistage ATM switch;simple bounds for queues fed by markovian sources and on queue length moments in fork and join queuing networks with general service times.
The proceedings contain 50 papers. The special focus in this conference is on Design Environments and Tools. The topics include: A system for designing parallel processor arrays;on the role of architectures in systems...
ISBN:
(纸本)3540638113
The proceedings contain 50 papers. The special focus in this conference is on Design Environments and Tools. The topics include: A system for designing parallel processor arrays;on the role of architectures in systems engineering;an approach to safety critical systems design;extensions and semantics of controller state diagrams for practical applications;design and implementation of an energy management system for an integrated iron and steel plant;representation and management of memory and decision in evolving software systems;a generic engineering framework for mechanical engineering based upon meta models;formal representation and proof of the interpreted sequential machine model;modelling of concurrent and embeddedsystems;a dense-time temporal logic with nice compositionality properties;introducing planning in discrete event systems;multirate control of a class of nonlinear systems;global structural approximate controllability of polynomial nonlinear systems;vectorized simulations of normal processes for first crossing-time problems;an architecture for complex systems;design of nonlinear lag-lead compensators by extended linearization using symbolic computation techniques;a numerical computation for declarative expressions;an automatic calculator with penrose diagrams;cognitive modeling for navigation of mobile robots using the sensory gradient concept;fuzzy traffic police for autonomous vehicles;object-oriented model of an open communication architecture for flexible manufacturing control;a formal model for integrated system development;moving towards an agent-based engineering environment;experiencing modeling and development of an intelligent autonomous robot;modular control system for robotized cells and lines and latest developments in robotics.
The view of processing as an integral part of function suggests that information systems must be embedded into the structure and dynamics of the functions they support. This requires that the architecture of the compu...
详细信息
The view of processing as an integral part of function suggests that information systems must be embedded into the structure and dynamics of the functions they support. This requires that the architecture of the computer-based information system be compatible with the structure and dynamics of the organization it supports. In this paper we propose a model-based approach to the development of information systems that uses models of the structure and dynamics of organizations in order to develop effective function support. The proposed approach uses a conceptual tool to model key features of the structure and dynamics of the organization and a methodology that maps such features into the architecture of its supporting information system. A modeling and simulation environment is suggested that includes an extensive model base that can be used for the simulation and analysis of organizational function in addition to its use in systems development.
暂无评论