Exploitation of symbolic information in interprocedural dependence analysis

The requirement for a very accurate dependence analysis to underpin software tools to aid the generation of efficient parallel implementations of scalar code is argued. The current status of dependence analysis is shown to be inadequate for the generation of efficient parallel code, causing too many conservative assumptions to be made. This paper summarises the limitations of conventional dependence analysis techniques, and then describes a series of extensions which enable the production of a much more accurate dependence graph. The extensions include analysis of symbolic variables, the development of a symbolic inequality disproof algorithm and its exploitation in a symbolic Banerjee inequality test; the use of inference engine proofs; the exploitation of exact dependence and dependence pre-domination attributes; interprocedural array analysis; conditional variable definition tracing; integer array tracing and division calculations. Analysis case studies on typical numerical code is shown to reduce the total dependencies estimated from conventional analysis by up to 50%. The techniques described in this paper have been embedded within a suite of tools, CAPTools, which combines analysis with user knowledge to produce efficient parallel implementations of numerical mesh based codes.

Upgrading automation for nuclear fuel in-core management: from the symbolic generation of configurations to the neural adaptation of heuristics

FUELCON is an expert system in nuclear engineering. Its task is optimized refueling-design, which is crucial to keep down operation costs at a plant. FUELCON proposes sets of alternative configurations of fuel-allocation; the fuel is positioned in a grid representing the core of a reactor. The practitioner of in-core fuel management uses FUELCON to generate a reasonably good configuration for the situation at hand. The domain expert, on the other hand, resorts to the system to test heuristics and discover new ones, for the task described above. Expert use involves a manual phase of revising the ruleset, based on performance during previous iterations in the same session. This paper is concerned with a new phase: the design of a neural component to carry out the revision automatically. Such an automated revision considers previous performance of the system and uses it for adaptation and learning better rules. The neural component is based on a particular schema for a symbolic to recurrent-analogue bridge, called NIPPL, and on the reinforcement learning of neural networks for the adaptation.

A novel neural/symbolic hybrid approach to heuristically optimized fuel allocation and automated revision of heuristics in nuclear engineering

FUELCON is an expert system for optimized refueling design in nuclear engineering. This task is crucial for keeping down operating costs at a plant without compromising safety. FUELCON proposes sets of alternative configurations of allocation of fuel assemblies that are each positioned in the planar grid of a horizontal section of a reactor core. Results are simulated, and an expert user can also use FUELCON to revise rulesets and improve on his or her heuristics. The successful completion of FUELCON led this research team into undertaking a panoply of sequel projects, of which we provide a meta-architectural comparative formal discussion. In this paper, we demonstrate a novel adaptive technique that learns the optimal allocation heuristic for the various cores. The algorithm is a hybrid of a fine-grained neural network and symbolic computation components. This hybrid architecture is sensitive enough to learn the particular characteristics of the ‘in-core fuel management problem’ at hand, and is powerful enough to use this information fully to automatically revise heuristics, thus improving upon those provided by a human expert.

Two-machine shop scheduling: Compromise between flexibility and makespan value

In this paper, we consider the problem of providing flexibility to solutions of two-machine shop scheduling problems. We use the concept of group-scheduling to characterize a whole set of schedules so as to provide more choice to the decision-maker at any decision point. A group-schedule is a sequence of groups of permutable operations defined on each machine where each group is such that any permutation of the operations inside the group leads to a feasible schedule. Flexibility of a solution and its makespan are often conflicting, thus we search for a compromise between a low number of groups and a small value of makespan. We resolve the complexity status of the relevant problems for the two-machine flow shop, job shop and open shop. A number of approximation algorithms are developed and their worst-case performance is analyzed. For the flow shop, an effective heuristic algorithm is proposed and the results of computational experiments are reported.

Assessment of the nutritional value of wild leafy vegetables consumed in the Buhera District of Zimbabwe: a preliminary study

Wild leafy vegetables play a vital role in the livelihoods of many communities in Africa. The focus of this study was to investigate the nutritional value of wild vegetables commonly consumed by the people of Buhera District in the Manicaland province of Zimbabwe. A variety of vegetables including Amaranthus hybridus, Cleome gynandra, Bidens pilosa, Corchorus tridens, and Adansonia digitata were collected during a survey in Buhera District. Samples were processed employing traditional methods of cooking and drying, then subjected to proximate and micronutrient analyses. The results indicate that these vegetables were particularly high in calcium, iron, and vitamin C. Compared with Brassica napus (rape), Amaranthus hybridus contained twice the amount of calcium, with other nutrients almost in the same range. Compared with Spinacia oleracea (spinach), Amaranthus hybridus contained three times more vitamin C (44 mg/100 g). Calcium levels were 530 mg/100 g. Amaranthus hybridus was also found to contain 7, 13, and 20 times more vitamin C, calcium, and iron respectively compared with Lactuca sativa (lettuce). Cleome gynandra contained 14 mg/100 g, 115 mg/100 g, 9 mg/100 g of vitamin C, calcium, and iron respectively. Bidens pilosa was found to be a valuable source of vitamin C (63 mg/100 g), iron (15 mg/100 g), and zinc (19 mg/100 g), compared with Brassica oleracea (cabbage). The leaves of Corchorus tridens were an excellent source of vitamin C (78 mg/100 g), calcium (380 mg/100 g), and iron (8 mg/100 g). The Adansonia digitata leaves were also rich in vitamin C (55 mg/100 g), iron (23 mg/ 100 g), and calcium (400 mg/100 g). Based on these nutrient contents, the above vegetables will have potential benefits as part of feeding programmes, as well as their promotion as part of composite diet for vulnerable groups.

What is the value of technology? Toward a labour theory of technology change

Economic analysis of technology treats it as given exogenously, while determined endogenously. This paper examines the conceptual conflict. The paper outlines an alternative conceptual framework. This uses a 'General Vertical Division of Labour' into conceptual and executive parts to facilitate a coherent political economic explanation of technological change. The paper suggests that we may acquire rather than impose an understanding of technological change. It also suggests that we may re-define and reassess the efficiency of technological change, through the values inculcated into it.

An inquiry concerning the acceptance of intrinsic value theories of nature

This study empirically assesses the extent to which intrinsic value theories of nature are accepted and acknowledged outside the realm of academic environmental ethics. It focuses on twenty of the largest landowning organisations in England, including both conservation and non-conservation organisations and investigates the environmental philosophical beliefs and values held by representative individuals of these groups. An in-depth interview was held with a representative from each organisation. The interviews were analysed using qualitative data analysis software and the results compared against a backdrop of academic philosophical positions. The study found that an ecocentric position which acknowledges nature's intrinsic value was adopted by the majority of respondents, both from conservation and non-conservation organisations. However, it was also found that individuals felt the idea of nature's intrinsic value was generally not reflected in organisational policy.