• Journal of Welding and Joining
• /
• v.24 no.5
• /
• pp.62-66
• /
• 2006

Panel line is an important process occupying the largest work amount in shipbuilding. In this research product simulation has been carried out to establish the optimal production scheduling. For this purpose a web-based panel line simulator was developed using an object modeling technology and C# language. The balance of work-load and increase in the productivity by the improvement of production facilities and process are the key factors for a good scheduling. In this study SPRT(Shortest Remaining Process Time) rule was applied for the work-load balancing and a good result achieved. To increase the productivity in the stiffener welding stage which is a bottleneck; process, more welding heads and higher welding speed were tested using the developed simulator. The simulation results showed that either more welding head or higher welding speed decreased the total work time. Use of both, however, deteriorated the productivity because of the bottleneck in the following stage. This result points out that the improvement of production facilities and/or process should be evaluated with their influences on the leading and following processing stage.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2005.05a
• /
• pp.72-79
• /
• 2005

This paper deals with the construct of e-SCM System for a supply chain of an auto-mobile company. Two first vendors and two second vendors of a bus company are included in the objects of developing e-SCM system. We analyzed the information flow and business process within vendor and between vendors by using data flow diagram, to describe process to-be model of the e-SCM system. And to analyze and design the process of the system, we used Unified Modeling Language.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1993.04a
• /
• pp.62-71
• /
• 1993

Recently, the computer software technology is not keeping pace with the increasing demand of application software development and rapid changes in business environment. To overcome this "software crisis", many researchers have studied the methodologies to improve the productivity in software development and the flexibility of software usage. Among these methodologies, the most promising and intensively studied methodology is the Object-Oriented Approach The purpose of this study is, therefore, to examine the applicability of the Object-Oriented Approach for improving productivity and flexibility in Management Information Systems development. For an application, we selected a financial planning model, especially focusing on the budgeted income statement. In this thesis, we identified relevent objects in the budgeted income statement, and represented them in the object models. By implementing these object models using C++ language, we evaluated their adaptability in the budget-making process, and showed, by comparing them with the existing Planning '||'&'||' Modeling Languages such as IFPS(Interactive Financial Planning Saystem), their practicability in Management Information Systems. The results of this study are as follows: First, the same object models can be used in making the budgeted income statement both in the department level and in the corporate level. Second, the object models provide the flexibility and extensibility of an application program in case of the changes in business environment. Third, the Object-Oriented Approach is a practical methodology to improve the productivity and cut down the maintenance cost of application software development.t.

• MALSORI
• /
• no.65
• /
• pp.93-103
• /
• 2008

In this paper, we propose a method for optimizing a multiple pronunciation dictionary used for modeling pronunciation variations of non-native speech. The proposed method removes some confusable pronunciation variants in the dictionary, resulting in a reduced dictionary size and less decoding time for automatic speech recognition (ASR). To this end, a confusability measure is first defined based on the Levenshtein distance between two different pronunciation variants. Then, the number of phonemes for each pronunciation variant is incorporated into the confusability measure to compensate for ASR errors due to words of a shorter length. We investigate the effect of the proposed method on ASR performance, where Korean is selected as the target language and Korean utterances spoken by Chinese native speakers are considered as non-native speech. It is shown from the experiments that an ASR system using the multiple pronunciation dictionary optimized by the proposed method can provide a relative average word error rate reduction of 6.25%, with 11.67% less ASR decoding time, as compared with that using a multiple pronunciation dictionary without the optimization.

• Journal of KIISE:Information Networking
• /
• v.28 no.3
• /
• pp.297-308
• /
• 2001

In this paper, we design, validate and implement WTP(Wireless Transaction Protocol) using SDT(SDL Design Tool). We do modeling WTP protocol by SDL(Specification and Description Language), design and implement the environment function for the interface between the SDL system and the UDP platform and design APIs(Application Programming Interface). And we do conformance testing for WTP protocol software using ITEX(Interactive TTCN Editor and eXecutor). We write ATS(Abstract Test Suite) by TTCN(Tree and Tabular Combined Notation) and make ETS(Executable Test Suite) by the TTCN compiler supplied by ITEX.

• Journal of KIISE:Computing Practices and Letters
• /
• v.10 no.1
• /
• pp.89-98
• /
• 2004

Conversational agent is a system that provides users with proper information and maintains the context of dialogue on the natural language. Analyzing and modeling process of user's query is essential to make it more realistic, for which Bayesian network is a promising technique. When experts design the network for a domain, the network is usually very complicated and is hard to be understood. The separation of variables in the domain reduces the size of networks and makes it easy to design the conversational agent. Composing Bayesian network as two stages, we aim to design conversational agent easily and analyze user's query in detail. Also, previous information of dialogue makes it possible to maintain the context of conversation. Actually implementing it for a guide of web pages, we can confirm the usefulness of the proposed architecture for conversational agent.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.56 no.5
• /
• pp.834-840
• /
• 2007

A generator plays an important role in transferring an electric power to power system networks. The generator protection systems in Korea have been imported and operated through a tum-key from overseas entirely. Therefore, a study of the generator protection field has in urgent need for a stable operation of the imported goods, and for preparation of next generation protection system. The paper describes the fault detection algorithm using WT(Wave!et Transform) of currents for a generator protection. The fault current signals after executing a terminal fault modeling collect using a MA TLAB package, and calculate the wavelet coefficients through the process of a multi -level decomposition (MLD). The proposed algorithm for a fault detection using the Daubechies WT (wavelet transform) was executed with a C language for the command line function and for the real time realization after analyzing MATLAB's graphical interface. The advanced technique had complemented the defects of a DFT by applying a Daubechies WT. and had improved faster a speed and more accurate of fault discriminant than a conventional DFR.

• Journal of Intelligence and Information Systems
• /
• v.10 no.2
• /
• pp.165-187
• /
• 2004

Constraint Programming in AS and Optimization in OR started and have grown in different backgrounds to solve common decision-making problems in real world. This paper tries to integrate results from those different fields by suggesting a hybrid solver as an integration framework. Starting with an integrating modeling language, a way to implement a hybrid solver will be discussed using Warren's abstract machine and an finite domain constraint programming solver structures. This paper will also propose some issues rising when implementing the hybrid solver and provide their solutions.

• Journal of Internet Computing and Services
• /
• v.2 no.5
• /
• pp.81-91
• /
• 2001

XML is a standard markup language for exchange and storage of formed or well-formed information in World Wide Web, Because the source data of XML message for exchange of information in World Woo Web Is stored in legacy database systems. it is necessary the easier connection between XML application and database systems, In Oracle8i. 9i. informix and SQL2000. DBMS vendors extend their DBMSs for XML. This approach for the connection between XML application and database system is Platform-dependent and DBMS-dependent. Therefore it is necessary the platform- and DBMS-independent approach for the connection between XML application and database system, In this paper. we modeled a set of middleware components for relational database design based on XML DTD is modeled, Those components are modeled on object-based algorithm for connection between XML application and database system.

• Journal of KIISE:Software and Applications
• /
• v.35 no.9
• /
• pp.529-537
• /
• 2008

Since concurrent software is hard to debug, the verification of such systems inevitably needs automatic tools which support exhaustive searching. Bounded Model Checking (BMC) is one of them. Within a bound k, BMC exhaustively check some errors in execution traces of the given system. In this paper, we introduce the tool that performs BMC for LTS, modeling language for concurrent programs. In this tool, a property is described by a FLTL formula, which is suitable to present the property with actions in a LTS model. To experiment with existential model checkers and out tool, we compare and analysis the performance of the developed tool and others.