28 resultados para Prove

em Cambridge University Engineering Department Publications Database


Relevância:

10.00% 10.00%

Publicador:

Resumo:

In this paper, we propose a vision based mobile robot localization strategy. Local scale-invariant features are used as natural landmarks in unstructured and unmodified environment. The local characteristics of the features we use prove to be robust to occlusion and outliers. In addition, the invariance of the features to viewpoint change makes them suitable landmarks for mobile robot localization. Scale-invariant features detected in the first exploration are indexed into a location database. Indexing and voting allow efficient recognition of global localization. The localization result is verified by epipolar geometry between the representative view in database and the view to be localized, thus the probability of false localization will be decreased. The localization system can recover the pose of the camera mounted on the robot by essential matrix decomposition. Then the position of the robot can be computed easily. Both calibrated and un-calibrated cases are discussed and relative position estimation based on calibrated camera turns out to be the better choice. Experimental results show that our approach is effective and reliable in the case of illumination changes, similarity transformations and extraneous features. © 2004 IEEE.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We describe the nanofabrication study of self-aligned electrodes on suspended multiwalled carbon nanotube structures. When metal is deposited on a suspended multiwalled carbon nanotube structure, the nanotube acts as an evaporation mask, resulting in the formation of discontinuous electrodes. The metal deposits on the nanotubes are removed with lift-off. Using Al sacrificial layers, it was possible to fabricate self-aligned contact electrodes and control electrodes nanometers from the suspended carbon nanotubes with a single lithography step. It was also shown that the fabrication technique may also be used to form nano-gapped contact electrodes. The technique should prove useful for the fabrication of nano-electromechanical systems.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We describe the fabrication of self-aligned split gate electrodes on suspended multiwalled carbon nanotube structures. A suspended multiwalled carbon nanotube structure was used as an evaporation mask for the deposition of metal electrodes resulting in the formation of discontinuous wire deposition. The metal deposits on the nanotubes are removed with lift-off due to the poor adhesion of metal to the nanotube surface. Using Al sacrificial layers, it was possible to fabricate self-aligned contact electrodes and control electrodes nanometers from the suspended carbon nanotubes with a single lithography step. It was also shown that the fabrication technique may also be used to form nano-gaped contact electrodes. The technique should prove useful for the fabrication of nano-electromechanical systems.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We describe the fabrication of self-aligned split gate electrodes on suspended multiwalled carbon nanotube structures. A suspended multiwalled carbon nanotube structure was used as an evaporation mask for the deposition of metal electrodes resulting in the formation of discontinuous wire deposition. The metal deposits on the nanotubes are removed with lift-off due to the poor adhesion of metal to the nanotube surface. Using Al sacrificial layers, it was possible to fabricate self-aligned contact electrodes and control electrodes nanometers from the suspended carbon nanotubes with a single lithography step. It was also shown that the fabrication technique may also be used to form nano-gaped contact electrodes. The technique should prove useful for the fabrication of nano-electromechanical systems. © 2003 Materials Research Society.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The near-surface motility of bacteria is important in the initial formation of biofilms and in many biomedical applications. The swimming motion of Escherichia coli near a solid surface is investigated both numerically and experimentally. A boundary element method is used to predict the hydrodynamic entrapment of E. coli bacteria, their trajectories, and the minimum separation of the cell from the surface. The numerical results show the existence of a stable swimming distance from the boundary that depends only on the shape of the cell body and the flagellum. The experimental validation of the numerical approach allows one to use the numerical method as a predictive tool to estimate with reasonable accuracy the near-wall motility of swimming bacteria of known geometry. The analysis of the numerical database demonstrated the existence of a correlation between the radius of curvature of the near-wall circular trajectory and the separation gap. Such correlation allows an indirect estimation of either of the two quantities by a direct measure of the other without prior knowledge of the cell geometry. This result may prove extremely important in those biomedical and technical applications in which the near-wall behavior of bacteria is of fundamental importance.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We introduce the Pitman Yor Diffusion Tree (PYDT) for hierarchical clustering, a generalization of the Dirichlet Diffusion Tree (Neal, 2001) which removes the restriction to binary branching structure. The generative process is described and shown to result in an exchangeable distribution over data points. We prove some theoretical properties of the model and then present two inference methods: a collapsed MCMC sampler which allows us to model uncertainty over tree structures, and a computationally efficient greedy Bayesian EM search algorithm. Both algorithms use message passing on the tree structure. The utility of the model and algorithms is demonstrated on synthetic and real world data, both continuous and binary.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Lean premixed prevaporized (LPP) technology has been widely used in the new generation of gas turbines in which reduced emissions are a priority. However, such combustion systems are susceptible to the damage of self-excited oscillations. Feedback control provide a way of preventing such dynamic stabilities. A flame dynamics assumption is proposed for a recently developed unsteady heat release model, the robust design technique, ℋ ∞ loop-shaping, is applied for the controller design and the performance of the controller is confirmed by simulations of the closed-loop system. The Integral Quadratic Constraints(IQC) method is employed to prove the stability of the closed-loop system. ©2010 IEEE.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A number of alternative designs are presented for Penning ion traps suitable for quantum information processing (QIP) applications with atomic ions. The first trap design is a simple array of long straight wires, which allows easy optical access. A prototype of this trap has been built to trap Ca+ and a simple electronic detection scheme has been employed to demonstrate the operation of the trap. Another trap design consists of a conducting plate with a hole in it situated above a continuous conducting plane. The final trap design is based on an array of pad electrodes. Although this trap design lacks the open geometry of the other traps described above, the pad design may prove useful in a hybrid scheme in which information processing and qubit storage take place in different types of trap. The behaviour of the pad traps is simulated numerically and techniques for moving ions rapidly between traps are discussed. Future experiments with these various designs are discussed. All of the designs lend themselves to the construction of multiple trap arrays, as required for scalable ion trap QIP.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This study considers the discrete-time dynamics of a network of agents that exchange information according to the nearest-neighbour protocol under which all agents are guaranteed to reach consensus asymptotically. We present a fully decentralised algorithm that allows any agent to compute the consensus value of the whole network in finite time using only the minimal number of successive values of its own history. We show that this minimal number of steps is related to a Jordan block decomposition of the network dynamics and present an algorithm to obtain the minimal number of steps in question by checking a rank condition on a Hankel matrix of the local observations. Furthermore, we prove that the minimal number of steps is related to other algebraic and graph theoretical notions that can be directly computed from the Laplacian matrix of the graph and from the underlying graph topology. © 2011 IEEE.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The paper presents a new copula based method for measuring dependence between random variables. Our approach extends the Maximum Mean Discrepancy to the copula of the joint distribution. We prove that this approach has several advantageous properties. Similarly to Shannon mutual information, the proposed dependence measure is invariant to any strictly increasing transformation of the marginal variables. This is important in many applications, for example in feature selection. The estimator is consistent, robust to outliers, and uses rank statistics only. We derive upper bounds on the convergence rate and propose independence tests too. We illustrate the theoretical contributions through a series of experiments in feature selection and low-dimensional embedding of distributions.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Powering electronics without depending on batteries is an open research field. Mechanical vibrations prove to be a reliable energy source, but low-frequency broadband vibrations cannot be harvested effectively using linear oscillators. This article discusses an alternative for harvesting such vibrations, with energy harvesters with two stable configurations. The challenges related to nonlinear dynamics are briefly discussed. Different existing designs of bistable energy harvesters are presented and classified, according to their feasibility for miniaturization. A general dynamic model for those designs is described. Finally, an extensive discussion on quantitative measures of evaluating the effectiveness of energy harvesters is accomplished, resulting in the proposition of a new dimensionless metric suited for a broadband analysis.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Distributed hybrid testing is a natural extension to and builds upon the local hybrid testing technique. Taking advantage of the hybrid nature of the test, it allows a sharing of resources and expertise between researchers from different disciplines by connecting multiple geographically distributed sites for joint testing. As part of the UK-NEES project, a successful series of three-site distributed hybrid tests have been carried out between Bristol, Cambridge and Oxford Universities. The first known multi-site distributed hybrid tests in the UK, they connected via a dedicated fibre network, using custom software, the geotechnical centrifuge at Cambridge to structural components at Bristol and Oxford. These experiments were to prove the connection and useful insights were gained into the issues involved with this distributed environment. A wider aim is towards providing a flexible testing framework to facilitate multi-disciplinary experiments such as the accurate investigation of the influence of foundations on structural systems under seismic and other loading. Time scaling incompatibilities mean true seismic soil structure interaction using a centrifuge at g is not possible, though it is clear that distributed centrifuge testing can be valuable in other problems. Development is continuing to overcome the issues encountered, in order to improve future distributed tests in the UK and beyond.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper presents proof-certificate based sufficient conditions for the existence of Zeno behavior in hybrid systems near non-isolated Zeno equilibria. To establish these conditions, we first prove sufficient conditions for Zeno behavior in a special class of hybrid systems termed first quadrant interval hybrid systems. The proof-certificate sufficient conditions are then obtained through a collection of functions that effectively "reduce" a general hybrid system to a first quadrant interval hybrid system. This paper concludes with an application of these ideas to Lagrangian hybrid systems, resulting in easily verifiable sufficient conditions for Zeno behavior. © 2008 IEEE.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

An improved technique for transferring large area graphene grown by chemical vapor deposition on copper is presented. It is based on mechanical separation of the graphene/copper by H2 bubbles during H2O electrolysis, which only takes a few tens of seconds while leaving the copper cathode intact. A semi-rigid plastic frame in combination with thin polymer layer span on graphene gives a convenient way of handling- and avoiding wrinkles and holes in graphene. Optical and electrical characterizations prove the graphene quality is better than that obtained by traditional wet etching transfer. This technique appears to be highly reproducible and cost efficient. © 2013 American Institute of Physics.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper presents an efficient algorithm for robust network reconstruction of Linear Time-Invariant (LTI) systems in the presence of noise, estimation errors and unmodelled nonlinearities. The method here builds on previous work [1] on robust reconstruction to provide a practical implementation with polynomial computational complexity. Following the same experimental protocol, the algorithm obtains a set of structurally-related candidate solutions spanning every level of sparsity. We prove the existence of a magnitude bound on the noise, which if satisfied, guarantees that one of these structures is the correct solution. A problem-specific model-selection procedure then selects a single solution from this set and provides a measure of confidence in that solution. Extensive simulations quantify the expected performance for different levels of noise and show that significantly more noise can be tolerated in comparison to the original method. © 2012 IEEE.