Tubular graphite cones with single-crystal nanotips and their antioxygenic properties.

Tubular graphite cones (TGCs) with a single-crystal nanotip have been achieved by means of microwave plasma-assisted chemical vapor deposition using in-situ-evaporated Fe catalysts. The absence of the disorder-induced D band in Raman spectra revealed the single-crystalline feature of the nanotip. TGCs were found to stem from Fe catalytic carbon spherules on the order of 100 mum diameter, whose critical role in promoting both nucleation and plasma annealing in the formation of highly crystalline TGCs is discussed. The crystalline quality of such TGCs can be further verified by the investigation of their oxidative stability in air. All TGCs can survive up to 600 degrees C without any structural variations, and a few TGCs still survive with an anisotropic etched and stepped nanotip at temperatures up to 800 degrees C, much better than CNTs. Thus, TGCs with single crystalline nanotips are potential candidates for scanning probes in high-temperature oxygen-containing environments.

Real time feature-based facial tracking using Lie algebras

We have developed a novel human facial tracking system that operates in real time at a video frame rate without needing any special hardware. The approach is based on the use of Lie algebra, and uses three-dimensional feature points on the targeted human face. It is assumed that the roughly estimated facial model (relative coordinates of the three-dimensional feature points) is known. First, the initial feature positions of the face are determined using a model fitting technique. Then, the tracking is operated by the following sequence: (1) capture the new video frame and render feature points to the image plane; (2) search for new positions of the feature points on the image plane; (3) get the Euclidean matrix from the moving vector and the three-dimensional information for the points; and (4) rotate and translate the feature points by using the Euclidean matrix, and render the new points on the image plane. The key algorithm of this tracker is to estimate the Euclidean matrix by using a least square technique based on Lie algebra. The resulting tracker performed very well on the task of tracking a human face.

Force ripple compensation in a tubular linear generator for marine renewable generation

Tubular permanent magnet linear generators are a promising generator technology for use in marine renewables. One aspect of their design relates to the conditions necessary for achieving a smooth thrust response from the generator, free from cogging and periodic variations due to spatial harmonics of the flux cutting the generator coils. This paper presents an experimental and finite element study of the sources of thrust ripple in a prototype linear generator for marine generation. A simple self-commutated control scheme is shown, which uses linear Hall-effect sensors and look-up-table based feed-forward compensation to derive the excitation currents required to drive the machine with constant force. Details of the controller's FPGA based implementation are given, including its strategy for detecting sensor failure. © 2011 IEEE.

Characterisation of friction and lubrication regimes in premium tubular connections

A friction test rig has been developed to carry out repeated sliding friction tests for premium tubular connections. The test rig enables accurate measurement of friction in various contact regimes which are relevant to the threaded connections between tubular components. Higher load tests can simulate the contact in metal-to-metal seals under very high contact pressures by using perpendicular pin-on-pin tests. The contact in the thread loading flank under intermediate pressures can be simulated by using larger radius coupon-on-coupon tests. The measured coefficient of friction is well correlated with a lubrication parameter combining lubricant film thickness and initial surface roughness. © 2012 Elsevier Ltd. All rights reserved.

Thermal modelling of a tubular linear machine for marine renewable generation

A lumped parameter thermal model has been constructed for a tubular linear machine that has been designed for use in a marine environment. It shows good correlation to both steady state and transient experimental tests on the machine. The model has been developed for a stationary machine in a laboratory environment - the modelling techniques used and enhancements to enable the application of the model directly to marine scenarios are discussed.

Detailed thermal modelling of a tubular linear machine for marine renewable generation

A detailed lumped-parameter thermal model is presented for a tubular linear machine that has been designed for use in a marine environment. The model has been developed for a static machine, the worst-case thermal scenario, and is used to establish a rating for the machine. The model has been validated against a large range of experimental tests and shows good correlation to both steady-state and transient experimental results. The model was constructed from a mostly theoretical basis with very little calibration, suggesting that the techniques used are applicable in a more general sense. © 2013 IEEE.

Raman scattering from an individual tubular graphite cone

　

automatic construction of finite algebras

This paper deals withmodel generation for equational theories, i.e., automatically generating (finite) models of a given set of (logical) equations. Our method of finite model generation and a tool for automatic construction of finite algebras is described. Some examples are given to show the applications of our program. We argue that, the combination of model generators and theorem provers enables us to get a better understanding of logical theories. A brief comparison between our tool and other similar tools is also presented.

constructing finite algebras with falcon

The generation of models and counterexamples is an important form of reasoning. In this paper, we give a formal account of a system, called FALCON, for constructing finite algebras from given equational axioms. The abstract algorithms, as well as some implementation details and sample applications, are presented. The generation of finite models is viewed as a constraint satisfaction problem, with ground instances of the axioms as constraints. One feature of the system is that it employs a very simple technique, called the least number heuristic, to eliminate isomorphic (partial) models, thus reducing the size of the search space. The correctness of the heuristic is proved. Some experimental data are given to show the performance and applications of the system.