Given a single outdoor image, we present a method for estimating the likely illumination conditions of the scene. In particular, we compute the probability distribution over the sun position and visibility. The method relies on a combination of weak cues that can be extracted from different portions of the image: the sky, the vertical surfaces, the ground, and the convex objects in the image. While no single cue can reliably estimate illumination by itself, each one can reinforce the others to yield a more robust estimate. This is combined with a data-driven prior computed over a dataset of 6 million photos. We present quantitative results on a webcam dataset with annotated sun positions, as well as quantitative and qualitative results on consumer-grade photographs downloaded from Internet. Based on the estimated illumination, we show how to realistically insert synthetic 3-D objects into the scene, and how to transfer appearance across images while keeping the illumination consistent. 相似文献
We solve the problem of finding the lowest stable-equilibrium pose of a rigid body subjected to gravity and suspended in space by an arbitrary number of cables. Besides representing a contribution to fundamental rigid-body mechanics, this solution finds application in two areas of robotics research: underconstrained cable-driven parallel robots and cooperative towing. The proposed approach consists in globally minimizing the rigid-body potential energy. This is done by applying a branch-and-bound algorithm over the group of rotations, which is partitioned into boxes in the space of Euler-Rodrigues parameters. The lower bound on the objective is obtained through a semidefinite relaxation of the optimization problem, whereas the upper bound is obtained by solving the same problem for a fixed orientation. The resulting algorithm is applied to several examples drawn from the literature. The reported Matlab implementation converges to the lowest stable equilibrium pose generally in a few seconds for cable-robot applications. Interestingly, the proposed method is only mildly sensitive to the number of suspending cables, which is shown by solving an example with 1000 cables in two hours. 相似文献
Controller synthesis for general linear temporal logic (LTL) objectives is a challenging task. The standard approach involves translating the LTL objective into a deterministic parity automaton (DPA) by means of the Safra-Piterman construction. One of the challenges is the size of the DPA, which often grows very fast in practice, and can reach double exponential size in the length of the LTL formula. In this paper, we describe a single exponential translation from limit-deterministic Büchi automata (LDBA) to DPA and show that it can be concatenated with a recent efficient translations from LTL to LDBA to yield a double exponential, ‘Safraless’ LTL-to-DPA construction. We also report on an implementation and a comparison with other LTL-to-DPA translations on several sets of formulas from the literature.
Structural and Multidisciplinary Optimization - Topology optimization is a tool that supports the creativity of structural-designers and is used in various industries, from automotive to... 相似文献
Feature construction has been studied extensively, including for 0/1 data samples. Given the recent breakthroughs in closedness-related
constraint-based mining, we are considering its impact on feature construction for classification tasks. We investigate the
use of condensed representations of frequent itemsets based on closedness properties as new features. These itemset types
have been proposed to avoid set counting in difficult association rule mining tasks, i.e. when data are noisy and/or highly
correlated. However, our guess is that their intrinsic properties (say the maximality for the closed itemsets and the minimality
for the δ-free itemsets) should have an impact on feature quality. Understanding this remains fairly open, and we discuss these issues
thanks to itemset properties on the one hand and an experimental validation on various data sets (possibly noisy) on the other
hand. 相似文献
In Plasmodium falciparum (Pf), the causative agent of the deadliest form of malaria, a tight regulation of phosphatase activity is crucial for the development of the parasite. In this study, we have identified and characterized PfPTPA homologous to PhosphoTyrosyl Phosphatase Activator, an activator of protein phosphatase 2A which is a major phosphatase involved in many biological processes in eukaryotic cells. The PfPTPA sequence analysis revealed that five out of six amino acids involved in interaction with PP2A in human are conserved in P. falciparum. Localization studies showed that PfPTPA and PfPP2A are present in the same compartment of blood stage parasites, suggesting a possible interaction of both proteins. In vitro binding and functional studies revealed that PfPTPA binds to and activates PP2A. Mutation studies showed that three residues (V283, G292 and M296) of PfPTPA are indispensable for the interaction and that the G292 residue is essential for its activity. In P. falciparum, genetic studies suggested the essentiality of PfPTPA for the completion of intraerythrocytic parasite lifecycle. Using Xenopus oocytes, we showed that PfPTPA blocked the G2/M transition. Taken together, our data suggest that PfPTPA could play a role in the regulation of the P. falciparum cell cycle through its PfPP2A regulatory activity. 相似文献
Reservoir models are essential if we need to clearly understand the fossil resources and, hence, to make better use of them. Feeding these models with physical properties on the basis of wells data is a key step in their construction. Line-support (LS) grid is the most popular grid in reservoir engineering, it is massively used for reservoir simulations. In the current methods used to populate with properties the LS grid of a reservoir unit, a Cartesian grid of equivalent size (in each direction), obtained by averaging the edge lengths, is first of all completed. The properties calculated in this way are then transferred as they are into the initial LS grid, because there is cell-for-cell correspondence. This leads to distortion of the Cartesian grid, making it fit the shape of the LS grid. This has the effect of altering calculations of correlation distances between well markers in geostatistical population simulations. Consequently, this primarily induces distortions on the simulated bodies. To resolve this problem, in this paper, we propose innovative methods for a “smooth” conversion from the LS grid of the structural space to the Cartesian grid of the geostatistical population space. The basic principle is to calculate the correlation distances between wells on the basis of “quasi-isometric” flattening of the stratigraphic unit LS grid in the population space. This same flattening technique is then used for inverse transfer of the properties from the population space to the structural space. 相似文献
This article examines the absolute and conditional convergence of real GDP per capita in the Common Market for Eastern and Southern Africa (COMESA) during the period 1950?C2003. Income departures across countries were evaluated from several panel data unit root tests. We find no evidence supporting the existence of convergence process for the income in the COMESA. Nevertheless, applying economic development criterion allows to identity two absolute convergence clubs into the COMESA, one for the most four developed countries (Egypt, Libya, Mauritius, Seychelles), and one other for the fourteen less developed ones. Thus, we show that most economies of COMESA are locked into a sustained poverty trap process. 相似文献
Suspension plasma spraying (SPS) is an alternative to conventional atmospheric plasma spraying (APS) aiming at manufacturing thinner layers (i.e., 10-100 μm) due to the specific size of the feedstock particles, from a few tens of nanometers to a few micrometers. The staking of lamellae and particles, which present a diameter ranging from 0.1 to 2.0 μm and an average thickness from 20 to 300 nm, permits to manufacture finely structured layers. Moreover, it appears as a versatile process able to manufacture different coating architectures according to the operating parameters (suspension properties, injection configuration, plasma properties, spray distance, torch scan velocity, scanning step, etc.). However, the different parameters controlling the properties of the coating, and their interdependences, are not yet fully identified. Thus, the aim of this paper is, on the one hand, to better understand the influence of operating parameters on the coating manufacturing mechanisms (in particular, the plasma gas mixture effect) and, on the other hand, to produce Al2O3-ZrO2 finely structured layers with large varieties of architectures. For this purpose, a simple theoretical model was used to describe the plasma torch operating conditions at the nozzle exit, based on experimental data (mass enthalpy, arc current intensity, thermophysical properties of plasma forming gases, etc.) and the influences of the spray parameters were determined by mean of the study of sizes and shapes of spray beads. The results enabled then to reach a better understanding of involved phenomena and their interactions on the final coating architectures permitting to manufacture several types of microstructures. 相似文献