Computer animation of hot spot development in bulk coal as an aid for training coal miners

The processes that take place during the development of a heating are difficult to visualise. Bulk coal self-heating tests at The University of Queensland (UQ) using a two-metre column are providing graphic evidence of the stages that occur during a heating. Data obtained from these tests, both temperature and corresponding off-gas evolution can be transformed into what is effectively a video-replay of the heating event. This is achieved by loading both sets of data into a newly developed animation package called Hotspot. The resulting animation is ideal for spontaneous combustion training purposes as the viewer can readily identify the different hot spot stages and corresponding off-gas signatures. Colour coding of the coal temperature, as the hot spot forms, highlights its location in the coal pile and shows its ability to migrate upwind. An added benefit of the package is that once a mine has been tested in the UQ two-metre column, there is a permanent record of that particular coals performance for mine personnel to view.

Supporting the software testing process through specification animation

Achieving consistency between a specification and its implementation is an important part of software development. In this paper, we present a method for generating passive test oracles that act as self-checking implementations. The implementation is verified using an animation tool to check that the behavior of the implementation matches the behavior of the specification. We discuss how to integrate this method into a framework developed for systematically animating specifications, which means a tester can significantly reduce testing time and effort by reusing work products from the animation. One such work product is a testgraph: a directed graph that partially models the states and transitions of the specification. Testgraphs are used to generate sequences for animation, and during testing, to execute these same sequences on the implementation.

Animation of object-z specifications using a Z animator

We discuss a methodology for animating the Object-Z specification language using a Z animation environment. Central to the process is the introduction of a framework to handle dynamic instantiation of objects and management of object references. Particular focus is placed upon building the animation environment through pre-existing tools, and a case study is presented that implements the proposed framework using a shallow encoding in the Possum Z animator. The animation of Object-Z using Z is both automated and made transparent to the user through the use of a software tool named O-zone.

Using Problems to Introduce some Tools and Technologies for Implementation of Graphics and Animation in C#

This paper is devoted to the learning of event programming by using Visual C# in specialized training in Informatics in high schools. Some basic tools and technologies for the implementation of graphics and animation in C# are discussed. Two example problems are proposed.

Reframing Chinese animation: from classicism to postmodernism in post-1949 non-commercial Chinese animated films

This thesis focuses on Chinese non-commercial animated films produced from 1949 to date, with the aim of remapping and reframing Chinese animation in the light of existing theories, critiques, and frameworks drawn from studies in animation, film, and screen media. I suggest that Chinese animation has experienced three aesthetic transformations since 1949, primarily influenced by traditional Chinese culture, by Western modernist art and literature and, most recently, by postmodernism, respectively. Thus, the research traces and thoroughly investigates these three distinctive phases of Chinese animation in chronological order, from the classical period (1950s– 1980s) to modernism (1980s–2000s) and postmodernism (after 2000s). More in detail, I first rethink and re-evaluate the success of classical Chinese animation and the Chinese school of animation and, at the same time, I explore the influence of the political situation of the time on Chinese animation. Through careful analysis of A Da (1934–87) and other Chinese animators’ practices and theory, then, I argue that a remarkable modernist transformation took place in Chinese animation between the 1980s and 2000s, mainly driven by Western modernism and the Chinese “cultural fever” movement. Finally, through a discussion of the latest non-commercial animations produced after 2005, and especially those of Bu Hua (1973– ), for the first time I classify and theorize contemporary Chinese animations within a postmodern framework. By reframing existing views and broadening the scope of the analysis to encompass new areas and frameworks, this thesis aims to provide the reader with a comprehensive and systematic understanding of post-1949 Chinese animation and to offer an original contribute to scholarship, also working as a starting point for further research in this area.

Supporting the Model-Driven Development of Real-time Embedded Systems with Run-Time Monitoring and Animation via Highly Customizable Code Generation

This paper presents a vision that allows the combined use of model-driven engineering, run-time monitoring, and animation for the development and analysis of components in real-time embedded systems. Key building block in the tool environment supporting this vision is a highly-customizable code generation process. Customization is performed via a configuration specification which describes the ways in which input is provided to the component, the ways in which run-time execution information can be observed, and how these observations drive animation tools. The environment is envisioned to be suitable for different activities ranging from quality assurance to supporting certification, teaching, and outreach and will be built exclusively with open source tools to increase impact. A preliminary prototype implementation is described.

& she was like "O_O" : Animation of reported speech on Twitter

This study relates discourse-pragmatic aspects of the use of the quotatives say, be like, be all, and go to the question of the supposed or actual spoken-likeness of written computer-mediated communication (CMC). 1,800 tokens of reported speech, collected from Twitter, were analyzed in a “constructed dialogue” framework (Tannen, 2007). The results show that users of Twitter employ various CMC devices to animate and modally enrich reported speech, especially in speech reports with be like, be all, and go. They perform a style of communication that is reminiscent of conversational speech, even while having qualities that seem to belong uniquely to CMC.