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.

Fans teaching fans how to consume : the role of ritual in the consumption of entertainment

The status of entertainment as both a dimension of human culture, and a booming global industry is increasing. Given more recent consumer-centric definitions of entertainment, the entertainment consumer has grown in prominence and is now coming under closer scrutiny. However viewing entertainment consumers as always behaving in a similar fashion towards entertainment as to other products may be selling them short. For a start, entertainment consumers can exhibit a strong loyalty towards their favourite entertainment products that is the envy of the marketing world. Academic researchers and marketers who are keen to investigate entertainment consumers would benefit from a theoretical base from which to commence. This essay therefore, takes a consumer-oriented focus in defining entertainment and conceptualises a model of entertainment consumption. In approaching the study of entertainment one axiomatic question remains: how should we define it? Richard Dyer notes that, considering that the category of entertainment can include – by its own definition in the song ‘That’s entertainment!’ – everything from Hamlet and Oedipus Rex to ‘the clown with his pants falling down’ and ‘the lights on the lady in tights’, it doesn’t make much sense to try to define entertainment as being marked by particular textual features (as is done, for example, by Avrich, 2002). Dyer’s position is rather that ‘entertainment is not so much a category of things as an attitude towards things’ (Dyer, 1973: 9). He traces the modern conception of entertainment back to the writings of Molière. This writer defended the purpose of his plays against attacks from the church that they were not sufficiently edifying by insisting that, as entertainments he had no interest in edifying audiences – his ‘real purpose …was to provide people pleasure – and the definition of that was to be decided by “the people”’(Dyer, 1973: 9). In my own discipline of Marketing this approach has been embraced – Kaser and Oelkers, for example, define entertainment as ‘whatever people are willing to spend their money and spare time viewing’ (2008, 18). That is the approach taken in this paper, where I see entertainment as ‘consumer-driven culture’ (McKee and Collis, 2009) – a definition that is closely aligned with the marketing concept. Within a marketing framework I explore what the consumption of entertainment can tell us about the relationships between consumers and culture more generally. For entertainment offers an intriguing case study, and is often consumed in ways that challenge many of our assumptions about marketing and consumer behaviour.

How to stop binge drinking and speeding motorists : effects of relational-interdependent self-construal and self-referencing on attitudes toward social marketing

How can marketers stop speeding motorists and binge drinking? Two experiments show that the beliefs consumers have about the degree to which they define themselves in terms of their close relationships (i.e., relational-interdependent self-construal (RISC)) offer useful insights into the effectiveness of communications for two key social marketing issues—road safety (Study 1, New Zealand sample) and alcohol consumption (Study 2, English sample). Further, self-referencing is a mechanism for these effects. Specifically, people who define themselves in terms of their close relationships (high-RISCs) respond most favorably to advertisements featuring a dyadic relationship (two people), and this favorable response is mediated by self-referencing. In contrast, people who do not include close relationships in their sense of self (low-RISCs) respond most favorably to self-reference advertisements featuring solitary models.

Teaching journalism students how to tell Indigenous stories in an informed way : a work integrated learning approach

Australian journalism schools are full of students who have never met an Aboriginal or Torres Strait Island person and who do not know their history. Journalism educators are ill-equipped to redress this imbalance as a large majority are themselves non-Indigenous and many have had little or no experience with the coverage of Indigenous issues or knowledge of Indigenous affairs. Such a situation calls for educational approaches that can overcome these disadvantages and empower journalism graduates to move beyond the stereotypes that characterize the representation of Indigenous people in the mainstream media. This article will explore three different courses in three Australian tertiary journalism education institutions, which use Work-Integrated Learning Approaches to instil the cultural competencies necessary to encourage a more informed reporting of Indigenous issues. The findings from the three projects illustrate the importance of adopting a collaborative approach by industry, the Indigenous community and educators to encourage students’ commitment to quality journalism practices when covering Indigenous issues.

How to achieve maximum charge carrier loading on heteroatom-substituted graphene nanoribbon edges: density functional theory study

The practical number of charge carriers loaded is crucial to the evaluation of the capacity performance of carbon-based electrodes in service, and cannot be easily addressed experimentally. In this paper, we report a density functional theory study of charge carrier adsorption onto zigzag edge-shaped graphene nanoribbons (ZGNRs), both pristine and incorporating edge substitution with boron, nitrogen or oxygen atoms. All edge substitutions are found to be energetically favorable, especially in oxidized environments. The maximal loading of protons onto the substituted ZGNR edges obeys a rule of [8-n-1], where n is the number of valence electrons of the edge-site atom constituting the adsorption site. Hence, a maximum charge loading is achieved with boron substitution. This result correlates in a transparent manner with the electronic structure characteristics of the edge atom. The boron edge atom, characterized by the most empty p band, facilitates more than the other substitutional cases the accommodation of valence electrons transferred from the ribbon, induced by adsorption of protons. This result not only further confirms the possibility of enhancing charge storage performance of carbon-based electrochemical devices through chemical functionalization but also, more importantly, provides the physical rationale for further design strategies.

How to Improve Cardiac Surgery Decision Making? In Data Warehousing Perspective

The health system is one sector dealing with very large amount of complex data. Many healthcare organisations struggle to utilise these volumes of health data effectively and efficiently. Therefore, there is a need for very effective system to capture, collate and distribute this health data. There are number of technologies have been identified to integrate data from different sources. Data warehousing is one technology can be used to manage clinical data in the healthcare. This paper addresses how data warehousing assist to improve cardiac surgery decision making. This research used the cardiac surgery unit at the Prince Charles Hospital (TPCH) as the case study. In order to deal with other units efficiently, it is important to integrate disparate data to a single point interrogation. We propose implementing a data warehouse for the cardiac surgery unit at TPCH. The data warehouse prototype developed using SAS enterprise data integration studio 4.2 and data was analysed using SAS enterprise edition 4.3. This improves access to integrated clinical and financial data with, improved framing of data to the clinical context, giving potentially better informed decision making for both improved management and patient care.

Reshaping children’s knowledge through film making: What to film, how to film and why

How can teachers reinvigorate content area knowledge and representation through filmmaking? We give examples of what to film, how to film, and why, drawing on our visual ethnographic research with Year 5 students in a working class suburb of Logan, Queensland. The unit developed content knowledge of Indigenous places and practices through sensitising activities in nature. Valuing students’ funds of knowledge, we interpreted local places through epistemologies of different cultures. Through filmmaking workshops by a digital artist, students filmed community members in a local shopping mall about their perceptions of health and happiness in local places. Students were positioned as future community leaders, presenting their films at a national conference. To conclude, we map the dominant and marginalised, local and specialised, and print and visual forms of knowledge that were interwoven, reshaped, and shared through multimodal design.

How to improve pupils' literacy? A cost-effectiveness analysis of a French educational project

The Action Lecture program is an innovative teaching method run in some nursery and primary schools in Paris and designed to improve pupils’ literacy. We report the results of an evaluation of this program. We describe the experimental protocol that was built to estimate the program’s impact on several types of indicators. Data were processed following a Differences-in-Differences (DID) method. Then we use the estimation of the impact on academic achievement to conduct a cost-effectiveness analysis and take a reduction of the class size program as a benchmark. The results are positive for the Action Lecture program.

How to increase the accuracy of analysis and reduce the computational time in ANSYS in the case of deformation study of orthopedic bone plates

Currently, finite element analyses are usually done by means of commercial software tools. Accuracy of analysis and computational time are two important factors in efficiency of these tools. This paper studies the effective parameters in computational time and accuracy of finite element analyses performed by ANSYS and provides the guidelines for the users of this software whenever they us this software for study on deformation of orthopedic bone plates or study on similar cases. It is not a fundamental scientific study and only shares the findings of the authors about structural analysis by means of ANSYS workbench. It gives an idea to the readers about improving the performance of the software and avoiding the traps. The solutions provided in this paper are not the only possible solutions of the problems and in similar cases there are other solutions which are not given in this paper. The parameters of solution method, material model, geometric model, mesh configuration, number of the analysis steps, program controlled parameters and computer settings are discussed through thoroughly in this paper.

How to meet stakeholders' expectations, not manage them?

Evaluation practices in the higher education sector have been criticised for having unclear purpose and principles; ignoring the complexity and changing nature of learning and teaching and the environments in which they occur; relying almost exclusively on student ratings of teachers working in classroom settings; lacking reliability and validity; using data for inappropriate purposes; and focusing on accountability and marketing rather than the improvement of learning and teaching. In response to similar criticism from stakeholders, in 2011 Queensland University of Technology began a project, entitled REFRAME, to review its approach to evaluation, particularly the student survey system it had been using for the past five years. This presentation will outline the scholarly, evidence based methodology used to undertake institution-wide change, meet the needs of stakeholders suitable to the cultural needs of the institution. It is believed that this approach is broadly applicable to other institutions contemplating change with regard to evaluation of learning and teaching.

Quality demand in vaccination and how to improve service quality under Total Quality Control [论全面质量管理模式下预防接种工作的质量要求与改进对策]

Under the concept of Total Quality Control, based on their experience, the authors discussed potential demand for quality of immunization services and possible solutions to these demands. Abstract in Chinese 全面质量管理(total quality control,TQC)是在20世纪60年代由美国人V,Feigonbaum和J.unan先后提出的新的质量管理观念,众所周知的ISO9000族标准即建立在TQC理念下的质量管理标准,该标准已成为当今世界全球一致、最具权威的质量管理和质量保证的国际规则[1-2].21世纪是质量世纪,推行TQC,不断改进产品和服务质量,目前已成为我国各行各业在不断激烈的市场竞争下完善自我、保证生存和发展的重要手段.实施预防接种是预防和控制传染病,保护人群健康的重要措施,预防接种工作中,产品即预防接种服务,需方(顾客)为接受预防接种服务的广大人群,是产品的消费者.随社会的迅速发展,人们对健康需求的不断提高,对预防接种工作也提出了更高的质量要求.本文对TQC模式下顾客对预防接种服务的质量要求进行了综合分析,并对如何改进服务质量进行了初步探讨.

How to Facilitate Open Disclosure Simulations

Open Disclosure comprises two main components: Clinician Disclosure (CD), an informal process usually conducted by the treating clinician; and Formal Open Disclosure (FOD), a more structured process led by a senior clinician trained as an Open Disclosure Consultant. Training programs for both CD and FOD incorporate interactive role-play based scenarios called ‘simulations’. This section of the Open Disclosure Training Program Handbook provides guidelines and resources for facilitating the simulation components of both Clinician Disclosure and Open Disclosure Consultant training.

Plain facts about pleading : how to work with r 166

The decision of Durward SC DCJ in OSM Group Pty Ltd v Holden [2013] QDC 151 involves a useful consideration of the requirements relating to the pleading of denials and non-admissions under the Uniform Civil Procedure Rules 1999 (Qld) (UCPR). In particular, the decision examines the extent of the obligations when pleading in response to allegations of law, or of mixed fact and law.

How to guarantee compliance between workflows and product lifecycles?

Product Lifecycle Management (PLM) systems are widely used in the manufacturing industry. A core feature of such systems is to provide support for versioning of product data. As workflow functionality is increasingly used in PLM systems, the possibility emerges that the versioning transitions for product objects as encapsulated in process models do not comply with the valid version control policies mandated in the objects’ actual lifecycles. In this paper we propose a solution to tackle the (non-)compliance issues between processes and object version control policies. We formally define the notion of compliance between these two artifacts in product lifecycle management and then develop a compliance checking method which employs a well-established workflow analysis technique. This forms the basis of a tool which offers automated support to the proposed approach. By applying the approach to a collection of real-life specifications in a main PLM system, we demonstrate the practical applicability of our solution to the field.