Efficient management of backtracking in and-parallelism

A backtracking algorithm for AND-Parallelism and its implementation at the Abstract Machine level are presented: first, a class of AND-Parallelism models based on goal independence is defined, and a generalized version of Restricted AND-Parallelism (RAP) introduced as characteristic of this class. A simple and efficient backtracking algorithm for R A P is then discussed. An implementation scheme is presented for this algorithm which offers minimum overhead, while retaining the performance and storage economy of sequent ial implementations and taking advantage of goal independence to avoid unnecessary backtracking ("restricted intelligent backtracking"). Finally, the implementation of backtracking in sequential and AND-Parallcl systems is explained through a number of examples.

An abstract machine for restricted and-parallel execution of logic programs

Although the sequential execution speed of logic programs has been greatly improved by the concepts introduced in the Warren Abstract Machine (WAM), parallel execution represents the only way to increase this speed beyond the natural limits of sequential systems. However, most proposed parallel logic programming execution models lack the performance optimizations and storage efficiency of sequential systems. This paper presents a parallel abstract machine which is an extension of the WAM and is thus capable of supporting ANDParallelism without giving up the optimizations present in sequential implementations. A suitable instruction set, which can be used as a target by a variety of logic programming languages, is also included. Special instructions are provided to support a generalized version of "Restricted AND-Parallelism" (RAP), a technique which reduces the overhead traditionally associated with the run-time management of variable binding conflicts to a series of simple run-time checks, which select one out of a series of compiled execution graphs.

Offices of the Official College of Architects, Sevilla (1976)

Proyecto de la sede del Colegio de Arquitectos de Sevilla

Complexity in the Optimisation of ATM Performance Metrics

Today's motivation for autonomous systems research stems out of the fact that networked environments have reached a level of complexity and heterogeneity that make their control and management by solely human administrators more and more difficult. The optimisation of performance metrics for the air traffic management system, like in other networked system, has become more complex with increasing number of flights, capacity constraints, environmental factors and safety regulations. It is anticipated that a new structure of planning layers and the introduction of higher levels of automation will reduce complexity and will optimise the performance metrics of the air traffic management system. This paper discusses the complexity of optimising air traffic management performance metrics and proposes a way forward based on higher levels of automation.

Outline of Europe-Japan collaborative research on concentrator photovoltaics

The Europe-Japan Collaborative Research Project on Concentrator Photovoltaics (CPV) has been initiated under support by the EC (European Commission) and NEDO (New Energy and Industrial Technology Development Organization) since June 2011. This is project (NGCPV Project; a New Generation of Concentrator PhotoVoltaic cells, modules and systems) is aiming to accelerate the move to very high efficiency and lower cost CPV technologies and to enhance widespread deployment of CPV systems. 7 organizations such as UPM, FhG-ISE Imperial College, BSQ, CEA-INES, ENEA, and PSE in Europe and 9 organizations such as TTI, Univ. Tokyo, AIST, Sharp Co. Daido Steel Co., Kobe Univ., Miyazaki Univ., Asahi Kasei Co., and Takano Co. participate in this project. The targets of this project are 1) to develop world-record efficiency CPV cells of more than 45%, 2) to develop world-record efficiency CPV modules of 35%, 3) to establish standard measurements of CPV cells and modules, 4) to install 50kW CPV system in Spain, to carry out field test of CPV system and to manage power generation of CPV systems, and 5) to develop high-efficiency and low-cost new materials and structure cells such as III-V-N, III-V-on-Si tandem, quantum dots and wells. This paper presents outline of this project and most recent results such as world record efficiency (37.9% under 1-sun) cell and high-efficiency (43.5% under 240-306 suns) concentrator cell with inverted epitaxial grown InGaP/GaAs/InGaAs 3-junction solar cells.