http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이건수(Gun Soo Lee),권기현(Gi Hwon Kwon) 한국정보과학회 1995 한국정보과학회 학술발표논문집 Vol.22 No.1
수행된 오퍼레이션들의 집합을 트레이스라 부른다. 주어진 트레이스가 옳바른지를 나타내는 합법성, 트레이스들간의 동치관계, 그리고 주어진 트레이스의 값을 구하는 것이 트레이스 명세의 핵심사항들이다. 지금까지는 오퍼레이션들간의 관계를 이용하여 트레이스 명세를 작성했다. 그 결과 트레이스 명세는 대수적 명세와 비슷하다. 본 논문에서는 상태를 기반으로한 트레이스 표현방법을 제안한다. 트레이스 명세는 모델 기반의 VDM 정형적 명세로 부터 추출된다. 이러한 트레이스의 명세는 객체의 행위를 밝히는데 유용하게 사용되며, 명세의 여러가지 성질들을 검증하는데 유용하다.
스칼라 로봇을 이용한 구강 내 스캐너 자동 스캐닝 시스템 개발
이건수(Gun Soo Lee),박강(Kang Park) (사)한국CDE학회 2013 한국 CAD/CAM 학회 학술발표회 논문집 Vol.2013 No.1
Intra-oral scanner is a system which measures the 3D structure of teeth by inserting directly into a patient’s mouth. Generally in dentists insert semisolid material like alginate into the patient’s mouth for measuring structure of teeth. So it takes long time and low accuracy. On the other hand, Intra-oral scanner can measure teeth quickly and high accuracy. But Intra-oral scanner is sensitive to hand’s vibration when it captures images with a camera. Automatic scanning system can eliminate the vibration error because it’s installed on the end point of SCARA robot arm. And it can help to reconstruct 3D structure of all teeth because automatic scanning system provides scanner’s poses and positions using each motor’s degree values. It is possible to measure patient’s teeth shape fast and correctly. The automatic scanning system is proposed in this paper and forward kinematics and inverse kinematics, velocity planning are calculated.
이건수(Gun Soo Lee),권기현(Gi Hwon Kwon) 한국정보과학회 1995 한국정보과학회 학술발표논문집 Vol.22 No.2B
수학을 기반으로 하는 정형적 명세는 의미가 분명하며, 완전성 및 일관성의 증명이 쉽다. 그러나 정형적 명세에서는 명세 자체의 정확성은 증명할 수 없다. 명세는 사용자의 요구사항을 정확히 반영하고 있는지 테스트 되어야 한다. 정확성 여부의 확인(validation)을 위하여 테스트케이스를 이용하여 명세를 실행하며, 모델 기반(model based)의 명세 실행을 애니메이션이라 부른다. Z 명세를 애니메이션하는 본 연구와 기존 연구와의 차이점은 다음과 같다. 첫째, 기존의 애니메이션 연구는 대부분 함수적 방식 혹은 논리적 방식이었으나, 우리는 객체-지향 방식으로 애니메이션 하였다. 둘째, 기존 연구에서의 애니메이션 프로그램은 명세의 확인작업후 폐기처분 되었으나, 우리의 연구에서는 애니메이션 프로그램이 객체지향 설계단계에 활용된다. 이러한 아이디어를 Z 로 작성된 전화번호부 명세의 애니메이션에 적용해 보았다.
텍스트 마이닝을 활용한 고등학교 영어 교과서 어휘 목록 개선방안에 대한 제안
김연주 ( Kim Yeon-joo ),이건수 ( Lee Gun-soo ) 대한언어학회 2016 언어학 Vol.24 No.4
The purpose of this study is to propose a way of revising high school English textbooks. We extracted 300 engineering and IT-related vocabularies from American math & science textbooks and English newspapers to be reflected on the textbook revision. The proposed revision including the extracted words is deemed highly necessary in the current hi-tech age as Korea has emerged as an IT power nation. The IPA method was used for a survey to find out whether college students feel the necessity of the early ESP instruction. The 300 words were selected through POS tagging and frequency analyses after basic lexical items were removed by stop-word lists by utilizing text mining techniques. It is expected that such a revision would greatly facilitate students` understanding of engineering fields and enhance their ESP communication skills at the college level if the newly revised English textbooks could be used for high school English education prior to college.
홍성민(Sung Min Hong),이건수(Gun Soo Lee),박강(Kang Park) (사)한국CDE학회 2012 한국 CAD/CAM 학회 학술발표회 논문집 Vol.2012 No.2
최근 많은 사람들의 친환경적 생활의 요구에 맞춰 우리 전통 한옥의 수요가 늘고 있으며 한옥 부재 가공의 자동화가 필요한 실정이다. 이를 위해 가공에 적합한 새로운 가공기계가 필요하며 기계에 투입되는 원목의 가공 가능 여부를 판단하기 위해 형상의 측정이 필요하다. 이 논문에서는 가공기계에 투입하는 목재를 레이저 슬릿빔(slit-beam)과 카메라를 이용하여 형상을 측정하는 방법을 제시한다. 광 삼각법은 카메라와 물체, 레이저간의 위치를 서로 연결한 삼각형으로 비례관계를 이용해 이미지평면상의 픽셀좌표를 물체의 좌표로 기하학적으로 계산하는 방법이다. WSTM(Whole-Space Tabulation Method)는 실험을 통해 각 높이당 픽셀 좌표 값을 LUT(Loockup Table)에 저장하고, 물체를 측정하여 그 픽셀값을 LUT 를 이용해 물체 좌표로 변환하는 방법이다. 이 논문에서는 위 두 가지 방법을 사용하여 목재의 휨을 측정하고 두 방법간의 정확도를 비교해 보았다.
홍성민(Sung-min Hong),Furqan Ullah,이건수(Gun-soo Lee),박강(Kang Park) (사)한국CDE학회 2013 한국CDE학회 논문집 Vol.18 No.2
Han-ok (the Korean traditional house) is famous for its beauty and healthful aspects. However, its construction cost is too high because of the manual process of parts such as rafter, timber, etc. These days, many people want to build a modernized Korean traditional house at a low cost. In order to do so, the rafter machining process is required to be automatized using a CNC machine. It is also observed that, generally the timber does not have a uniform shape. Therefore, it is also needed to examine the timber shape before starting its processing. This paper presents the concept design of the rafter processing CNC machine, and a 3D laser scanning system. The laser scanner is developed to acquire 3D details of the timber shape. Furthermore, the results of simulated experiments are presented to investigate surface roughness during the machining process of the timber. Since cutting parameters largely influence on surface roughness and cusps formation, it is needed to achieve optimal machining parameters. Several experiments were carried out changing cutting parameters such as cutting tool diameter, feed-rate, and spindle speed.
곡면 서까래 가공 가능성 판정을 위한 원목과 서까래 CAD 모델의 매칭
홍성민(Sung-Min Hong),Furqan Ullah,이건수(Gun-Soo Lee),박강(Kang Park) (사)한국CDE학회 2013 한국 CAD/CAM 학회 학술발표회 논문집 Vol.2013 No.1
Various types of rafters are used in Korean traditional house and timber is processed to make them. Since the shape of the timber is not regular, it is needed to scan the shape of the timber using a laser scanner and compare it with that of CAD model, and finally check if it is possible to be processed. In order to do it, the CAD model should be placed at right position inside of the scanned data of the timber. The center line and bounding volume of both timber and the CAD model are extracted. Then, using bounding volume information the CAD model is placed at the right position and using center line information the orientation of the CAD model is found. The processibilty is finally checked by calculating the volume to be removed.
정창무(Jung Chang-Mu),안지하(Ahn Ji-Ha),이건수(Lee Gun-Soo),송소민(Song So-Min),이효중(Lee Hyo-Jung) 대한국토·도시계획학회 2008 國土計劃 Vol.43 No.7
The purpose of this paper is to investigate the influence of housing unit plan and condominium site configuration on the housing price in Paju. For the analysis, this study utilized regression modelling techniques with the data from 318 condominium buildings of 25 sites in the Paju city using Space Syntax methodology to measure the relative connectivity and space integration. The results shows that space configuration exerts significant influence on housing prices. A real relative asymmetry(RRA) of spatial layouts of kitchen and a mean depth(MD) of bathroom at unit floor plan are deeply related to the housing prices.