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

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

• Korean Journal of Logic
• /
• v.17 no.2
• /
• pp.287-322
• /
• 2014

We put forward a scheme of the theory of analysis, and G. E. Moore's theory of analysis is reconstructed. As C. H. Langford pointed out, Moore's theory commits to the paradox of analysis which says that if a analysis is correct then it is not informative, and if it is informative it is not correct. For, according to his theory, analysing statement is necessarily true identity statement and have some information. Moorean responses which is given by Max Black, Raymond Bradley and Norman Swartz, and Wilfrid Sellars rely on the distinction between the information about concepts and linguistic entity. These approaches are deficient in dealing properly with the difference in concepts as analysandum and analysans. Also, non-Moorean resolutions asserted by Myers, King, Black, and Earl are examined.

• 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.

• Korean Journal of Logic
• /
• v.3
• /
• pp.115-125
• /
• 2000

제논이 내세운 역설에서 시작한 톰슨과 베나세라프의 초능력 작업 논의는 이제 그 논의 자체가 독립된 논의가 된 듯하다. 이 글에서는 그 초능력 작업이 톰슨이 말한 대로 불가능한가를 논의한다. 그래서 이 논의가 해결되기 위해서는 열린 문제 하나가 해결되어야 함을 지적한다. 따라서 이 논의가 제논의 역설을 충실히 반영하고 있는가 하는 점은 관심 밖이다.

• The Korean Journal of Financial Management
• /
• v.10 no.2
• /
• pp.161-179
• /
• 1993

본 논문은 벡터자기상관(VAR) 모형과 벡터자기상관이동평균(VARMA) 모형을 사용하여 명목금리와 물가(도매물가)사이의 동태적 관계를 분석한다. 명목금리와 물가사이의 정(+)의 상관관계는 소위 $\ulcorner$깁슨의 역설$\lrcorner$로 불리워지고 있는데, 실증분석 결과에 의하면 한국의 경우 깁슨의 역설은 존재하지 않는 것으로 보여진다. 과거의 많은 연구들이 $\ulcorner$깁슨의 역설$\lrcorner$을 지지하는 실증결과들을 발견한 것은 관련변수들의 안정성(stationarity)을 고려치 않은 것으로 판단된다. 본 논문에서처럼 관련변수들의 안정성을 얻기위해 수준변수(예를들면, 도매물가지수) 대신에 차분되거나 증가율을 사용하고, 금리 및 물가이외에 두변수에 영향을 줄 수 있는 변수(예를들면, 통화변수)들을 포함하는 다변수 모형을 이용한다면 우리나라에서는 $\ulcorner$깁슨의 역설$\lrcorner$은 발견되지 않은 것으로 보여진다. 즉, 회사채 수익율과 도매물가상승율을 명목금리와 물가변수로 각각 사용하고, $1972.III{\sim}1991.III$사이의 분기별 자료를 대상으로 분석한 결과, 두변수 사이의 관계는 일방적 인과관계보다는 독립적인 관계로 나타나고 있다.

• Korean Journal of Logic
• /
• v.16 no.1
• /
• pp.17-43
• /
• 2013

Recently Byeong-Uk Yi has attempted to provide a novel solution to the paradox of before-effect by arguing that, upon drawing our attention to the notion of collective causation, we realize that there is a straightforward solution to the paradox. My aim in this paper is to show that Yi's solution fails. To this end, after making explicit two sources of the puzzlement in the paradox of before-effect, I set two requirements one must meet to resolve the paradox. And I argue that Yi's solution cannot meet both requirements at the same time.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.9
• /
• pp.5870-5876
• /
• 2014

The aim of this study was to suggest the System Architecture for Effective Architectural MEP Pipe Reverse Design(PRD) based on the Point Cloud and derive the consideration. To do this, the requirement and use-cases related to the MEP pipe reverse design work were defined and the architecture for the reverse design automation was proposed. To identify a consideration for finding the architecture issues, a prototype was developed using the architecture and evaluated.

• Korean Journal of Construction Engineering and Management
• /
• v.15 no.3
• /
• pp.3-11
• /
• 2014

Recently, remodeling construction project has been prevalently conducted in major city areas in Korea. However, remodeling construction project has a difficulty in conducting a construction because of non-existing drawing or lack of drawing information. To solve these problems, modeling techniques by using reverse engineering have been widely studied in other industries such as aerospace and automobile industry. But reverse engineering techniques have not been used in remodeling construction projects because those technology haven't supplied less accuracy during required time for surveying. So, this study suggests optimal method of acquiring accurate 3D laser scanner information for reverse engineering at interior remodeling project.

• Korean Journal of Logic
• /
• v.19 no.3
• /
• pp.341-368
• /
• 2016

Asserting a sentence of the form "p but I do not believe that p" sounds inappropriate, and even absurd or contradictory. The problem that Moore's paradox raises is to explain why asserting such a sentence is absurd despite the fact that there is apparently no logical contradiction in it. Many of the influential accounts of Moore's paradox try to locate its source in the nature of belief or in the nature of assertion. In this paper, I argue that these accounts are not satisfactory, and develop and defend a novel account. According to this account, the source of Moore's paradox should be located in self-reference. Self-reference is constituted by a certain disposition to form second-order beliefs. A subject who is ready to assert "p but I do not believe p" fails to conform to the disposition that is constitutive of self-reference, while at the same time referring to the relevant individual with "I."

• Proceedings of the KSLP Conference
• /
• 2015.03a
• /
• pp.23-23
• /
• 2015