Computer Industry Laboratory

Shigeru Kanemoto Professor	Lothar M. Schmitt Associate Professor	Incheon Paik Assistant Professor

Research by faculty and students in the Computer Industry Laboratory was carried out in the fields of both basic computer science and industrial applications, such as UNIX Applications, Genetic Algorithms and Optimization, Artificial Intelligence, Semantic Web, e-Business, Signal processing, Simulation engineering, Physics and Mathematics. Several articles were published as book chapters, journal-contributions, proceedings-contributions in conferences, and technical reports. The research activities of the Computer Industry Laboratory include the following topics: [Shigeru Kanemoto] Signal processing for plant monitoring and control Dynamical system identification and analysis Inverse problem solving for Non-destructive evaluation Multi-Agent Simulation Electric power exchange market simulation Traffic simulation for emergency response management [Lothar M. Schmitt] UNIX-based, interactive EFL-teaching systems and language analysis Genetic algorithms and optimization Operator algebras Computer algebra applications and modeling Physics Modeling and Mathematics [Incheon Paik] Semantic Web Intelligent Web Service Semantic e-Business Internet Technologies: Distributed Objects, Search Engine OOD & CBSD

Refereed Journal Papers

[kanemoto-01:2005]	S. Kanemoto, W. Cheng, M. Shiwa, and I. Komura. New Signal Processing Methods for Surface Shape Restoration in Eddy Current Testing (in Japanese). Maintenology, 1(1):63-70, 2006.
	This study proposes new signal processing methods to restore surface shapes of flaws from eddy current testing (ECT) signals. A linear discriminant analysis method is applied to ECT signals embedded in multi-dimensional state space to identify flaw signals form background noises in prior. A new concept of equivalent point spread function is introduced, and the real flaw shape is restored by utilizing a deconvolution filter based on Richardson-Lucy algorithm. An EDM notch covered by large welding noises is identified and the length of this notch is retained from flaw shape restoration. Furthermore, this method is applied to the surface shape restoration of stress corrosion cracks (SCC) and the surface shape of a complex SCC is restored. By the way, the optimum scanning pitch in flaw inspection can be determined from the quantitative evaluation of spatial response characteristics of the equivalent point spread functions of probes in usage.
[kanemoto-02:2005]	W. Cheng, S. Kanemoto, I. Komura, and M. Shiwa. Depth Sizing of Partial-Contact Stress Corrosion Cracks from ECT Signals. NDT&E International, 39(5):374-383, 2006.
	The objective of this study is to estimate the depths of partial-contact stress corrosion cracks from eddy current testing signals. The partial-contact effect is electrically modeled by non-zero crack conductivity. A crack conductivity insensitive depth characterization signal function, which is designed by the aid of optimization theory, is proposed to exclude the partial-contact effect, and a crack conductivity independent artificial neural network is constructed. The former offers a fast estimation of average crack depth and the latter provides the entire depth profile of a crack. Both the two approaches have the same advantage: depth sizing of a crack regardless of the crack conductivity. Numerical and experimental studies for validation and verification of these two approaches are reported.
[paikic-01:2005]	Incheon Paik and Yuu Watanabe. Intelligent Web Services via Service Composition with Constraints using Semantic Web Rules: the Trip Planning Case. Journal of Three Dimensional Images, 20(2):66- 73, 2006.
	With the rapid growth of Web services, attention is being given to Web service composition, which is the technology for composing services from heterogeneous domains. In contrast to the static composition of Web services according to fixed sequences, a dynamic composition request deals with predefined constraints and interim constraints during service composition. The constraints can be dealt with by Web-based rules. In this paper, we propose an Intelligent Web Services framework for the case of trip planning. The framework aims to provide a more suitable and more flexible plan for an individual user. This better plan uses semantic rules to analyze a natural-language user request, then composes the necessary services according to the user request, and generates the plan. It also handles exception cases encountered during the planning. We define rules and ontologies for the trip domain, then design and implement a prototype that deals with users' dynamic constraints.

Refereed Proceeding Papers

[kanemoto-03:2005]	S. Kanemoto, W. Cheng, I. Komura, M. Shiwa, and S. Tsunoyama. Intelligent System Supporting Non-destructive Evaluation of SCC Using Eddy Current Test. In General Chair Ruan, D., editor, Proceeding of 7th International FLINS Conference on Applied Artificial Intelligence, Genova, Italy, Aug. 2006. SCK-CEN, Ghent Univ., Springer.
	Two premier issues in eddy current testing (ECT), that are, the automatic identification of cracks from their noisy backgrounds and sizing of cracks with complex morphologies, are dealt in this paper. A signal processing method based on statistical pattern recognition is established to realize automatic crack identification. And a new method for estimating crack depth is proposed by utilizing a new concept depth sizing index which is analytically constructed from raw measurement signals based on system optimization theory.
[paikic-02:2005]	I. Paik and H. Akimoto. Constructing Ontology Querying System for Design Support in Supply Chain. In ICITA Committee, editor, International Conference on Information Technology and Applications(ICITA'2005), pages 179-184, Sydney, Australia, July 2005. ICITA Committee, IEEE CPS.
[paikic-03:2005]	Ken Nariai, Incheon Paik, and Mitsuteru Shinozawa. Planning and Composition of Web Services with Dynamic Constraints Using Situation Calculus. In CIT 2005 Committee, editor, Proceedings of International Conference on Computer Information Technology (CIT'2005), pages 1009-1013, Shanghai, China, September 2005. CIT 2005 Committee, IEEE CPS.
[paikic-04:2005]	Yuu Watanabe and Incheon Paik. Intelligent Web Services for Dynamic Constraints using Semantic Web Rules. In HC 2005 Committee, editor, Proceedins of HC 2005, pages 300-305, Aizu-Wakamtsu City, Fukushima, September 2005. Univ. of Aizu, HC 2005 Committee.

Unrefereed Papers

[kanemoto-04:2005]

W. Cheng, S. Kanemoto, and I. Komura. IIdentification of Defects from ECT Signals Using Linear Discriminant Function. In Proceeding of The 11th International Workshop on Electromagnetic Nondestructive Evaluation, Iwate, Japan, June 2006.

Statistical pattern recognition method is applied to eddy current testing (ECT) based defect identification in this work. Spatially distributed ECT signals are converted into a multi-dimensional space vector using data embedding method and the Fisher's discriminant is then applied to find the linear projection of the multi-dimensional data that best distinguish defect and non-defect signals. A set of potential defects are clearly distinguished from welding noise by utilizing the discriminant function derived from supervised learning. Furthermore, the correlation between the detection probability and the dimension of constructed vector space is investigated. Both the false and miss detection probability decrease with the increase of vector dimension. The reliability of a discriminant method is significantly enhanced by increasing the dimension of vector space.

Academic Activities

[kanemoto-05:2005]	S. Kanemoto, Apr. 2005. Member of Editorial Board, the Atomic Energy Society of Japan
[kanemoto-06:2005]	S. Kanemoto, Sep. 2005. Member of Organizing Committee, the 4th World Congress on Industrial Process Tomography
[kanemoto-07:2005]	S. Kanemoto, Oct. 2005. Member of Technocal Program Committee, ISOFIC 2005(The International Symposium on the Future I&C for NPP)
[paikic-05:2005]	Incheon Paik, Sep. 2005. Program Committee Member, the 5th International Conference on Computer and Information Technology (CIT2005)

Ph.D and Other Theses

[paikic-06:2005]	Daisuke Maruyama. Master Thesis: A Flexible and Dynamic CSP Solver for Web Service Composition in Semantic Web Environment, Graduate School, University of Aizu, 2005. Thesis Advisor: I. Paik
[paikic-07:2005]	Shinya Horiki. Graduation Thesis: Adaptive Planning using Rules for Web Service Composition, University of Aizu, 2005. Thesis Advisor: I. Paik
[paikic-08:2005]	Masahiro Inukai. Graduation Thesis: Comparison of HTN and HTN-CSP Combined System for Web Service Composition, University of Aizu, 2005. Thesis Advisor: I. Paik
[paikic-09:2005]	Satoshi Matsuoka. Graduation Thesis: Domain Analyzer for Web Service Composition, University of Aizu, 2005. Thesis Advisor: I. Paik
[paikic-10:2005]	Kenji Nishino. Graduation Thesis: Rule Querying for Semantic Web and Its Evaluation, University of Aizu, 2005. Thesis Advisor: I. Paik
[paikic-11:2005]	Hiroto Suzuki. Graduation Thesis: Design of a Framework with Pattern Templates for Automating Business Choreography, University of Aizu, 2005. Thesis Advisor: I. Paik
[paikic-12:2005]	Yuusuke Takahashi. Graduation Thesis: Automating Business Process using Web Service Composition by Planning, University of Aizu, 2005. Thesis Advisor: I. Paik

2007 THE UNIVERSITY OF AIZU ALL RIGHTS RESERVED