220 resultados para 230101 Mathematical Logic, Set Theory, Lattices And Combinatorics


Relevância:

100.00% 100.00%

Publicador:

Resumo:

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.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

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 exists where the more mind changes the learner is willing to accept, the lesser 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.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We consider a time and space-symmetric fractional diffusion equation (TSS-FDE) under homogeneous Dirichlet conditions and homogeneous Neumann conditions. The TSS-FDE is obtained from the standard diffusion equation by replacing the first-order time derivative by the Caputo fractional derivative and the second order space derivative by the symmetric fractional derivative. Firstly, a method of separating variables is used to express the analytical solution of the tss-fde in terms of the Mittag–Leffler function. Secondly, we propose two numerical methods to approximate the Caputo time fractional derivative, namely, the finite difference method and the Laplace transform method. The symmetric space fractional derivative is approximated using the matrix transform method. Finally, numerical results are presented to demonstrate the effectiveness of the numerical methods and to confirm the theoretical claims.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The late French philosopher Gilles Deleuze has enjoyed significant notoriety and acclaim in American academia over the last 20 years. The unique disciplinary focus of the contemporary discussion has derived from Deleuze the architectural possibilities of biotechnology, systems theory, and digital processualism. While the persistence of Deleuze’s theory of science and the formalist readings of Mille Plateaux and Le Bergsonisme have dominated the reception since the 1990s, few are aware of a much earlier encounter between Deleuze and architects, beginning at Columbia University in the 1970s, which converged on the radical politics of Anti-OEdipus and its American reception in the journal Semiotext(e), through which architecture engaged a much broader discourse alongside artists, musicians, filmmakers, and intellectuals in the New York aesthetic underground, of which Deleuze and Félix Guattari were themselves a part.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This article examines Finnis' and Keown's claim that the intention/foresight distinction should be used as the basis for the lawfulness of withholding and withdrawing medical treatment, rather than the act/omission distinction which is currently used. I argue that whilst the intention/foresight distinction is sound and can apply to palliative pain relief hastening death, it cannot be applied to withholding and withdrawing medical treatment. Instead, the act/omission distinction remains the better basis for the lawfulness of withholding and withdrawal, and law reform is consequently unnecessary.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Young children’s transition into school has been constructed as a time-limited period around initial school entry, a set of teacher or school practices, a process of establishing continuity of experience, a multi-layered, multi-year set of experiences and a dynamic relationship-based process. Although preparedness issues continue to be addressed, there is a trend towards more complex understandings of transition emphasizing continuity, relationships amongst multiple stakeholders, system coherence across extended time periods and enhancement of resilience and transition capital. This article, in the early years of a new century, outlines some conceptualisations of readiness and transition as they relate to diverse children’s pathways through early childhood and early school settings.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The increasing prevalence of new media technologies and the rise of citizen journalism has coincided with a crisis in industrial journalism –as the figure of the "journalist as hero" is fading, new media forms have facilitated the production of news content "from below" by citizens and "pro-am" journalists. Participation in an action-research project run during the 2007 Australian Federal Election, youdecide 2007, allowed the authors to gain first-hand insights into the progress of citizen-led news media in Australia, but also allowed us to develop an account of what the work of facilitating citizen journalism involves. These insights are important to understanding the future of professional journalism and journalism education, as more mainstream media organizations move to accommodate and harness user-created content. The paper considers the relevance of citizen journalism projects as forms of R&D for understanding news production and distribution in participatory media cultures, and the importance of grounded case studies for moving beyond normative debates about new media and the future of journalism.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Live coding performances provide a context with particular demands and limitations for music making. In this paper we discuss how as the live coding duo aa-cell we have responded to these challenges, and what this experience has revealed about the computational representation of music and approaches to interactive computer music performance. In particular we have identified several effective and efficient processes that underpin our practice including probability, linearity, periodicity, set theory, and recursion and describe how these are applied and combined to build sophisticated musical structures. In addition, we outline aspects of our performance practice that respond to the improvisational, collaborative and communicative requirements of musical live coding.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Populations of the Queensland fruit fly, Bactrocera tryoni, are routinely monitored using cue-lure, a male-only attractant. Such monitoring provides no information about females and there is little information available to show if male and female B. tryoni numbers are correlated in the field. Using a data set of 1 148 weekly clearances of orange-ammonia baited traps, which catch both males and females, the correlation between male and female numbers was tested for 48 weeks of the year (four weeks each month) and for the combined data set. Weekly male and female trap catches were almost entirely highly correlated, regardless of mean population size or time of year. For the whole year, the correlation between male and female numbers was r = 0.722, significant at p<0.001. Results suggest that changes in the number if male B. tryoni, as detected through cue-lure sampling, will reflect changes in numbers of female B. tryoni.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The main focus of this paper is on the motion planning problem for an under-actuated, submerged, Omni-directional autonomous vehicle. Underactuation is extremely important to consider in ocean research and exploration. Battery failure, actuator malfunction and electronic shorts are a few reasons that may cause the vehicle to lose direct control of one or more degrees-of-freedom. Underactuation is also critical to understand when designing vehicles for specific tasks, such as torpedo-shaped vehicles. An under-actuated vehicle is less controllable, and hence, the motion planning problem is more difficult. Here, we present techniques based on geometric control to provide solutions to the under-actuated motion planning problem for a submerged underwater vehicle. Our results are validated with experiments.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper discusses control strategies adapted for practical implementation and efficient motion of underwater vehicles. These trajectories are piecewise constant thrust arcs with few actuator switchings. We provide the numerical algorithm which computes the time efficient trajectories parameterized by the switching times. We discuss both the theoretical analysis and experimental implementation results.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

David Held is the Graham Wallace Chair in Political Science, and co-director of LSE Global Governance, at the London School of Economics. He is the author of many works, such as Cosmopolitanism: Ideals and Realities (2010); The Cosmopolitanism Reader (2010), with Garrett Brown; Globalisation/AntiGlobalisation (2007), Models of Democracy (2006), Global Covenant (2004) and Global Transformations: Politics, Economics and Culture (1999). Professor Held is also the co-founder, alongside Lord Professor Anthony Giddens, of Polity Press. Professor Held is widely known for his work concerning cosmopolitan theory, democracy, and social, political and economic global improvement. His Global Policy Journal endeavours to marry academic developments with practitioner realities, and contributes to the understanding and improvement of our governing systems.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

As higher education institutions respond to government targets to widen participation, their student populations will become increasingly diverse, and the issues around student success and retention will be more closely scrutinised. The concept of student engagement is a key factor in student achievement and retention and Australasian institutions have a range of initiatives aimed at monitoring and intervening with students who are at risk of disengaging. Within the widening participation agenda, it is absolutely critical that these initiatives are designed to enable success for all students, particularly those for whom social and cultural disadvantage have been a barrier. Consequently, for the sector, initiatives of this type must be consistent with the concept of social justice and a set of principles would provide this foundation. This session will provide an opportunity for participants to examine a draft set of principles and to discuss their potential value for the participants’ institutional contexts.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The requirement to prove a society united by a body of law and customs to establish native title rights has been identified as a major hurdle to achieving native title recognition. The recent appeal decision of the Federal Court in Sampi on behalf of the Bardi and Jawi People v Western Australia [2010] opens the potential for a new judicial interpretation of society based on the internal view of native title claimants. The decision draws on defining features of legal positivism to inform the court’s findings as to the existence of a single Bardi Jawi society of ‘one people’ living under ‘one law’. The case of Bodney v Bennell [2008] is analysed through comparitive study of how the application of the received positivist framework may limit native title recognition. This paper argues that the framing of Indigenous law by reference to Western legal norms is problematic due to the assumptions of legal positivism and that an internal view based on Indigenous worldviews, which see law as intrinsically linked to the spiritual and ancestral connection to country, is more appropriate to determine proof in native title claims.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Noir and the Urban Imaginary is creative practice based PhD research comprising critical analysis (40%) exegesis (10%) and a twenty-six minute film, The Brisbane Line (50%). The research investigates intersection of four elements; the city, the cinema, history and postmodernity. The thesis discusses relationships between each of the four elements and what cinematic representation of cities reveals about modern and postmodern urban experience and historicisation. Key concepts in the research include, 'urbanism', 'historiography', 'modernity', 'postmodernity', 'neo-noir'.