• 한국소성가공학회:학술대회논문집
• /
• 한국소성가공학회 1995년도 추계학술대회논문집
• /
• pp.30-36
• /
• 1995

Conventionally design for multi-stage cold forging depends on the designer's experience and decision-making. Due to such non-deterministic nature of the process sequence design, a flexible inference engine is needed for process design expert system. In this study, A* searching algorithm was introduced to arrive at the vetter process sequence design considering the number of forming stages and levels of effective strain, effective stress, and forming load during the porcess. In order to optimize the process sequence in producing the final part, cost function was defined and minimized using the proposed A* searching algorithm. For verification of the designed forming sequences, forming experiments and finite element analyses were carried out in the present investigation. The developed expert system using A* searching algorithm can produce a flexible design system based on changes in the number of forming stages and weights.

• 소성∙가공
• /
• 제6권4호
• /
• pp.291-299
• /
• 1997

This paper is concerned with the design of process sequence to form the inner skin of landing gear. The inner skin of landing gear is a part of airplane which is known to be difficult to form its shape. Our study investigates the production method of inner skin and examines the design criteria by three dimensional elastic-plastic finite element method. Based on the results of simulation, design strategy for improving the process sequence is developed using stretch forming process. The final product of inner skin is produced in multi-stage operations with annealing treatment to meet the required capacity of press. The numerical results show that the newly designed process can produce the required part successfully within the design criteria.

• 한국가스학회지
• /
• 제5권1호
• /
• pp.21-28
• /
• 2001

회분식 공정의 HAZOP 분석 전문가 시스템은 연속 공정의 HAZOP 분석 기법과는 달리 time과 sequence라는 이산적인 변수들을 고려해야 한다. 따라서 본 연구에서는 이산 변수들과 연속 변수들의 관계를 이용하여 회분식 공정의 time과 sequence 해석을 수행하는 회분식 공정의 HAZOP 분석 자동화를 위한 전문가 시스템을 개발하였다. 제안된 전문가 시스템을 Latex 제조 공정에 적용하여 그 실효성을 검토하였다.

• Journal of Welding and Joining
• /
• 제27권2호
• /
• pp.57-62
• /
• 2009

This research was carried out to improve the productivity in the subassembly process of shipbuilding through optimal work planning for the shortest work time. The work time consist of welding time, moving time of gantry, teaching time of robot and robot motion time. The shortest work time is accomplished by even distribution of work and the shortest welding sequence. Even distribution of work was done by appling the simple algorithm. The shortest work sequence was determined by using GA. The optimal work planning decreased the total work time of the subassembly process by 4.1%. The result showed the effectiveness of the suggested simple algorithm for even distribution of work and GA for the shortest welding sequence.

• International Journal of Naval Architecture and Ocean Engineering
• /
• 제12권1호
• /
• pp.60-70
• /
• 2020

The outfitting design of ships and offshore structures is mainly undertaken in a restricted space. Pipes occupying a large portion of outfitting design are normally manufactured outside the shipyard. This complicated manufacturing process results in frequent delivery delays. Inevitable design modifications and material changes have also resulted in inefficient pipe installation works. In this study, an algorithm is proposed to systematically determine the pipe installation sequence. An accurate and fast algorithm to identify the geometric relationship of piping materials is presented. To improve the calculation efficiency, the interference is gradually examined from simplified to complicated shapes. It is demonstrated that the calculation efficiency is significantly improved with successive geometric operations such as back-face culling and use of bounding boxes. After the final installation sequence is determined, the entire installation process is visualized in a virtual reality environment so that the process can be rendered and understood for a full-scale model.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제13권3호
• /
• pp.1702-1721
• /
• 2019

A workflow process (or business process) management system helps to define, execute, monitor and manage workflow models deployed on a workflow-supported enterprise, and the system is compartmentalized into a modeling subsystem and an enacting subsystem, in general. The modeling subsystem's functionality is to discover and analyze workflow models via a theoretical modeling methodology like ICN, to graphically define them via a graphical representation notation like BPMN, and to systematically deploy those graphically defined models onto the enacting subsystem by transforming into their textual models represented by a standardized workflow process definition language like XPDL. Before deploying those defined workflow models, it is very important to inspect its syntactical correctness as well as its structural properness to minimize the loss of effectiveness and the depreciation of efficiency in managing the corresponding workflow models. In this paper, we are particularly interested in verifying very large-scale and massively parallel workflow models, and so we need a sophisticated analyzer to automatically analyze those specialized and complex styles of workflow models. One of the sophisticated analyzers devised in this paper is able to analyze not only the structural complexity but also the data-sequence complexity, especially. The structural complexity is based upon combinational usages of those control-structure constructs such as subprocesses, exclusive-OR, parallel-AND and iterative-LOOP primitives with preserving matched pairing and proper nesting properties, whereas the data-sequence complexity is based upon combinational usages of those relevant data repositories such as data definition sequences and data use sequences. Through the devised and implemented analyzer in this paper, we are able eventually to achieve the systematic verifications of the syntactical correctness as well as the effective validation of the structural properness on those complicate and large-scale styles of workflow models. As an experimental study, we apply the implemented analyzer to an exemplary large-scale and massively parallel workflow process model, the Large Bank Transaction Workflow Process Model, and show the structural complexity analysis results via a series of operational screens captured from the implemented analyzer.

• 한국조리학회지
• /
• 제23권6호
• /
• pp.161-172
• /
• 2017

The purposes of this study were to examine if a decision making by a tourist sequentially or hierarchically occurs in a tourism destination and to test determinants that have an effect on both a sequential and non-sequential decision making. An instrument for the study was developed with three steps. A total of 420 and 380 questionnaire were collected respectively for the first two round surveys. For the third step, a pilot test was conducted with 30 respondents. And the data analysis utilized SPSS 18.0. A logistic regression analysis with variables of tourism activity and demography was employed to investigate the factors that affect a sequence of decision-making process. As an important result, the higher the age of the tourist in a tourism destination, the more conspicuous the consumption expenditure is made through the sequential decision-making process. Additionally, it is unreasonable to apply the premises and assumptions in extant consumer behavior to tourist behavior. The process of decision making by tourists in tourism areas is driven by either non-sequential or non-hierarchical decision-making process. More discussion and implications were provided.

• Communications for Statistical Applications and Methods
• /
• 제8권1호
• /
• pp.153-158
• /
• 2001

A central limit theorem is obtained for stationary linear process of the form -Equations. See Full-text-, where {$\varepsilon$$_{t}$} is a strictly stationary sequence of linearly positive quadrant dependent random variables with E$\varepsilon$$_{t}$=0, E$\varepsilon$$^2$$_{t}$<$\infty$ and { $a_{j}$} is a sequence of real numbers with -Equations. See Full-text- we also derive a functional central limit theorem for this linear process.ocess.s.

• 대한전기학회논문지:전기기기및에너지변환시스템부문B
• /
• 제51권4호
• /
• pp.203-209
• /
• 2002

This paper presents a new control scheme for a DVR(Dynamic Voltage Restorer) system consisting of series voltage source PWM converters. To control negative sequence component of source voltage the detection of negative sequence is necessary. Generally, filtering process is used tn do that. Through this filtering process has some problems. This paper suggests a new method of separating positive and negative sequences. This control system is designed using differential controllers and digital filters, and positive sequence and negative sequences are controlled respectively. The performance of the presented controller and scheme are confirmed through simulation and actual experiment by 2.5kVA prototype DVR.

• 소성∙가공
• /
• 제13권7호
• /
• pp.586-593
• /
• 2004

A terminal pin, which is a part of high-voltage capacitors, has a plate-shaped head section with thickness of 0.8mm. The current manufacturing process, in which the head section is welded on the body part, has given wide deviations of part qualities such as geometrical accuracy, mechanical strength and electrical stability. In this study, a cold forging process sequence was designed in order to produce the terminal pin as one piece. The plate-shaped head section requires an upsetting in the lateral direction of a cylindrical billet, which is followed by a blanking process. The deformed geometry of the lateral upsetting, however, could not be predicted precisely by intuition since metal flows of an axial and a lateral direction of the cylindrical billet would occur simultaneously. Therefore, in this study, three dimensional finite element analyses were applied to the lateral upsetting process in order to determine a proper diameter and height of the cylindrical billet. Once the geometry of the initial billet was determined, intermediate forging processes were designed by applying cold forging guidelines and the designed process sequence was verified by two dimensional finite element analysis. In addition, cold forging tryouts were conducted by using a die set, which was manufactured based on the designed process and finally we found that the part qualities were improved by the proposed cold forging process.