Coupling of interactive manufacturing operations simulation and immersive virtual reality

This paper presents a novel general-purpose simulation analysis application that combines concurrent operations simulation with the advanced data interrogation and user interaction capabilities of immersive virtual reality systems. The application allows for interactive modification of the simulation parameters, while providing the users with the available simulation information by effectively placing the operator in the midst of the environment being simulated. The major contribution of this research is the total integration of the immersive virtual reality environment with the simulation, allowing users in the environment to interactively change the inputs to the simulation as it is running. Implementation and functionality details of the developed application are presented. The experience of using the application to analyze a manufacturing operation in a collaborative scenario is also discussed

Pando: Personal Volunteer Computing in Browsers

The large penetration and continued growth in ownership of personal electronic devices represents a freely available and largely untapped source of computing power. To leverage those, we present Pando, a new volunteer computing tool based on a declarative concurrent programming model and implemented using JavaScript, WebRTC, and WebSockets. This tool enables a dynamically varying number of failure-prone personal devices contributed by volunteers to parallelize the application of a function on a stream of values, by using the devices' browsers. We show that Pando can provide throughput improvements compared to a single personal device, on a variety of compute-bound applications including animation rendering and image processing. We also show the flexibility of our approach by deploying Pando on personal devices connected over a local network, on Grid5000, a French-wide computing grid in a virtual private network, and seven PlanetLab nodes distributed in a wide area network over Europe.Comment: 14 pages, 12 figures, 2 table

Panel on future challenges in modeling methodology

This panel paper presents the views of six researchers and practitioners of simulation modeling. Collectively we attempt to address a range of key future challenges to modeling methodology. It is hoped that the views of this paper, and the presentations made by the panelists at the 2004 Winter Simulation Conference will raise awareness and stimulate further discussion on the future of modeling methodology in areas such as modeling problems in business applications, human factors and geographically dispersed networks; rapid model development and maintenance; legacy modeling approaches; markup languages; virtual interactive process design and simulation; standards; and Grid computing

Using formal methods to support testing

Formal methods and testing are two important approaches that assist in the development of high quality software. While traditionally these approaches have been seen as rivals, in recent years a new consensus has developed in which they are seen as complementary. This article reviews the state of the art regarding ways in which the presence of a formal specification can be used to assist testing

A cognitive exploration of the “non-visual” nature of geometric proofs

Why are Geometric Proofs (Usually) “Non-Visual”? We asked this question as a way to explore the similarities and differences between diagrams and text (visual thinking versus language thinking). Traditional text-based proofs are considered (by many to be) more rigorous than diagrams alone. In this paper we focus on human perceptual-cognitive characteristics that may encourage textual modes for proofs because of the ergonomic affordances of text relative to diagrams. We suggest that visual-spatial perception of physical objects, where an object is perceived with greater acuity through foveal vision rather than peripheral vision, is similar to attention navigating a conceptual visual-spatial structure. We suggest that attention has foveal-like and peripheral-like characteristics and that textual modes appeal to what we refer to here as foveal-focal attention, an extension of prior work in focused attention

A Framework For Process Data Collection, Analysis, And Visualization In Construction Projects

Automated data collection, simulation and visualization can substantially enhance the process of designing, analysis, planning, and control of many engineering processes. In particular, managing processes that are dynamic in nature can significantly benefit from such techniques. Construction projects are good examples of such processes where a variety of equipment and resources constantly interact inside an evolving environment. Management of such settings requires a platform capable of providing decision-makers with updated information about the status of project entities and assisting site personnel making critical decisions under uncertainty. To this end, the current practice of using historical data or expert judgments as static inputs to create empirical formulations, bar chart schedules, and simulation networks to study project activities, resource operations, and the environment under which a project is taking place does not seem to offer reliable results. The presented research investigates the requirements and applicability of a data-driven modeling framework capable of collecting and analyzing real time field data from construction equipment. In the developed data collection scheme, a stream of real time data is continuously transferred to a data analysis module to calculate the input parameters required to create dynamic 3D visualizations of ongoing engineering activities, and update the contents of a discrete event simulation (DES) model representing the real engineering process. The generated data-driven simulation model is iv an effective tool for projecting future progress based on existing performance. Ultimately, the developed framework can be used by project decision-makers for shortterm project planning and control since the resulting simulation and visualization are completely based on the latest status of project entities