Isotactics as a foundation for alignment and abstraction of behavioral models

There are many use cases in business process management that require the comparison of behavioral models. For instance, verifying equivalence is the basis for assessing whether a technical workflow correctly implements a business process, or whether a process realization conforms to a reference process. This paper proposes an equivalence relation for models that describe behaviors based on the concurrency semantics of net theory and for which an alignment relation has been defined. This equivalence, called isotactics, preserves the level of concurrency of aligned operations. Furthermore, we elaborate on the conditions under which an alignment relation can be classified as an abstraction. Finally, we show that alignment relations induced by structural refinements of behavioral models are indeed behavioral abstractions.

基于时延Petri网的多UUV系统的任务分配策略

针对多水下机器人(unmanned underwater vehicle,UUV)系统动态任务分配问题展开研究,在对系统的体系结构和任务分配机制进行分析的基础上,利用时延 Petri 网理论对系统的任务分配进行建模,提出了一种新的任务分配策略:群体协调层采用集中式任务分配策略,由主 UUV 将任务实时下达给各从 UUV;监控规划层采用基于适应度的分布式任务分配方式,充分发挥各异构 UUV 自身的智能。仿真结果验证了模型的合理性和任务分配策略的有效性。

Assessment of the effectiveness of the guard ring in obtaining a uni-directional flow in an in situ water permeability test

The non-destructive evaluation of the water permeability of concrete structures is a long standing challenge, principally due to the difficulty of achieving a uni-direction flow for computing the water permeability coefficient. The use of a guard ring (GR) was originally proposed for the in situ sorptivity test, but little information can be found for the water permeability test. In this study, the effect of a GR was carefully examined through the flow simulation, which was verified by carrying out experiments. It was observed that the GR can confine the flow near the surface, but cannot achieve a uni-directional flow across the whole depth of flow. To achieve a better performance, it is essential to consider the effects of the size of the inner seal and the GR and the significant interaction between these two. The analysis of the experimental data has indicated that the GR influences the flow for porous concretes, but there is no significant effect for dense concretes. Further investigation, validated using the flow-net theory, has shown a strong correlation between the water permeability coefficients obtained with the GR (K w-GR) and without it (K w-No GR), suggesting that one dimensional flow is not essential for interpreting data for site tests. Another practical issue was that more than 30 % of the tests with GR failed due to the difficulty of achieving a good seal between the inner and the outer chambers. Based on the work reported in this paper, a new water permeability test is proposed.

Redes de transformação do processo de inovação: o caminho entre a descoberta e a comercialização

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

A methodology for analysis and control of discrete event dynamic systems

The rapid developments in computer technology have resulted in a widespread use of discrete event dynamic systems (DEDSs). This type of system is complex because it exhibits properties such as concurrency, conflict and non-determinism. It is therefore important to model and analyse such systems before implementation to ensure safe, deadlock free and optimal operation. This thesis investigates current modelling techniques and describes Petri net theory in more detail. It reviews top down, bottom up and hybrid Petri net synthesis techniques that are used to model large systems and introduces on object oriented methodology to enable modelling of larger and more complex systems. Designs obtained by this methodology are modular, easy to understand and allow re-use of designs. Control is the next logical step in the design process. This thesis reviews recent developments in control DEDSs and investigates the use of Petri nets in the design of supervisory controllers. The scheduling of exclusive use of resources is investigated and an efficient Petri net based scheduling algorithm is designed and a re-configurable controller is proposed. To enable the analysis and control of large and complex DEDSs, an object oriented C++ software tool kit was developed and used to implement a Petri net analysis tool, Petri net scheduling and control algorithms. Finally, the methodology was applied to two industrial DEDSs: a prototype can sorting machine developed by Eurotherm Controls Ltd., and a semiconductor testing plant belonging to SGS Thomson Microelectronics Ltd.

In search of a theory of integrated marketing communication

For the most part, the literature base for Integrated Marketing Communication (IMC) has developed from an applied or tactical level rather than from an intellectual or theoretical one. Since industry, practitioner and even academic studies have provided little insight into what IMC is and how it operates, our approach has been to investigate that other IMC community, that is, the academic or instructional group responsible for disseminating IMC knowledge. We proposed that the people providing course instruction and directing research activities have some basis for how they organize, consider and therefore instruct in the area of IMC. A syllabi analysis of 87 IMC units in six countries investigated the content of the unit, its delivery both physically and conceptually, and defined the audience of the unit. The study failed to discover any type of latent theoretical foundation that might be used as a base for understanding IMC. The students who are being prepared to extend, expand and enhance IMC concepts do not appear to be well-served by the curriculum we found in our research. The study concludes with a model for further IMC curriculum development.

Southern theory and its dynamics for postcolonial education

This paper discusses how the exploration of social texts and historical contexts from the global 'South', as put forward in Raewyn Connell's study 'Southern Theory' (2007), can improve the theoretical tools used in postcolonial education analysis. Connell analyses a selection of excellent and compelling social theory texts written by scholars in Africa, India, Iran, Latin America and Australia to show how they challenge and counter the silences, distortions and plain lies of dominant Western social theory. These texts of the global South do not mince words in laying bare the role of the institutions and elites of the West in the destruction, dispossession, and bloodshed involved in creating the world in which we live, and in perpetuating its catastrophes. The texts also reveal intense debates between scholars over their conceptualisations of local, national and global society. My paper argues that this kind of work is of vital importance to postcolonial studies in education. It helps education scholars to uncover the problematic assumptions and distortions of dominant education thought, and understand different ways of seeing. Postcolonial educators could use this to help both students and teacher unlearn many of our taught perceptions of the world, whether in the global North or the global South. Developing a countervailing social theory in education would sharpen our questioning of the structures of schooling as they relate to society, and tease out new dimensions of postcolonial leadership for education.

Refiguring the net generation : beyond users

In place of, or alongside paradigms such as "the net generation", we suggest that the full implications of the Internet might be productively analysed using a broader framework, that of social imaginaries. First used by Cornelius Castoriadis and more recently by Charles Taylor, the social imaginary, as applied here, is the loosely co-ordinated body of significations that enable our social acts and practices by making sense of them.

Decolonising curricula in an Australian university : re-imagining curriculum through critical race theory

The recognition of Indigenous knowledge in western academic institutions challenges colonial discourses which have informed and shaped knowledge about Indigenous peoples, cultures and histories. Deeper analysis is required of the ways in which Indigenous knowledge and perspectives are perceived, and the processes through which university curricula can accommodate Indigenous knowledge in teaching and learning. To achieve this deeper analysis, and to invigorate the continuing decolonisation of Australian university curricula, this paper critically interrogates the methodology and conceptualisation of Indigenous knowledge in embedding Indigenous perspectives (EIP) projects in the university curriculum by drawing from tenets of critical race theory and the cultural interface (Nakata, 2007). Accordingly, we conduct this analysis from the standpoint that Indigenous knowledge in university curricula should not subscribe to the luxury of independence of scholarship from politics and activism. The learning objective is to create a space to legitimise politics in the intellectual / academic realm (Dei, 2008, p. 10). We conclude by arguing that critical race theory’s emancipatory, future and action-oriented goals for curricula (Dei, 2008) would enhance effective and sustainable embedding initiatives, and ultimately, preventing such initiatives from returning to the status quo (McLaughlin & Whatman, 2008).

Total theory (vertical) and total theory (horizontal)

The works depicted two ostensibly plaster figures 'cocooned' in protective overalls. The pose of both figures had a sense of instability, balancing improbably due to internal weights. This teetering, arching quality, combined with the empty sleeves of the overalls, made reference to the Rodin's Balzac and its aura of heroic subjectivity. As the Tyvek suits depicted in the works are a common part of my studio paraphernalia, these works sought to draw a line between these two opposing aspects of the subjectivity of the artist - the transcendent and the quotidian. The works were shown as part of ‘The Day the Machine Started’ for Dianne Tanzer Gallery + Projects at the 2010 Melbourne Art Fair. The works received citations in The Age and The Australian newspapers.

Negotiating the Business Environment: Theory, Practice for all Governance Styles

The business environment across the globe is today characterised by three primary governance arrangements - bureaucracies, markets and networks. For organisations operating within each of these business contexts the terms of engagement in regard to negotiation are different. Rather than starting from a broad ‘how to’ approach or a specific cultural interface, Negotiating the Business Environment looks at governance arrangements within the business environment and at how such governance arrangements impact on how negotiation occurs. This text provides an Australian—not an overseas—perspective on negotiations that will be a welcome change for Australian students. Uniquely, it takes into account the context in which negotiations take place. Negotiating the Business Environment demonstrates how responding to business style in negotiations can effect successful outcomes. It include strong pedagogy including: key terms, key points, further reading lists, case studies, and end of chapter questions

Negotiation theory and application in the business environment

This chapter introduces different theoretical approaches to negotiation and provides an explanation of these differing frameworks. While the action of a negotiation centres on the background research undertaken and what happens at the negotiation table, there is a need to know what principles and assumptions are informing these activities. Theories offer a way of understanding the underlying structures, processes and relationships of negotiation. Further, negotiation theories also assist with focusing attention on the 'basis of the bargain' and provide a standpoint from which to judge offers and counter-offers during the negotiation.

Validating the design science research roadmap : through the lens of "the idealised model for theory development"

Design Science Research (DSR) has emerged as an important approach in Information Systems (IS) research. However, DSR is still in its genesis and has yet to achieve consensus on even the fundamentals, such as what methodology / approach to use for DSR. While there has been much effort to establish DSR methodologies, a complete, holistic and validated approach for the conduct of DSR to guide IS researcher (especially novice researchers) is yet to be established. Alturki et al. (2011) present a DSR ‘Roadmap’, making the claim that it is a complete and comprehensive guide for conducting DSR. This paper aims to further assess this Roadmap, by positioning it against the ‘Idealized Model for Theory Development’ (IM4TD) (Fischer & Gregor 2011). The IM4TD highlights the role of discovery and justification and forms of reasoning to progress in theory development. Fischer and Gregor (2011) have applied IM4TD’s hypothetico-deductive method to analyze DSR methodologies, which is adopted in this study to deductively validate the Alturki et al. (2011) Roadmap. The results suggest that the Roadmap adheres to the IM4TD, is reasonably complete, overcomes most shortcomings identified in other DSR methodologies and also highlights valuable refinements that should be considered within the IM4TD.