A goodness-of-fit test for Archimedean copula models in the presence of right censoring

A goodness-of-fit testing procedure for Archimedean copula (AC) models is developed based on right-censored data. The proposed approach extends an existing method, which is suitable for the Clayton model, to general AC models. Asymptotic properties of the proposed test statistics under the true model assumption are derived. Simulation analysis shows that the proposed test has reasonable performance. Finally, two real data examples are analyzed for illustrative purposes.     

Automatic optical flank wear measurement of microdrills using level set for cutting plane segmentation

We address the problem of automatic optical flank wear measurement for microdrill bits’ inspection. Cutting plane segmentation of microdrill bits is a fundamental step in the measurement. However, in the case of smeared microdrill bits, cutting planes cannot be segmented correctly by conventional methods. To exactly extract the cutting plane, a level set technique is proposed to segment it from a drill bit image; then we adopt a projection profile-based method for measuring the features of flank wear of microdrills. A new feature of flank wear, called “end wear length”, is also introduced for flank wear evaluation with three other existing features. Experimental results indicate that it is a robust and effective approach for automatic flank wear measurement of microdrills in printed circuit board (PCB) manufacturing.     

Fabrication of high hardness Ni mold with electroless nickel–boron thin layer

The nickel electroforming method using a high-concentration nickel sulfamate bath is commonly used to fabricate micro metal molds in the LIGA process; however, this method does not produce micro metal molds of sufficient hardness. One means of improving the hardness of micro metal molds made using the nickel electroforming method is to include additives in the nickel plating solution. Another method is nickel alloy plating or a similar technique. In this research, we used a nickel–boron (Ni–B) electroless alloy plating method to obtain a hard nickel plated film having hardness of 832 Hv. It was also ascertained that Ni–B electroless alloy plated film retains its high hardness even during heat treatment in conditions of 250°C for 1 h. To deal with the high stresses developed in high-hardness plated films, we proposed double-layer nickel electroforming. This method is covered and used on conventional nickel electroforming layer by high hardness micro mold. High hardness micro metal mold using double-layer was fabricated by nickel electroforming and Ni–B electroless alloy plating method.     

Influences of perforation ratio in characteristics of capacitive micromachined ultrasonic transducers in air

Capacitive micromachined ultrasonic transducers (CMUTs) with a perforated membrane have been fabricated and characterized in air. Two types of CMUT device have been fabricated having perforation ratio (area ratio of holes = AR) of 10% and 20%, and analyzed about electrical and mechanical characteristics. The perforation ratio (AR) of membrane substantially influences on the electrostatic force and mechanical restoring force of the device since it leads to the area variation of electrode and membrane, it subsequently influences on the sensitivity and frequency response of the CMUT device. The electrostatic force and mechanical restoring force were improved by decreasing the AR and increasing the DC bias voltage. The open-circuit sensitivity of a CMUT having AR 10% membrane, 8.45 μV/Pa, is larger than that of AR 20%, 4.07 μV/Pa at DC 15 V. Furthermore, the resonance behaviors were observed in the range of 60-80 kHz, and the resonance frequency could be changed by varying the applied DC voltage and AR.     

A scrape-through piezoelectric MEMS energy harvester with frequency broadband and up-conversion behaviors

We propose a MEMS piezoelectric energy harvester with a wide operating frequency range by incorporating a high-frequency piezoelectric cantilever and a metal base as the top and bottom stoppers with a low-frequency piezoelectric cantilever. Frequency up-conversion of the piezoelectric energy harvester is realized when the low-frequency piezoelectric cantilever impacts and scrapes through the high-frequency piezoelectric cantilever. For an input acceleration of 0.6?g, with top and bottom stopper distances of 0.75 and 1.1?mm, respectively, the operating frequency ranges from 33 to 43?Hz. The output voltage and power up to 95?mV and 94 nW can be achieved. Experimental results indicate that the frequency up-conversion mechanism significantly improves the effective power.     

Recurrent infomax generates cell assemblies, neuronal avalanches, and simple cell-like selectivity

Recently multineuronal recording has allowed us to observe patterned firings, synchronization, oscillation, and global state transitions in the recurrent networks of central nervous systems. We propose a learning algorithm based on the process of information maximization in a recurrent network, which we call recurrent infomax (RI). RI maximizes information retention and thereby minimizes information loss through time in a network. We find that feeding in external inputs consisting of information obtained from photographs of natural scenes into an RI-based model of a recurrent network results in the appearance of Gabor-like selectivity quite similar to that existing in simple cells of the primary visual cortex. We find that without external input, this network exhibits cell assembly-like and synfire chain-like spontaneous activity as well as a critical neuronal avalanche. In addition, we find that RI embeds externally input temporal firing patterns to the network so that it spontaneously reproduces these patterns after learning. RI provides a simple framework to explain a wide range of phenomena observed in in vivo and in vitro neuronal networks, and it will provide a novel understanding of experimental results for multineuronal activity and plasticity from an information-theoretic point of view.     

Real-time CAM-based Hough transform algorithm and its performance evaluation

Abstract. This paper proposes a highly parallel Hough transform algorithm for real-time straight-line extraction and its hardware implementation on a content-addressable memory (CAM). To achieve high-speed processing, incrementation for voting, which composes the Hough transform, and calculations for coordinate updating are carried out for the every scan line, not every edge pixel, and extracting maxima in Hough space is executed by parallel comparing. Moreover, variously weighted voting achieves more accurate line extraction in spite of the quantization error and noise in the image space. In the implementation, the CAM acts as a PE (processing-element) array that effectively performs highly parallel processing for the Hough transform and also as a memory for two-dimensional Hough space, and both voting and peak extraction are directly executed by the CAM. Evaluations of CAM hardware size, processing time and the accuracy of line extraction show that a real-time and high-resolution Hough transform for a 256256 picture can be achieved using a single CAM chip with current VLSI technology. This CAM-based Hough transform algorithm promises to be an important step towards the realization of a real-time and compact image-understanding system. Received: 15 August 1998 / Accepted: 15 March 2000     

Development of a liquid tin microjet target for an efficient laser-produced plasma extreme ultraviolet source

A regenerative tin liquid microjet target was developed for a high average power extreme ultraviolet (EUV) source. The diameter of the target was smaller than 160 microm and good vacuum lower than 0.5 Pa was maintained during the operation. A maximum EUV conversion efficiency of 1.8% at the Nd:yttrium-aluminum-garnet laser intensity of around 2 x 10(11) Wcm(2) with a spot diameter of 175 microm (full width at half maximum) was observed. The angular distribution of the EUV emission remained almost isotropic, whereas suprathermal ions mainly emerged toward the target normal.     

Splitting a configuration in a simplex

This paper presents a new method of partition, named-splitting, of a point set ind-dimensional space. Given a pointG in ad-dimensional simplexT, T(G;i) is the subsimplex spanned by G and the ith facet ofT. LetS be a set ofn points inT, and let be a sequence of nonnegative integers ₁, ..., n_d+1 satisfying _i=1 ^d+1 ₁=n The-splitter of (T, S) is a pointG inT such thatT(G;i) contains at least _i points ofS in its closure for everyi=1, 2, ...,d + 1. The associated dissection is the re-splitting.The existence of a-splitting is shown for any (T, S) and, and two efficient algorithms for finding such a splitting are given. One runs inO(d²n logn + d³n) time, and the other runs inO(n) time if the dimensiond can be considered as a constant. Applications of re-splitting to mesh generation, polygonal-tour generation, and a combinatorial assignment problem are given.     

Inductive inference of monotonic formal systems from positive data

A formal system is a finite set of expressions, such as a grammar or a Prolog program. A semantic mapping from formal systems to concepts is said to be monotonic if it maps larger formal systems to larger concepts. A formal system Γ is said to be reduced with respect to a finite setX if the concept defined by Γ containsX but the concepts defined by any proper subset Γ′ of Γ cannot contain some part ofX. Assume a semantic mapping is monotonic and formal systems consisting of at mostn expressions that are reduced with respect toX can define only finitely many concepts for any finite setX and anyn. Then, the class of concepts defined by formal systems consisting of at mostn expressions is shown to be inferable from positive data. As corollaries, the class of languages defined by length-bounded elementary formal systems consisting of at most,n axioms, the class of languages generated by context-sensitive grammars consisting of at mostn productions, and the class of minimal models of linear Prolog programs consisting of at mostn definite clauses are all shown to be inferable from positive data.