• Information Systems Review
• /
• v.5 no.2
• /
• pp.183-202
• /
• 2003

In this paper, we designed an interoperability evaluation system based on technical reference model, HanTRM (Technical Reference Model) and the information technology architecture methodology, TAProcess (Technical Architecture Process). TAProcess provides standardized procedure and methodology for the efficient installation, management and operation of information technology. HanTRM can be used as a referencial basic framework for all organizations which are starting to make technical reference model. We propose a method that utilize HanTRM and a procedure that evaluates interoperability between information systems to design interoperbility evaluation system. So, this interoperbility evaluation system will be more usefully applied to organizations.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.7
• /
• pp.3511-3532
• /
• 2019

Coverage-guided fuzzing is an efficient solution that has been widely used in software testing. By guiding fuzzers through the coverage information, seeds that generate new paths will be retained to continually increase the coverage. However, we observed that most samples follow the same few high-frequency paths. The seeds that exercise a high-frequency path are saved for the subsequent mutation process until the user terminates the test process, which directly affects the efficiency with which the low-frequency paths are tested. In this paper, we propose a fuzzing solution, ER-Fuzz, that truncates the recording of a high-frequency path to influence coverage. It utilizes a deep learning-based classifier to locate the high and low-frequency path transfer points; then, it instruments at the transfer position to promote the probability low-frequency transfer paths while eliminating subsequent variations of the high-frequency path seeds. We implemented a prototype of ER-Fuzz based on the popular fuzzer AFL and evaluated it on several applications. The experimental results show that ER-Fuzz improves the coverage of the original AFL method to different degrees. In terms of the number of crash discoveries, in the best case, ER-Fuzz found 115% more unique crashes than did AFL. In total, seven new bugs were found and new CVEs were assigned.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2002.11a
• /
• pp.53-56
• /
• 2002

This paper discusses the quorum based algorithm for group mutual exclusion defined by Yuh-Jzer Joung. Group mutual exclusion[4,5,6] is a generalization of mutual exclusion that allows a resource to be shared by processes of the same group, but requites processes of different groups to use the resource in a mutually exclusive style. Joung proposed a quorum system, which he referred to as the surficial quorum system for group mutual exclusion and two modifications of Maekawa's algorithm[6]. He mentioned that when a process may belong to more than one group, the process must identify one of the groups it belongs when it wishes to enter CS(Critical Section). However, his solution didn't provide mechanism of identifying a group which maximizes the possibility to enter CS. In this paper, we provide a mechanism for identifying that each process belongs to which group.

• Proceedings of the KSR Conference
• /
• 2011.10a
• /
• pp.7-13
• /
• 2011

RAMS is the procedure to maximize the reliability and availability of systems with managing operation rate, the frequency of failure in the system and repair method. Recently, all system life-cycle focusing on RAMS process has been rapidly developing in the field of railway vehicles, for example, applying th reliability management techniques for procurement and disposal of EMU. In particular, global economic recession require to reasonable measures for the EMU maintenance costs under the circumstances therefore, an alternative solution based on RCM(Reliability Centered Maintenance) which is the optimal maintenance method is interested. In this study, the state of being critical of each component and a primary factors was analyzed to improve VVVF inverter of the line 7 EMU by applying FMECA process. Furthermore, this paper showed the impact of connecting between the main and sub system. Based on these data, critical components according to malfunction ratings were classified by screening measures and improvements for each components was summarized.

• Journal of Korean Institute of Industrial Engineers
• /
• v.39 no.1
• /
• pp.10-19
• /
• 2013

Dispatching rule plays an important role in a hybrid flow shop. Finding the appropriate dispatching rule becomes more challenging when there are multiple criteria, uncertain demands, and dynamic manufacturing environment. Using a single dispatching rule for the whole shop or a set of rules based on a single criterion is not sufficient. Therefore, a multi-criteria decision making technique using 'the order preference by similarity to ideal solution' (TOPSIS) and 'analytic hierarchy process' (AHP) is presented. The proposed technique is aimed to find the most suitable set of dispatching rules under different manufacturing scenarios. A simulation based case study on a PCB manufacturing process is presented to illustrate the procedure and effectiveness of the proposed methodology.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 2004.10a
• /
• pp.184-187
• /
• 2004

The sheet parts are formed with dies conventionally. But this conventional forming process is not suited to small volume and varied production for the reason of high cost. For the solution of this problem, a new forming process, which is called CNC incremental sheet forming, is being introduced. This process can form sheet parts without die, and is very well suited to small volume and varied production in space flight and automobile. In this paper, dieless CNC forming system based on a machining center is developed. A special device to grasp and pull the blank sheet built in the machining center and tool path generation S/W from STL file of 3-D model are developed. Several sheet parts are incrementally formed to verify the effectiveness of the developed system.

• Journal of the Korea Society for Simulation
• /
• v.8 no.2
• /
• pp.87-100
• /
• 1999

A manufacturing environment without a computerized system causes numerous problems, since many important decisions are made based on the experience of veteran staffs. Especially, when a strategy for the improvement of manufacturing efficiency is considered, it is hard to predict the effect of the strategy. A solution to the problem without large investment of the computerized system is the simulation study. This paper shows the modeling and simulation based on DEVS(Discrete Event System Specification). Two types of models are implemented, one for representing the current production strategy and the other for the new strategy. The new strategy is expressed as priority rules within the model. The process in concern is the metal grating production process in which the size of the group, for applying a specific cutting and scheduling strategies, is one of the important factors in improving the production efficiency. Some reliable criteria for the evaluation related to the production effeciency are established from the simulation study.

• Journal of Digital Convergence
• /
• v.6 no.4
• /
• pp.177-183
• /
• 2008

This paper aims to offer a solution based on intelligent document classification to create a user-centric information retrieval system allowing user-centric linguistic expression. So, structures expressing user intention and fine document classifying process using EBL, similarity, knowledge base, user intention, are proposed. To overcome the problem requiring huge and exact semantic information, a hybrid process is designed integrating keyword, thesaurus, probability and user intention information. User intention tree hierarchy is build and a method of extracting group intention between key words and user intentions is proposed. These structures and processes are implemented in HDCI(Hybrid Document Classification with Intention) system. HDCI consists of analyzing user intention and classifying web documents stages. Classifying stage is composed of knowledge base process, similarity process and hybrid coordinating process. With the help of user intention related structures and hybrid coordinating process, HDCI can efficiently categorize web documents in according to user's complex linguistic expression with small priori information.

• Journal of the Korean Society of Systems Engineering
• /
• v.9 no.2
• /
• pp.69-82
• /
• 2013

US DoD operated JCIDS(Joint Capability Integration and Development System) for top down requirement generation. Although the JCIDS can be a good practice for the countries which are trying to shift from bottom up to top down requirement generation, it contains many processes related with review and approval. In this study we structured a joint capability integration and development process from the JCIDS eliminating the organization dependent review or approval process so that it can be applied to any organization with some modification. Furthermore we implemented the process in the computer aided systems engineering tool, Cradle, for convenient use of the process. The result of this study can provide a basic process for top down capability development, and an efficient why of doing each element of the process using CASE tool.

• Food Science and Preservation
• /
• v.5 no.3
• /
• pp.305-314
• /
• 1998

In the drying process, many undesirable physicochemical changes occur that influence dried food product qualities. Pretreatments method is used to reduce the deterioration of dried food product qualities such as color, flavor, texture, rehydration ability and retention of nutrients. The methods of pretreatments are blanching, chemical treatment and osmotic dehydration. Osmotic dehydration is a water removal process which is based on placing foods in a concentrated osmotic solution or in a dry osmotic material. A large number of process variables have a significant effect on process and final product quality. In order to improve final product quality it is necessary to know the role of each process variable and understand the mecanisms throughout the process. Osmotic dehydration is a valuable processing tool with great future in minimal processing of fruits and vegetables.