Computer Industry Laboratory

Shigeru Kanemoto 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 Artificial Intelligence, Semantic Web, e-Business, Signal processing, Simulation engineering, and Functional Safety. 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: 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 [Incheon Paik] Semantic Web Web Service Semantic e-Business Data Mining for Web Internet Technologies: Distributed Objects, Search Engine OOD & CBSD

Refereed Journal Papers

[kanemoto-01:2007]	K. Ofuji and S. Kanemoto. Fundamental State Space Time Series Model for JEPX Electricity Prices. IEEJ Transaction on Power and Energy, 128(1):57-66, 2008.
	Using time series models, we have formulated two state models and tested them for its applicability to power price modeling and forecasting using JEPX data. By using Kalman filter algorithm, we evaluated the two forecasting model capability in comparison with the conventional AR and ARCH models. By choosing proper explanatory variables, out state space model yielded as good a forecasting capability as that of AR and ARCH models
[paikic-01:2007]	Incheon Paik and Hiroyuki Akimoto. 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's 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-02:2007]	K. Ofuji and S. Kanemoto. Electricity Price Behaviour Analysis using Time-varying AR Models. In IEEE Conf. on System Application to Power Systems, Kaoshung, Taiwan, 2007. AESJ.
	Using time series models, we have formulated two state models and tested them for its applicability to power price modeling and forecasting using JEPX data. By using Kalman filter algorithm, we evaluated the two forecasting model capability in comparison with the conventional AR and ARCH models. By choosing proper explanatory variables, out state space model yielded as good a forecasting capability as that of AR and ARCH models.
[kanemoto-03:2007]	K. Ofuji and S. Kanemoto. Price Forecasting for Optimal Plant Operation using Kalman Filter. In ICIGRE International Symposium, Osaka, Japan, 2007.
	Using time series models, we have formulated two state models and tested them for its applicability to power price modeling and forecasting using JEPX data. By using Kalman filter algorithm, we evaluated the two forecasting model capability in comparison with the conventional AR and ARCH models. By choosing proper explanatory variables, out state space model yielded as good a forecasting capability as that of AR and ARCH models.
[paikic-02:2007]	Incheon Paik. Automatic Services Composition for Semantic Ubiquitous Healthcare. In ISWC 2007 Committee, editor, International Semantic Web Conference, Workshop on Semantic Web for Ubiquitous Healthcare, Pusan, Korea, November 2007. ISWC 2007 Committee.
[paikic-03:2007]	Incheon Paik and Hiroto Suzuki. Pattern Templates for Automating Business Choreography on Web Services. In Sunshina An Daming Wei Changsung Jeong, Incheon Paik, editor, Proceedings of the 2006 IEEE AINA 2007 Conference, Ubisafe 2007 workshop, Ontario, Canada, May 2007. AINA Committee, IEEE CPS.
[paikic-04:2007]	Incheon Paik and Daisuke Maruyama. Automatic Web Services Composition Using Combining HTN and CSP. In CIT 2007 Committee, editor, Proceedings of the 2006 IEEE International Conference on Computer and Information Technology (CIT 2007), Aizu, Japan, October 2007. CIT 2007 Committee, IEEE CPS.

Chapters in Book

[paikic-05:2007]

Toshiyaki Miyazaki, Incheon Paik, and Daming Wei. Proceedings of IEEE CIT 2007 International Conference, pages 1 - 1131. Computer and Information Technology. IEEE CPS, Aizu, Japan, 2007.

Academic Activities

[kanemoto-04:2007]	S. Kanemoto, September 2008. Member of Technocal Program Committee, International Symposium on Symbiotic Nuclear Power Systems for 21st Century
[paikic-06:2007]	Incheon Paik, Sep. 2006. Program Committee Co-Chair, he 6th International Conference on Computer and Information Technology (CIT2006)

Ph.D, and Others Theses

[kanemoto-05:2007]	Jun Kobayasi. Verification of Kalman Filter Accuracy in Converting Movement from 2D Video Images to 3D Space, University of Aizu, 2007. Thesis Advisor: Kanemoto, S.
[kanemoto-06:2007]	Norito Kataoka. Emergency Evacuation Predictio by Microscopic Trafic Simulation, University of Aizu, 2007. Thesis Advisor: Kanemoto, S.
[kanemoto-07:2007]	Masato Kato. Forecasting model development for hydropower output with Klman filter based modeling method, University of Aizu, 2007. Thesis Advisor: Kanemoto, S.
[kanemoto-08:2007]	Hideaki Okamura. New non-invasing Vibration Measurement Method by Ultrasound Wave Analysis, University of Aizu, 2007. Thesis Advisor: Kanemoto, S.
[kanemoto-09:2007]	Shota Komori. Inverse Problem Solving in Non Destructive Inspection of pipes, University of Aizu, 2007. Thesis Advisor: Kanemoto, S.
[paikic-07:2007]	Daiki Nagao. Web Contents Recommender System on RSS using Weighted TFIDF, University of Aizu, 2007. Thesis Advisor: I. Paik
[paikic-08:2007]	Yuusuke Takahashi. Design Support in Supply Chain Management through Automatic Service Composition, Graduate School, University of Aizu, 2007. Thesis Advisor: I. Paik
[paikic-09:2007]	Kodai Yasuda. Adding Quality of Service to UDDI for Dynamic Composition, University of Aizu, 2007. Thesis Advisor: I. Paik
[paikic-10:2007]	Hiroshi Mizugai. Text Categorization Using Latent Topics as Additional Features, University of Aizu, 2007. Thesis Advisor: I. Paik
[paikic-11:2007]	Hirobumi Watanabe. Semantic tagging from General Folksonomy Tags, University of Aizu, 2007. Thesis Advisor: I. Paik
[paikic-12:2007]	Haruhiko Takada. Design of General User Interface for Automatic Web Service Composition, University of Aizu, 2007. Thesis Advisor: I. Paik

2009 THE UNIVERSITY OF AIZU ALL RIGHTS RESERVED