Existential continuation

This paper introduces a notion of existential continuation and provides a theoretical basis for continuation passing style (CPS) programming in logic programming. We present an algorithm, called CPS conversion, which converts a definite clause program into a CPS program, correspondingly to a predicate partition, an analogue of mode pattern specifying input and output for each predicate. Depending on the choice of a predicate partition, the resulting program can have various execution modes from bottom-up to top-down computations. We then give a proof, on the basis of a meaning preserving logic program transformation system, that the CPS conversion preserves the meaning of programs.     

Ground surface integrity of granite by using dry electro-contact discharge dressing of #600 diamond grinding wheel

Dry electro-contact discharge (ECD) dressing of metal-bonded #600 diamond grinding wheel is proposed for grinding of various granites. As compared to mechanical GC dressing, Dry ECD dressing can not only protrude fine diamond grains from wheel metal-bond without any damage, but also eliminate bond-tail behind the protruded grain. The objective is to understand how the synthetic factors including granite structure, grinding parameters and dressing method influence the ground surface integrity of multi-crystal granite such as surface roughness and surface crack appearance in contrast to homogeneous optic glass. First a micron-scale indentation experiment was carried out to display the growth mechanism of micro-cracks on polished surface, then Dry ECD dressing and mechanical GC dressing were carried out in grinding experiment, respectively, finally surface roughness and micro-surface crack were investigated in connection with granite crystal size, work speed and dressing method. It is found that in almost all cases the multi-crystal granite has always worse ground surface than homogeneous optic glass even if grinding parameter is changed. Moreover, the improvement of ground surface for granite is more sensitive to grain protrusion feature than that for optic glass. Although it is very difficult to find out obvious relationship between surface roughness and grinding parameter such as work speed, it has a good correlation with granite structure such as granite crystal size: it decreases with the increase of the granite crystal size. It is concluded that Dry ECD dressing may more greatly improve the ground surface integrity of various granites than mechanical GC dressing.     

One-Dimensional Phonon State of 4He Films Adsorbed in Straight Nanopores

We have studied heat capacities of ⁴He adsorbed in straight nanopores 1.8, 2.2, and 2.8 nm in diameter. Heat capacities of the ⁴He fluid film on the solid layer at 0.08–0.4 K show power laws close to T in 1.8 nm pores, close to T ² in 2.8 nm pores, and a crossover from T to T ² with increasing temperature in 2.2 nm pores. These heat capacities are explained by a model assuming a phonon dispersion with continuous one-dimensional (1D) states in the axial direction and discrete energy levels in the azimuthal direction. By fitting experimental data to the model, the phonon velocity along the pore axis and the energy gap for propagation in the cross section are derived. At temperatures sufficiently lower than the energy gap, where the thermal wave length of phonons is much longer than the effective pore diameter, the ⁴He fluid films show a T-linear heat capacity of 1D phonons propagating only along the pore axis. At higher temperatures, a 1D-2D crossover of phonons occurs.      

The Loop Coverage Comparison Between TCM and Echo Canceller Under Various Noise Considerations

This paper describes loop coverage evaluations of two-wire digital subscriber transmission systems to support the CCITT recommended 1-430 interface. Several range-limiting factors are discussed and a cable utility design for two representative two-wire digital subscriber transmission systems is presented. The two transmission systems are time compression multiplexing (TCM) and echo canceller (EC), utilizing the AMI line code and full cosine rolloff line equalization for both systems. A new impulse noise evaluation is applied to cable utility design, because impulse noise is one of the most stringent range-limiting factors, especially for TCM in utilizing existing subscriber loops. Comparison of TCM with EC is also carried out according to various range-limiting factors. As a result, it is noted that the 320 kbit/s line bit rate TCM is more applicable in NTT's exchange area coverage than the 160 kbit/s EC to achieve the2B + Dbasic interface transmission.     

A Characterization of Planar Graphs by Pseudo-Line Arrangements

Let Γ be an arrangement of pseudo-lines, i.e., a collection of unbounded x -monotone curves in which each curve crosses each of the others exactly once. A pseudo-line graph (Γ, E) is a graph for which the vertices are the pseudo-lines of Γ and the edges are some unordered pairs of pseudo-lines of Γ . A diamond of a pseudo-line graph (Γ, E) is a pair of edges {p,q} , {p',q'}∈ E , {p,q} ∩ {p',q'}= , such that the crossing point of the pseudo-lines p and q lies vertically between p' and q' and the crossing point of p' and q' lies vertically between p and q . We show that a graph is planar if and only if it is isomorphic to a diamond-free pseudo-line graph. An immediate consequence of this theorem is that the O(k ^1/3 n) upper bound on the k -level complexity of an arrangement of straight lines, which was very recently discovered by Dey, holds for an arrangement of pseudo-lines as well.     

Repeatedly foldable AMOLED display

In this study, a 5.9‐inch foldable active‐matrix organic light emitting diode (AMOLED) display was developed. A folding test was performed repeatedly. The display survived the folding test (100,000 folds) with a curvature radius of 2 mm. To protect an organic light emitting diode (OLED) against moisture, inorganic passivation layers are provided on the upper and lower sides of the flexible display. Using our transfer technology, high density passivation layers can be obtained. The measured water vapor transmission rate of the layer is 7 × 10^?6 g/m²?day or less, which improves OLED reliability. With these techniques, we have developed a book‐type display, which is repeatedly foldable like a book, and a tri‐fold display including a display area, which is foldable in three.     

A coarse-to-fine IP-driven registration for pose estimation from single ultrasound image

A fast registration making use of implicit polynomial (IP) models is helpful for the real-time pose estimation from single clinical free-hand Ultrasound (US) image, because it is superior in the areas such as robustness against image noise, fast registration without enquiring correspondences, and fast IP coefficient transformation. However it might lead to the lack of accuracy or failure registration.In this paper, we present a novel registration method based on a coarse-to-fine IP representation. The approach starts from a high-speed and reliable registration with a coarse (of low degree) IP model and stops when the desired accuracy is achieved by a fine (of high degree) IP model. Over the previous IP-to-point based methods our contributions are: (i) keeping the efficiency without requiring pair-wised correspondences, (ii) enhancing the robustness, and (iii) improving the accuracy. The experimental result demonstrates the good performance of our registration method and its capabilities of overcoming the limitations of unconstrained freehand ultrasound data, resulting in fast, robust and accurate registration.     

Benchmark experiment of large-angle scattering reaction cross section of iron at 14 MeV using two shadow bars – Comparison of experimental results with ENDF/B-VIII –

ABSTRACT

It is important to perform neutron transport simulations with accurate nuclear data in the neutronics design of a fusion reactor. However, absolute values of large-angle scattering cross sections vary among nuclear data libraries even for well-examined nuclide of iron. Benchmark experiments focusing on large-angle scattering cross sections were thus performed to confirm the correctness of nuclear data libraries. The series benchmark experiments were performed at a DT neutron source facility, OKTAVIAN of Osaka University, Japan, by the unique experimental system established by the authors’ group, which can extract only the contribution of large-angle scattering reactions. This system consists of two shadow bars, target plate (iron), and neutron detector (niobium). Two types of shadow bars were used and four irradiations were conducted for one experiment, so that contribution of room-return neutrons was effectively removed and only large-angle scattering neutrons were extracted from the measured four Nb reaction rates. The obtained experimental results were compared with calculations for five nuclear data libraries including JENDL-4.0, JEFF.-3.3, FENDL-3.1, ENDF/B- VII, and recently released ENDF/B-VIII. It was found from the comparison that ENDF/B-VIII showed the best result, though ENDF/B-VII showed overestimation and others are in large underestimation at 14 MeV.