Formal network behaviour analysis using model checking

In this research we modelled computer network devices to ensure their communication behaviours meet various network standards. By modelling devices as finite-state machines and examining their properties in a range of configurations, we discovered a flaw in a common network protocol and produced a technique to improve organisations' network security against data theft.

Not all corporate tax avoiders will be snared by new rules

Hockey’s budget announcement of two major tax integrity measures was flagged before the budget was handed down, but even that came as no surprise. Integrity, or lack thereof, in our tax system is a hot topic and an easy target for a Treasurer looking to sell a federal budget. The first of the proposed changes is to our GST regime. No-one likes hearing that they will be paying more tax. But, the charging of GST on supplies of digital products and services in Australia by an off-shore supplier will at least make sense to the general public. With the inherent unfairness in the current system and a revenue raising prediction of A$350 million over the next four years, most are likely to accept the logic of such a measure. The second of the proposed changes are new laws to be included in Australia’s general anti-avoidance provision. New laws, which will apply from 1 January 2016, are aimed at multinational companies engaged in aggressive tax practices. The proposed anti-avoidance law is designed to stop multinationals that artificially avoid a taxable presence in Australia. It is difficult to see how this strategy of addressing specific behaviour through what is considered a general provision will work. And, it is these changes that are already causing confusion.

Atomistic investigation into the mechanical behaviour of crystalline and amorphous TiO2 nanotubes

Titanium dioxide (TiO2) nanotubes are appealing to research communities due to their excellent functional properties. However, there is still a lack of understanding of their mechanical properties. In this work, we conduct molecular dynamics (MD) simulations to investigate the mechanical behaviour of rutile and amorphous TiO2 nanotubes. The results indicate that the rutile TiO2 nanotube has a much higher Young's modulus (∼800 GPa) than the amorphous one (∼400 GPa). Under tensile loading, rutile nanotubes fail in the form of brittle fracture but significant ductility (up to 30%) has been observed in amorphous nanotubes. This is attributed to a unique ‘repairing’ mechanism via bond reconstruction at under-coordinated sites as well as bond conversion at over-coordinated sites. In addition, it is observed that the fracture strength of rutile nanotubes is strongly dependent on their free surfaces. These findings are considered to be useful for development of TiO2 nanostructures with improved mechanical properties.

Behaviour of natural zeolites used for the treatment of simulated and actual coal seam gas water

Coal seam gas operations produce significant quantities of associated water which often require demineralization. Ion exchange with natural zeolites has been proposed as a possible approach. The interaction of natural zeolites with solutions of sodium chloride and sodium bicarbonate in addition to coal seam gas water is not clear. Hence, we investigated ion exchange kinetics, equilibrium, and column behaviour of an Australian natural zeolite. Kinetic tests suggested that the pseudo first order equation best simulated the data. Intraparticle diffusion was part of the rate limiting step and more than one diffusion process controlled the overall rate of sodium ion uptake. Using a constant mass of zeolite and variable concentration of either sodium chloride or sodium bicarbonate resulted in a convex isotherm which was fitted by a Langmuir model. However, using a variable mass of zeolite and constant concentration of sodium ions revealed that the exchange of sodium ions with the zeolite surface sites was in fact unfavourable. Sodium ion exchange from bicarbonate solutions (10.3 g Na/kg zeolite) was preferred relative to exchange from sodium chloride solutions (6.4 g Na/kg zeolite). The formation of calcium carbonate species was proposed to explain the observed behaviour. Column studies of coal seam gas water showed that natural zeolite had limited ability to reduce the concentration of sodium ions (loading 2.1 g Na/kg zeolite) with rapid breakthrough observed. It was concluded that natural zeolites may not be suitable for the removal of cations from coal seam gas water without improvement of their physical properties.

Looking out of the void : Scaffolds to assist drama higher research degree students on the path to artist–scholar

In recent years, a number of Australian and international universities have offered the ability to complete postgraduate qualifications using the research frame known as creative practice as research. This has been particularly prevalent in the Drama discipline in the Creative Industries Faculty at Queensland University of Technology (QUT). There has been a noticeable shift away from students undertaking a traditional research Master of Arts (Research) or Doctor of Philosophy to a higher proportion of research higher degree students undertaking research through their creative work. The somewhat ephemeral nature of the theatre and performance practice can generate anxieties for students about how to best represent, analyse and discuss the creative practice within a theoretical frame. The argument in this paper is situated in the experience of two artist-scholars who undertook their studies at QUT while under principal supervision of the author and explores the research scaffolds that supervisors in Drama at QUT have developed to assist research higher degree students to navigate the tricky persona of artist–scholar.

Season of birth and location of residence: Defining the role of ultraviolet radiation exposure on childhood temperament and behaviour

This thesis added new insight to research knowledge about the role that season and ultraviolet radiation (UV) exposure during pregnancy has on children's temperament and behaviours, using a nation-wide longitudinal study. It was found that young children born in summer months are likely to have problematic behaviours. The thesis also found that summer-born children are likely to receive lowest levels of UV exposure during the gestational period. Finally, this work showed that low gestational UV exposure is associated with an increased risk of behavioural problems in children.

Glycaemic behaviour during breastfeeding in women with Type 1 diabetes

Aim To describe glycaemia in both breastfeeding women and artificially feeding women with Type 1 diabetes, and the changes in glycaemia induced by suckling. Methods A blinded continuous glucose monitor was applied for up to 6 days in eight breastfeeding and eight artificially feeding women with Type 1 diabetes 2–4 months postpartum. Women recorded glucose levels, insulin dosages, oral intake and breastfeeding episodes. A standardized breakfast was consumed on 2 days. A third group (clinic controls) were identified from a historical database. Results Carbohydrate intake tended to be higher in breastfeeding than artificially feeding women (P = 0.09) despite similar insulin requirements. Compared with breastfeeding women, the high blood glucose index and standard deviation of glucose were higher in artificially feeding women (P = 0.02 and 0.06, respectively) and in the clinical control group (P = 0.02 and 0.05, respectively). The low blood glucose index and hypoglycaemia were similar. After suckling, the low blood glucose index increased compared with before (P < 0.01) and during (P < 0.01) suckling. Hypoglycaemia (blood glucose < 4.0 mmol/l) occurred within 3 h of suckling in 14% of suckling episodes, and was associated with time from last oral intake (P = 0.04) and last rapid-acting insulin (P = 0.03). After a standardized breakfast, the area under the glucose curve was positive. In breastfeeding women the area under the glucose curve was positive if suckling was avoided for 1 h after eating and negative if suckling occurred within 30 min of eating. Conclusions Breastfeeding women with Type 1 diabetes had similar hypoglycaemia but lower glucose variability than artificially feeding women. Suckling reduced maternal glucose levels but did not cause hypoglycaemia in most episodes.

Looking at the other side: Families, public health and anti-vaccination

The choice to vaccinate or not to vaccinate a child is usually an ‘informed decision’, however, it is how this decision is informed which is of most importance. More frequently, families are turning to the Internet, in particular social media, as a data source to support their decisions. However, much of the online information may be unscientific or biased. While issues such as vaccination will always see dissenting voices, engaging with that ‘other side’ is difficult in the public policy debate which is informed by evidence based science. This chapter investigates the other side in light of the growing adoption and reliance on social media as a source of anti-vaccine information. The study adopts a qualitative approach to data collection and is based on a critical discourse analysis of online social media discourse. The findings demonstrate the valuable contribution this approach can make to public policy work in vaccination.

Augmenting process elicitation with visual priming: An empirical exploration of user behaviour and modelling outcomes

Business process models have become an effective way of examining business practices to identify areas for improvement. While common information gathering approaches are generally efficacious, they can be quite time consuming and have the risk of developing inaccuracies when information is forgotten or incorrectly interpreted by analysts. In this study, the potential of a role-playing approach to process elicitation and specification has been examined. This method allows stakeholders to enter a virtual world and role-play actions similarly to how they would in reality. As actions are completed, a model is automatically developed, removing the need for stakeholders to learn and understand a modelling grammar. An empirical investigation comparing both the modelling outputs and participant behaviour of this virtual world role-play elicitor with an S-BPM process modelling tool found that while the modelling approaches of the two groups varied greatly, the virtual world elicitor may not only improve both the number of individual process task steps remembered and the correctness of task ordering, but also provide a reduction in the time required for stakeholders to model a process view.

Modelling, calibrating, and validating car following and lane changing behaviour

Car following (CF) and lane changing (LC) are two primary driving tasks observed in traffic flow, and are thus vital components of traffic flow theories, traffic operation and control. Over the past decades a large number of CF models have been developed in an attempt to describe CF behaviour under a wide range of traffic conditions. Although CF has been widely studied for many years, LC did not receive much attention until recently. Over the last decade, researchers have slowly but surely realized the critical role that LC plays in traffic operations and traffic safety; this realization has motivated significant attempts to model LC decision-making and its impact on traffic. Despite notable progresses in modelling CF and LC, our knowledge on these two important issues remains incomplete because of issues related to data, model calibration and validation, human factors, just to name a few. Thus, this special issue will focus on latest developments in modelling, calibrating, and validating two primary vehicular interactions observed in traffic flow: CF and LC.

BDST modelling of sodium ion exchange column behaviour with strong acid cation resin in relation to coal seam water treatment

Reverse osmosis is the dominant technology utilized for desalination of saline water produced during the extraction of coal seam gas. Alternatively, ion exchange is of interest due to potential cost advantages. However, there is limited information regarding the column performance of strong acid cation resin for removal of sodium ions from both model and actual coal seam water samples. In particular, the impact of bed depth, flow rate, and regeneration was not clear. Consequently, this study applied Bed Depth Service Time (BDST) models to reveal that increasing sodium ion concentration and flow rates diminished the time required for breakthrough to occur. The loading of sodium ions on fresh resin was calculated to be ca. 71.1 g Na/kg resin. Difficulties in regeneration of the resin using hydrochloric acid solutions were discovered, with 86% recovery of exchange sites observed. The maximum concentration of sodium ions in the regenerant brine was found to be 47,400 mg/L under the conditions employed. The volume of regenerant waste formed was 6.2% of the total volume of water treated. A coal seam water sample was found to load the resin with only 53.5 g Na/kg resin, which was consistent with not only the co-presence of more favoured ions such as calcium, magnesium, barium and strontium, but also inefficient regeneration of the resin prior to the coal seam water test.

Influences on sleep-wake behaviour in older adults and community dementia care: Light exposure and partner impact

This project described sleep-wake behaviour in community-dwelling older adults and in community dementia care. It examined the applicability of a newly presented conceptual model (the Multifactorial Influences on Sleep Health model) to evaluate factors influencing sleep in ageing, with a particular focus on the importance of daytime light exposure and the impact of partners.

Experimental study on behaviour of concrete filled double skin tube columns under lateral impact loading

This paper presents an experimental investigation on the lateral impact response of axially loaded concrete filled double skin tube (CFDST) columns. A total of four test series are being conducted at Queensland University of Technology using a novel horizontal impact-testing rig. The test results reported in this paper are from the first test series, where the columns are pinned at both ends and impacted at mid-span. In the next three series, effects of support conditions, impact location and repeated impact will be treated. The main objectives of the current paper are to describe the innovative testing procedure and provide some insight into the lateral impact behavior and failure of simply supported axially pre-loaded CFDST columns. The results include time histories of impact forces, reaction forces, axial force and global lateral deflection. Based on the test data, the failure mode, peak impact force, peak reaction forces, maximum deflection and residual deflection, with and without axial load, are analyzed and discussed. The findings of this study will serve as a benchmark reference for future analysis and design of CFDST columns.

Diet and physical activity behaviour in nurses: A qualitative study

Issue addressed: Previous research has shown that approximately 60% of nurses in Australia are overweight or obese, insufficiently active and have an unhealthy diet. The aim of this study was to gain an understanding of nurses’ determinants contributing to these behaviours. This will inform a needs assessment for a future workplace health promotion program (WHPP) in this group. Methods: Four focus group discussions (n = 17) were conducted with a convenience sample of nurses aged 25–59 years from three hospitals in the Brisbane metropolitan area. Questions addressed barriers and motivation towards diet and physical activity (PA), and suggestions for future WHPP. Data were analysed with Nvivo10 following a thematic analysis with a realistic approach using Self-determination theory as a framework. Results: Work environment was the main barrier for healthy diet behaviours. Long working hours and lack of breaks challenged nurses’ self-control and self-regulation when making dietary choices. Fatigue was the main barrier for PA. However, relaxation, feeling energised before work and better sleep after working night shifts motivated nurses to do PA. Social environment at work seemed to be an effective external motivation to encourage healthy diet and regular PA. Goal-setting, self-monitoring and social support at work were identified as potential WHHP strategies. Conclusion: The workplace and job demands negatively impacts nurses’ lifestyle behaviours. Future interventions should include social support from colleagues, which could motivate nurses to make healthier food choices at work and be more active outside work.

Urban growth dilemmas and solutions in China: Looking forward to 2030

China’s urbanization and industrialization are occupying farmland in large amounts, which is strongly driven by land finance regime. This is due to the intensified regional/local competition for manufacturing investment opportunities that push local governments to expropriate farmland at low prices while lease land at high market value to property developers. The additional revenue obtained in this way, termed financial increment in land values, can drive local economic growth, and provide associated infrastructure and other public services. At the same time, however, a floating population of large numbers of inadequately compensated land-lost farmers, although unable to become citizens, have to migrate into the urban areas for work, causing overheated employment and housing markets, with rocketing unaffordable housing prices. This, together with various micro factors relating to the party/state’s promotion/evaluation system play an essential role leading to some serious economic, environment and social consequences, e.g., on migrant welfare, the displacement of peasants and the loss of land resources that requires immediate attention. Our question is: whether such type of urbanization is sustainable? What are the mechanisms behind such a phenomenal urbanization process? From the perspective of institutionalism, this paper aims to investigate the institutional background of the urban growth dilemma and solutions in urban China and to introduce further an inter-regional game theoretical framework to indicate why the present urbanization pattern is unsustainable. Looking forward to 2030, paradigm policy changes are made from the triple consideration of floating population, social security and urban environmental pressures. This involves: (1) changing land increment based finance regime into land stock finance system; (2) the citizenization of migrant workers with affordable housing, and; (3) creating a more enlightened local government officer appraisal system to better take into account societal issues such as welfare and beyond.