• Transactions of the Korean Society of Mechanical Engineers
• /
• v.19 no.7
• /
• pp.1604-1618
• /
• 1995

In the process of mechanical assembly design, assembly modeling systems have been used mainly for the design verification before manufacturing by enabling to check the interference and/ or the dynamic and kinematic performance. However, the conventional assembly modeling systems have a shortcoming that they can not be used in the initial design stage but can be used only after the design is fully completed. In other words conventional assembly modeling systems provide bottom-up modeling which means that the detailed modeling of components must precede the definition of relationships between them. To resolve this problem, an assembly modeling system is proposed to provide a top-down modeling environment in which components and assembly can be modeled simultaneously. To this end, an assembly data structure suitable for top-down assembly modeling has been established. Feature positioning Module(FPM) using geometric constraints has been also developed. The Sekective Solving Method proposed for FPM is based on the priority between the constraint equations and enables the designer's intent expressed by geometric constraints to be maintained throughout the whole modeling process. Finally, the feature based modeling technique using two-level features has been developed. Two-level features include an abstract model and a detailed model in a merged form in non-manifold data frame.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.6 no.3
• /
• pp.129-138
• /
• 2002

The purpose of this study is to propose the nonlinear analysis method which combines the nonlinear incremental method with the layered method to solve the problems due to the geometric and the material nonlinearities. As numerical analysis models, the reinforced concrete simple beam and the steel arch frame are used to verify the algorithm of the proposed nonlinear method. The results are gotten from the computation procedures. According to the results of this study, the fracture pattern of the beam according to the ratio of tensile steel and the strength of the concrete and the steel can be estimated by the proposed method. Therefore, the load-deflection curve of structure can be, exactly, depicted by the proposed method. Also, the rupture load, the site and the depth of crack of the beam can analytically be checked by the proposed method. In this respect, the proposed method contributes for the solving the stability problem of the actual structure.

• Journal of Computational Design and Engineering
• /
• v.3 no.2
• /
• pp.161-177
• /
• 2016

In history based parametric CAD modeling systems, persistent identification of the topological entities after design modification is mandatory to keep the design intent by recording model creation history and modification history. Persistent identification of geometric and topological entities is necessary in the product design phase as well as in the re-evaluation stage. For the identification, entities should be named first according to the methodology which will be applicable for all the entities unconditionally. After successive feature operations on a part body, topology based persistent identification mechanism generates ambiguity problem that usually stems from topology splitting and topology merging. Solving the ambiguity problem needs a complex method which is a combination of topology and geometry. Topology is used to assign the basic name to the entities. And geometry is used for the ambiguity solving between the entities. In the macro parametrics approach of iCAD lab of KAIST a topology based persistent identification mechanism is applied which will solve the ambiguity problem arising from topology splitting and also in case of topology merging. Here, a method is proposed where no geometry comparison is necessary for topology merging. The present research is focused on the enhancement of the persistent identification schema for the support of ambiguity problem especially of topology splitting problem and topology merging problem. It also focused on basic naming of pattern features.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 2006.05a
• /
• pp.99-104
• /
• 2006

A semi-Lagrangian finite element scheme with objective time stepping algorithm for solving viscoelastic flow problem is presented. The convection terms in the momentum and constitutive equations are treated using a quasi-monotone semi-Lagrangian scheme, in which characteristic feet on a regular grid are traced backwards over a single time-step. Concerned with the generalized midpoint rule type of algorithms formulated to exactly preserve objectivity, we use the geometric transformation such as pull-back, push-forward operation. The method is applied to the 4:1 planar contraction problem for an Oldroyd B fluid for both creeping and inertial flow conditions.

• Journal of the Korean School Mathematics Society
• /
• v.18 no.4
• /
• pp.411-429
• /
• 2015

In this study we investigated the effects of using GSP in solving geometric problems. Especially we focused the effects of GSP in leveled students' connection of geometry and algebra. High leveled students prefer to use algebraic formula to solve geometric problems. But when they did not know the geometric meaning of their algebraic formula, they could recognize the meaning after using GSP. Middle and low leveled students usually used GSP to obtain hints to solve the problems. For the low leveled students GSP was usually used to understand the meaning of the problem, but it did not make them solve the problem.

• Journal of Educational Research in Mathematics
• /
• v.16 no.4
• /
• pp.327-344
• /
• 2006

This study examined the proof levels and understanding of constituents of proving by three mathematically gifted 6th grade korean students, who belonged to the highest 1% in elementary school, through observation and interviews on the problem-solving process in relation to constructing a rectangle of which area equals the sum of two other rectangles. We assigned the students with Clairaut's geometric problems and analyzed their proof levels and their difficulties in thinking related to the understanding of constituents of proving. Analysis of data was made based on the proof level suggested by Waring (2000) and the constituents of proving presented by Galbraith(1981), Dreyfus & Hadas(1987), Seo(1999). As a result, we found out that the students recognized the meaning and necessity of proof, and they peformed some geometric proofs if only they had teacher's proper intervention.

• Journal for History of Mathematics
• /
• v.21 no.4
• /
• pp.169-182
• /
• 2008

This study has been searching for reasoning process solving the problem effectively in activities related to meaningful classification of pieces and geometric properties with tangram. In activities using some pieces of tangram, we systematically came up with every solution in classifying properties of pieces and combining selected pieces. It is very difficult for regular students to do this tangram. In order to solve this problem effectively, we need to show that there are activities using the idea acquired in reasoning process. Through this process, we do not simply use tangram to understand he concept and play for interest but to use it more meaningfully. And the best solution an not be found by a process of trial and error but must be given by experience to look or it systematically and methods to reason it logically.

• Knowledge Management Research
• /
• v.20 no.3
• /
• pp.39-47
• /
• 2019

Response surface methodology (RSM) is a group of statistical modeling and optimization methods to improve the quality of design systematically in the quality engineering field. Its final goal is to identify the optimal setting of input variables optimizing a response. RSM is a kind of knowledge management tool since it studies a manufacturing or service process and extracts an important knowledge about it. In a real problem of RSM, it is a quite frequent situation that considers multiple responses simultaneously. To date, many approaches are proposed for solving (i.e., optimizing) a multi-response problem: process capability function approach, desirability function approach, loss function approach, and so on. The process capability function approach first estimates the mean and standard deviation models of each response. Then, it derives an individual process capability function for each response. The overall process capability function is obtained by aggregating the individual process capability function. The optimal setting is given by maximizing the overall process capability function. The existing process capability function methods usually use the arithmetic mean or geometric mean as an aggregation operator. However, these operators do not guarantee the Pareto optimality of their solution. Moreover, they may bring out an unacceptable result in terms of individual process capability function values. In this paper, we propose a maximin-based process capability function method which uses a maximin criterion as an aggregation operator. The proposed method is illustrated through a well-known multiresponse problem.

• Korean Journal of Remote Sensing
• /
• v.12 no.1
• /
• pp.43-59
• /
• 1996

The objective of this research is to investigate the potential of relational matching in one of the fundamental photogrammetric processes, that is initial approximation problem. The automatic relative orientation procedures of aerial stereopairs have been investigated. The fact that the existing methods suffer from approximations, distortions (geometric and radiometric), occlusions, and breaklines is the motivation to investigate relational matching which appears to be a much more general solution. An elegant way of solving the initial approximation problem by using distinct(special) relationship from relational description is suggested and experimented. As for evaluation function, the cost function was implemented. The detection of erroneous matching is incorporated as a part of proposed relational matching scheme. Experiments with real urban area images where large numbers of repetitive patterns, breaklines, and occluded areas are present prove the feasibility of implementation of the proposed relational matching scheme. The investigation of relational matching in the domain of image matching problem provides advantages and disadvantages over the existing image matching methods and shows the future area of development and implementation of relational matching in the field of digital photogrammetry.

• Korean Journal of Computational Design and Engineering
• /
• v.14 no.5
• /
• pp.297-305
• /
• 2009

Automatic generation of the mid-surfaces of a CAD model is becoming a useful function in that it can help increase the efficiency of engineering analysis as far as it does not affect the result seriously. Several methods had been proposed previously to automatically generate the mid-surfaces, but they often failed to generate the mid-surfaces of complex CAD models. Due to the inherent difficulty of this mid-surface generation problem, it may not be possible to come up with a complete and general method to solve this problem. Since a method that can handle a specific case may not work for different cases, it seems that developing case-specific methods ends up with solving only a fraction of the problem. In this paper, therefore, we propose a method to generate mid-surfaces based on a divide-and-conquer paradigm. This method first decomposes a complex CAD model into simple volumes. The mid-surfaces of the simple volumes are automatically generated by the existing methods, and then they are converted into the mid-surfaces of the original CAD model.