Visualizing Uncertainty - Revision history

Ceres at 15:49, 9 January 2015

2015-01-09T15:49:00Z

Ceres at 11:14, 9 December 2014

2014-12-09T11:14:39Z

Ceres at 23:24, 21 October 2014

2014-10-21T23:24:45Z

Ceres: Added PDF links for references.

2014-10-21T21:42:01Z

Added PDF links for references.

Ceres at 21:40, 21 October 2014

2014-10-21T21:40:45Z

Ceres: Added references.

2014-10-21T21:39:53Z

Added references.

Ceres: Added an optional expected outcome.

2014-10-21T21:24:20Z

Added an optional expected outcome.

Ceres: Created proposal.

2014-10-21T20:53:31Z

Created proposal.

New page

{{StudentProjectTemplate
|Title=Visualizing Uncertainty
|Summary=Develop a method for visualizing simulations involving uncertainty in 3D.
|Author=Adam Duracz
|Supervisor=Adam Duracz, Walid Taha,
|Level=Flexible
|Status=Open
}}
= Description =

Three dimensional models are an indispensable tool for visualising simulation results, particularly for models comprising a large number of variables. Due to the close correspondence between the 3D model and the system under design, the mapping of simulation results to 3D animations normally is straightforward. When the model includes uncertain parameter values, or the computational method used to simulate the model produces such values, the mapping to a 3D animation becomes a challenge. The goal of this project is to develop a method to visualize results of such simulations.

== Research Questions ==

# How can geometric objects defined by uncertain real-valued variables (intervals) be visualized effectively?
# How can uncertain discrete variables, such as strings, be visualized?

== Expected Outcomes ==

# A method for mapping simulation results involving uncertain values to 3D animations.

# An implementation of the visualization method, integrated into the [http://acumen-language.org/ Acumen] language.

= Prerequisites =

# Firm grasp of Java, Scala or a similar functional or object oriented language.

# Experience with geometry, linear algebra and 3D visualization will all be helpful.

@@ Line 4: / Line 4: @@
 |Author=Henry Andersson, Amadeusz Pawlik
 |Supervisor=Adam Duracz, Walid Taha,
-|Level=Flexible
+|Level=Undergraduate
 |Status=Ongoing
 }}

@@ Line 30: / Line 30: @@
 = References =
-# Yingfu Zeng, Lightweight Three-Dimensional Visualization for Hybrid Systems Simulation, Masters thesis in Embedded and Intelligent Systems, Halmstad University, 2012. Archive includes thesis document, presentation, and Acumen models and snapshot of a Acumen.
+# Yingfu Zeng, Lightweight Three-Dimensional Visualization for Hybrid Systems Simulation, Masters thesis in Embedded and Intelligent Systems, Halmstad University, 2012. Archive includes thesis document, presentation, and Acumen models and snapshot of a Acumen [http://hh.diva-portal.org/smash/get/diva2:559325/FULLTEXT01.pdf pdf].
 # Modeling Basic Aspects of Cyber-Physical Systems.  DSLRob'12, [http://www.effective-modeling.org/p/publications/conference/dslrob12.pdf pdf].
-# Tucker, Warwick. "Validated numerics for pedestrians." European Congress of Mathematics, Eur. Math. Soc., Zrich, Austria. 2005.
+# Tucker, Warwick. "Validated numerics for pedestrians." European Congress of Mathematics, Eur. Math. Soc., Zrich, Austria. 2005 [http://www2.math.uu.se/~warwick/main/papers/ECM04Tucker.pdf pdf].

← Older revision		Revision as of 21:40, 21 October 2014
Line 31:		Line 31:

	# Yingfu Zeng, Lightweight Three-Dimensional Visualization for Hybrid Systems Simulation, Masters thesis in Embedded and Intelligent Systems, Halmstad University, 2012. Archive includes thesis document, presentation, and Acumen models and snapshot of a Acumen.		# Yingfu Zeng, Lightweight Three-Dimensional Visualization for Hybrid Systems Simulation, Masters thesis in Embedded and Intelligent Systems, Halmstad University, 2012. Archive includes thesis document, presentation, and Acumen models and snapshot of a Acumen.
		+	# Modeling Basic Aspects of Cyber-Physical Systems. DSLRob'12, [http://www.effective-modeling.org/p/publications/conference/dslrob12.pdf pdf].
	# Tucker, Warwick. "Validated numerics for pedestrians." European Congress of Mathematics, Eur. Math. Soc., Zrich, Austria. 2005.		# Tucker, Warwick. "Validated numerics for pedestrians." European Congress of Mathematics, Eur. Math. Soc., Zrich, Austria. 2005.

@@ Line 2: / Line 2: @@
 |Title=Visualizing Uncertainty
 |Summary=Develop a method for visualizing simulations involving uncertainty in 3D.
-|Author=Adam Duracz
+|Author=
 |Supervisor=Adam Duracz, Walid Taha,
 |Level=Flexible

@@ Line 9: / Line 9: @@
 = Description =
-Three dimensional models are an indispensable tool for visualising simulation results, particularly for models comprising a large number of variables. Due to the close correspondence between the 3D model and the system under design, the mapping of simulation results to 3D animations normally is straightforward. When the model includes uncertain parameter values, or the computational method used to simulate the model produces such values, the mapping to a 3D animation becomes a challenge. The goal of this project is to develop a method to visualize results of such simulations.
+Three dimensional models are an indispensable tool for visualising simulation results, particularly for models comprising a large number of variables. Due to the close correspondence between the 3D model and the system under design, the mapping of simulation results to 3D animations normally is straightforward. When the model includes uncertain parameter values, or the computational method used to simulate the model produces such values (e.g. simulation based on validated numerics), the mapping to a 3D animation becomes a challenge. The goal of this project is to develop a method to visualize results of such simulations.
 == Research Questions ==
@@ Line 27: / Line 27: @@
 # Firm grasp of Java, Scala or a similar functional or object oriented language.
 # Experience with geometry, linear algebra and 3D visualization will all be helpful.

@@ Line 14: / Line 14: @@
 # How can geometric objects defined by uncertain real-valued variables (intervals) be visualized effectively?
 # How can uncertain discrete variables, such as strings, be visualized?
 == Expected Outcomes ==
-# A method for mapping simulation results involving uncertain values to 3D animations.
+# A method for mapping simulation results involving uncertain values to 3D animations, based on sampling.
+# A method for mapping simulation results involving uncertain values to 3D animations, based on box hull operations (if there is time).
-# An implementation of the visualization method, integrated into the [http://acumen-language.org/ Acumen] language.
+# An implementation, integrated into the [http://acumen-language.org/ Acumen] language.
 = Prerequisites =
 # Firm grasp of Java, Scala or a similar functional or object oriented language.
 # Experience with geometry, linear algebra and 3D visualization will all be helpful.