Combining static analysis and profiling for estimating execution times in logic programs

Effective static analyses have been proposed which allow inferring functions which bound the number of resolutions or reductions. These have the advantage of being independent from the platform on which the programs are executed and such bounds have been shown useful in a number of applications, such as granularity control in parallel execution. On the other hand, in certain distributed computation scenarios where different platforms come into play, with each platform having different capabilities, it is more interesting to express costs in metrics that include the characteristics of the platform. In particular, it is specially interesting to be able to infer upper and lower bounds on actual execution time. With this objective in mind, we propose a method which allows inferring upper and lower bounds on the execution times of procedures of a program in a given execution platform. The approach combines compile-time cost bounds analysis with a one-time profiling of the platform in order to determine the values of certain constants for that platform. These constants calibrate a cost model which from then on is able to compute statically time bound functions for procedures and to predict with a significant degree of accuracy the execution times of such procedures in the given platform. The approach has been implemented and integrated in the CiaoPP system.

A Decomposition and Noise Removal Method Combining Diffusion Equation and Wave Atoms for Textured Images

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Combining static analysis and profiling for estimating execution times

Effective static analyses have been proposed which infer bounds on the number of resolutions. These have the advantage of being independent from the platform on which the programs are executed and have been shown to be useful in a number of applications, such as granularity control in parallel execution. On the other hand, in distributed computation scenarios where platforms with different capabilities come into play, it is necessary to express costs in metrics that include the characteristics of the platform. In particular, it is specially interesting to be able to infer upper and lower bounds on actual execution times. With this objective in mind, we propose an approach which combines compile-time analysis for cost bounds with a one-time profiling of a given platform in order to determine the valúes of certain parameters for that platform. These parameters calibrate a cost model which, from then on, is able to compute statically time bound functions for procedures and to predict with a significant degree of accuracy the execution times of such procedures in that concrete platform. The approach has been implemented and integrated in the CiaoPP system.

Recognition of static and dynamic facial expressions: Influences of sex, type and intensity of emotion

Ecological validity of static and intense facial expressions in emotional recognition has been questioned. Recent studies have recommended the use of facial stimuli more compatible to the natural conditions of social interaction, which involves motion and variations in emotional intensity. In this study, we compared the recognition of static and dynamic facial expressions of happiness, fear, anger and sadness, presented in four emotional intensities (25 %, 50 %, 75 % and 100 %). Twenty volunteers (9 women and 11 men), aged between 19 and 31 years, took part in the study. The experiment consisted of two sessions in which participants had to identify the emotion of static (photographs) and dynamic (videos) displays of facial expressions on the computer screen. The mean accuracy was submitted to an Anova for repeated measures of model: 2 sexes x [2 conditions x 4 expressions x 4 intensities]. We observed an advantage for the recognition of dynamic expressions of happiness and fear compared to the static stimuli (p < .05). Analysis of interactions showed that expressions with intensity of 25 % were better recognized in the dynamic condition (p < .05). The addition of motion contributes to improve recognition especially in male participants (p < .05). We concluded that the effect of the motion varies as a function of the type of emotion, intensity of the expression and sex of the participant. These results support the hypothesis that dynamic stimuli have more ecological validity and are more appropriate to the research with emotions.

Microstructural and optical characterization of CaWO4 and SrWO4 thin films prepared by a chemical solution method

Stoichiometric CaWO4 and SrWO4 thin films were synthesized using a chemical solution processing, the so-called polymeric precursor method. In this soft chemical method, soluble precursors such as strontium carbonate, calcium carbonate and tungstic acid, as starting materials, were mixed in an aqueous solution. The thin films were deposited on glass substrates by means of the spinning technique. The surface morphology and crystal structure of the thin films were investigated using X-ray diffraction (XRD), scanning electron microscopy (SEM), and atomic force microscopy (AFM). Nucleation stages and surface morphology evolution of the thin films on glass substrates were studied by atomic force microscopy. The films nucleate at 300 degreesC, after the coalescence of small nuclei into larger grains yielding a homogeneous dense surface. XRD characterization of these films showed that the CaWO4 and SrWO4 phases crystallize at 400 degreesC from an inorganic amorphous phase. No intermediate crystalline phase was identified. The optical properties were also studied. It was found that CaWO4 and SrWO4 thin films have an optical band gap, E-gap=5.27 and 5.78 eV, respectively, of a direct transition nature. The excellent microstructural quality and chemical homogeneity confirmed that this soft solution processing provides an inexpensive and environmentally friendly route for the preparation of CaWO4 and SrWO4 thin films. (C) 2003 Elsevier B.V. All rights reserved.

Do men and women use similar adaptive locomotion to clear static and dynamic obstacles?

Purpose. The purpose of this study was to analyze the influence of gender on the adaptive locomotion in the clearance of obstacles. Specifically, it was evaluated if there are differences in the space-temporal parameters between male and female in the clearance of and dynamic obstacles moving at both slow and fast speeds. Basic procedures. Five young male adults and five young female adults took part in this study. The task was performed in three conditions: static obstacle and dynamic obstacle - clearance perpendicular to the participant's trajectory at slow speed (1.07 m/s) and at fast speed (1.71 m/s). The trials were recorded by two digital cameras and spatial-temporal information was obtained. Main findings. The dynamic obstacle conditions required more visual inspection. The results showed different adaptive locomotion between the sexes. The distinct gait patterns were evidenced for the spatial and temporal variables and cadence in the three conditions. Conclusions. The women presented a more conservative behavior, which was evidenced by the increase of the length in the penultimate step and in the toe clearance.

Fabrication and analysis of 2x2 thermo-optic SOI waveguide switch with low power consumption and fast response by anisotropy chemical etching

A low power consumption 2 x 2 thermo-optic switch with fast response was fabricated on silicon-on-insulator by anisotropy chemical etching. Blocking trenches were etched on both sides of the phase-shifting arms to shorten device length and reduce power consumption. Thin top cladding layer was grown to reduce power consumption and switching time. The device showed good characteristics, including a low switching power of 145 mW and a fast switching speed of 8 +/- 1 mus, respectively. Two-dimensional finite element method was applied to simulate temperature field in the phase-shifting arm instead of conventional one-dimensional method. According to the simulated result, a new two-dimensional index distribution of phase-shifting arm was determined. Consequently finite-difference beam propagation method was employed to simulate the light propagation in the switch, and calculate the power consumption as well as the switching speed. The experimental results were in good agreement with the theoretical estimations. (C) 2004 Elsevier B.V. All rights reserved.

Unveiling the morphology of buried In(Ga)As nanostructures by selective wet chemical etching: From quantum dots to quantum rings

The three-dimensional morphology of In(Ga)As nanostructures embedded in a GaAs matrix is investigated by combining atomic force microscopy and removal of the GaAs cap layer by selective wet etching. This method is used to investigate how the morphology of In(Ga)As quantum dots changes upon GaAs capping and subsequent in situ etching with AsBr3. A wave function calculation based on the experimentally determined morphologies suggests that quantum dots transform into quantum rings during in situ etching. (c) 2007 American Institute of Physics.

Chemical etching of a GaSb crystal incorporated with Mn grown by the Bridgman method under microgravity conditions

A GaSb crystal incorporated with Mn has been grown by the Bridgman method on the Polizon facility onboard the FOTON-M3 spacecraft. Structural defects and growth striations have been successfully revealed by the chemical etching method. By calculating various parameters of the convection, the striation patterns can be explained, and the critical value of the Taylor number, which characterizes the convective condition of the rotating magnetic field induced azimuthal flow, was shown. The stresses generated during crystal growth can be reflected by the observations of etch pit distribution and other structural defects. Suggestions for improving the space experiment to improve the quality of the crystal are given.

Simple finite field method for calculation of static and dynamic vibrational hyperpolarizabilities: curvature contributions

In the static field limit, the vibrational hyperpolarizability consists of two contributions due to: (1) the shift in the equilibrium geometry (known as nuclear relaxation), and (2) the change in the shape of the potential energy surface (known as curvature). Simple finite field methods have previously been developed for evaluating these static field contributions and also for determining the effect of nuclear relaxation on dynamic vibrational hyperpolarizabilities in the infinite frequency approximation. In this paper the finite field approach is extended to include, within the infinite frequency approximation, the effect of curvature on the major dynamic nonlinear optical processes

静动结合的化学腐蚀法制备近场光学探针的理论分析

理论上分析了静动结合的化学腐蚀法制备探针的具体机理及过程。在静态腐蚀的过程中, 利用流体力学Young-Laplace方程的一级近似解获得了光纤插入到HF酸中形成的新月形高度。在动态腐蚀过程中, 详细分析了当静态腐蚀时间和动态腐蚀时间分别取不同值时, 光纤移动速度对光纤探针结构的影响。利用此法可制备出尖端锐利、大锥角或多锥体等各种结构的光纤探针。这为实验上制备出性能优良的探针, 为拓宽扫描近场光学显微镜的应用范围奠定基础。将上述理论分析的结果与本文实验中所得初步结果进行了比较, 所得结果一致。

Design and fabrication of compact nonblocking 4X4 optical matrix switch on silicon-on-insulator by anisotropic chemical etching

A folding nonblocking 4 X 4 optical matrix switch in simplified-tree architecture was designed and fabricated on a silicon-on-insulator wafer. To compress chip size, switch elements (SEs) were connected by total internal reflection mirrors instead of conventional S-bends. For obtaining smooth interfaces, potassium hydroxide (KOH) anisotropic chemical etching of silicon was employed. The device has a compact size of 20 X 3.2 mm(2) and a fast response of 8 +/- 1 mu s. Power consumption of 2 x 2 SE and excess loss per mirror were 145 mW and -1.1 dB, respectively. (c) 2005 Society of Photo-Optical Instrumentation Engineers.

Changing the size and shape of Ge island by chemical etching

Self-assembled Ge islands were grown on Si (1 0 0) substrate by Si2H6-Ge molecular beam epitaxy. Subjected to a chemical etching, it is found that the size and shape (i.e. ratio of height to base width) of Ge islands change with etching time. In addition, the photoluminescence from the etched Ge islands shifted to the higher energy side compared to that of the as-deposited Ge islands. Our results demonstrated that chemical etching can be a way to change the size and shape of the as-deposited islands as well as their luminescence property. (C) 2001 Elsevier Science B.V. All rights reserved.

Chemical etching of optical fibre tips - experiment and model

The formation of chemically etched fibre tips for use in optical scanning probe microscopy is addressed. For tips formed at a cleaved fibre end in the bulk of a buffered HF acid solution the morphological features (tip height, cone angle) are found to depend strongly on the temperature and etchant composition. The tip formation process is analysed and explained in terms of a simple model in which the only pertinent physical parameters are the fibre core diameter and etch rates of the fibre core and cladding. The etch rates are determined in separate experiments as a function of temperature (in the range 24-50 degreesC) for etchant solutions of de ionised water: 50% HF acid: 40% NH4F in the volume ratio 1 : 1 : X for X=2, 4 and 6, and used in the model to yield a correct description of the experimental tip cone angles. The model is successfully extended to the intriguing case of negative tip formation which initiates in a normal, positive tip structure. By contrast, tip formation in the meniscus region of a bare fibre/etchant/organic solvent system is found to be independent of etchant composition and temperature. (C) 2000 Elsevier Science B.V. All rights reserved.