Towards model round-trip engineering : an abductive approach

Providing support for reversible transformations as a basis for round-trip engineering is a significant challenge in model transformation research. While there are a number of current approaches, they require the underlying transformation to exhibit an injective behaviour when reversing changes. This however, does not serve all practical transformations well. In this paper, we present a novel approach to round-trip engineering that does not place restrictions on the nature of the underlying transformation. Based on abductive logic programming, it allows us to compute a set of legitimate source changes that equate to a given change to the target model. Encouraging results are derived from an initial prototype that supports most concepts of the Tefkat transformation language

Trip to Sunshine Coast Queensland, September 2004 visit to bridge and foreshore

A trip was undertaken to look at concerns of Public Works and Main Roads Departments of Queensland. David Paterson and Wayne Ganther from CSIRO travelled to the Sunshine Coast with Alan Carse of Queensland Department of Main Roads and Michael Ball of Queensland Department of Public Works. We were also joined for part of the visits by Ed Bowers of QBuild which is a commercial unit of Public Works responsible for maintenance of Public Works. During the trip we visited a bridge on the David Low Way at Sunrise Beach near Noosa. This bridge was in a serve marine environment with high salt content in the concrete and corrosion of the galvanised guardrails and barriers. Also the foreshore at Coolum was visited and the use of stainless steel was examined. This is discussed in this report. Most problems stemmed from incorrect specification due to lack of awareness of the severity of the environment. The companion report Visit to Schools Report 2002-059-B No 7. covers the visit to four schools north of Caloundra.

New routes for the field trip

As with the broader field of education research, most writing on the subject of school excursions and field trips has centred around progressive/humanist concerns for building pupil’s self-esteem and for the development of the ‘whole child’. Such research has also stressed the importance of a broad, grounded, and experiential curriculum - as exemplified by subjects containing these extra-school activities - as well as the possibility of strengthening the relationship between student and teacher. Arguing that this approach to the field trip is both exhausted of ideas and conceptually flawed, this paper proposes some alternate routes into the area for the prospective researcher. First, it is argued that by historicising the subject matter, it can be seen that school excursions are not simply the product of the contemporary humanist desire for diverse and fulfilling educational experiences, rather they can, in part, be traced to eighteenth century beliefs among the English gentry that travel formed a crucial component of a good education, to the advent of an affordable public rail system, and to school tours associated with the Temperance movement. Second, field trips can be understood from within the associated framework of concerns over the governance of tourism and the organisation of disciplinary apparatuses for the production of an educated and regulated citizenry. Far from being a simple learning experience, museums and art galleries form part of a complex of disciplinary and power relations designed to produce a populace with very specific capacities, aspirations and styles of public conduct. Finally, rather than allowing children ‘freedom’ from the constraints of the classroom, on the contrary, through the medium of the field-trip, children can become accustomed to having their activities governed in the broader domain of the generalised community . School excursions thereby constitute an effective tactic through which young people have their conduct managed, and their social and scholastic identities shaped and administered.

Mapping personal trip OD from probe data

The paper analyses the expected value of OD volumes from probe with fixed error, error that is proportional to zone size and inversely proportional to zone size. To add realism to the analysis, real trip ODs in the Tokyo Metropolitan Region are synthesised. The results show that for small zone coding with average radius of 1.1km, and fixed measurement error of 100m, an accuracy of 70% can be expected. The equivalent accuracy for medium zone coding with average radius of 5km would translate into a fixed error of approximately 300m. As expected small zone coding is more sensitive than medium zone coding as the chances of the probe error envelope falling into adjacent zones are higher. For the same error radii, error proportional to zone size would deliver higher level of accuracy. As over half (54.8%) of the trip ends start or end at zone with equivalent radius of ≤ 1.2 km and only 13% of trips ends occurred at zones with equivalent radius ≥2.5km, measurement error that is proportional to zone size such as mobile phone would deliver higher level of accuracy. The synthesis of real OD with different probe error characteristics have shown that expected value of >85% is difficult to achieve for small zone coding with average radius of 1.1km. For most transport applications, OD matrix at medium zone coding is sufficient for transport management. From this study it can be drawn that GPS with error range between 2 and 5m, and at medium zone coding (average radius of 5km) would provide OD estimates greater than 90% of the expected value. However, for a typical mobile phone operating error range at medium zone coding the expected value would be lower than 85%. This paper assumes transmission of one origin and one destination positions from the probe. However, if multiple positions within the origin and destination zones are transmitted, map matching to transport network could be performed and it would greatly improve the accuracy of the probe data.

Experimental study of the mechanical properties of light gauge cold-formed steels at elevated temperatures

In recent times, light gauge cold-formed steel sections have been used extensively as primary load bearing structural members in many applications in the building industry. Fire safety design of structures using such sections has therefore become more important. Deterioration of mechanical properties of yield stress and elasticity modulus is considered the most important factor affecting the performance of steel structures in fires. Hence there is a need to fully understand the mechanical properties of light gauge cold-formed steels at elevated temperatures. A research project based on experimental studies was therefore undertaken to investigate the deterioration of mechanical properties of light gauge cold-formed steels. Tensile coupon tests were undertaken to determine the mechanical properties of these steels made of both low and high strength steels and thicknesses of 0.60, 0.80 and 0.95 mm at temperatures ranging from 20 to 800ºC. Test results showed that the currently available reduction factors are unsafe to use in the fire safety design of cold-formed steel structures. Therefore new predictive equations were developed for the mechanical properties of yield strength and elasticity modulus at elevated temperatures. This paper presents the details of the experimental study, and the results including the developed equations. It also includes details of a stress-strain model for light gauge cold-formed steels at elevated temperatures.

Model round-trip engineering

In the quest for shorter time-to-market, higher quality and reduced cost, model-driven software development has emerged as a promising approach to software engineering. The central idea is to promote models to first-class citizens in the development process. Starting from a set of very abstract models in the early stage of the development, they are refined into more concrete models and finally, as a last step, into code. As early phases of development focus on different concepts compared to later stages, various modelling languages are employed to most accurately capture the concepts and relations under discussion. In light of this refinement process, translating between modelling languages becomes a time-consuming and error-prone necessity. This is remedied by model transformations providing support for reusing and automating recurring translation efforts. These transformations typically can only be used to translate a source model into a target model, but not vice versa. This poses a problem if the target model is subject to change. In this case the models get out of sync and therefore do not constitute a coherent description of the software system anymore, leading to erroneous results in later stages. This is a serious threat to the promised benefits of quality, cost-saving, and time-to-market. Therefore, providing a means to restore synchronisation after changes to models is crucial if the model-driven vision is to be realised. This process of reflecting changes made to a target model back to the source model is commonly known as Round-Trip Engineering (RTE). While there are a number of approaches to this problem, they impose restrictions on the nature of the model transformation. Typically, in order for a transformation to be reversed, for every change to the target model there must be exactly one change to the source model. While this makes synchronisation relatively “easy”, it is ill-suited for many practically relevant transformations as they do not have this one-to-one character. To overcome these issues and to provide a more general approach to RTE, this thesis puts forward an approach in two stages. First, a formal understanding of model synchronisation on the basis of non-injective transformations (where a number of different source models can correspond to the same target model) is established. Second, detailed techniques are devised that allow the implementation of this understanding of synchronisation. A formal underpinning for these techniques is drawn from abductive logic reasoning, which allows the inference of explanations from an observation in the context of a background theory. As non-injective transformations are the subject of this research, there might be a number of changes to the source model that all equally reflect a certain target model change. To help guide the procedure in finding “good” source changes, model metrics and heuristics are investigated. Combining abductive reasoning with best-first search and a “suitable” heuristic enables efficient computation of a number of “good” source changes. With this procedure Round-Trip Engineering of non-injective transformations can be supported.

Iteratively specified tree-based regression : theory and trip generation example

Focuses on a study which introduced an iterative modeling method that combines properties of ordinary least squares (OLS) with hierarchical tree-based regression (HTBR) in transportation engineering. Information on OLS and HTBR; Comparison and contrasts of OLS and HTBR; Conclusions.

Household type and structure, time-use pattern, and trip-chaining behavior

In order to examine time allocation patterns within household-level trip-chaining, simultaneous doubly-censored Tobit models are applied to model time-use behavior within the context of household activity participation. Using the entire sample and a sub-sample of worker households from Tucson's Household Travel Survey, two sets of models are developed to better understand the phenomena of trip-chaining behavior among five types of households: single non-worker households, single worker households, couple non-worker households, couple one-worker households, and couple two-worker households. Durations of out-of-home subsistence, maintenance, and discretionary activities within trip chains are examined. Factors found to be associated with trip-chaining behavior include intra-household interactions with the household types and their structure and household head attributes.

Queensland Arts Council road trip : an examination of in-schools touring productions (2005-2008)

This research project explores the nature of In-School Touring Productions that are presented in Queensland classrooms by Queensland Arts Council (QAC). The research emerged from my background as a drama teacher working on secondment at QAC in the Ontour inschools department. The research follows the development of a new production Power Trip: the Adventures of Watty and Volt. The research was guided by the key question: What are some of the production and pragmatic issues that relate to In-school Touring Productions and in what ways do QAC’s Ontour inschools productions offer learning experiences? This research involved the creation of three intersecting elements: (1) a 45 minute personal documentary film, 8 Times Around the Equator. The film follows my enthusiasms for this hybrid form of theatre which developed from my childhood, teaching practice and finally in my role at QAC; (2) a multimedia DVD, Queensland Arts Council 2008 inschools Season, which presents a series of short video clips promoting QAC’s Ontour inschools program; and finally (3) this exegetical paper, Queensland Arts Council Road Trip: an Examination of In-Schools Touring Productions (2005-2008). This exegesis supports the multimedia presentations and provides additional descriptions of QAC's Ontour inschools productions which are contextualised within the history of QAC and the field of Youth Theatre generally. During the project I observed 37 QAC productions and analysed them against set criteria and as a result four types of learning experiences were identified: • Category X: X-periencing the Art Form – providing students with exposure to traditional forms of main stage theatre; • Category L: Learning Through the Art Form – communicating information using an art form to educate. For example using comedy, clowning or slapstick to teach science; • Category U: Unpacking the Art Form – deconstructing art forms and providing students with increased awareness and appreciation; and • Category M: M-bodying the Art Form – workshops and artist residencies that allow students to create their own work. The creative works (documentary film and DVDs) combine to make up 65% of the project. This exegetical paper concludes the final 35% required for submission.

Mechanical properties of cold-formed steels at elevated temperatures

Mechanical properties have an important role in the fire safety design of cold-formed steel structures due to the rapid reduction in mechanical properties such as yield strength and elastic modulus under fire conditions and associated reduction to the load carrying capacities. Hence there is a need to fully understand the deterioration characteristics of yield strength and elastic modulus of cold-formed steels at elevated temperatures. Although past research has produced useful experimental data on the mechanical properties of cold-formed steels at elevated temperatures, such data do not yet cover different cold-formed steel grades and thicknesses. Therefore, an experimental study was undertaken to investigate the elevated temperature mechanical properties of two low and high strength steels with two thicknesses that are commonly used in Australia. Tensile coupon tests were undertaken using a steady state test method for temperatures in the range 20–700 °C. Test results were compared with the currently available reduction factors for yield strength and elastic modulus, and stress–strain curves, based on which further improvements were made. For this purpose, test results of many other cold-formed steels were also used based on other similar studies undertaken at the Queensland University of Technology. Improved equations were developed to predict the yield strength and elastic modulus reduction factors and stress–strain curves of a range of cold-formed steel grades and thicknesses used in Australia. This paper presents the results of this experimental study, comparisons with the results of past research and steel design standards, and the new predictive equations.

Evaluating the learning outcomes of an international field trip in postgraduate lighting design courses

Lighting industry professionals work in an international marketplace and encounter a range of social, geographical and cultural challenges associated with this. Education in lighting should introduce students to aspects of these challenges. To achieve this, an international field trip was recently undertaken that sought to provide an authentic learning experience for students. Twelve Masters of Lighting students from two Australian universities took part in a field trip to Shanghai, China and surrounding areas. The goal was to offer students insight into practical issues in the lighting industry at an international level and to do so in a unique and authentic context. To evaluate the outcomes of the trip, each participant was surveyed afterwards. Benefits were identified in terms of: increased knowledge and insight into manufacturing issues in lighting, experiential learning in lighting design practice not available locally (e.g, master planning), increased understanding of cultural influences in design and enhancing professional contacts within the lighting industry. Field trips may also act as an inverted curriculum experience for new students to engage them and promote learning within a professional context.