The VLISP verified PreScheme compiler

This paper describes a verified compiler for PreScheme, the implementation language for thevlisp run-time system. The compiler and proof were divided into three parts: A transformational front end that translates source text into a core language, a syntax-directed compiler that translates the core language into a combinator-based tree-manipulation language, and a linearizer that translates combinator code into code for an abstract stored-program machine with linear memory for both data and code. This factorization enabled different proof techniques to be used for the different phases of the compiler, and also allowed the generation of good code. Finally, the whole process was made possible by carefully defining the semantics ofvlisp PreScheme rather than just adopting Scheme's. We believe that the architecture of the compiler and its correctness proof can easily be applied to compilers for languages other than PreScheme.This work was supported by Rome Laboratory of the United States Air Force, contract No. F19628-89-C-0001, through the MITRE Corporation, and by NSF and DARPA under NSF grants CCR-9002253 and CCR-9014603. Author's current address: Department of Computer Science and Engineering, Oregon Graduate Institute, P.O. Box 91000, Portland, OR 97291-1000.The work reported here was supported by Rome Laboratory of the United States Air Force, contract No. F19628-89-C-0001. Preparation of this paper was generously supported by The MITRE Corporation.This work was supported by Rome Laboratory of the United States Air Force, contract No. F19628-89-C-0001, through the MITRE Corporation, and by NSF and DARPA under NSF grants CCR-9002253 and CCR-9014603.     

Surface properties of phenolic compounds and their influence on the dispersion degree and oxidative stability of olive oil O/W emulsions

The surface and interfacial properties of gallic acid, catechin and quercetin, and their effect on the dispersion degree and the oxidative stability of olive oil oil-in-water (O/W) emulsions prepared using β-lactoglobulin and Tween 20 were studied.Gallic acid showed no effect on the surface properties while catechin was proven to be able to accumulate at the air/water interface, decreasing the surface tension values with increasing its concentration. All the phenolic antioxidants caused a decrease in the interfacial tension at the oil/water interface, even though only catechin and quercetin showed a concentration dependent behaviour.In emulsions, gallic acid did not affect the droplet size of the systems, catechin caused the formation of oil droplets bigger than those of the control, whilst quercetin improved the dispersion state of the emulsions with the increasing of its concentration. Gallic acid, despite its partitioning in the water phase due to its polarity, delayed the formation of both the hydroperoxides and TBARs and limited their accumulation. Catechin did not affect the formation of oxidation products whilst quercetin, among the tested antioxidants, caused the lowest formation of both hydroperoxides and TBARs through 33 days of storage.     

Formalizing REST APIs for web-based communication and SIP interworking

This paper proposes an instantaneous recovery route design scheme using multiple coding-aware link protection scenarios to achieve higher link cost reduction in the network. In this scheme, two protection scenarios, namely, (i) traffic splitting (TS), and (ii) two sources and a common destination (2SD) are used to integrate multiple sources and a common destination. The proposed scheme consists of two phases. In the first phase, the proposed scheme determines routes for 2SD and TS scenarios of all possible source-destination pairs to minimize the total link cost. In this phase, the network coding is applied to the common path within each scenario, individually. In the second phase, network coding is applied to the common path between two scenarios (or a scenario pair) in order to enhance the resource saving. This phase develops conditions that select the most appropriate combination of scenario pairs, such as TS–TS, 2SD–2SD, and 2SD–TS for network coding, including their proofs. Using these conditions, a heuristic algorithm is introduced in order to select the most appropriate combination of scenario pairs for further enhancing of resource saving. Simulation results show that the proposed scheme outperforms the conventional 1 + 1 protection scheme, the TS scenario, and the 2SD scenario in terms of link cost reduction in the network.     

Exponential approximation of the Heidler function for the reproduction of lightning current waveshapes

In this paper the lightning current function proposed by Heidler is approximated by a linear combination of exponential functions in the time domain, which is afterward analytically transformed into the frequency domain. The unknown coefficients of the exponential approximation for the most frequently used values of the current steepness factor are computed using the least squares method. The developed exponential approximation is general with respect to the current steepness factor in the Heidler function. Approximation of the Heidler function with a linear combination of exponential functions enables the approximation of various Heidler function based lightning current functions. Heidler function in the frequency domain can be used for transient analysis of electromagnetic phenomena that include lightning protection, grounding grid analysis and electromagnetic compatibility problems.     

Time-harmonic analysis of grounding system in horizontally stratified multilayer medium

This paper extends an electromagnetic model for time-harmonic analysis of grounding system in horizontally stratified multilayer medium which consists of air and arbitrary number of soil layers. Complete electromagnetic coupling between grounding system segments is taken into account. The model is based on applying the finite element technique to an integral equation formulation. Through an effective approximation of the attenuation and phase shift effects the computation of Sommerfeld integrals has been avoided, which considerably shortens the computational time. The treatment of non-horizontal segments of grounding grid conductors has been resolved by approximating the segment with five current point sources distributed along the segment length. An algorithm for scalar electric potential computation in any soil layers is presented and compared to published results. The effects of approximating a complex heterogeneous earth structure with a homogeneous earth is also analyzed and discussed.     

The Use of Macros in Atomic Force Microscopy Image Analysis and Image Processing

The public domain image analysis program NIH Image (http://rsb.info.nih.gov/nih-image) has been modified and extended to produce Image SXM (http://reg.ssci.liv.ac.uk), a program that supports many of the image file formats used by various scanning probe microscope manufacturers. This article discusses the different approaches to software customization and describes the use of two sets of macros in the analysis and processing of atomic force microscopy images.