• Korean Journal of Logic
• /
• v.16 no.2
• /
• pp.189-231
• /
• 2013

The purpose of this paper is to show that Williamson's counterexamples and Fara's paradox do not conclusively refute supervaluationism. I will achieve this purpose on the basis of local validity. In general, people regard supervaluational validity as global validity. And D-introduction, which is premise of Williamson's counterexamples and Fara's paradox, is justified only if we assume global validity. But it cannot correctly grasp supervaluational semantics, especially semantic character of D-operator. So I will show that validity of supervaluationism is local and define global validity by local validity. Strategy of this paper is to protect supervaluationism against Williamson's counterexamples and Fara's paradox by minimal modification of supervaluationism and to prove that supervaluational logic is not revisionary and weak for solving the sorites paradox.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.04a
• /
• pp.896-897
• /
• 2015

본 연구는 3D 이미지 스캔 데이터 기반으로, SWEEPING 형상을 효과적으로 역설계하는 기술에 관한 것이다. 사용자가 미리 정의한 형상 단면 모델 데이터베이스를 이용해, 3차원 SWEEPING 형상을 자동으로 역설계하는 알고리즘을 제안한다. 이를 위해, 3D 이미지 스캔 데이터인 포인트 클라우드에서 자동으로 추출한 단면 포인트들을 처리해, 파라메터 정보를 추출하고, 미리 정의된 형상 단면들과 상호간 유사도를 비교한 후, 가장 유사한 형상 단면을 획득한다. 이러한 기술은 SWEEPING 형상 모델의 역설계 과정을 자동화하는 데 도움을 줄 것이다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.04a
• /
• pp.6-9
• /
• 2016

최근 3D 스캔 장비 발전과 함께 물체를 스캔하여 모델링하는 역설계 기술이 발전하고 있다. 하지만 역설계를 통해 만들어진 메쉬는 3D 스캔 장비의 데이터 누락, 측정 에러와 같은 이유 때문에 무딘 모서리, 거친 표면과 같은 에러가 발생한다. 이러한 에러를 제거하기 위해 다양한 메쉬 에디팅 방법이 연구되고 있다. 대부분의 기존 방법은 특정 영역을 세밀하게 에디팅 하기 때문에 사용자 에디팅 능력에 따라 메쉬 품질이 달라지고, 에디팅 시간도 오래 걸린다. 본 논문은 프리미티브 수정을 이용한 새로운 메쉬 에디팅 방법을 제안한다. 먼저 원본 메쉬를 모양에 따라 여러 개의 메쉬 세그먼트로 나눈다. 그런 다음 각 메쉬 세그먼트에 프리미티브 타입을 지정하고 해당 파라미터를 수정하여 사용자가 원하는 모양으로 에디팅 한다. 제안한 방법은 프리미티브 수정 기반의 직관적 사용자 인터페이스를 지원하며 빠른 시간 안에 사용자가 의도한대로 에디팅 할 수 있다.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.28 no.6
• /
• pp.705-712
• /
• 2004

An inverse boundary analysis of surface radiation in an axisymmetric cylindrical enclosure has been conducted in this study. Net energy exchange method was used to calculate the radiative heat flux on each surface, and a hybrid genetic algorithm was adopted to minimize an objective function, which is expressed by sum of square errors between estimated and measured or desired heat fluxes on the design surface. We have examined the effects of the measurement error as well as the number of measurement points on the estimation accuracy. Furthermore, the effect of a variation in one boundary condition on the other boundary conditions was also investigated to get the same desired heat flux and temperature distribution on the design surface.

• Journal of KIISE
• /
• v.43 no.5
• /
• pp.562-568
• /
• 2016

Point cloud data can be expressed in a specific coordinate system of a data set with a large number of points, to represent any form that generally has different characteristics in the three-dimensional coordinate space. This paper is aimed at finding a cylindrical pipe in the point cloud of the three-dimensional coordinate system using RANSAC, which is faster than the conventional Hough Transform method. In this study, the proposed cylindrical pipe is estimated by combining the results of parameters based on two mathematical models. The two kinds of mathematical models include a sphere and line, searching the sphere center point and radius in the cylinder, and detecting the cylinder with straightening of center. This method can match cylindrical pipe with relative accuracy; furthermore, the process is rapid except for normal estimation and segmentation. Quick cylinders matching could benefit from laser scanning and reverse engineering construction sectors that require pipe real-time estimates.