Modelling and solving train scheduling problems under capacity constraints

Many large coal mining operations in Australia rely heavily on the rail network to transport coal from mines to coal terminals at ports for shipment. Over the last few years, due to the fast growing demand, the coal rail network is becoming one of the worst industrial bottlenecks in Australia. As a result, this provides great incentives for pursuing better optimisation and control strategies for the operation of the whole rail transportation system under network and terminal capacity constraints. This PhD research aims to achieve a significant efficiency improvement in a coal rail network on the basis of the development of standard modelling approaches and generic solution techniques. Generally, the train scheduling problem can be modelled as a Blocking Parallel- Machine Job-Shop Scheduling (BPMJSS) problem. In a BPMJSS model for train scheduling, trains and sections respectively are synonymous with jobs and machines and an operation is regarded as the movement/traversal of a train across a section. To begin, an improved shifting bottleneck procedure algorithm combined with metaheuristics has been developed to efficiently solve the Parallel-Machine Job- Shop Scheduling (PMJSS) problems without the blocking conditions. Due to the lack of buffer space, the real-life train scheduling should consider blocking or hold-while-wait constraints, which means that a track section cannot release and must hold a train until the next section on the routing becomes available. As a consequence, the problem has been considered as BPMJSS with the blocking conditions. To develop efficient solution techniques for BPMJSS, extensive studies on the nonclassical scheduling problems regarding the various buffer conditions (i.e. blocking, no-wait, limited-buffer, unlimited-buffer and combined-buffer) have been done. In this procedure, an alternative graph as an extension of the classical disjunctive graph is developed and specially designed for the non-classical scheduling problems such as the blocking flow-shop scheduling (BFSS), no-wait flow-shop scheduling (NWFSS), and blocking job-shop scheduling (BJSS) problems. By exploring the blocking characteristics based on the alternative graph, a new algorithm called the topological-sequence algorithm is developed for solving the non-classical scheduling problems. To indicate the preeminence of the proposed algorithm, we compare it with two known algorithms (i.e. Recursive Procedure and Directed Graph) in the literature. Moreover, we define a new type of non-classical scheduling problem, called combined-buffer flow-shop scheduling (CBFSS), which covers four extreme cases: the classical FSS (FSS) with infinite buffer, the blocking FSS (BFSS) with no buffer, the no-wait FSS (NWFSS) and the limited-buffer FSS (LBFSS). After exploring the structural properties of CBFSS, we propose an innovative constructive algorithm named the LK algorithm to construct the feasible CBFSS schedule. Detailed numerical illustrations for the various cases are presented and analysed. By adjusting only the attributes in the data input, the proposed LK algorithm is generic and enables the construction of the feasible schedules for many types of non-classical scheduling problems with different buffer constraints. Inspired by the shifting bottleneck procedure algorithm for PMJSS and characteristic analysis based on the alternative graph for non-classical scheduling problems, a new constructive algorithm called the Feasibility Satisfaction Procedure (FSP) is proposed to obtain the feasible BPMJSS solution. A real-world train scheduling case is used for illustrating and comparing the PMJSS and BPMJSS models. Some real-life applications including considering the train length, upgrading the track sections, accelerating a tardy train and changing the bottleneck sections are discussed. Furthermore, the BPMJSS model is generalised to be a No-Wait Blocking Parallel- Machine Job-Shop Scheduling (NWBPMJSS) problem for scheduling the trains with priorities, in which prioritised trains such as express passenger trains are considered simultaneously with non-prioritised trains such as freight trains. In this case, no-wait conditions, which are more restrictive constraints than blocking constraints, arise when considering the prioritised trains that should traverse continuously without any interruption or any unplanned pauses because of the high cost of waiting during travel. In comparison, non-prioritised trains are allowed to enter the next section immediately if possible or to remain in a section until the next section on the routing becomes available. Based on the FSP algorithm, a more generic algorithm called the SE algorithm is developed to solve a class of train scheduling problems in terms of different conditions in train scheduling environments. To construct the feasible train schedule, the proposed SE algorithm consists of many individual modules including the feasibility-satisfaction procedure, time-determination procedure, tune-up procedure and conflict-resolve procedure algorithms. To find a good train schedule, a two-stage hybrid heuristic algorithm called the SE-BIH algorithm is developed by combining the constructive heuristic (i.e. the SE algorithm) and the local-search heuristic (i.e. the Best-Insertion- Heuristic algorithm). To optimise the train schedule, a three-stage algorithm called the SE-BIH-TS algorithm is developed by combining the tabu search (TS) metaheuristic with the SE-BIH algorithm. Finally, a case study is performed for a complex real-world coal rail network under network and terminal capacity constraints. The computational results validate that the proposed methodology would be very promising because it can be applied as a fundamental tool for modelling and solving many real-world scheduling problems.

Design and analysis of group key exchange protocols

A group key exchange (GKE) protocol allows a set of parties to agree upon a common secret session key over a public network. In this thesis, we focus on designing efficient GKE protocols using public key techniques and appropriately revising security models for GKE protocols. For the purpose of modelling and analysing the security of GKE protocols we apply the widely accepted computational complexity approach. The contributions of the thesis to the area of GKE protocols are manifold. We propose the first GKE protocol that requires only one round of communication and is proven secure in the standard model. Our protocol is generically constructed from a key encapsulation mechanism (KEM). We also suggest an efficient KEM from the literature, which satisfies the underlying security notion, to instantiate the generic protocol. We then concentrate on enhancing the security of one-round GKE protocols. A new model of security for forward secure GKE protocols is introduced and a generic one-round GKE protocol with forward security is then presented. The security of this protocol is also proven in the standard model. We also propose an efficient forward secure encryption scheme that can be used to instantiate the generic GKE protocol. Our next contributions are to the security models of GKE protocols. We observe that the analysis of GKE protocols has not been as extensive as that of two-party key exchange protocols. Particularly, the security attribute of key compromise impersonation (KCI) resilience has so far been ignored for GKE protocols. We model the security of GKE protocols addressing KCI attacks by both outsider and insider adversaries. We then show that a few existing protocols are not secure against KCI attacks. A new proof of security for an existing GKE protocol is given under the revised model assuming random oracles. Subsequently, we treat the security of GKE protocols in the universal composability (UC) framework. We present a new UC ideal functionality for GKE protocols capturing the security attribute of contributiveness. An existing protocol with minor revisions is then shown to realize our functionality in the random oracle model. Finally, we explore the possibility of constructing GKE protocols in the attribute-based setting. We introduce the concept of attribute-based group key exchange (AB-GKE). A security model for AB-GKE and a one-round AB-GKE protocol satisfying our security notion are presented. The protocol is generically constructed from a new cryptographic primitive called encapsulation policy attribute-based KEM (EP-AB-KEM), which we introduce in this thesis. We also present a new EP-AB-KEM with a proof of security assuming generic groups and random oracles. The EP-AB-KEM can be used to instantiate our generic AB-GKE protocol.

Mineralization capacity of Runx2/Cbfa1-genetically engineered fibroblasts is scaffold dependent

Development of tissue-engineered constructs for skeletal regeneration of large critical-sized defects requires the identification of a sustained mineralizing cell source and careful optimization of scaffold architecture and surface properties. We have recently reported that Runx2-genetically engineered primary dermal fibroblasts express a mineralizing phenotype in monolayer culture, highlighting their potential as an autologous osteoblastic cell source which can be easily obtained in large quantities. The objective of the present study was to evaluate the osteogenic potential of Runx2-expressing fibroblasts when cultured in vitro on three commercially available scaffolds with divergent properties: fused deposition-modeled polycaprolactone (PCL), gas-foamed polylactide-co-glycolide (PLGA), and fibrous collagen disks. We demonstrate that the mineralization capacity of Runx2-engineered fibroblasts is scaffold dependent, with collagen foams exhibiting ten-fold higher mineral volume compared to PCL and PLGA matrices. Constructs were differentially colonized by genetically modified fibroblasts, but scaffold-directed changes in DNA content did not correlate with trends in mineral deposition. Sustained expression of Runx2 upregulated osteoblastic gene expression relative to unmodified control cells, and the magnitude of this expression was modulated by scaffold properties. Histological analyses revealed that matrix mineralization co-localized with cellular distribution, which was confined to the periphery of fibrous collagen and PLGA sponges and around the circumference of PCL microfilaments. Finally, FTIR spectroscopy verified that mineral deposits within all Runx2-engineered scaffolds displayed the chemical signature characteristic of carbonate-containing, poorly crystalline hydroxyapatite. These results highlight the important effect of scaffold properties on the capacity of Runx2-expressing primary dermal fibroblasts to differentiate into a mineralizing osteoblastic phenotype for bone tissue engineering applications.

Sodium removal from Maramarua CSG waters using Ngakuru zeolites

Coal seam gas (CSG) waters are a by-product of natural gas extraction from un derground coal seams. The main issue with these waters is their elevated sodium content, which in conjunction with their low calcium and magnesium concentrations can generate soil infiltration problems in the long run , as well as short term toxicity effects in plants due to the sodium ion itself. Zeolites are minerals having a porous structure, crystalline characteristics, and an alumino-silicate configuration resulting in an overall negative charge which is balanced by loosely held cations. In New Zealand, Ngakuru zeolites have been mined for commercial use in wastewater treatment applications, cosmetics, and pet litter. This research focuses on assessing the capacity of Ngakuru zeolites to reduce sodium concentrations of CSG waters from Maramarua. Batch and column test (flow through) experiments revealed that Ngakuru zeolites are capable of sorbing sodium cations from concentrated solutions of sodium. In b atch tests, the sodium adsorption capacity ranged from 5.0 to 34.3meq/100g depending on the solution concentration and on the number of times the zeolite had been regenerated. Regeneration with CaCl2 was foun d to be effective. The calculated sodium adsorption capacity of Ngakuru zeolites under flow-through conditions ranged from 11 to 42meq/100g depending on the strength of the solution being treated and on w hether the zeolites had been previously regenerated. The slow kinetics and low cost of the zeolities, coupled with potentially remote sites for gas extraction, could make semi-batch operational processes without regeneration more favourable than in more industrial ion exchange situations.

Fostering cultural awareness in pre-service teacher education : an experiment in Asia literacy capacity building in an Australian university

This paper presents the findings of a small pilot study conducted with a group of final year pre-service teachers studying a secondary social science curriculum method unit in an Australian university. One of the study’s research objectives aimed at identifying how students responded to efforts to embed intercultural understanding through Studies of Asia in their final curriculum method unit. The unit was designed and taught by the researcher on the assumption that beginning social science teachers need to be empowered with pedagogical skills and new dispositions to deal with value laden emerging regional and global concerns in their Australian secondary school classrooms. This pilot study’s research methodology was located within the qualitative framework of a participatory action research model whereby the lecturer who designed, coordinated and taught the unit was also the researcher. Its scope was limited to one semester with volunteer students. The pilot study sought to investigate responses to several issues, and this paper reports on pre-service teacher reflections on the content, pedagogy and learning they experienced in their weekly sessions with specific reference to cultural understanding, Studies of Asia and the development of Asia literacy. It also reports on pre-service teacher reflections about their own evolving capacity as beginning teachers. The findings indicate that pre-service teachers valued the opportunity to engage with learning experiences which enhanced their conceptual understandings about culture whilst also extending their pedagogical and content knowledge.

Highly efficient, stoichiometric radical exchange reactions using isoindoline profluorescent nitroxides

Exchange reactions between the isoindoline profluorescent nitroxide 1,1,3,3-tetramethyldibenzo[e,g]isoindolin-2-yloxyl (TMDBIO) and a TEMPO capped polystyrene were carried out. High conversions to the desired products were achieved using only stoichiometric ratios of nitroxide relative to polymer. The scope of this study was expanded by exploiting a di-nitroxide 9,10-bis(5-[1,1,3,3-tetramethylisoindolin-2-yloxy])anthracene (BTMIOA) as a connector between two polymer chains forming PS–nitroxide–PS systems.

How does small business impact on utilization of industry-led supply chain innovation capacity

This research uses confirmatory factor analysis and structural equation modelling to examine how organizational size - made up of four dimensions - control, resources, trust and complexity - impacts on utilization of industry-led supply chain innovation capacity in a traditional agribusiness industry, the Australian beef industry. It confirms small business rather than larger business accords greater importance to exploiting supply chain dynamic capabilities, particularly in relation to utilizing industry –led supply chain innovation capacity. For small business in Australian beef supply chains, being agile and able to adapt and align their business practices with supply chain partners is integral to ensuring these businesses remain relevant and competitive in this market. In theoretical terms this is supported by authors in the dynamic capabilities literature as they argue these types of capabilities enable organizations to innovate faster (or better), often leading to the creation of newer sources of competitive advantage.

Effect of pedestrian movement on MIMO-OFDM channel capacity in an indoor environment

The rapid growth of mobile telephone use, satellite services, and now the wireless Internet and WLANs are generating tremendous changes in telecommunication and networking. As indoor wireless communications become more prevalent, modeling indoor radio wave propagation in populated environments is a topic of significant interest. Wireless MIMO communication exploits phenomena such as multipath propagation to increase data throughput and range, or reduce bit error rates, rather than attempting to eliminate effects of multipath propagation as traditional SISO communication systems seek to do. The MIMO approach can yield significant gains for both link and network capacities, with no additional transmitting power or bandwidth consumption when compared to conventional single-array diversity methods. When MIMO and OFDM systems are combined and deployed in a suitable rich scattering environment such as indoors, a significant capacity gain can be observed due to the assurance of multipath propagation. Channel variations can occur as a result of movement of personnel, industrial machinery, vehicles and other equipment moving within the indoor environment. The time-varying effects on the propagation channel in populated indoor environments depend on the different pedestrian traffic conditions and the particular type of environment considered. A systematic measurement campaign to study pedestrian movement effects in indoor MIMO-OFDM channels has not yet been fully undertaken. Measuring channel variations caused by the relative positioning of pedestrians is essential in the study of indoor MIMO-OFDM broadband wireless networks. Theoretically, due to high multipath scattering, an increase in MIMO-OFDM channel capacity is expected when pedestrians are present. However, measurements indicate that some reductions in channel capacity could be observed as the number of pedestrians approaches 10 due to a reduction in multipath conditions as more human bodies absorb the wireless signals. This dissertation presents a systematic characterization of the effects of pedestrians in indoor MIMO-OFDM channels. Measurement results, using the MIMO-OFDM channel sounder developed at the CSIRO ICT Centre, have been validated by a customized Geometric Optics-based ray tracing simulation. Based on measured and simulated MIMO-OFDM channel capacity and MIMO-OFDM capacity dynamic range, an improved deterministic model for MIMO-OFDM channels in indoor populated environments is presented. The model can be used for the design and analysis of future WLAN to be deployed in indoor environments. The results obtained show that, in both Fixed SNR and Fixed Tx for deterministic condition, the channel capacity dynamic range rose with the number of pedestrians as well as with the number of antenna combinations. In random scenarios with 10 pedestrians, an increment in channel capacity of up to 0.89 bits/sec/Hz in Fixed SNR and up to 1.52 bits/sec/Hz in Fixed Tx has been recorded compared to the one pedestrian scenario. In addition, from the results a maximum increase in average channel capacity of 49% has been measured while 4 antenna elements are used, compared with 2 antenna elements. The highest measured average capacity, 11.75 bits/sec/Hz, corresponds to the 4x4 array with 10 pedestrians moving randomly. Moreover, Additionally, the spread between the highest and lowest value of the the dynamic range is larger for Fixed Tx, predicted 5.5 bits/sec/Hz and measured 1.5 bits/sec/Hz, in comparison with Fixed SNR criteria, predicted 1.5 bits/sec/Hz and measured 0.7 bits/sec/Hz. This has been confirmed by both measurements and simulations ranging from 1 to 5, 7 and 10 pedestrians.

Automating computational proofs for public-key-based key exchange

We present an approach to automating computationally sound proofs of key exchange protocols based on public-key encryption. We show that satisfying the property called occultness in the Dolev-Yao model guarantees the security of a related key exchange protocol in a simple computational model. Security in this simpler model has been shown to imply security in a Bellare {Rogaway-like model. Furthermore, the occultness in the Dolev-Yao model can be searched automatically by a mechanisable procedure. Thus automated proofs for key exchange protocols in the computational model can be achieved. We illustrate the method using the well-known Lowe-Needham-Schroeder protocol.

Understanding Chinese TEFL academics’ capacity for research

This study aims to benchmark Chinese TEFL academics’ research productivities to identify and address research productivity issues. Using a literature-based survey, this study examined 182 Chinese TEFL academics’ research outputs, perceptions about research, and personal dispositions for research and workplace context for research across three Chinese higher education institutions. Results indicated that a majority of the TEFL academics produced no research in most research categories over the period 2004-2008. While they were positive about the benefits of research, they did not rate their personal dispositions for research and workplace context for research highly. The findings have implications for enhancing academics’ research capacity in Chinese institutions, TEFL departments, and other similar contexts.

The role of organisational capacity in the knowledge-based transformation of Brisbane, Australia

Purpose - The cumulative impacts of the knowledge economy together with the emerging dominance of knowledge-intensive sectors, have led to an unprecedented period of socio-economic and spatial restructuring. As a result, the paradigm of knowledge-based urban development (KBUD) has emerged as a development strategy to guide knowledge-based economic transformation (Knight, 1995; Yigitcanlar, 2007). Notwithstanding widespread government commitment and financial investment, in many cases providing the enabling circumstances for KUBUD has proven a complicated task as institutional barriers remain. Researchers and practitioners advocate that the way organisations work and their institutional relationships, policies and programs, will have a significant impact on a regions capacity to achieve KBUD (Savitch, 1998; Savitch and Kantor, 2002; Keast and Mandell, 2009). In this context, building organisational capacity is critical to achieving institutional change and bring together all of the key actors and sources, for the successful development, adoption, and implementation of knowledge-based development of a city (Yigitcanlar, 2009). Design/methodology/approach - There is a growing need to determine the complex inter-institutional arrangements and intra-organisational interactions required to advance urban development within the knowledge economy. In order to design organisational capacity-building strategies, the associated attributes of good capacity must first be identified. The paper, with its appraisal of knowledge-based urban development, scrutinises organisational capacity and institutional change in Brisbane. As part of the discussion of the case study findings, the paper describes the institutional relationships, policies, programs and funding streams, which are supporting KBUD in the region. Originality/value - In consideration that there has been limited investigation into the institutional lineaments required to provide the enabling circumstances for KBUD, the broad aim of this paper is to discover some good organisational capacity attributes, achieved through a case study of Brisbane. Practical implications - It is anticipated that the findings of the case study will contribute to moving the discussion on the complex inter-institutional arrangements and intra-organisaational interactions required for KBUD, beyond a position of rhetoric.

Uncertainties that matter : risk, response-ability, ethics and the moment of exchange in Live Art

This article examines the moment of exchange between artist, audience and culture in Live Art. Drawing on historical and contemporary examples, including examples from the Exist in 08 Live Art Event in Brisbane, Australia, in October 2008, it argues that Live Art - be it body art, activist art, site-specific performance, or other sorts of performative intervention in the public sphere - is characterised by a common set of claims about activating audiences, asking them to reflect on cultural norms challenged in the work. Live Art presents risky actions, in a context that blurs the boundaries between art and reality, to position audients as ‘witnesses’ who are personally implicated in, and responsible for, the actions unfolding before them. This article problematises assumptions about the way the uncertainties embedded in the Live Art encounter contribute to its deconstructive agenda. It uses the ethical theory of Emmanuel Levinas, Hans-Thies Lehmann and Dwight Conquergood to examine the mechanics of reductive, culturally-recuperative readings that can limit the efficacy of the Live Art encounter. It argues that, though ‘witnessing’ in Live Art depends on a relation to the real - real people, taking real risks, in real places - if it fails to foreground theatrical frame it is difficult for audients to develop the dual consciousness of the content, and their complicity in that content, that is the starting point for reflexivity, and response-ability, in the ethical encounter.

Informational city

Many cities worldwide face the prospect of major transformation as the world moves towards a global information order. In this new era, urban economies are being radically altered by dynamic processes of economic and spatial restructuring. The result is the creation of ‘informational cities’ or its new and more popular name, ‘knowledge cities’. For the last two centuries, social production had been primarily understood and shaped by neo-classical economic thought that recognized only three factors of production: land, labor and capital. Knowledge, education, and intellectual capacity were secondary, if not incidental, factors. Human capital was assumed to be either embedded in labor or just one of numerous categories of capital. In the last decades, it has become apparent that knowledge is sufficiently important to deserve recognition as a fourth factor of production. Knowledge and information and the social and technological settings for their production and communication are now seen as keys to development and economic prosperity. The rise of knowledge-based opportunity has, in many cases, been accompanied by a concomitant decline in traditional industrial activity. The replacement of physical commodity production by more abstract forms of production (e.g. information, ideas, and knowledge) has, however paradoxically, reinforced the importance of central places and led to the formation of knowledge cities. Knowledge is produced, marketed and exchanged mainly in cities. Therefore, knowledge cities aim to assist decision-makers in making their cities compatible with the knowledge economy and thus able to compete with other cities. Knowledge cities enable their citizens to foster knowledge creation, knowledge exchange and innovation. They also encourage the continuous creation, sharing, evaluation, renewal and update of knowledge. To compete nationally and internationally, cities need knowledge infrastructures (e.g. universities, research and development institutes); a concentration of well-educated people; technological, mainly electronic, infrastructure; and connections to the global economy (e.g. international companies and finance institutions for trade and investment). Moreover, they must possess the people and things necessary for the production of knowledge and, as importantly, function as breeding grounds for talent and innovation. The economy of a knowledge city creates high value-added products using research, technology, and brainpower. Private and the public sectors value knowledge, spend money on its discovery and dissemination and, ultimately, harness it to create goods and services. Although many cities call themselves knowledge cities, currently, only a few cities around the world (e.g., Barcelona, Delft, Dublin, Montreal, Munich, and Stockholm) have earned that label. Many other cities aspire to the status of knowledge city through urban development programs that target knowledge-based urban development. Examples include Copenhagen, Dubai, Manchester, Melbourne, Monterrey, Singapore, and Shanghai. Knowledge-Based Urban Development To date, the development of most knowledge cities has proceeded organically as a dependent and derivative effect of global market forces. Urban and regional planning has responded slowly, and sometimes not at all, to the challenges and the opportunities of the knowledge city. That is changing, however. Knowledge-based urban development potentially brings both economic prosperity and a sustainable socio-spatial order. Its goal is to produce and circulate abstract work. The globalization of the world in the last decades of the twentieth century was a dialectical process. On one hand, as the tyranny of distance was eroded, economic networks of production and consumption were constituted at a global scale. At the same time, spatial proximity remained as important as ever, if not more so, for knowledge-based urban development. Mediated by information and communication technology, personal contact, and the medium of tacit knowledge, organizational and institutional interactions are still closely associated with spatial proximity. The clustering of knowledge production is essential for fostering innovation and wealth creation. The social benefits of knowledge-based urban development extend beyond aggregate economic growth. On the one hand is the possibility of a particularly resilient form of urban development secured in a network of connections anchored at local, national, and global coordinates. On the other hand, quality of place and life, defined by the level of public service (e.g. health and education) and by the conservation and development of the cultural, aesthetic and ecological values give cities their character and attract or repel the creative class of knowledge workers, is a prerequisite for successful knowledge-based urban development. The goal is a secure economy in a human setting: in short, smart growth or sustainable urban development.

Enhancing pathways for ACE learners : Building the capacity of Adult and Community Education (ACE) providers to offer non-accredited courses and VET modules with pathways into VET programs.

This report presents findings from a project that considered a) the current capacity of Adult and Community Education (ACE) providers to offer non-accredited courses and single modules of accredited learning that provide pathways into full scale accredited VET programs, and b) the factors that aid and inhibit this from occurring. Based on the findings, suggestions are made as to what needs to be done to extend this capacity and thereby to achieve the goals outlined in the 2008 Ministerial Declaration on Adult Community Education.