Work-time optimal k-merge algorithms on the PRAM

For 2⩽k⩽n, the k-merge problem is to merge a collection of ksorted sequences of total length n into a new sorted sequence. The k-merge problem is fundamental as it provides a common generalization of both merging and sorting. The main contribution of this work is to give simple and intuitive work-time optimal algorithms for the k-merge problem on three PRAM models, thus settling the status of the k-merge problem. We first prove that Ω(n log k) work is required to solve the k-merge problem on the PRAM models. We then show that the EREW-PRAM and both the CREW-PRAM and the CRCW require Ω(log n) time and Ω(log log n+log k) time, respectively, provided that the amount of work is bounded by O(n log k). Our first k-merge algorithm runs in Θ(log n) time and performs Θ(n log k) work on the EREW-PRAM. Finally, we design a work-time optimal CREW-PRAM k-merge algorithm that runs in Θ(log log n+log k) time and performs Θ(n log k) work. This latter algorithm is also work-time optimal on the CREW-PRAM model. Our algorithms completely settle the status of the k-merge problem on the three main PRAM models     

Linear bipolar OTAs employing exponential‐law circuits

This paper presents design of linear bipolar OTAs, which are composed of two function blocks; one is an exponential‐law circuit and the other is a core cell. Multi‐tanh cells are employed as the core cell. This kind of OTA has lower power dissipation relatively to the conventional multi‐tanh cell. According as the order of the multi‐tanh core cell becomes higher, the number of circuit realization for the core cell increases. For example, we have two OTAs for the core circuit of an emitter‐coupled pair and four OTAs for the doublet core cell. Thus, we consider the generalized OTAs for an arbitrary order n of the core cell and obtain a formula to give the realization number of the linear OTAs for n. According to the formula, there must be eight OTAs in the case of n=3. All of the eight OTAs are examined. Analysis and simulation results show that the OTAs have advantage in their characteristics, such as linear input range, power dissipation, noise, and frequency response. Copyright 2004 John Wiley & Sons, Ltd.     

Robust comprehension of natural language instructions by a domestic service robot

We present a method through which domestic service robots can comprehend natural language instructions. For each action type, a variety of natural language expressions can be used, for example, the instruction, ‘Go to the kitchen’ can also be expressed as ‘Move to the kitchen.’ We are of the view that natural language instructions are intuitive and, therefore, constitute one of the most user-friendly robot instruction methods. In this paper, we propose a method that enables robots to comprehend instructions spoken by a human user in his/her natural language. The proposed method combines action-type classification, which is based on a support vector machine, and slot extraction, which is based on conditional random fields, both of which are required in order for a robot to execute an action. Further, by considering the co-occurrence relationship between the action type and the slots along with the speech recognition score, the proposed method can avoid degradation of the robot’s comprehension accuracy in noisy environments, where inaccurate speech recognition can be problematic. We conducted experiments using a Japanese instruction data-set collected using a questionnaire-based survey. Experimental results show that the robot’s comprehension accuracy is higher in a noisy environment using our method than when using a baseline method with only a 1-best speech recognition result.     

Exploration on efficient similar sentences extraction

Measuring the semantic similarity between sentences is an essential issue for many applications, such as text summarization, Web page retrieval, question-answer model, image extraction, and so forth. A few studies have explored on this issue by several techniques, e.g., knowledge-based strategies, corpus-based strategies, hybrid strategies, etc. Most of these studies focus on how to improve the effectiveness of the problem. In this paper, we address the efficiency issue, i.e., for a given sentence collection, how to efficiently discover the top-k semantic similar sentences to a query. The previous methods cannot handle the big data efficiently, i.e., applying such strategies directly is time consuming because every candidate sentence needs to be tested. In this paper, we propose efficient strategies to tackle such problem based on a general framework. The basic idea is that for each similarity, we build a corresponding index in the preprocessing. Traversing these indices in the querying process can avoid to test many candidates, so as to improve the efficiency. Moreover, an optimal aggregation algorithm is introduced to assemble these similarities. Our framework is general enough that many similarity metrics can be incorporated, as will be discussed in the paper. We conduct extensive experimental evaluation on three real datasets to evaluate the efficiency of our proposal. In addition, we illustrate the trade-off between the effectiveness and efficiency. The experimental results demonstrate that the performance of our proposal outperforms the state-of-the-art techniques on efficiency while keeping the same high precision as them.     

Processing of nanolitre liquid plugs for microfluidic cell-based assays

Plugs, i.e. droplets formed in a microchannel, may revolutionize microfluidic cell-based assays. This study describes a microdevice that handles nanolitre-scale liquid plugs for the preparation of various culture setups and subsequent cellular assays. An important feature of this mode of liquid operation is that the recirculation flow generated inside the plug promotes the rapid mixing of different solutions after plugs are merged, and it keeps cell suspensions homogeneous. Thus, serial dilutions of reagents and cell suspensions with different cell densities and cell types were rapidly performed using nanolitres of solution. Cells seeded through the plug processing grew well in the microdevice, and subsequent plug processing was used to detect the glucose consumption of cells and cellular responses to anticancer agents. The plug-based microdevice may provide a useful platform for cell-based assay systems in various fields, including fundamental cell biology and drug screening applications.     

Finite Element Analysis of Precursors to Macroscopic Stick–Slip Motion in Elastic Materials: Analysis of Friction Test as a Boundary Value Problem

In this study, we apply the finite element method to investigate precursor to frictional sliding phenomena arising immediately prior to macroscopic stick–slip transitions in elastic bodies within the framework of a continuum theory. Using a numerical model that mimics an actual experimental system, we study the behavior of contact surface nodes to assess the influence of stiffness, driving velocity, initial conditions, and discretization conditions on the propagation characteristics of microscopic slips. In particular, we show that the initial distribution of frictional stress arising due to the Poisson effect has a significant effect on the propagation characteristics in slip regions. Next, based on the results of a finite element analysis of precursor phenomena that accounts for the influence of bulk compliance, we consider the determination of parameters in rate-dependent friction models. With regard to the behavior of sliding friction, we show that the relationship between friction tests and friction models is fundamentally different from the relationship between material tests and constitutive models for material deformation. We conclude that a proper understanding and classification of friction tests, friction models, and the relationship between these tests and boundary value problems are crucial ingredients in the application of computer-aided engineering techniques to sliding-friction phenomena; indeed, friction tests must ultimately be treated as boundary value problems.     

Measurement of High-Temperature Elastic Properties of Ceramics Using a Laser Ultrasonic Method

Young's modulus and Poisson's ratio of SiC ceramics at temperatures >1400°C were obtained using a laser ultrasonics method that included a Fabry-Pérot interferometer (LUFP). At temperatures <1000°C, Young's modulus and Poisson's ratio measured using the LUFP method agreed well with those measured using standard contact methods, such as the resonance method and the ultrasonic pulse method. These results showed that the LUFP method is a powerful tool for measuring high-temperature elastic properties of advanced ceramics in a noncontact manner.