Patterns in complex systems modeling

The design, development, and use of complex systems models raises a unique class of challenges and potential pitfalls, many of which are commonly recurring problems. Over time, researchers gain experience in this form of modeling, choosing algorithms, techniques, and frameworks that improve the quality, confidence level, and speed of development of their models. This increasing collective experience of complex systems modellers is a resource that should be captured. Fields such as software engineering and architecture have benefited from the development of generic solutions to recurring problems, called patterns. Using pattern development techniques from these fields, insights from communities such as learning and information processing, data mining, bioinformatics, and agent-based modeling can be identified and captured. Collections of such 'pattern languages' would allow knowledge gained through experience to be readily accessible to less-experienced practitioners and to other domains. This paper proposes a methodology for capturing the wisdom of computational modelers by introducing example visualization patterns, and a pattern classification system for analyzing the relationship between micro and macro behaviour in complex systems models. We anticipate that a new field of complex systems patterns will provide an invaluable resource for both practicing and future generations of modelers.

Optimum coal properties and engineering processes for CO2 geosequestration in Coal

CO2 Geosequestration is seen by many worldwide scientists and engineers as a leading prospective solution to the global warming problem arising from excessive CO2 and other greenhouse gas emissions. CO2 geosequestration in coal seams has two important strategic benefits: the process has an extremely low risk of leakage, due to the adsorbed state of the CO2 and the known reservoir context of essentially-zero leakage into which it is be injected; the second benefit arises from the valuable by-product, clean burning coalbed methane gas. This paper presents the authors’ experience, knowledge and perspective on what coal properties and engineering processes would favour implementing a demonstration or commercial CO2 storage-in-coal project, in Queensland, Australia. As such, it may be considered a template for screening studies to select the optimum coal seam reservoir, and for preliminary studies in designing the injection system and predicting production response to the technology. The paper concludes by examining the current knowledge gaps of CO2 geosequestration in coal, identifying further basic and applied research topics.

Termination of real-time programs: Definitely, definitely not, or maybe

Real-time control programs are often used in contexts where (conceptually) they run forever. Repetitions within such programs (or their specifications) may either (i) be guaranteed to terminate, (ii) be guaranteed to never terminate (loop forever), or (iii) may possibly terminate. In dealing with real-time programs and their specifications, we need to be able to represent these possibilities, and define suitable refinement orderings. A refinement ordering based on Dijkstra's weakest precondition only copes with the first alternative. Weakest liberal preconditions allow one to constrain behaviour provided the program terminates, which copes with the third alternative to some extent. However, neither of these handles the case when a program does not terminate. To handle this case a refinement ordering based on relational semantics can be used. In this paper we explore these issues and the definition of loops for real-time programs as well as corresponding refinement laws.