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.

Whole life cycle costing for Malaysia high-rise residential building : a needs?

The continuous growth of high-rise residential properties indicates that there is a need for an effective property management system to provide a sustainable high-rise residential property development. As intensive as these studies are, they do not attempt to investigate the correlation between property management systems with the trends of Malaysia high-rise residential property development. By examining the trends and scenario of Malaysia high-rise residential property development, this paper aims to gain an understanding of impacts from the effectiveness of property management in this scope area. Findings from this scoping paper will assist in providing a greater understanding and possible solutions for the current Malaysian property management systems for the expanding high-rise residential unit market.

High rise residential building quality : residents satisfaction survey

It is widely recognized that the quality of design is crucial to the success of the construction or production process and fairly minor changes in design can often result in giving major effects on the cost and efficiency of production and construction as well as on the usefulness, constructability and marketability of the product especially in developing high rise residential property development. The purpose of this study is to suggest a framework model for property manager, considering the sustainable and building quality of property development in high rise residential complex. This paper evaluates and ranks the importance, and frequency of the building quality factors that affect the sustainability and comfort of living for the resident in the selected high rise residential complex in Malaysia. A total of 500 respondents consisting of 20 property managers participated in this study. The respondents were asked to indicate how important each of building equipments in giving them the comfort of living in the selected high rise residential complex. The data were then subjected to the calculation of important indices which enabled the factors to be ranked. After that, a framework model will be developed to make sure all property managers will be guided to prepare their property for the resident to stay in the complex. Accordingly, the living satisfaction by the framework model plays a meaningful role in preparing and developing sustainable and good building quality in Malaysia high rise residential complex.

Application of clustering technique to generating capacity state model for reliability evaluation

Capacity probability models of generating units are commonly used in many power system reliability studies, at hierarchical level one (HLI). Analytical modelling of a generating system with many units or generating units with many derated states in a system, can result in an extensive number of states in the capacity model. Limitations on available memory and computational time of present computer facilities can pose difficulties for assessment of such systems in many studies. A cluster procedure using the nearest centroid sorting method was used for IEEE-RTS load model. The application proved to be very effective in producing a highly similar model with substantially fewer states. This paper presents an extended application of the clustering method to include capacity probability representation. A series of sensitivity studies are illustrated using IEEE-RTS generating system and load models. The loss of load and energy expectations (LOLE, LOEE), are used as indicators to evaluate the application

Extreme architecture : can architects future proof us against fire and flood.

In the face of Australia’s disaster-prone environment, architects Ian Weir and James Davidson are reconceptualising how our residential buildings might become more resilient to fire, flood and cyclone. With their first-hand experience of natural disasters, James, director of Emergency Architects Australia (EAA), and Ian, one of Australia’s few ‘bushfire architects’, discuss the ways we can design with disaster in mind. Dr Ian Weir is one of Australia’s few ‘bushfire architects’. Exploring a holistic ‘ground up’ approach to bushfire where landscape, building design and habitation patterns are orchestrated to respond to site-specific fire characteristics. Ian’s research is developed through design studio teaching at QUT and through built works in Western Australia’s fire prone forests and heathlands.

A waste management system for small and medium enterprises engaged in office building retrofit projects

Waste management and minimisation is considered to be an important issue for achieving sustainability in the construction industry. Retrofit projects generate less waste than demolitions and new builds, but they possess unique features and require waste management approaches that are different to traditional new builds. With the increasing demand for more energy efficient and environmentally sustainable office spaces, the office building retrofit market is growing in capital cities around Australia with a high level of refurbishment needed for existing aging properties. Restricted site space and uncertain delivery process in these projects make it a major challenge to manage waste effectively. The labour-intensive nature of retrofit projects creates the need for the involvement of small and medium enterprises (SMEs) as subcontractors in on-site works. SMEs are familiar with on-site waste generation but are not as actively motivated and engaged in waste management activities as the stakeholders in other construction projects in the industry. SMEs’ responsibilities for waste management in office building retrofit projects need to be identified and adapted to the work delivery processes and the waste management system supported by project stakeholders. The existing literature provides an understanding of how to manage construction waste that is already generated and how to increase the waste recovery rate for office building retrofit projects. However, previous research has not developed theories or practical solutions that can guide project stakeholders to understand the specific waste generation process and effectively plan for and manage waste in ongoing project works. No appropriate method has been established for the potential role and capability of SMEs to manage and minimise waste from their subcontracting works. This research probes into the characteristics of office building retrofit project delivery with the aim to develop specific tools to manage waste and incorporate SMEs in this process in an appropriate and effective way. Based on an extensive literature review, the research firstly developed a questionnaire survey to identify the critical factors of on-site waste generation in office building retrofit projects. Semi-structured interviews were then utilised to validate the critical waste factors and establish the interrelationships between the factors. The interviews served another important function of identifying the current problems of waste management in the industry and the performance of SMEs in this area. Interviewees’ opinions on remedies to the problems were also collected. On the foundation of the findings from the questionnaire survey and semi-structured interviews, two waste planning and management strategies were identified for the dismantling phase and fit-out phase of office building retrofit projects, respectively. Two models were then established to organize SMEs’ waste management activities, including a work process-based integrated waste planning model for the dismantling phase and a system dynamics model for the fit-out phase. In order to apply the models in real practice, procedures were developed to guide SMEs’ work flow in on-site waste planning and management. In addition, a collaboration framework was established for SMEs and other project stakeholders for effective waste planning and management. Furthermore, an organisational engagement strategy was developed to improve SME waste management practices. Three case studies were conducted to validate and finalise the research deliverables. This research extends the current literature that mostly covers waste management plans in new build projects, by presenting the knowledge and understanding of addressing waste problems in retrofit projects. It provides practical tools and guidance for industry practitioners to effectively manage the waste generation processes in office building retrofit projects. It can also promote industry-level recognition of the role of SMEs and their performance in on-site waste management.

Factors that influence Chinese TEFL academics' research capacity building : an institutional case study

Research capacity building has become a prominent theme in higher education institutions across the world. To build research capacity, it is necessary to identify areas of challenges academics face within the academia. This case study focuses on Chinese teaching English as a foreign language (TEFL) academics with the purpose of identifying factors that influence their research capacity building. Six TEFL academics from a Chinese national university were interviewed and institutional research documents were analysed. Findings showed that obstacles and difficulties in conducting research were more related to departmental factors than individual characteristics. The institution was keen on developing a research culture, and encouraged research and publications. Departmental support for research was improving, but it seems that it was more generic than tailored to individual needs. The findings of this study provide implications for research administrators in further supporting TEFL academics’ research capacity building.

Building shared situational awareness in surgery through distributed dialogue

Background Failure to convey time-critical information to team members during surgery diminishes members’ perception of the dynamic information relevant to their task, and compromises shared situational awareness. This research reports the dialog around clinical decisions made by team members in the time-pressured and high-risk context of surgery, and the impact of these communications on shared situational awareness. Methods Fieldwork methods were used to capture the dynamic integration of individual and situational elements in surgery that provided the backdrop for clinical decisions. Nineteen semi structured interviews were performed with 24 participants from anaesthesia, surgery, and nursing in the operating rooms of a large metropolitan hospital in Queensland, Australia. Thematic analysis was used. Results: The domain “coordinating decisions in surgery” was generated from textual data. Within this domain, three themes illustrated the dialog of clinical decisions, i.e., synchronizing and strategizing actions, sharing local knowledge, and planning contingency decisions based on priority. Conclusion Strategies used to convey decisions that enhanced shared situational awareness included the use of “self-talk”, closed-loop communications, and “overhearing” conversations that occurred at the operating table. Behaviours’ that compromised a team’s shared situational awareness included tunnelling and fixating on one aspect of the situation.

A spectroscopic comparison of YBCO superconductors synthesised by solid-state and co-precipitation methods

Raman spectroscopy, X-ray diffraction (XRD), and scanning electron microscopy (SEM) have been used to compare samples of YBa2Cu3O7 (YBCO) synthesised by the solid-state method and a novel co-precipitation technique. XRD results indicate that YBCO prepared by these two methods are phase pure, however the Raman and SEM results show marked differences between these samples.

State convergence in bit-based stream ciphers

Well-designed initialisation and keystream generation processes for stream ciphers should ensure that each key-IV pair generates a distinct keystream. In this paper, we analyse some ciphers where this does not happen due to state convergence occurring either during initialisation, keystream generation or both. We show how state convergence occurs in each case and identify two mechanisms which can cause state convergence.

Analytical model for fault section estimation and state identification of unobserved protective relays in power systems [电力系统故障诊断与不可观测保护状态识别的解析模型]

In recent years, some models have been proposed for the fault section estimation and state identification of unobserved protective relays (FSE-SIUPR) under the condition of incomplete state information of protective relays. In these models, the temporal alarm information from a faulted power system is not well explored although it is very helpful in compensating the incomplete state information of protective relays, quickly achieving definite fault diagnosis results and evaluating the operating status of protective relays and circuit breakers in complicated fault scenarios. In order to solve this problem, an integrated optimization mathematical model for the FSE-SIUPR, which takes full advantage of the temporal characteristics of alarm messages, is developed in the framework of the well-established temporal constraint network. With this model, the fault evolution procedure can be explained and some states of unobserved protective relays identified. The model is then solved by means of the Tabu search (TS) and finally verified by test results of fault scenarios in a practical power system.

100Hz onboard vision for quadrotor state estimation

This paper introduces a high-speed, 100Hz, visionbased state estimator that is suitable for quadrotor control in close quarters manoeuvring applications. We describe the hardware and algorithms for estimating the state of the quadrotor. Experimental results for position, velocity and yaw angle estimators are presented and compared with motion capture data. Quantitative performance comparison with state-of-the-art achievements are also presented.

The exemplification of governance principles within state asset management laws and policies : the case of Indonesia

Efficient state asset management is crucial for governments as they facilitate the fulfillment of their public functions, which include the provision of essential services and other public administration support. In recent times economies internationally and particularly in South east Asia, have displayed increased recognition of the importance of efficiencies across state asset management law, policies and practice. This has been exemplified by a surge in notable instances of reform in state asset management. A prominent theme in this phenomenon is the consideration of governance principles within the re-conceptualization of state asset management law and related policy, with many countries recognizing variability in the quality of asset governance and opportunities for profit as being critical factors. This issue is very current in Indonesia where a major reform process in this area has been confirmed by the establishment of a new Directorate of State Asset Management. The incumbent Director-General of State Asset Management has confirmed a re-emphasis on adherence to governance principles within applicable state asset management law and policy reform. This paper reviews aspects of the challenge of reviewing and reforming Indonesian practice within state asset management law and policy specifically related to public housing, public buildings, parklands, and vacant land. A critical issue in beginning this review is how Indonesia currently conceptualizes the notion of asset governance and how this meaning is embodied in recent changes in law and policy and importantly in options for future change. This paper discusses the potential complexities uniquely Indonesian characteristics such as decentralisation and regional autonomy regime, political history, and bureaucratic culture.

The International regulation of persons displaced by climate change

It is certain that there will be changes in environmental conditions across the globe as a result of climate change. Such changes will require the building of biological, human and infrastructure resilience. In some instances the building of such resilience will be insufficient to deal with extreme changes in environmental conditions and legal frameworks will be required to provide recognition and support for people dislocated because of environmental change. Such dislocation may occur internally within the country of original origin or externally into another State’s territory. International and national legal frameworks do not currently recognise or assist people displaced as a result of environmental factors including displacement occurring as a result of climate change. Legal frameworks developed to deal with this issue will need to consider the legal rights of those people displaced and the legal responsibilities of those countries required to respond to such displacement. The objective of this article is to identify the most suitable international institution to host a program addressing climate displacement. There are a number of areas of international law that are relevant to climate displacement, including refugee law, human rights law and international environmental law. These regimes, however, were not designed to protect people relocating as a result of environmental change. As such, while they indirectly may be of relevance to climate displacement, they currently do nothing to directly address this complex issue. In order to determine the most appropriate institution to address and regulate climate displacement, it is imperative to consider issues of governance. This paper seeks to examine this issue and determine whether it is preferable to place climate displacement programs into existing international legal frameworks or whether it is necessary to regulate this area in an entirely new institution specifically designed to deal with the complex and cross-cutting issues surrounding the topic. Commentators in this area have proposed three different regulatory models for addressing climate displacement. These models include: (a) Expand the definition of refugee under the Refugee Convention to encompass persons displaced by climate change; (b) Implement a new stand alone Climate Displacement Convention; and (c) Implement a Climate Displacement Protocol to the UNFCCC. This article will examine each of these proposed models against a number of criteria to determine the model that is most likely to address the needs and requirements of people displaced by climate change. It will also identify the model that is likely to be most politically acceptable and realistic for those countries likely to attract responsibilities by its implementation. In order to assess whether the rights and needs of the people to be displaced are to be met, theories of procedural, distributive and remedial justice will be used to consider the equity of the proposed schemes. In order to consider the most politically palatable and realistic scheme, reference will be made to previous state practice and compliance with existing obligations in the area. It is suggested that the criteria identified by this article should underpin any future climate displacement instrument.

Influence of grain boundaries on the vibrational properties of silver nanowires

Metal and semiconductor nanowires (NWs) have been widely employed as the building blocks of the nanoelectromechanical systems, which usually acted a resonant beam. Recent researches reported that nanowires are often polycrystalline, which contains grain boundaries (GBs) that transect the whole nanowire into a bamboo like structure. Based on the larger-scale molecular dynamics (MD) simulations, a comprehensive investigation of the influence from grain boundaries on the vibrational properties of doubly clamped Ag NWs is conducted. It is found that, the presence of grain boundary will result in significant energy dissipation during the resonance of polycrystalline NWs, which leads a great deterioration to the quality factor. Further investigation reveals that the energy dissipation is originated from the plastic deformation of polycrystalline NWs in the form of the nucleation of partial dislocations or the generation of micro stacking faults around the GBs and the micro stacking faults is found to keep almost intact during the whole vibration process. Moreover, it is observed that the closer of the grain boundary getting to the regions with the highest strain state, the more energy dissipation will be resulted from the plastic deformation. In addition, either the increase of the number of grain boundaries or the decrease of the distance between the grain boundary and the highest strain state region is observed to induce a lower first resonance frequency. This work sheds lights on the better understanding of the mechanical properties of polycrystalline NWs, which benefits the increasing utilities of NWs in diverse nano-electronic devices.