Author

K. Ueda

106 papers · 1979–2026

1979peak 8 in 20192026

Frequent co-authors

Papers

showing 1–25 of 106 RSS

Verification of automotive control applications using S-TaLiRo

Georgios Fainekos, Sriram Sankaranarayanan, K. Ueda +1 more

Computational Theory and Mathematics · June 2012 · cited 106× · DOI ↗ · more like this ·

S-TALIRO is a software toolbox that performs stochastic search for system trajectories that falsify realtime temporal logic specifications. S-TaLiRo is founded on the notion of robustness of temporal logic specifications. In this paper, we present a dynamic programming algorithm for computing the robustness of temporal logic specifications with respect to system trajectories. We also demonstrate that typical automotive functional requirements can be captured and falsified using temporal logics and S-TALIRO.

Relativistic Band-Structure Calculations for CeTIn$_5$(T=Ir and Co)

T. Maehira, T. Hotta, K. Ueda +1 more

cond-mat.str-el · November 2002 · cited 56× · arXiv ↗ · more like this ·

In order to investigate electronic properties of recently discovered heavy fermion superconductors CeTIn$_5$ (T=Ir and Co), we employ the relativistic linear augmented-plane-wave (RLAPW) method to clarify the energy band structures and Fermi surfaces of those materials. The obtained energy bands mainly due to the large hybridization between Ce $4f$ and In 5$p$ states well reproduce the Fermi surfaces consistent with the de Haas-van Alphen experimental results. However, when we attempt to understand magnetism and superconductivity in CeTIn$_5$ from the microscopic viewpoint, the energy bands obtained in the RLAPW method are too complicated to analyze the system by further including electron correlations. Thus, it is necessary to prepare a more simplified model, keeping correctly the essential characters of the energy bands obtained in the band-structure calculation. For the purpose, we…

Electron-ion-ion coincidence experiments for photofragmentation of polyatomic molecules using pulsed electric fields: treatment of random coincidences

G. Pruemper, K. Ueda

physics.atom-ph · 5 Feb 2007 · cited 35× · arXiv ↗ · more like this ·

In molecular photofragmentation processes by soft X-rays, a number of ionic fragments can be produced, each having a different abundance and correlation with the emitted electron kinetic energy. For investigating these fragmentation processes, electron-ion and electron-ion-ion coincidence experiments, in which the kinetic energy of electrons are analyzed using an electrostatic analyzer while the mass of the ions is analyzed using a pulsed electric field, are very powerful. For such measurements, however, the contribution of random coincidences is substantial and affects the data in a non-trivial way. Simple intuitive subtraction methods cannot be applied. In the present paper, we describe these electron-ion and electron-ion-ion coincidence experiments together with a subtraction method for the contribution from random coincidences. We provide a comprehensive set of equations for the…

Pinned fronts in heterogeneous media of jump type

Peter van Heijster, Arjen Doelman, Tasso J. Kaper +2 more

Computer Networks and Communications · Nonlinearity · 25 Nov 2010 · cited 32× · DOI ↗ · more like this ·

In this paper, we analyse the impact of a (small) heterogeneity of jump type on the most simple localized solutions of a 3-component FitzHugh–Nagumo-type system. We show that the heterogeneity can pin a 1-front solution, which travels with constant (non-zero) speed in the homogeneous setting, to a fixed, explicitly determined, distance from the heterogeneity. Moreover, we establish the stability of this heterogeneous pinned 1-front solution. In addition, we analyse the pinning of 1-pulse, or 2-front, solutions. The paper is concluded with simulations in which we consider the dynamics and interactions of N-front patterns in domains with M heterogeneities of jump type (N = 3, 4, M ≥ 1).

Extraction of signature and seal imprint from bankchecks by using color information

K. Ueda

Computer Vision and Pattern Recognition · 19 Nov 2002 · cited 28× · DOI ↗ · more like this ·

The author proposes an extraction method for signatures and seal imprints using their color information for the automatic verification of Japanese bankchecks. The colors of the signature, the seal imprint, and the background pattern are generally different from each other. Accordingly the pixels of a color bank-check image consist of three clusters corresponding to signature, seal imprint and background in RGB 3D color space. The specific color region (i.e. the signature or seal imprint) can be extracted by projecting orthogonally all pixels of the bank-check image on to an appropriate axis in RGB color space, and by thresholding. An extraction program based on this method has been tested on about 40 images of real Japanese bankchecks with handwritten signatures and seal imprints. Experimental results show that this method can extract signatures and seal imprints separately and…

Investigation of off-line Japanese signature verification using a pattern matching

K. Ueda

Computer Vision and Pattern Recognition · 12 Apr 2005 · cited 26× · DOI ↗ · more like this ·

This paper deals with an off-line Japanese signature verification using a pattern matching method. An annoying problem encountered in off-line signature verification using a pattern matching is that variation of signature stroke widths and a registered signature selected from a set of reference samples affect the verification performance. In this paper, we propose a modified pattern matching method, which is independent of stroke widths, and an appropriate selection method of a registered signature to solve this problem. These methods were experimentally compared with a conventional pattern matching method and a random selection method of a registered signature. Experimental results showed that the proposed methods improve the verification performance. 1.

Magnetic Susceptibilities of Spin-1/2 Antiferromagnetic Heisenberg Ladders and Applications to Ladder Oxide Compounds

D. C. Johnston, M. Troyer, S. Miyahara +11 more

cond-mat.str-el · 11 Jan 2000 · cited 26× · arXiv ↗ · more like this ·

A comprehensive theoretical and experimental study is presented of the magnetic susceptibility versus temperature χ(T) of spin S = 1/2 two- and three-leg Heisenberg ladders and ladder oxide compounds. Extensive quantum Monte Carlo simulations of χ(T) were carried out for both isolated and coupled two-leg ladders with spatially anisotropic intraladder exchange. Accurate fits to these and related literature QMC data were obtained. We have also calculated the one- and two-magnon dispersion relations and the dynamical spin structure factor for anisotropic isolated 2 x 12 ladders. The exchange constants in the two-leg ladder compound SrCu2O3 are estimated from LDA+U calculations. We report the detailed crystal structure of SrCu2O3 and of the three-leg ladder compound Sr2Cu3O5. New experimental χ(T) data are reported for the two-leg ladder cuprates SrCu2O3 and LaCuO_{2.5}, and for the…

Dynamic range compression based on illumination compensation

M. Ogata, Takashi Tsuchiya, Takeshi Kubozono +1 more

Computer Vision and Pattern Recognition · IEEE Transactions on Consumer Electronics · 2001 · cited 25× · DOI ↗ · more like this ·

This paper presents a new approach for effectively compressing the dynamic range of a visual scene while preserving the local contrast in order to reproduce a high quality image on devices with limited dynamic range. In this method, dynamic range compression is performed through a reduction of the illumination effect, by taking into account the characteristics of the human visual system. To precisely extract the illumination component within a reasonable complexity, a multi-scale nonlinear filtering scheme, referred to here as nonlinear multi-scale retinex (NMR), was developed.

Automatic Seal Imprint Verification System for Bankcheck Processing

K. Ueda, Ken-ichi Matsuo

Computer Vision and Pattern Recognition · 3 Aug 2005 · cited 19× · DOI ↗ · more like this ·

In this paper, we propose a multi-expert seal imprint verification system. The system has been specifically designed for applications in the Japanese bank check processing. A difficult problem encountered in automatic seal imprint verification is that the system is required an extremely low error rate despite of using a small number of reference data for training. To conquer this problem, it combines two different algorithms for seal imprint verification. A seal imprint is first extracted from bank check image based on color features. The first verification algorithm is based on a method using local and global features of seal imprint. The second algorithm uses a special correlation based on a global approach. The two algorithms are combined in the multi-expert system by a voting strategy. Experimental results showed that the combination of the two algorithms improves significantly the…

Thermodynamic properties of the one-dimensional Kondo insulators studied by the density matrix renormalization group method

N. Shibata, B. Ammon, M. Troyer +2 more

cond-mat.str-el · 30 Dec 1997 · cited 15× · arXiv ↗ · more like this ·

Thermodynamic properties of the one-dimensional Kondo lattice model at half-filling are studied by the density matrix renormalization group method applied to the quantum transfer matrix. Spin susceptibility, charge susceptibility, and specific heat are calculated down to T=0.1t for various exchange constants. The obtained results clearly show crossover behavior from the high temperature regime of nearly independent localized spins and conduction electrons to the low temperature regime where the two degrees of freedom couple strongly. The low temperature energy scales of the charge and spin susceptibilities are determined and shown to be equal to the quasiparticle gap and the spin gap, respectively, for weak exchange couplings.

Development of time division switching hub for synchronous TDMA

K. Ueda, Takahiro Yakoh

Computer Networks and Communications · 28 Feb 2005 · cited 13× · DOI ↗ · more like this ·

In this article, the prototyping of a synchronous hybrid switching hub is discussed. It uses the network processor IXP 1200 in multi-hop networks. In general, transmission times caused by a switching hub/router vary according to its load and the traffic of networks. It is because delay distributes whenever packets pass through a router even if real-time communication networks are used for all subnets. To stabilize the transmission time, this article proposes a real-time switching hub for the protocols so as to synchronize all of communication and forwarding processes for a periodical communication for global networks.

A 1.4 ns/64 kb RAM with 85 ps/3680 logic gate array

Masaomi Kimoto, Haruo Shimizu, Yuya Ito +7 more

Hardware and Architecture · 1989 · cited 11× · DOI ↗ · more like this ·

The authors have developed an ECL (emitter-coupled logic) 64-kb RAM with 3680-gate logic gate array LSI using bipolar technology. The address access time is 1.4 ns (typical), clock access time is 1.8 ns (typical), and the propagation delay of the logic rate is 85 ps. The chip is 13.5 mm <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">2</sup> in area and packaged in a 462-pin grid array

Fairness and Utilization in Multipath Network Flow Optimization

Tatsuo Ishida, K. Ueda, Takahiro Yakoh

Computer Networks and Communications · August 2006 · cited 10× · DOI ↗ · more like this ·

Multipath routing is expected to improve the degree of control in network flow managements. Therefore, multi-criteria designs will become indispensable for the next generation of multipath routing algorithms and protocols. This paper shows a theoretical approach to multipath routing problems as a multi- objective optimization of network flows. Two objectives, total link utilization and bandwidth fairness for connections, are introduced into an objective formulation which is solved with a nonlinear programming solver. The numerical analysis shows that drastic fairness improvement can be achieved with small decline of utilization. Compared to standard multipath routing, this approach of bandwidth fair multipath routing can achieve a variance of bit-rate for all connections of 0.0123% with a decline of utilization of 11.4%. In case of single path, a variance of 0.0168% with decline of…

Theory of Metal-Insulator Transition in PrRu4P12 and PrFe4P12

S. H. Curnoe, H. Harima, K. Takegahara +1 more

cond-mat.str-el · 6 May 2004 · cited 10× · arXiv ↗ · more like this ·

All symmetry allowed couplings between the 4f^2-electron ground state doublet of trivalent praseodymium in PrRu4P12 and PrFe4P12 and displacements of the phosphorus, iron or ruthenium ions are considered. Two types of displacements can change the crystal lattice from body-centred cubic to simple orthorhombic or to simple cubic. The first type lowers the point group symmetry from tetrahedral to orthorhombic, while the second type leaves it unchanged, with corresponding space group reductions Im3 --> Pmmm and Im3 --> Pm3 respectively. In former case, the lower point-group symmetry splits the degeneracy of the 4f^2 doublet into states with opposite quadrupole moment, which then leads to anti-quadrupolar ordering, as in PrFe4P12. Either kind of displacement may conspire with nesting of the Fermi surface to cause the metal-insulator or partial metal-insulator transition observed in PrFe4P12…

Three-state network design for robust loop-searching systems

K. Ueda

Computer Networks and Communications · Physical Review E · 30 May 2013 · cited 5× · DOI ↗ · more like this ·

Self-recovery of function is one of the remarkable properties of biological systems, and its implementation in autonomous distributed systems is highly desirable. In this study, we propose an autonomous distributed system which is capable of searching for closed loops in a network in which nodes are connected by unidirectional paths. A closed loop is defined as a phase synchronization of a group of oscillators belonging to the corresponding nodes. In addition, to develop a system capable of self-recovery (the ability to find a loop when one of the connections in the existing loop is suddenly removed), we have developed regulatory rules for the interaction between nodes. These rules are used to construct a regulation network in which the stability of nodes and that of loops are mutually sustained, allowing the system to function as a loop-searching system with self-recovery properties.

Chaotic motion of propagating pulses in the Gray-Scott model

Masaaki Yadome, K. Ueda, Masaharu Nagayama

Computer Networks and Communications · Physical Review E · 9 May 2011 · cited 5× · DOI ↗ · more like this ·

Transition routes of propagating pulses in the Gray-Scott model from oscillatory to chaotic motion are investigated by numerical studies. Global bifurcation of the Gray-Scott model gives us information about the onset mechanism of transient dynamics, such as the splitting and extinction of pulses. However, the instability mechanism of oscillatory pulses has not been clarified, even numerically. Global bifurcation analysis of time periodic oscillatory traveling pulses, called traveling breathers, enables us to find chaotic motions of oscillatory pulse solutions. Two types of transitions to chaos, namely, period-doubling sequences and breakdown of quasiperiodic solutions, are found near the bifurcation points of traveling breathers.

A high-throughput pipelined architecture for blind adaptive equalizer with minimum latency

Masashi Mizuno, K. Ueda, J. Okello +1 more

Signal Processing · IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences · October 2003 · cited 5× · DOI ↗ · more like this ·

In this paper, we propose a pipelining architecture for the FIR portion of the multilevel modified constant modulus algorithm (MMCMA). We also provide the correction factor that mathematically converts the proposed pipelined adaptive equalizer into an equivalent non-pipelined conventional MMCMA based equalizer. The proposed pipeline method uses modules with 6 filter coefficients, resulting in an overall latency of a single sampling period along the main transmission line. The basic concepts of the proposed architecture is to implement the FIR filter and the algorithm portion of the equalizer such that the critical path has one complex multiplier and two adders.

A Design Automation System for Electronic Switching Systems

T. Hosaka, K. Ueda, H. Matsuura

Hardware and Architecture · 18th Design Automation Conference · 1981 · cited 5× · DOI ↗ · more like this ·

This paper describes the development and operation experience of NTT's design automation (DA) system for analog/digital switching systems. The DA system is composed of several subsystems, such as logic design, physical design, documentation and manufacturing data conversion programs, organized around the centralized data base management system. By using this system, hardware standardization and products compatibility among different manufacturers have been achieved. The outlook for the future DA technology is also discussed.

Combining the Gabor and histogram features for classifying diffuse lung opacities in thin-section computed tomography

Yoshihiro Mitani, Hisakazu Yasuda, Shoji Kido +3 more

Computer Vision and Pattern Recognition · 25 Jun 2003 · cited 4× · DOI ↗ · more like this ·

The classification of diffuse lung opacities in thin section computed tomography (HRCT) images is an important step for developing a computer-aided diagnosis (CAD) system. In designing the CAD system for classifying diffuse lung opacities in HRCT images, a Gabor filter-based approach has been shown to be effective. In order to improve further the classification performance of the CAD system, we explore the combination of the Gabor and histogram features. The experimental results show that combining the Gabor and histogram features leads to clear improvement of the classification performance.

A Gabor filter-based classification for diffuse lung opacities in thin-section computed tomography images

Yoshihiro Mitani, Hideaki Hirayama, Hisakazu Yasuda +4 more

Computer Vision and Pattern Recognition · 8 Nov 2002 · cited 4× · DOI ↗ · more like this ·

The classification of diffuse lung opacities in thin-section computed tomography (HRCT) images is an important step of developing a computer-aided diagnosis (CAD) system. We have evaluated the performance of a Gabor filter-based classification of typical diffuse lung opacities in HRCT images. The experimental results show that the Gabor filter-based approach is an effective means of classifying diffuse lung diseases.

Physical reservoir computing using vertically aligned graphene/diamond photomemristors

Yuga Ito, Haruki Iwane, Siyu Jia +1 more

Artificial Intelligence · Applied Physics Express · July 2023 · cited 3× · DOI ↗ · more like this ·

Abstract Reservoir computing is one of the most promising machine learning architectures and could allow highly efficient, high-speed processing of time-series data. Physical reservoir computing based on various physical phenomena that exhibit complicated dynamics has been widely investigated in recent years. The present work demonstrates vertically aligned graphene/diamond junctions (photomemristors) could be employed for physical reservoir computing involving image recognition of single digits. Exceptional image recognition performance of 92% was obtained due to their complex photoconducting behaviors. This work is expected to assist in the realization of novel visual information processing systems using photomemristors that mimic human brain functions.

Performance evaluation of synchronous TDMA switching hub in multi-hop environment

K. Ueda, Takahiro Yakoh

Hardware and Architecture · 2006 · cited 3× · DOI ↗ · more like this ·

Real-time robot controls in remote surgeries require real-time communication also for multi-hop networks. In this paper the prototype of a new Synchronous TDMA (STDMA) Switching Hub to realize real-time communication in this application field is presented. In general transmission time of a switching hub varies depending on network load and traffic. Even in case real-time communication networks are used for all subnets, the switch delay time is accumulated with each hop. The proposed system shall provide real-time communication within multi-hop networks containing subnets of all levels of complexity. To stabilize the transmission time, a new protocol for a resource reservation systems is proposed. Based on the results of extensive performance tests in a multi-hop environment the proposed STDMA switching hub is able to reduce delay time to 10μs with 3.2μs jitter for each hop.

Architecture-level performance estimation for IP-based embedded systems

K. Ueda, K. Sakanushi, Y. Takeuchi +1 more

Hardware and Architecture · Proceedings Design, Automation and Test in Europe Conference and Exhibition · 20 Jul 2004 · cited 3× · DOI ↗ · more like this ·

In this paper, we propose a architecture-level performance estimation method for IP-based embedded systems using system-level profiling. Our method enables the performance estimation by the following procedures: 1) System-level profiling. 2) Automatic construction of the execution dependency graph (EDG) from the profile information. 3) Estimation of the system performance based on the EDG analysis. Our method enables fast performance estimation because it can estimate the performance of various architectures from the same system-level profile information. Experimental results show that our estimation method is about 10,000 times faster than the architecture-level simulations.

Test Case Generation Using an Attention Seq2Seq Model for Structuring Requirement Specifications

Yuki Shimizu, K. Ueda

Information Systems · IEICE Communications Express · 11 Jul 2025 · cited 1× · DOI ↗ · more like this ·

In the development of large-scale communication software, various methods have been investigated to address challenges such as increasing development costs and shortages of skilled personnel by leveraging machine learning to automatically generate system test cases from requirement specifications. To further improve the accuracy of automatically generated test cases, this study proposes a method that employs deep learning to structure requirement specifications and generate test cases. In particular, we introduce an Attention Seq2Seq model. The proposed model achieved significantly higher accuracy than the LSTM model presented in previous studies.

Automatic Test Cases Generation Method by Structuring Specification Documents Using Seq2Seq

Yuki Shimizu, K. Ueda

Software · 29 Mar 2025 · cited 1× · DOI ↗ · more like this ·

We aim to automate the development of communication software. By leveraging machine learning, we propose a method for automatically generating system testing test cases from requirement specification documents. In this research, we focus on developing a method to generate test cases by structuring requirement specification sentences using a deep learning Seq2Seq model with an Attention mechanism. Our goal is to further enhance the accuracy of this approach. To evaluate the effectiveness and characteristics of the proposed method, we conducted experiments using requirement specifications of communication system software and various IT system requirement specification documents.