Skip to main content Skip to navigation

The Tenth Warwick Empirical Modelling Bulletin (WEB-EM-10) / 2013-14

Creating an Abstract Definitive Machine Plugin for JS-EDEN [Paper-5 (PDF Document), Model-5 (ZIP or other archive)]

Ruth King

The Abstract Definitive Machine (ADM) is a method of modelling and simulating concurrent systems using states and transitions within a definitive environment. Entities are defined and instantiated with collections of variable definitions and guarded actions which depend on and redefine the system state. These describe the state changing privileges of the entity. At each computational step a selection of actions with true guards is processed. This paper describes an attempt to develop a prototype ADM plugin for JS-EDEN, taking a unique human perspective with the modeller at the centre, and illustrates some uses of the plugin through example models. The paper will then discuss the results of the attempt, including possible future work and extensions.

Empirical Modelling for understanding cell receptive fields in the visual cortex [Paper-5 (PDF Document), Model-5 (ZIP or other archive)]

Hamish Todd

This project involved “translating” Nicholas V Swindale’s 1996 paper “Visual cortex: Looking into a Klein bottle”[4] into an interactive format influence by Empirical Modelling. The paper is a brief description of the arrangement of some sight receptive neurons in “cell receptive fields” in the visual cortex of primates. It describes some relatively simple biology and mathematics, and exposes a mapping between connections in primate brains and an interesting shape called a “Klein bottle”. As will be described, the translation was successful and not “lossy”, and the information being in this format is a huge improvement.

An EM Construal of the Abacus [Paper-5 (PDF Document), Model-5 (ZIP or other archive)]

Fiona Tang

The abacus is a simple yet powerful tool for calculations, only simple rules are used and yet the same outcome can be derived through various processes depending on the human operator. This paper explores how a construal of the abacus can be used as an educational tool but also how ‘human computing’ is illustrated. The user can gain understanding regarding how to operate the abacus for addition through a constructivist approach but can also use the more informative material elaborated in the EMPE context.

Empirical Modelling, Learning and Visual Perception [Paper-5 (PDF Document), Model-5 (ZIP or other archive)]

Shivani Goel

Reading textbooks does not always help learning of students with different learning styles. Learning involves understanding information using your own internal references, which is not always plausible by just reading textbooks, it requires placing that information into practice, exploring, interacting and experimenting with it, learning by doing. Principles of Empirical Modelling place emphasis on this approach, known as a constructivist approach, to assist learning. This approach can provide learners with a deep understanding of a concept/interest through constructing a model, observing and experimenting with it which in turn helps with the learner's life long understanding of that particular topic. There are a number of tools, which are used to apply Empirical Modelling principles in practice, providing modellers with an interactive environment where they can build artefacts called construals. Whilst building construals, the modeller lays the foundation with basic observables and dependencies, then explores and builds on top of it using their understanding of the concept and adds further complex observables and dependencies. This paper presents a discussion on how Empirical Modelling aids learning and why Empirical Modelling has not been widely spread. It also discusses how the models created in the past/present using principles of Empirical Modelling can benefit end-users with different learning styles. Lastly, it presents a comparison between the two main tools used in the application of Empirical Modelling principles, EDEN and JS-EDEN. This comparison uses the understanding that came from the development of models on visual perception and optical illusions as part of the modelling study.

Timing Circuit: NE555 Waveform Generator [Paper-3 (PDF Document), Model-7 (ZIP or other archive)]

Theerayut Sueverachai

This paper is intended to provide the simulation of two applications using NE555 integrated circuit (IC) which is based on Empirical Modelling (EM). The two applications are mainly depended on the configuration of the circuit's components, so called 'Astable Mode' and 'Monostable Mode'. These modes are generally used in a variety of timing circuit. The scenario of this implementation can be simply taught as giving inputs to calculates outputs both in the form of number and graph. This signifies that the time or frequency of the NE555 IC will be able to calculate if components' values are known or vice versa. Thus, this implementation is aimed to educational purpose.

ODIN: A Conceptual Framework for an object extended EDEN [Paper-4 (PDF Document), Model-6 (ZIP or other archive)]

Joe Butler

ODIN demonstrates how EDEN may be extended to support concepts offered by object orientation such as the association of variables and replication of objects. This article summarises the potential that the conceptual framework for ODIN offers to EDEN. An HTML5-Javascript ODIN application has been implemented to demonstrate and explore the effectiveness of the extensions proposed.

Reviewing Object Oriented Programming within Empirical Modelling [Paper-4 (PDF Document), Model-6 (ZIP or other archive)]

Ben Beeson

This paper shall begin by examining the challenges that are faced by EDEN and how object oriented principles could be potentially used to solve them. It shall then review the key concepts of object oriented programming and how this could be applied to modelling construals. Next it shall present an implementation that attempts to combine EDEN with Java’s object orientation. Finally it shall review the outcome of the implementation, what it has achieved and where its problems lie.

Educational Technology: Complex Data Structures Through Construals [Paper-5 (PDF Document), Model-5 (ZIP or other archive)]

Joshua Lawrence

This paper investigates the use of Empirical Modelling techniques in educational technology for teaching complex data structures. The result of the project is an exploration of using Empirical Modelling to teach how red black trees function showing the capabilities of this approach for this domain. A comparison with previous work and alternative approaches is discussed. We find that despite the approach necessitating some restrictions in what can be achieved, the overall approach produces a successful and innovative construal, which encourages further research into this area.

Matchbox Educable Noughts And Crosses Engine In Empirical Modelling [Paper-5 (PDF Document), Model-5 (ZIP or other archive)]

Yibo Zhao

Matchbox Educable Noughts And Crosses Engine (MENACE) is a machine proposed by Professor Donald Michie in 1960s. This machine is used to learn the Noughts and Crosses game automatically and will become smarter via playing against human. In this paper, this MENACE machine will be applied in Empirical Modelling. The model will use the same method to create hundreds of boxes, and use beads to represent probabilities in making moves. The dependency between the chances in move making observables and the beads in boxes can be clearly seen through the game section and the relevant numbers. It is more understandable to apply MENACE in EM, and easier for others to improve it.

Empirical Modelling and the use of LISP [Paper-3 (PDF Document), Model-7 (ZIP or other archive)]

Jeffrey Downie

This paper attempts to explore the advantages and disadvantages of the current code writing and macro techniques available within EDEN, and the use of LISP's macros to improve the ability to create advanced models and teach with definitive notation.

Modelling an interactive Text editor [Paper-5 (PDF Document), Model-5 (ZIP or other archive)]

Eyimofe Prest

This paper Evaluates the text editor model, By making use of audio and video player, Line calculation and cache storing and definition allocation. The model shows the possibilities of Empirical modelling In jseden by use of dependencies, observables, and other Definitions, This paper reviews the use of Empirical modelling in the Visual and informative methods based on understandable and clear design. The process to gain the results, the limitations and the benefits of Empirical modelling. Further possibilities that can grow from EM and a personal conclusion to if Empirical modelling is a tool that accomplishes what is was designed to do.