Correction of color information of a 3D model using a range intensity image

Most active optical range sensors record, simultaneously with the range image, the amount of light reflected at each measured surface location: this information forms what is called a range intensity image, also known as a reflectance image. This paper proposes a method that uses this type of image for the correction of the color information of a textured 3D model. This color information is usually obtained from color images acquired using a digital camera. The lighting condition for the color images are usually not controlled, thus this color information may not be accurate. On the other hand, the illumination condition for the range intensity image is known since it is obtained from a controlled lighting and observation configuration, as required for the purpose of active optical range measurement. The paper describes a method for combining the two sources of information, towards the goal of compensating for a reference range intensity image is first obtained by considering factors such as sensor properties, or distance and relative surface orientation of the measured surface. The color image of the corresponding surface portion is then corrected using this reference range intensity image. A B-spline interpolation technique is applied to reduce the noise of range intensity images. Finally, a method for the estimation of the illumination color is applied to compensate for the light source color. Experiments show the effectiveness of the correction method using range intensity images.     

Kinetics of the reaction of CH4 gas with liquid iron

In iron bath smelting and other processes that use coal, the effective use of volatile matter can improve the energy efficiency of the process. The reaction of simulated volatile (CH₄) with iron was studied. The rate of carburization of liquid iron by CH₄ gas was measured between 1400 °C and 1700 °C under conditions for which the effect of mass transfer can be corrected with reasonable accuracy. The rate was measured for partial pressures of CH₄ in Ar in the range of 0.02 to 0.06 atm and sulfur contents in the metal from 0.0006 to 0.5 mass pct. The results indicate that the rate of carburization may be controlled by the dissociation of CH₄ on the surface. Sulfur was found to decrease the rate, and the residual rate phenomenon was observed for high sulfur contents. The rate constant may be represented by the following equation: $$ k_C = \frac{{k^\circ }}{{1 + K_S a_S }} + \frac{{K_S a_S k_r }}{{1 + K_S a_S }}$$ wherek ^o ,k _r,K _s, anda _s are the bare surface rate constant, residual rate constant, adsorption coefficient for sulfur, and activity of sulfur in the metal, respectively. The second term in the rate equation represents the rate of dissociation on the adsorbed sulfur. The rate constants and adsorption coefficient were determined as functions of temperature to be $$\begin{gathered} log k^\circ = \frac{{ - 12,000}}{T} + 2.95 (mole/cm^2 s atm) \hfill \\ log k_r = \frac{{ - 14,000}}{T} + 3.45 (mole/cm^2 s atm) \hfill \\ log K_S = \frac{{ - 1800}}{T} + 1.04 \hfill \\ \end{gathered} $$      

An adaptive threshold in joint approximate diagonalization by assuming exponentially distributed errors

Joint approximate diagonalization (JAD) is one of well-known methods for solving blind source separation. JAD diagonalizes many cumulant matrices of given observed signals as accurately as possible, where the optimization for each pair of signals is repeated until the convergence. In each pair optimization, JAD should decide whether the pair is actually optimized by a convergence decision condition, where a fixed threshold has been employed in many cases. Though a sufficiently small threshold is desirable for the accuracy of results, the speed of convergence is quite slow if the threshold is too small. In this paper, we propose a new decision condition with an adaptive threshold for JAD under a probabilistic framework. First, it is assumed that the errors in JAD (non-diagonal elements in cumulant matrices) are given by the exponential distribution. Next, it is shown that the maximum likelihood estimation of the probabilistic model is equivalent to JAD. Then, an adaptive threshold is theoretically derived by utilizing the model selection theory. Numerical experiments verify the efficiency of the proposed method for blind source separation of artificial sources and natural images. It is also shown that the proposed method is especially effective when the number of samples is limited.     

Thermodynamic evaluation of Cu– system based on newly determined Gibbs energy of formation of

Thermodynamic evaluation of Cu–Cu₃P system has been conducted by applying subregular solution model with Gibbs energy of Cu₃P formation that was newly determined by means of triple Knudsen cell mass spectrometry. Both the calculated vapor pressure of phosphorus and phase diagram of Cu–P system are excellently consistent with the literature data in the composition range of Cu–Cu₃P, indicating that there is no significant thermodynamic inconsistency between the present work based on the Gibbs energy of Cu₃P formation determined and the literature data.     

LMNtal as a hierarchical logic programming language

LMNtal (pronounced “elemental”) is a simple language model based on hierarchical graph rewriting that uses logical variables to represent connectivity and membranes to represent hierarchy. LMNtal is an outcome of the attempt to unify constraint-based concurrency and Constraint Handling Rules (CHR), the two notable extensions to concurrent logic programming. LMNtal is intended to be a substrate language of various computational models, especially those addressing concurrency, mobility and multiset rewriting. Although the principal objective of LMNtal was to provide a unifying computational model, it is of interest to equip the formalism with a precise logical interpretation. In this paper, we show that it is possible to give LMNtal a simple logical interpretation based on intuitionistic linear logic and a flattening technique. This enables us to call LMNtal a hierarchical, concurrent linear logic language.     

An efficient Earth Mover's Distance algorithm for robust histogram comparison

We propose EMD-L1: a fast and exact algorithm for computing the Earth Mover's Distance (EMD) between a pair of histograms. The efficiency of the new algorithm enables its application to problems that were previously prohibitive due to high time complexities. The proposed EMD-L1 significantly simplifies the original linear programming formulation of EMD. Exploiting the L1 metric structure, the number of unknown variables in EMD-L1 is reduced to O(N) from O(N2) of the original EMD for a histogram with N bins. In addition, the number of constraints is reduced by half and the objective function of the linear program is simplified. Formally, without any approximation, we prove that the EMD-L1 formulation is equivalent to the original EMD with a L1 ground distance. To perform the EMD-L1 computation, we propose an efficient tree-based algorithm, Tree-EMD. Tree-EMD exploits the fact that a basic feasible solution of the simplex algorithm-based solver forms a spanning tree when we interpret EMD-L1 as a network flow optimization problem. We empirically show that this new algorithm has an average time complexity of O(N2), which significantly improves the best reported supercubic complexity of the original EMD. The accuracy of the proposed methods is evaluated by experiments for two computation-intensive problems: shape recognition and interest point matching using multidimensional histogram-based local features. For shape recognition, EMD-L1 is applied to compare shape contexts on the widely tested MPEG7 shape data set, as well as an articulated shape data set. For interest point matching, SIFT, shape context and spin image are tested on both synthetic and real image pairs with large geometrical deformation, illumination change, and heavy intensity noise. The results demonstrate that our EMD-L1-based solutions outperform previously reported state-of-the-art features and distance measures in solving the two tasks.     

Linearity Analysis of Concurrent Logic Programs

Automatic memory management and the hiding of the notion of pointers are the prominent features of symbolic processing languages. They make programming easy and guarantee the safety of memory references. For the memory management of linked data structures, copying garbage collection is most widely used because of its simplicity and desirable properties. However, if certain properties about runtime storage allocation and the behavior of pointers can be obtaind by static analysis, a compiler may be able to generate object code closer to that of procedural programs. In the fields of parallel, distributed and real-time computation, it is highly desirable to be able to identify data structures in a program that can be managed without using garbage collection. To this end, this paper proposes a framework of linearity analysis for a concurrent logic language Moded Flat GHC, and proves its basic property. The purpose of linearity analysis is to distinguish between fragments of data structures that may be referenced by two or more pointers and those that cannot be referenced by two or more pointers. Data structures with only one reader are amenable to compile-time garbage collection or local reuse. The proposed framework of linearity analysis is constraint-based and involves both equality and implicational constraints. It has been implemented as part of klint v2, a static analyzer for KL1 programs.     

Electrical and structural properties of ortho-chloranil doped zinc phthalocyanine films

Electrical conductivity of evaporated zinc phthalocyanine (ZnPc) films, doped with orthochloranil (o-CA) molecules, is investigated. Benzoico-CA solution is introduced in the film and benzene is removed by vapourization afterwards. The film conductivity at first increased and then decreased with incremental doping. The maximum conductivity of the sample appeared at doping level × (=o-CA/ZnPc) 0.2 and is about 10³ times as large as that of the as-evaporated one. About a ten-fold further increase in the conductivity is obtained by the heat-treatment of 150 °C for 12 h. The conductivity change by doping is explained by taking into account thato-CA molecules behave not only as acceptors in the film but destructively for the film structure. The phase change of ZnPc by benzoic solution is also discussed.     

Efficient blind dereverberation and echo cancellation based on independent component analysis for actual acoustic signals

This letter presents a new algorithm for blind dereverberation and echo cancellation based on independent component analysis (ICA) for actual acoustic signals. We focus on frequency domain ICA (FD-ICA) because its computational cost and speed of learning convergence are sufficiently reasonable for practical applications such as hands-free speech recognition. In applying conventional FD-ICA as a preprocessing of automatic speech recognition in noisy environments, one of the most critical problems is how to cope with reverberations. To extract a clean signal from the reverberant observation, we model the separation process in the short-time Fourier transform domain and apply the multiple input/output inverse-filtering theorem (MINT) to the FD-ICA separation model. A naive implementation of this method is computationally expensive, because its time complexity is the second order of reverberation time. Therefore, the main issue in dereverberation is to reduce the high computational cost of ICA. In this letter, we reduce the computational complexity to the linear order of the reverberation time by using two techniques: (1) a separation model based on the independence of delayed observed signals with MINT and (2) spatial sphering for preprocessing. Experiments show that the computational cost grows in proportion to the linear order of the reverberation time and that our method improves the word correctness of automatic speech recognition by 10 to 20 points in a RT??= 670 ms reverberant environment.     

SiO2 thin film deposition on the inner surface of a poly(tetra-fluoroethylene) narrow tube by atmospheric-pressure glow microplasma

SiO₂ thin films were deposited on the inner surfaces of a commercial poly(tetrafluoroethylene) narrow tube with an inner diameter of 0.5 mm using tetraethoxysilane/O₂ feedstock gases and He carrier gas by atmospheric-pressure microplasma-enhanced chemical vapor deposition. A glow microplasma was generated inside the tube by radio frequency (RF) capacitively coupled discharge. X-ray photoelectron spectroscopy spectra showed that the tube inner surface was covered by a SiO₂ thin film. Transparent SiO₂ thin films were obtained with a deposition rate of 230 nm/min at an RF power of 6 W and substrate temperature of 100 °C. The wettability of the SiO₂-coated tube was about 3 times as large as that of an untreated sample tube.