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: 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 Functional safety of embedded system [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:2006]	S. Kanemoto. Examination on Maintenance Program and Inspection Methods(in Japanese). Maintenology, 6(2):16.22, 2007.
	The concepts for new maintenance program for Japanese nuclear power plants are discussed. In the program, the overhaul and inspection period of plant equipment such as pumps or valves should be determined by rational and practical procedures based on quality management methodologies. However, due to the special concern of safety issues in nuclear fields, the procedures should be validated from the viewpoint of safety affect consideration. In the paper, we discussed the common check items for the overhaul and inspection period change to keep and improve the plant safety.
[kanemoto-02:2006]	Cheng W. Kanemoto, S. and I. Komura. Intelligent System Supporting Defect Identification and Sizing Using Eddy Current Testing Signals in Nuclear Power Plants. Int. J. Nuclear Knowledge Management, 2(4):396.409, 2007.
	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 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. In addition, a surface crack shape reconstruction algorithm using deconvolution filter is proposed to evaluate the crack length.
[kanemoto-03:2006]	W. Cheng, I. Komura, M. Shiwa, and S. Kanemoto. Eddy Current Examination of Fatigue Cracks in Inconel Welds. Journal of Pressure Vessel Technology, 129:169.174, 2007.
	Basic studies on the eddy current examination of defects in Inconel, a typical nickel-base alloy used in the reactor vessel, pressurizer and core internal of nuclear power plants, are carried out. The detecting and sizing capability of the eddy current method is investigated through analytical and experimental approaches. Probe �fs delectability is numerically evaluated and appropriate probe and examination conditions are correspondingly selected. The research presented in this paper shows that by choosing a proper testing situation, eddy current examination is feasible for detecting and sizing of surface breaking cracks in Inconel welds.
[kanemoto-04:2006]	S. Kanemoto, W. Cheng, M. Shiwa, and I. Komura. A New Depth Sizing Method for Partial-Contact Stress Corrosion Cracks from ECT Signals (in Japanese). Maintenology, 5(4):51.58, 2007.
	A partial-contact stress corrosion crack (SCC) is electrically modeled as a crack region with non-zero conductivity in eddy current testing (ECT). This partial-contact effect is excluded by an optimally designed crack-conductivityinsensitive depth sizing index, and consequently the master curves obtained from electric-discharge machining (EDM) notches can be utilized directly in the depth sizing of SCCs. This approach is numerically validated and applied to the characterization of SCCs in SUS304 from measurement ECT signals. The average depth of each SCC is fast estimated from the depth sizing index. The ECT depth-sizing results show reasonable agreement with UT-TOFD measurement.
[paikic-01:2006]	Hiroyuki Akimoto Incheon Paik. Ontology Querying and Its Software Component for Design Support in Supply Chains. International Journal of Agent Oriented Software Engineering (IJAOSE), 1(2):244. 259, 2007.
	Effective support of product design stage in the supply chain management (SCM) is important for raising the competitive power of a company. Existing technology for design support of supply chain has limitations on managing semantic data and handling logical operations, which agents will use for their intelligent and autonomous activities. In this paper, we suggest an ontology querying mechanism and software component for it, based on the supply chain network, for the agent�fs intelligent activities. This querying engine can service several operations, including reasoning and logical functions, together with the ontology of the specified domain of product attributes and its instance data. We defined operators to provide the necessary ontology query according to the operation category in the domain of design support in SCM, which will be provided as several interfaces in the form of server side components and Web service. Finally, we explain the meaning of our querying system, comparing with the early version and other querying systems.

Refereed Proceeding Papers

[kanemoto-05:2006]	S. Kanemoto, W. Cheng, and I. Komura. A New Method for Depth Sizing of Complex Shape Cracks Using ECT Signals. In General Chair Yoshikawa H., editor, International Symposium on Symbiotic Nuclear Power Systems for 21st Century (ISSNP), Tsuruga, Fukui, Japan, July 9-12 2007. AESJ.
	The depth sizing of complex shape cracks like SCCs is studied based on eddy current testing (ECT) and inverse problem solving technologies.Measurement and analysis shows that ECT signal of a defect with multiple cracks is different from that of a single crack, even though they have same depth. In order to find a universal rule to predict the maximum depth of complex shape cracks using ECT signals, three kinds of models are investigated, they are the simple polynomial fitting model, the constrained polynomial fitting model and the similarity based model. On the other hand, optimum input signal combinations for these models are examined for robust and accurate depth prediction. As a result, it was shown that the constrained polynomial model with two frequency phase signal input give the best and robust prediction capability for complex shape cracks �fdepth estimation. It also shows that different principle methodologies are useful to confirm the universality of the obtained results.
[kanemoto-06:2006]	S. Kanemoto, W. Cheng, and I. Komura. Depth Sizing of Complex Shape Cracks using ECT Signals. In L Udpa and Co-Chairs Udla, S., editors, IThe 13th International Symposium on Applied Electromagnetics and Mechanics (ISEM2007), East lansing, Michigan, USA, September 9-12 2007,, Sep 9-12, 2007, Michigan, USA. Michigan State Univ.
	Depth sizing of complex shape cracks are studied as a simplification of stress corrosion crack (SCC). Because of the interference of eddy current near the cracks, measured signals are different from that of a simple shape crack and the conventional depth sizing method cannot be applied. So, we introduced a new depth sizing method based on the similarity based modelling. The usefulness of the method is shown by numerically simulated ECT signals of various types of complex shape cracks.
[lothar-01:2006]	Boris Mitavskiy, Jonathan E. Rowe, AldenWright, and Lothar M. Schmitt. Exploiting Quotients of Markov Chains to Derive Properties of the Stationary Distribution of the Markov chain associated to an Evolutionary Algorithm. In Proceedings of SEAL 06, volume LNCS 4247, pages 726.733. Springer Verlag, Berlin, October 2006.
	In this work, a method is presented for analysis of Markov chains modeling evolutionary algorithms through use of a suitable quotient construction. Such a notion of quotient of a Markov chain is frequently referred to as �gcoarse graining�h in the evolutionary computation literature. We shall discuss the construction of a quotient of an irreducible Markov chain with respect to an arbitrary equivalence relation on the state space. The stationary distribution of the quotient chain is �gcoherent�h with the stationary distribution of the original chain. Although the transition probabilities of the quotient chain depend on the stationary distribution of the original chain, we can still exploit the quotient construction to deduce some relevant properties of the stationary distribution of the original chain. As one application, we shall establish inequalities that describe how fast the stationary distribution of Markov chains modelling evolutionary algorithms concentrates on the uniform populations as the mutation rate converges to 0. Further applications are discussed.
[paikic-02:2006]	Mitsuteru Shinozawa Daisuke Maruyama, Incheon Paik. A Flexible and Dynamic CSP Solver for Web Service Composition in the Semantic Web Environment. In Sunshina An Daming Wei Changsung Jeong, Incheon Paik, editor, Proceedings of the IEEE International Conference on Computer Information Technology (CIT�f2006), Seoul, Korea, September 2006. CIT2006 Committee, IEEE CPS.
[paikic-03:2006]	Michael N. Huhns Incheon Paik, Daisuke Maruyama. A Framework for Intelligent Web Services: Combined HTN and CSP Approach. In ICWS 2006 Committee, editor, Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), Chicago, U.S.A, September 2006. ICWS 2006 Committee, IEEE CPS.

Chapters in Book

[lothar-02:2006]	Lothar M. Schmitt, Kiel Christianson, and Renu Gupta. Linguistic Computing with UNIX Tools, pages 227.268. Natural Language Processing and Text Mining. Springer Publishers, London, UK, 2006.
	We show how to construct tools for language analysis using the Bourneshell, sed and awk under UNIX/LINUX. Applications include the following: searches for words, phrases, syntactic structures and phonemic patterns in text; statistical evaluation of texts in regard to such searches; transformation of phonetic, phonemic or typographic transcriptions; comparison of texts in various respects; lexical-etymological analysis; concordance; assistance in translating text; assistance in learning languages; assistance in teaching languages; and text processing and formatting. The latter includes the generation of on-line dictionaries for the internet from files that were generated with what-you-see-is-what-you-get editors representing only the linear structure of the dictionary (ie, the book). All of the above can be achieved with particularly simple and short code. In that regard, we illustrate how sed and awk can be combined in the pipe mechanism of UNIX/LINUX to create very powerful processing devices.
[paikic-04:2006]	Changsung Jeong, Incheon Paik, Sunshina An, and Daming Wei. Proceedings of IEEE CIT 2007 International Conference. Computer and Information Technology. IEEE CPS, Seoul, 2006.

Academic Activities

[kanemoto-07:2006]	S. Kanemoto, Apr. 2006. Member of Editorial Board, The Atomic Energy Society of Japan
[kanemoto-08:2006]	S. Kanemoto, July 2006. Member of Technocal Program Committee, International Symposium on Symbiotic Nuclear Power Systems for 21st Century (ISSNP)
[paikic-05:2006]	Incheon Paik, Sep. 2006. Program Committee Co-Chair, the 6th International Conference on Computer and Information Technology (CIT2006)

Ph.D, Master and Graduation Theses

[kanemoto-09:2006]	Hiroki Igari. Graduation Thesis: Time series analysis in the price trend in electricity market using Kalman Filter, University of Aizu, 2006. Thesis Advisor: Kanemoto, S.
[kanemoto-10:2006]	Kousuke MONMA. Graduation Thesis: Emergency traffic prediction by microscopic traffic Simulation, University of Aizu, 2006. Thesis Advisor: Kanemoto, S.
[kanemoto-11:2006]	Yuusuke ENDOU. Graduation Thesis: Material defect size evaluation for Stress Corrosion Cracks using eddy current test, University of Aizu, 2006. Thesis Advisor: Kanemoto, S.
[[kanemoto-12:2006]	Tasuku OOKAWARA. Graduation Thesis: A new depth sizing method using similarity based modeling of material defect, University of Aizu, 2006. Thesis Advisor: Kanemoto, S.
[kanemoto-13:2006]	Satoki SUTO. Graduation Thesis: Analysis of the best bidding strategy in electric power market in Japan, University of Aizu, 2006. Thesis Advisor: Kanemoto, S.
[paikic-06:2006]	Jun Hikosaka. Graduation Thesis: Toward Enterprise Solution by Web 2.0, University of Aizu, 2006. Thesis Advisor: I. Paik
[paikic-07:2006]	Kazuyoshi Tsuchiya. Graduation Thesis: Real Time Web Application by Ajax, University of Aizu, 2006. Thesis Advisor: I. Paik
[paikic-08:2006]	Emiko Yamadera. Graduation Thesis: Implementation of Pattern Templates for Automated Business Choreography, University of Aizu, 2006. Thesis Advisor: I. Paik

2008 THE UNIVERSITY OF AIZU ALL RIGHTS RESERVED