• Proceedings of the IEEK Conference
• /
• 2004.06b
• /
• pp.497-500
• /
• 2004

In this paper, we developed a new photolithography process which used a water-soluble photoresist instead of organic solvent soluble photoresist, defined pentacene thin film. And pentacene OTFTs were fabricated with the water- soluble photolithography process.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.13 no.1
• /
• pp.190-198
• /
• 1989

Some Developments in computer aided procedures for cold forging process and tool design of rotationally symmetric cup shape parts are described. The developed system enables appropriate forging sequence to be determined automatically, together with details of corresponding preform, die and punch design. The computer program developed is interactive and written in BASIC. This system not only assist the heavy work of designers but greatly shorten the time of design.

• International Journal of Advanced Culture Technology
• /
• v.10 no.4
• /
• pp.175-180
• /
• 2022

To develop computational thinking skills, university students are learning how to solve problems with algorithms, program commands and grammar, and program writing. Because non-computer majors have difficulty with computer programming-related content, they need a learning method to acquire coding knowledge from the process of understanding, interpreting, changing, and improving source codes by themselves. This study explored clone coding, refactoring coding, and coding methods using reconstruction tools, which are practical and effective learning methods for improving coding skills for students who are accustomed to coding. A coding learning process with the code reconstruction principle was designed to help non-computer majors use it to understand coding technology and develop their problem-solving ability and applied the coding technology learning method used in programmer education.

• Journal of Internet Computing and Services
• /
• v.20 no.6
• /
• pp.21-28
• /
• 2019

Process mining is state-of-the-art technology in the workflow field. Recently, process mining becomes more important because of the fact that it shows the status of the actual behavior of the workflow model. However, as the process mining get focused and developed, the material of the process mining - workflow event log - also grows fast. Thus, the process mining algorithms cannot operate with some data because it is too large. To solve this problem, there should be a lightweight process mining algorithm, or the event log must be divided and processed partly. In this paper, we suggest a set of operations that control and edit XES based event logs for process mining. They are designed based on relational algebra, which is used in database management systems. We designed three operations for tailoring XES event logs. Select operation is an operation that gets specific attributes and excludes others. Thus, the output file has the same structure and contents of the original file, but each element has only the attributes user selected. Union operation makes two input XES files into one XES file. Two input files must be from the same process. As a result, the contents of the two files are integrated into one file. The final operation is a slice. It divides anXES file into several files by the number of traces. We will show the design methods and details below.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.8
• /
• pp.4108-4122
• /
• 2019

Workflow process mining is becoming a more and more valuable activity in workflow-supported enterprises, and through which it is possible to achieve the high levels of qualitative business goals in terms of improving the effectiveness and efficiency of the workflow-supported information systems, increasing their operational performances, reducing their completion times with minimizing redundancy times, and saving their managerial costs. One of the critical challenges in the workflow process mining activity is to devise a reasonable approach to discover and recognize the bottleneck points of workflow process models from their enactment event histories. We have intuitively realized the fact that the iterative process pattern of redo-activities ought to have the high possibility of becoming a bottleneck point of a workflow process model. Hence, we, in this paper, propose an algorithmic approach and its implementation to discover the redo-activities and their performers' involvements patterns from workflow process enactment event logs. Additionally, we carry out a series of experimental analyses by applying the implemented algorithm to four datasets of workflow process enactment event logs released from the BPI Challenges. Finally, those discovered redo-activities and their performers' involvements patterns are visualized in a graphical form of information control nets as well as a tabular form of the involvement percentages, respectively.

• International Journal of Computer Science & Network Security
• /
• v.21 no.7
• /
• pp.191-204
• /
• 2021

The software development life cycle (SDLC) is a procedure used to develop a software system that meets both the customer's needs and real-world requirements. The first phase of the SDLC involves creating a conceptual model that represents the involved domain in reality. In requirements engineering, building such a model is considered a bridge to the design and construction phases. However, this type of model can also serve as a basic model for identifying business processes and how these processes are interconnected to achieve the final result. This paper focuses on process modeling in organizations, per se, beyond its application in the SDLC when an organization needs further documentation to meet its growth needs and address regular changes over time. The resultant process documentation is created alongside the daily operations of the business process. The model provides visualization and documentation of processes to assist in defining work patterns, avoiding redundancy, or even designing new processes. In this paper, a proposed diagrammatic representation models each process using one diagram comprising five actions and two types of relations to build three levels of depiction. These levels consist of a static description, events, and the behavior of the modeled process. The viability of a thinging machine is demonstrated by re-modeling some examples from the literature.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10a
• /
• pp.116-118
• /
• 1998

본 논문에서 Holzmann이 제시한 커널 스케줄링 방식이 Liveness를 만족하지 못하며, 자원의 충돌이 일어남을 알제브라 ACSR-VP를 이용해서 확인하였고, SPIN과 LTL formula를 이용하여 검증하였다. 이것을 SPIN과 ACSR-VP를 이용하여하여 오류가 없는 새로운 모델을 제시하였다.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 2001.10a
• /
• pp.174-177
• /
• 2001

The automated computer-aided drafting technique is attempted for drawing process pictures of axisymmetric solid forgings which are mainly used in automobile industry. For this study basic concepts to draw the shape of an element are described and applied to the 2-dimensional and 3-dimensional modeling of forged parts. 2-dimensional display of process pictures is developed by using AutoLISP language in AutoCAD software of a drafting technique and 3-dimensional view of process pictures is based on the UG/open API and UG/open GRIP languages of Unigraphics software. Testing the developed program to forging of bolts and ballstuds, it was shown to give good results to be applicable in forging industry.

• Journal of Korean Institute of Industrial Engineers
• /
• v.15 no.2
• /
• pp.45-55
• /
• 1989

This paper deals with development of a computer-aided process selection and sequencing technique and its software for metal cutting processes of rotational parts. The process selection procedure consists of selection for proper machining operations and machine tools suitable for the selected operations. Machining operations are selected based on machining surface features and machine tools are selected by employing a conversion table which converts machining operations into machine tools. The process sequence is determined by the proper manipulation of the precedence relation matrix. A computer program for the proposed technique is developed by using Turbo-Pascal on IBM PC/AT compatible system. The proposed technique works well to real problems.

• Management Science and Financial Engineering
• /
• v.11 no.2
• /
• pp.45-60
• /
• 2005

This paper investigates the application of the computer method COMSOAL (Computer Method of Sequencing Operations for Assembly Lines) to the process routing (PR) problem with multiple objectives. In any computer aided process planning (CAPP) system, one of the most critical activities for manufacturing a part could be to generate the sequence that optimizes production time, production cost, machine utilization or with multiple these criteria. The COMSOAL has been adopted to find the optimum sequence of operations that optimizes two major conflicting criteria : production cost and production quality. The COMSOAL is here slightly modified to simultaneously generate and evaluate a set of possible solutions (called as population) instead of processing a solution stepwise in each iteration. The significant features of the COMSOAL include : no parameters settings needed, and a guarantee of feasible solutions. Experimental results show that COMSOAL is a simple but powerful method to quickly generate multiple feasible solutions which are as good as the ones obtained from several other well-known process routing algorithms.