Towards description and optimization of abstract machines in an extension of prolog

Competitive abstract machines for Prolog are usually large, intricate, and incorpórate sophisticated optimizations. This makes them difñcult to code, optimize, and, especially, maintain and extend. This is partly due to the fact that efñciency considerations make it necessary to use low-level languages in their implementation. Writing the abstract machine (and ancillary code) in a higher-level language can help harness this inherent complexity. In this paper we show how the semantics of basic components of an efficient virtual machine for Prolog can be described using (a variant of) Prolog which retains much of its semantics. These descriptions are then compiled to C and assembled to build a complete bytecode emulator. Thanks to the high level of the language used and its closeness to Prolog the abstract machine descriptions can be manipulated using standard Prolog compilation and optimization techniques with relative ease. We also show how, by applying program transformations selectively, we obtain abstract machine implementations whose performance can match and even exceed that of highly-tuned, hand-crafted emulators.

Ontology driven description and engineering of autonomous systems: application to process system engineering

Autonomous systems refer to systems capable of operating in a real world environment without any form of external control for extended periods of time. Autonomy is a desired goal for every system as it improves its performance, safety and profit. Ontologies are a way to conceptualize the knowledge of a specific domain. In this paper an ontology for the description of autonomous systems as well as for its development (engineering) is presented and applied to a process. This ontology is intended to be applied and used to generate final applications following a model driven methodology.

Simulating potential growth and yield of oil palm (Elaeis guineensis) with PALMSIM: Model description, evaluation and application.

Reducing the gap between water-limited potential yield and actual yield in oil palm production systems through intensification is seen as an important option for sustainably increasing palm oil production. Simulation models can play an important role in quantifying water-limited potential yield, and therefore the scope for intensification, but no oil palm model exists that is both simple enough and at the same time incorporates sufficient plant physiological knowledge to be generally applicable across sites with different growing conditions. The objectives of this study therefore were to develop a model (PALMSIM) that simulates, on a monthly time step, the potential growth of oil palm as determined by solar radiation and to evaluate model performance against measured oil palm yields under optimal water and nutrient management for a range of sites across Indonesia and Malaysia. The maximum observed yield in the field matches the corresponding simulated yield for dry bunch weight with a RMSE of 1.7 Mg ha?1 year?1 against an observed yield of 18.8 Mg ha?1. Sensitivity analysis showed that PALMSIM is robust: simulated changes in yield caused by modifying the parameters by 10% are comparable to other tree crop model evaluations. While we acknowledge that, depending on the soils and climatic environment, yields may be often water limited, we suggest a relatively simple physiological approach to simulate potential yield, which can be usefully applied to high rainfall environments and is considered as a first step in developing an oil palm model that also simulates water-limited potential yield. To illustrate the application possibil- ities of the model, PALMSIM was used to create a potential yield map for Indonesia and Malaysia by sim- ulating the growth and yield at a resolution of 0.1?. This map of potential yield is considered as a first step towards a decision support tool that can identify potentially productive, but at the moment degraded sites in Indonesia and Malaysia. ?