How to design extended finite state machine test models in Java

This chapter is a tutorial that teaches you how to design extended finite state machine (EFSM) test models for a system that you want to test. EFSM models are more powerful and expressive than simple finite state machine (FSM) models, and are one of the most commonly used styles of models for model-based testing, especially for embedded systems. There are many languages and notations in use for writing EFSM models, but in this tutorial we write our EFSM models in the familiar Java programming language. To generate tests from these EFSM models we use ModelJUnit, which is an open-source tool that supports several stochastic test generation algorithms, and we also show how to write your own model-based testing tool. We show how EFSM models can be used for unit testing and system testing of embedded systems, and for offline testing as well as online testing.

Importing Wikipedia principles into the cultural institution of a public service broadcaster : the case of ABC Pool

Web 2.0 technologies have mobilised collaborative peer production and participatory cultures for online content creation. However, not all online communities engaging in these activities are independently facilitated and often operate within the auspices of the cultural institutions that develop and resource them. Borrowing from the principles of Wikipedia that supports collaborative online content creation and online community, ABC Pool (abc.net.au/pool) is one such institutional online community operating with the support of the Australian Public Service Broadcaster (PSB), the Australian Broadcasting Corporation (ABC). This paper explores the collaborative, creative, and governance activities of an institutional online community and how the role of the community manager is an intermediary within these arrangements.

Shut up & write!

This case-study exemplifies a ‘writing movement’, which is currently occurring in various parts of Australia through the support of social media. A concept emerging from the café scene in San Francisco, ‘Shut Up and Write!’ is a meetup group that brings writers together at a specific time and place to write side by side, thus making writing practice, social. This concept has been applied to the academic environment and our case-study explores the positive outcomes in two locations: RMIT University and QUT. We believe that this informal learning practice can be implemented to assist research students in developing academic skills. DESCRIPTION: Please describe your practice as a case study, including its context; challenge addressed; its aims; what it is; and how it supports creative practice PhD students or supervisors. Additional information may include: the outcomes; key factors or principles that contribute to its effectiveness; anticipated impact/evidence of impact. Research students spend the majority of their time outside of formal learning environments. Doctoral candidates enter their degree with a range of experience, knowledge and needs, making it difficult to provide writing assistance in a structured manner. Using a less structured approach to provide writing assistance has been trialled with promising results (Boud, Cohen, & Sampson, 2001; Stracke, 2010; Devenish et al, 2009). Although, semi structured approaches have been developed and examined, informal learning opportunities have received minimal attention. The primary difference of Shut Up and Write! to other writing practices, is that individuals do not engage in any structured activity and they do not share the outcomes of the writing. The purpose of Shut Up and Write! is to transform writing practice from a solitary experience, to a social one. Shut Up and Write! typically takes place outside of formal learning environments, in public spaces such as a café. The structure of Shut Up and Write! sessions is simple: participants meet at a specific time and place, chat for a few minutes, then they Shut Up and Write for a predetermined amount of time. Critical to the success of the sessions, is that there is no critiquing of the writing, and there is no competition or formal exercises. Our case-study examines the experience of two meetup groups at RMIT University and QUT through narrative accounts from participants. These accounts reveal that participants have learned: • Writing/productivity techniques; • Social/cloud software; • Aspects of the PhD; and • ‘Mundane’ dimensions of academic practice. In addition to this, activities such as Shut Up and Write! promote peer to peer bonding, knowledge exchange, and informal learning within the higher degree research experience. This case-study extends the initial work presented by the authors in collaboration with Dr. Inger Mewburn at QPR2012 – Quality in Postgraduate Research Conference, 2012.

Exploring partnership : the experience of HCAP

This report summarises the participatory action research (PAR) undertaken as part of the Homelessness Community Action Planning (HCAP) project implemented across seven regions in Queensland in 2011 and 2012. The HCAP is a component of the Queensland strategy for the National Partnership Agreement on Homelessness, and is funded for three years (2010-2013). The report identifies and analyses factors which facilitated or constrained the development of Government- NGO partnerships at regional and state levels in HCAP. The study supports the view that the HCAP partnership between the Queensland Government and the Community Services Sector is working and likely to be productive.

Bismuth oxide nanoparticles in the stratosphere

Platey grains of cubic Bi2O3, α-Bi2O3, and Bi2O2.75 nanograins were associated with chondritic porous interplanetary dust particles W7029C1, W7029E5, and 2011C2 that were collected in the stratosphere at 17-19 km altitude. Similar Bi oxide nanograins were present in the upper stratosphere during May 1985. These grains are linked to the plumes of several major volcanic eruptions during the early 1980s that injected material into the stratosphere. The mass of sulfur from these eruptions is a proxy for the mass of stratospheric Bi from which we derive the particle number densities (p m -3) for "average Bi2O3 nanograins" due to this volcanic activity and those necessary to contaminate the extraterrestrial chondritic porous interplanetary dust particles via collisional sticking. The match between both values supports the idea that Bi2O3 nanograins of volcanic origin could contaminate interplanetary dust particles in the Earth's stratosphere. Copyright 1997 by the American Geophysical Union.

Custom digital workflows : a new framework for design analysis integration

Flexible information exchange is critical to successful design-analysis integration, but current top-down, standards-based and model-oriented strategies impose restrictions that contradicts this flexibility. In this article we present a bottom-up, user-controlled and process-oriented approach to linking design and analysis applications that is more responsive to the varied needs of designers and design teams. Drawing on research into scientific workflows, we present a framework for integration that capitalises on advances in cloud computing to connect discrete tools via flexible and distributed process networks. We then discuss how a shared mapping process that is flexible and user friendly supports non-programmers in creating these custom connections. Adopting a services-oriented system architecture, we propose a web-based platform that enables data, semantics and models to be shared on the fly. We then discuss potential challenges and opportunities for its development as a flexible, visual, collaborative, scalable and open system.

Fostering wellbeing of immigrants and refugees? Evaluating the outcomes of work integration social enterprise

Work integration social enterprises (WISE) seek to create employment and pathways to employment for those highly disadvantaged in the labour market. This chapter examines the effects of WISE on the wellbeing of immigrants and refugees experiencing multiple barriers to economic and social participation. Drawing on an evaluation of a programme that supports seven such enterprises in the Australian state of Victoria, the effects of involvement for individual participants and their communities are examined. The study finds that this social enterprise model affords unique local opportunities for economic and social participation for groups experiencing significant barriers to meaningful employment. These opportunities have a positive impact on individual and community-level wellbeing. However, the financial costs of the model are high relative to other employment programmes, which is consistent with international findings on intermediate labour market programmes. The productivity costs of WISE are also disproportionately high compared to private sector competitors in some industries. This raises considerable dilemmas for social enterprise operators seeking to produce social value and achieve business sustainability while bearing high productivity costs to fulfil their mission. Further, the evaluation illuminates an ongoing need to address the systemic and structural drivers of health and labour market inequalities that characterize socio-economic participation for immigrants and refugees.

Catalytic cracking of tars derived from rice hull gasification over goethite and palygorskite

Palygorskite (P), goethite (G), and hydrothermally synthesized goethite (HG) were used as supports for Fe and Ni. The catalytic activity of these materials was investigated involving in P, G and HG (supported Fe and Ni) for catalytic decomposition of biomass tar derived from rice hull gasification. The materials were characterized by X-ray diffraction (XRD), X-ray fluorescence (XRF), and transmission electron microscopy (TEM) with an energy dispersive X-ray (EDS). The catalytic activity of P for removal of tar was significantly better than that of G and HG. However, the activity of G with 6 mass% Ni labeled as Ni6/G (tar conversion 94.6%), which was equal to Fe6Ni6/P (94.4%), was better than Ni6/P (64.4%) and Ni6/HG (46.7%). When the loading of Ni (mass%) was 6 mass% on G, tar conversion had the best value (94.6%) and yield of gaseous products reached 486.9, 167.8 and 22.2 mL/(g·tar) for H2, CO, CH4, respectively. The catalytic activity of goethite supported Ni was better in improving tar conversion and improving increased yield of H2, CO, CH4, which was attributed to the existence of Al/Fe substitution of goethite

Update on complex nonpharmacological interventions for breathlessness

Purpose of review: The study provides a review of current evidence about the role of complex nonpharmacological strategies in managing the multidimensional components of the breathlessness experience for individuals with life-limiting conditions. Recent findings: Evidence continues to demonstrate the significant impact of breathlessness on patients’ quality of life, day-to-day activity, and physical and psychosocial functioning. Recent evidence also confirms that patients draw on a number of self-initiated actions to cope with breathlessness, although many do not use strategies that are supported by a growing body of evidence from randomized controlled trials. Current literature supports the use of multicomponent, nonpharmacological interventions comprising strategies to improve breathing efficiency and reducing psychological distress to manage breathlessness. However trials of these approaches have mostly been conducted among patients with chronic obstructive pulmonary disease (COPD) or lung cancer, and few studies have investigated the benefits of nonpharmacological for patients in later stages of disease. Further investigation of interventions is required across a broader range of chronic life-limiting conditions. Addressing breathlessness and its co-occurring symptoms (symptom clusters) is also an area for future enquiry. Summary: The experience of breathlessness and strategies adopted by patients to manage the experience highlight the importance of multidimensional approaches to improve outcomes for patients with life-limiting conditions. There is good evidence to support the role of multicomponent, nonpharmacological interventions in reducing breathlessness for patients with COPD and lung cancer, although further studies are required to understand the particular clinical contexts in which such interventions are appropriate.

A lightweight biometric signature scheme for user authentication over networks

We introduce a lightweight biometric solution for user authentication over networks using online handwritten signatures. The algorithm proposed is based on a modified Hausdorff distance and has favorable characteristics such as low computational cost and minimal training requirements. Furthermore, we investigate an information theoretic model for capacity and performance analysis for biometric authentication which brings additional theoretical insights to the problem. A fully functional proof-of-concept prototype that relies on commonly available off-the-shelf hardware is developed as a client-server system that supports Web services. Initial experimental results show that the algorithm performs well despite its low computational requirements and is resilient against over-the-shoulder attacks.

Assessment of the molecular structure of the borate mineral sakhaite Ca12Mg4(BO3)7(CO3)4Cl(OH)2·H2O using vibrational spectroscopy

The structure of the borate mineral sakhaite Ca12Mg4(BO3)7(CO3)4Cl(OH)2·H2O, a borate–carbonate of calcium and magnesium has been assessed using vibrational spectroscopy. Assignment of bands is undertaken by comparison with the data from other published results. Intense Raman band at 1134 cm−1 with a shoulder at 1123 cm−1 is assigned to the symmetric stretching mode. The Raman spectrum displays bands at 1479, 1524 and 1560 cm−1 which are assigned to the antisymmetric stretching vibrations. The observation of multiple carbonate stretching bands supports the concept that the carbonate units are non-equivalent. The Raman band at 968 cm−1 with a shoulder at 950 cm−1 is assigned to the symmetric stretching mode of trigonal boron. Raman bands at 627 and 651 cm−1 are assigned to the out-of-plane bending modes of trigonal and tetrahedral boron. Raman spectroscopy coupled with infrared spectroscopy enables the molecular structure of the mineral sakhaite to be assessed.

Infrared and Raman spectroscopic characterization of the phosphate mineral kosnarite KZr2(PO4)3 in comparison with other pegmatitic phosphates

In this research, we have used vibrational spectroscopy to study the phosphate mineral kosnarite KZr2(PO4)3. Interest in this mineral rests with the ability of zirconium phosphates (ZP) to lock in radioactive elements. ZP have the capacity to concentrate and immobilize the actinide fraction of radioactive phases in homogeneous zirconium phosphate phases. The Raman spectrum of kosnarite is characterized by a very intense band at 1,026 cm−1 assigned to the symmetric stretching vibration of the PO4 3− ν1 symmetric stretching vibration. The series of bands at 561, 595 and 638 cm−1 are assigned to the ν4 out-of-plane bending modes of the PO4 3− units. The intense band at 437 cm−1 with other bands of lower wavenumber at 387, 405 and 421 cm−1 is assigned to the ν2 in-plane bending modes of the PO4 3− units. The number of bands in the antisymmetric stretching region supports the concept that the symmetry of the phosphate anion in the kosnarite structure is preserved. The width of the infrared spectral profile and its complexity in contrast to the well-resolved Raman spectrum show that the pegmatitic phosphates are better studied with Raman spectroscopy.

Raman and infrared spectroscopic characterization of beryllonite, a sodium and beryllium phosphate mineral : implications for mineral collectors

The mineral beryllonite has been characterized by the combination of Raman spectroscopy and infrared spectroscopy. SEM–EDX was used for the chemical analysis of the mineral. The intense sharp Raman band at 1011 cm-1, was assigned to the phosphate symmetric stretching mode. Raman bands at 1046, 1053, 1068 and the low intensity bands at 1147, 1160 and 1175 cm-1 are attributed to the phosphate antisymmetric stretching vibrations. The number of bands in the antisymmetric stretching region supports the concept of symmetry reduction of the phosphate anion in the beryllonite structure. This concept is supported by the number of bands found in the out-of-plane bending region. Multiple bands are also found in the in-plane bending region with Raman bands at 399, 418, 431 and 466 cm-1. Strong Raman bands at 304 and 354 cm-1 are attributed to metal oxygen vibrations. Vibrational spectroscopy served to determine the molecular structure of the mineral. The pegmatitic phosphate minerals such as beryllonite are more readily studied by Raman spectroscopy than infrared spectroscopy.

Chemistry, Raman and infrared spectroscopic characterization of the phosphate mineral reddingite: (MnFe)3(PO4)2(H2O,OH)3, a mineral found in lithium-bearing pegmatite

Detailed investigation of an intermediate member of the reddingite–phosphoferrite series, using infrared and Raman spectroscopy, scanning electron microcopy and electron microprobe analysis, has been carried out on a homogeneous sample from a lithium-bearing pegmatite named Cigana mine, near Conselheiro Pena, Minas Gerais, Brazil. The determined formula is (Mn1.60Fe1.21Ca0.01Mg0.01)∑2.83(PO4)2.12⋅(H2O2.85F0.01)∑2.86 indicating predominance in the reddingite member. Raman spectroscopy coupled with infrared spectroscopy supports the concept of phosphate, hydrogen phosphate and dihydrogen phosphate units in the structure of reddingite-phosphoferrite. Infrared and Raman bands attributed to water and hydroxyl stretching modes are identified. Vibrational spectroscopy adds useful information to the molecular structure of reddingite–phosphoferrite.

Empirical study to identify the key business activities contributing to manufacturing business performance

Purpose: Within the context of high global competitiveness, knowledge management (KM) has proven to be one of the major factors contributing to enhanced business outcomes. Furthermore, knowledge sharing (KS) is one of the most critical of all KM activities. From a manufacturing industry perspective, supply chain management (SCM) and product development process (PDP) activities, require a high proportion of company resources such as budget and manpower. Therefore, manufacturing companies are striving to strengthen SCM, PDP and KS activities in order to accelerate rates of manufacturing process improvement, ultimately resulting in higher levels of business performance (BP). A theoretical framework along with a number of hypotheses are proposed and empirically tested through correlation, factor and path analyses. Design/methodology/approach: A questionnaire survey was administered to a sample of electronic manufacturing companies operating in Taiwan to facilitate testing the proposed relationships. More than 170 respondents from 83 organisations responded to the survey. The study identified top management commitment and employee empowerment, supplier evaluation and selection, and design simplification and modular design as the key business activities that are strongly associated with the business performance. Findings: The empirical study supports that key manufacturing business activities (i.e., SCM, PDP, and KS) are positively associated with BP. The findings also evealed that some specific business activities such as SCMF1,PDPF2, and KSF1 have the strongest influencing power on particular business outcomes (i.e., BPF1 and BPF2) within the context of electronic manufacturing companies operating in Taiwan. Practical implications: The finding regarding the relationship between SCM and BP identified the essential role of supplier evaluation and selection in improving business competitiveness and long term performance. The process of forming knowledge in companies, such as creation, storage/retrieval, and transfer do not necessarily lead to enhanced business performance; only through effectively applying knowledge to the right person at the right time does. Originality/value: Based on this finding it is recommended that companies should involve suppliers in partnerships to continuously improve operations and enhance product design efforts, which would ultimately enhance business performance. Business performance depends more on an employee’s ability to turn knowledge into effective action.