Efficient prolog programming

This paper presents some basic programming strategies for Prolog programmers. The strategies are based on knowledge about the operational behaviour of the Warren Abstract Machine (WAM). The aim is to provide simple principles for making programs both faster and less space-consuming. The programming hints given are mostly local, i.e. only a single clause or procedure need be considered at a time.     

Feasibility of the indirect determination of blast-induced rock movement based on three new hybrid intelligent models

Engineering with Computers - The indirect and accurate determination of blast-induced rock movement has important significance in the reduction of ore loss and dilution and in the protection of...     

Continuous Levels‐of‐Detail and Visual Abstraction for Seamless Molecular Visualization

Molecular visualization is often challenged with rendering of large molecular structures in real time. We introduce a novel approach that enables us to show even large protein complexes. Our method is based on the level‐of‐detail concept, where we exploit three different abstractions combined in one visualization. Firstly, molecular surface abstraction exploits three different surfaces, solvent‐excluded surface (SES), Gaussian kernels and van der Waals spheres, combined as one surface by linear interpolation. Secondly, we introduce three shading abstraction levels and a method for creating seamless transitions between these representations. The SES representation with full shading and added contours stands in focus while on the other side a sphere representation of a cluster of atoms with constant shading and without contours provide the context. Thirdly, we propose a hierarchical abstraction based on a set of clusters formed on molecular atoms. All three abstraction models are driven by one importance function classifying the scene into the near‐, mid‐ and far‐field. Moreover, we introduce a methodology to render the entire molecule directly using the A‐buffer technique, which further improves the performance. The rendering performance is evaluated on series of molecules of varying atom counts.     

Reaction engineering studies in a polytropic fixed-bed reactor over a highly active and selective catalyst for oxidative methane coupling

The oxidative coupling of methane (OCM) was carried out in a polytropic fixed-bed reactor applying a Zr/La/Sr catalyst developed by the Neste company. Over this catalyst the OCM reaction follows a complex reaction scheme which includes primary parallel reaction steps to CO, CO₂ and C₂H₆ and consecutive reactions of ethane to ethylene or CO_x. Yield of higher hydrocarbons C₂₊ obtained with this catalyst strongly depended on reaction conditions, i.e. low partial pressures of methane and oxygen obtained by diluting the feed gas with nitrogen and high reaction temperatures promoted C₂₊ selectivity and yield. The maximum yield amounted to 21.4% (20 Vol.-% CH₄, 9 Vol.-% O₂, 71 Vol.-% N₂, T = 860°C; X_CH4 = 41.8%, S = 52.5%). This result belongs to the highest yields reported in the open literature.     

UR: SMART–A tool for analyzing social media content

Information Systems and e-Business Management - The digital transformation, with its ongoing trend towards electronic business, confronts companies with increasingly growing amounts of data which...     

On the human ability to discriminate audio ambiances from similar locations of an urban environment

When developing advanced location-based systems augmented with audio ambiances, it would be cost-effective to use a few representative samples from typical environments for describing a larger number of similar locations. The aim of this experiment was to study the human ability to discriminate audio ambiances recorded in similar locations of the same urban environment. A listening experiment consisting of material from three different environments and nine different locations was carried out with nineteen subjects to study the credibility of audio representations for certain environments which would diminish the need for collecting huge audio databases. The first goal was to study to what degree humans are able to recognize whether the recording has been made in an indicated location or in another similar location, when presented with the name of the place, location on a map, and the associated audio ambiance. The second goal was to study whether the ability to discriminate audio ambiances from different locations is affected by a visual cue, by presenting additional information in form of a photograph of the suggested location. The results indicate that audio ambiances from similar urban areas of the same city differ enough so that it is not acceptable to use a single recording as ambience to represent different yet similar locations. Including an image was found to increase the perceived credibility of all the audio samples in representing a certain location. The results suggest that developers of audio-augmented location-based systems should aim at using audio samples recorded on-site for each location in order to achieve a credible impression.     

Interactive Volume Rendering with Dynamic Ambient Occlusion and Color Bleeding

We propose a method for rendering volumetric data sets at interactive frame rates while supporting dynamic ambient occlusion as well as an approximation to color bleeding. In contrast to ambient occlusion approaches for polygonal data, techniques for volumetric data sets have to face additional challenges, since by changing rendering parameters, such as the transfer function or the thresholding, the structure of the data set and thus the light interactions may vary drastically. Therefore, during a preprocessing step which is independent of the rendering parameters we capture light interactions for all combinations of structures extractable from a volumetric data set. In order to compute the light interactions between the different structures, we combine this preprocessed information during rendering based on the rendering parameters defined interactively by the user. Thus our method supports interactive exploration of a volumetric data set but still gives the user control over the most important rendering parameters. For instance, if the user alters the transfer function to extract different structures from a volumetric data set the light interactions between the extracted structures are captured in the rendering while still allowing interactive frame rates. Compared to known local illumination models for volume rendering our method does not introduce any substantial rendering overhead and can be integrated easily into existing volume rendering applications. In this paper we will explain our approach, discuss the implications for interactive volume rendering and present the achieved results.     

Stiction issues and actuation of RF LIGA-MEMS variable capacitors

High aspect ratio variable capacitors have been fabricated using deep X-ray lithography and electroplating. Stiction phenomena applicable to high aspect ratio devices are presented, including the conditions for stiction to occur and the critical dimensions of structures. Actuation tests at 3 GHz are also presented and show a maximum capacitance of 0.86 pF with no actuation voltage and a minimum capacitance of 0.70 pF with an actuation voltage of 20 V just before pull-in, which gives a tuning range of 1.23:1. Corresponding Q-factor values are 49.3 and 70.8 respectively. After pull-in, the measured capacitance is 0.61 pF, corresponding to a tuning range of 1.41:1, with a maximum Q-factor of 102.9.     

An Interoperable Grid Information System for Integrated Resource Monitoring Based on Virtual Organizations

In many Grid infrastructures different kinds of information services are in use, which utilize different incompatible data structures and interfaces to encode and provide their data. Homogeneous monitoring of these infrastructures with the monitoring data being accessible everywhere independently of the middleware which provided it, is the basis for a consistent status reporting on the Grids’ resources and services. Thus, interoperability or interoperation between the different information services in a heterogeneous Grid infrastructure is required. Monitoring data must contain the identity of the affected Virtual Organization (VO) so that it can be related to the resources and services the VO has allocated to enable VO-specific information provision. This paper describes a distributed architecture for an interoperable information service, which combines data unification and categorization with policies for VO membership, VO resource management and data transformations. This service builds the basis for an integrated and interoperating monitoring of Grids, which provide their data to more than one VO and utilize heterogeneous information services.     

A new failure criterion for the Gurson-Tvergaard dilational constitutive model

In the Gurson-Tvergaard model a failure criterion has to be used to signify the void coalescence. In the literature, a constant critical void volume fraction criterion has been widely used. However, it is questionable whether the critical void volume fraction is a material constant and, furthermore, it is also difficult in practice to determine the constant. By modifying Thomason's plastic limit-load model, a new failure criterion which is fully compatible with the Gurson-Tvergaard model, is presented in this study. In the present criterion, the void coalescence failure mechanism by internal necking has been considered and the material failure is a natural result of the development of dual constitutive, stable and unstable, responses. In practical application of the present criterion, no critical void volume fraction needs to be pre-determined either numerically or experimentally. Furthermore, according to the new criterion, the void volume fraction corresponding to void coalescence is not a material constant, rather a function of stress triaxiality. The predictions using the present criterion have been compared with the finite element results by Koplik and Needleman, and very good agreement is observed. The potential advantage of this criterion and other related issues are discussed.