http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
정형 기법을 이용하여 기능적으로 정확한 컨트롤러 개발 사례
김태균 ( Taekyun Kim ),권기현 ( Gihwon Kwon ),조지만 ( Jiman Cho ),정도균 ( Dokyun Jung ),이상은 ( Sangeun Lee ) 한국정보처리학회 2012 한국정보처리학회 학술대회논문집 Vol.19 No.2
항공, 자동차, 로봇 등 안전-필수 분야에서 IT 융합 기술이 널리 사용되고 있다. 이들 분야에서 사용되는 IT 핵심 요소 중의 하나가 컨트롤러이다. 컨트롤러의 오 동작은 안전과 매우 밀접하기 때문에, 개발된 컨트롤러의 기능이 정확하다는 것을 입증해야 한다. 본 논문에서는 정형 기법을 이용하여 기능적으로 정확한 컨트롤러 개발 사례를 보인다.
김태균 ( Kim Taekyun ) 한국디자인트렌드학회 2008 한국디자인포럼 Vol.21 No.-
과거의 로봇들이 인간의 지시를 그대로 수행하는 수준이었다면 최근 로봇은 수백 배로 빨라진 데이터 처리 기술과 다양한 센서의 개발로 스스로 학습하고 인간과 감정을 교류하는 수준으로까지 발전했다. 인간의 생활에 깊게 파고들어 그들과 대화를 나누고 생활의 편의를 도와주며 마치 친구와 같이 음악을 연주해주거나 가사 활동 등 일상생활을 대신하는 인간 친화형 로봇-휴머노이드(Humanoid)들의 등장이 이미 현실화 되고 있다. 지금까지의 인간친화형 로봇연구는 구현중심의 기술위주로 이루어져 사용자 중심의 디자인 연구는 미흡한 실정이다. 따라서 인간과 로봇이 이상적으로 상호 작용될 수 있는 디자인 측면의 기반연구가 절실히 요구되는 시점에서 본 연구는 체계적인 로봇디자인 연구를 위해 조형변수를 통한 정성분석을 하나의 방법론으로 제안하고 로봇의 조형변화 트렌드를 파악하는데 연구 목적이 있다. 2000년 이후 출시된 Human Service 로봇을 중심으로 질감을 제외한 1차 조형변수 7개와 2차 조형변수 8개를 사용하였다. DEMATEL법을 사용하여 조형 변수들 간의 직·간접영향 관계를 분석하고 정량화하였다. 로봇의 조형변화를 알아보기 위해 FPQA법을 통하여 도출된 결과를 비교·분석하였으며 조형변수간의 원인·결과 관계를 도출하고 그 관계가 전체적인 조형에 영향을 주는 것을 알 수 있었다. 로봇을 포함한 제품의 조형을 인식하는데 있어 조형변수가 필요하며 이를 바탕으로 시대에 따라 조형이 변화함을 알 수 있었고, 로봇의 조형 변화 예측이 가능함을 알 수 있었다. 휴머노이드 로봇의 역사가 짧아 조형의 변화가 어떠한 방향으로 변화하고 있다고 이야기하기에 어려움이 있으나 기술적인 측면을 배재한 로봇의 조형적 측면에 대한 분석은 향후 휴머노이드 로봇 조형을 연구함에 있어 하나의 방법론으로 활용될 수 있을 것이라 판단된다. As for the study on the humanoid robot, because it was done on the basis of technique centered on embodiment, the study on design centered on users has been insufficient so far. This Study, at the present time when inevitable is the systematic basic study on the design which human and robot interact with, purposes to grasp the trend of robot form with presenting a qualitative analysis through the form parameter as a method theory. This study used 7 units of the first form parameter and 8 units of the second ones except texture, centering on human service robots produced after 2000. It quantized with analyzing the direct and indirect influence relations among the form parameter through DEMATEL method. It, in order to grasp the modeling movement of robot, compared and analyzed the results originated through FPQA method and drew the relationship between cause and result among the form parameter. In the result, it could be known that the relationship affected the whole forms. In conclusion, it can be known that some form parameter exist for the recognition of form, the product form changes on the basis of the parameter and how the form of humanoid robot has changed so far.
LTL Synthesis 와 그래프 커버리지를 이용한 GUI 테스트 경로 생성
김태균(Taekyun Kim),조민택(Mintaek Cho),권기현(Gihwon Kwon) 한국정보과학회 2011 한국정보과학회 학술발표논문집 Vol.38 No.1A
LTL Synthesis 와 그래프 커버리지를 이용하여 시스템의 요구사항으로 속성을 추출하여 GUI 의 테스트경로 생성에 대하여 설명한다. LTL Synthesis는 GR formula 라는 특수한 형태를 사용하여 시스템의 상태, 환경으로부터의 입력 정보와 시스템의 행위, 상위 수준의 작업의 작업 명세를 입력으로 받아 GR formula 형태로 변환하고, 기대되는 작업이 실현 가능하면 오토마타를 생성한다. 이렇게 생성된 오토마타에 그래프 커버리지를 이용하여 실행 가능한 GUI 테스트 경로를 생성하여 시스템을 검사한다.
상황 인식 시스템의 서비스 명세를 시제 논리로 표현하기
김태균(Taekyun Kim),조민택(Mintaek Cho),권기현(Gihwon Kwon) 한국정보과학회 2012 한국정보과학회 학술발표논문집 Vol.39 No.1B
상황 인식 시스템에서, 핵심 요소 중의 하나가 서비스 명세이다. 지금까지 서비스 명세를 표현하기 위해서 생성 규칙, 마크업 기반 언어 및 온톨로지 기반 언어 등이 사용되었다. 이들과는 다르게, 본 논문에서는 병행 시스템 및 반응형 시스템의 속성 명세에 널리 사용되는 시제 논리를 이용하여 상황 인식 서비 스를 명세하고자 한다.