Bubble load measurement in the pulp zone of industrial flotation machines - a new device for determining the froth recovery of attached particles

A new device has been developed to directly measure the bubble loading of particle-bubble aggregates in industrial flotation machines, both mechanical flotation cells as well as flotation column cells. The bubble loading of aggregates allows for in-depth analysis of the operating performance of a flotation machine in terms of both pulp/collection zone and froth zone performance. This paper presents the methodology along with an example showing the excellent reproducibility of the device and an analysis of different operating conditions of the device itself. (C) 2004 Elsevier B.V All rights reserved.

Models of adding relations to an organization structure of a complete K-ary tree

This paper proposes three models of adding relations to an organization structure which is a complete K-ary tree of height H: (i) a model of adding an edge between two nodes with the same depth N, (ii) a model of adding edges between every pair of nodes with the same depth N and (iii) a model of adding edges between every pair of siblings with the same depth N. For each of the three models, an optimal depth N* is obtained by maximizing the total shortening path length which is the sum of shortening lengths of shortest paths between every pair of all nodes. (c) 2005 Elsevier B.V. All rights reserved.

A political analysis of the PRSP initiative: Social struggles and the organization of persistent relations of inequality

The current global development project appears to be premised on the assumption that underlying political debates over development have been settled. An upshot of this is that development is reduced to the theoretical, ideological and legal framework of a neo-liberal political order. However, implicit, and sometimes explicit, political dynamics of development can be rendered from a perspective that foregrounds social struggles. I offer a political analysis of the PRSP initiative by examining its evolution and implications considered within social and political contexts, and by specific reference to the 'poverty reduction' interventions that emerged in the 1980s. I argue that the PRSP initiative is best understood as the formation of a comprehensive extension of neo-liberal strategic responses that emerged in the 1980s. In this context, I discuss the example of microcredit schemes in relation to the PRSP process and demonstrate the analytical significance of micro-political social relations for political analyses of development. The approach I adopt reveals social struggles as relationally constitutive of formations of a hegemonic development discourse otherwise ostensibly rendered in de-contextualized terms. From the perspective of critical development analysis such struggles are the concrete expressions of the contradictions immanent to the dialectic of development through inequality and immiseration in the (re)production of social power.

Incremental derivation of abstraction relations for data refinements

Data refinements are refinement steps in which a program’s local data structures are changed. Data refinement proof obligations require the software designer to find an abstraction relation that relates the states of the original and new program. In this paper we describe an algorithm that helps a designer find an abstraction relation for a proposed refinement. Given sufficient time and space, the algorithm can find a minimal abstraction relation, and thus show that the refinement holds. As it executes, the algorithm displays mappings that cannot be in any abstraction relation. When the algorithm is not given sufficient resources to terminate, these mappings can help the designer find a suitable abstraction relation. The same algorithm can be used to test an abstraction relation supplied by the designer.