Reduction rules for reset/inhibitor nets

Reset/inhibitor nets are Petri nets extended with reset arcs and inhibitor arcs. These extensions can be used to model cancellation and blocking. A reset arc allows a transition to remove all tokens from a certain place when the transition fires. An inhibitor arc can stop a transition from being enabled if the place contains one or more tokens. While reset/inhibitor nets increase the expressive power of Petri nets, they also result in increased complexity of analysis techniques. One way of speeding up Petri net analysis is to apply reduction rules. Unfortunately, many of the rules defined for classical Petri nets do not hold in the presence of reset and/or inhibitor arcs. Moreover, new rules can be added. This is the first paper systematically presenting a comprehensive set of reduction rules for reset/inhibitor nets. These rules are liveness and boundedness preserving and are able to dramatically reduce models and their state spaces. It can be observed that most of the modeling languages used in practice have features related to cancellation and blocking. Therefore, this work is highly relevant for all kinds of application areas where analysis is currently intractable.

Backpackers and sustainable tourism : exploring the potential

There is conflicting evidence in the literature with respect to backpackers as contributors to sustainable travel. This paper explores this market with respect to sustainable travel attitudes, behaviours and preferences. More specifically it examined the motivations of backpacker visitors to Australia, their preferences for environmentally friendly and volunteer tourism experiences, and explored attitudes towards the influence of environmental impacts on the future of travel. The resultsindicate that not all backpackers necessarily have a strong focus on the sustainability of their travel, but that those interested in community and environmental volunteering have the greatest potential to make meaningful contributions.

Sustainability factors in Industrialised Building System

In Malaysia, Industrialised Building Systems (IBS) are being promoted as a potential to enhance sustainability by the building industry and government. Known elsewhere as prefabricated construction, IBS employs a combination of ready-made components in the construction of buildings that promote quality of production, enhance simplification of construction processes and minimise on-site work. The components are manufactured in a factory either on or off site. They are then positioned and assembled into building structures. The unique characteristic of IBS has the potential to respond well to the sustainability challenge facing the construction industry. Despite the promises however, IBS has yet to be effectively implemented in Malaysia. There are often misconceptions among key stakeholders about IBS applications and some of the rating schemes fail to assess IBS towards sustainability deliverables. A holistic approach to improving IBS implementation is necessary to consider sustainability perceptions on IBS among key stakeholders. As IBS design is one of the most important development phases to incorporate sustainability requirements and expectations, a framework of embedding sustainability factors into IBS design is being developed through research. This paper presents an improved IBS design process focused on sustainability, showing where and how sustainability should be assessed to improve IBS construction. The framework being developed can provide guidance and decision making assistance to not only design consultants but all relevant stakeholders by integrating sustainability concepts into IBS applications. Outcome of the research will also provide a benchmark for developing countries in adopting prefabricated construction systems.

Development of a sewerage infrastructure buffer assessment tool for local authorities

Urban expansion continues to encroach on existing or newly implemented sewerage infrastructure. In this context, legislation and guidelines, both national and international, provide limited direction to the amenity allocation of appropriate buffering distances for land use planners and infrastructure providers. A review of published literature suggests the dominant influences include topography, wind speed and direction, temperature, humidity, existing land uses and vegetation profiles. A statistical criteria review of these factors against six years of sewerage odour complaint data was undertaken to ascertain their influence and a complaint severity hierarchy was established. These hierarchical results suggested the main criteria were: topographical location, elevation relative to the odour source and wind speed. Establishing a justifiable criterion for buffer zone allocations will assist in analytically determining a basis for buffer separations and will assist planners and infrastructure designers in assessing lower impact sewerage infrastructure locations.

On the data consumption benefits of accepting increased uncertainty

In the context of learning paradigms of identification in the limit, we address the question: why is uncertainty sometimes desirable? We use mind change bounds on the output hypotheses as a measure of uncertainty and interpret ‘desirable’ as reduction in data memorization, also defined in terms of mind change bounds. The resulting model is closely related to iterative learning with bounded mind change complexity, but the dual use of mind change bounds — for hypotheses and for data — is a key distinctive feature of our approach. We show that situations exist where the more mind changes the learner is willing to accept, the less the amount of data it needs to remember in order to converge to the correct hypothesis. We also investigate relationships between our model and learning from good examples, set-driven, monotonic and strong-monotonic learners, as well as class-comprising versus class-preserving learnability.

Microscopic and spectroscopic investigation of poly(3-hexylthiophene) interaction with carbon nanotubes

The inclusion of carbon nanotubes in polymer matrix has been proposed to enhance the polymer’s physical and electrical properties. In this study, microscopic and spectroscopic techniques are used to investigate the interaction between poly(3-hexylthiophene) (P3HT) and nanotubes and the reciprocal modification of physical properties. The presence of P3HT-covered nanotubes dispersed in the polymer matrix has been observed by atomic force microscopy and transmission electron microscopy. Then, the modification of P3HT optical properties due to nanotube inclusion has been evidenced with spectroscopic techniques like absorption and Raman spectroscopy. The study is completed with detailed nanoscale analysis by scanning probe techniques. The ordered self assembly of polymer adhering on the nanotube is unveiled by showing an example of helical wrapping of P3HT. Scanning tunneling spectroscopy study provides information on the electronic structure of nanotube-polymer assembly, revealing the charge transfer from P3HT to the nanotube.

Implementing design build project delivery system in Indonesian road infrastructure projects

Design-Build (DB) project delivery systems have increasingly been adopted by many private and public sector organizations worldwide due to its many advantages. However, many Indonesian road infrastructure projects are still delivered using the traditional design-bid-build (DBB) project delivery system. This paper reviews the existing literature to explore factors that can influence the successful implementation of DB project delivery system in Indonesian road infrastructure projects. It founds the lack of clarification in existing legislations as well as the lack of experiences, knowledge and skill as the main obstacles in implementing DB systems in Indonesia. To overcome these obstacles, this paper proposes (1) A relook at existing legislation in term of providing more guidance on determining projects appropriate for the DB, procedures for implementing DB, and the structure of builder entity; (2) To develop the skills and knowledge of DB to all stakeholders through communications, knowledge sharing and training. The outcome of this review can serve as a guide to development a framework for the implementation of the design-build project delivery system in Indonesian road infrastructure projects.

On a Syntactic Characterization of Classification with a Mind Change Bound

Most learning paradigms impose a particular syntax on the class of concepts to be learned; the chosen syntax can dramatically affect whether the class is learnable or not. For classification paradigms, where the task is to determine whether the underlying world does or does not have a particular property, how that property is represented has no implication on the power of a classifier that just outputs 1’s or 0’s. But is it possible to give a canonical syntactic representation of the class of concepts that are classifiable according to the particular criteria of a given paradigm? We provide a positive answer to this question for classification in the limit paradigms in a logical setting, with ordinal mind change bounds as a measure of complexity. The syntactic characterization that emerges enables to derive that if a possibly noncomputable classifier can perform the task assigned to it by the paradigm, then a computable classifier can also perform the same task. The syntactic characterization is strongly related to the difference hierarchy over the class of open sets of some topological space; this space is naturally defined from the class of possible worlds and possible data of the learning paradigm.