• Proceedings of the Korea Information Processing Society Conference
• /
• 2017.04a
• /
• pp.896-899
• /
• 2017

본 논문에서는 일상생활 환경에서 동작하는 지능형 서비스 로봇을 위한 시 공간 상황 질의 언어와 질의 처리 방안을 제안한다. 서비스 로봇이 외부 환경 변화를 정확히 인식하고 행동 절정에 신속히 반영하기 위해서는 로봇 내부에서 관리되는 상황 지식들이 매우 높은 시간 의존성을 가져야 한다. 본 논문에서 제안하는 상황 질의 언어인 RCQL은 시간 의존성이 높은 공간 관계 상황 지식들을 효과적으로 표현할 수 있도록 Allen의 간격 대수 이론에 기초한 시간 연산자들을 포함하고 있다. 물체들 간의 고수준 공간 관계 상황 지식을 조회하는 RCQL 질의들에 신속히 답하기 위해, 본 논문에서는 후향 정량 추론을 포항한 질의 처리기의 설계 방안도 제시한다. 다양한 실험을 통해 본 논문에서 제안하는 상황 질의 언어와 질의 처리 방안의 우수생을 확인할 수 있었다.

• Proceedings of the KIEE Conference
• /
• 2004.07d
• /
• pp.2239-2241
• /
• 2004

이 논문은 최적 제어 설계방법 중 하나인 LQR 제어기의 과도 상태를 개선하는 방법에 관한 연구이다. 적절한 상태가중행렬과 제어가중행렬을 설정한 후 대수 Riccati 방정식을 풀면 LQR 제어기가 설계된다. 그런데 이 가중행렬은 시행착오 방법을 이용하여 설정하기 때문에 설계된 제어기의 과도 상태를 개선하기 하기가 매우 어렵다. 이러한 문제점을 해결하기 위한 방법으로 closed-loop 근과 가중행렬과의 상관관계를 수학적으로 표현하고, 이를 바탕으로 설계조건을 만족하도록 시스템의 근을 이동시키는 가중행렬을 구하는 방법을 제시한다. 원운동형 도립진자(rotary type inverted pendulum)를 통해 matlab 모의실험으로 그 타당성을 검증한다. 얻어진 결과를 이용하면 원하는 극점을 갖는 LQR 제어기를 체계적으로 설계할 수 있다.

• The Journal of Korean Association of Computer Education
• /
• v.15 no.1
• /
• pp.65-72
• /
• 2012

Generally, a logic function has many factored forms. The problem of finding more compact factored form is one of the basic operations in logic synthesis. In this paper, we present a new method for factoring Boolean functions to assist in educational logic designs. Our method for factorization is to implement two-cube Boolean division with supports of an expression. The number of literals in a factored form is a good estimate of the complexity of a logic function. Our empirical evaluation shows the improvements in literal counts over previous other factorization methods.

• Review of KIISC
• /
• v.5 no.1
• /
• pp.25-46
• /
• 1995

소프트웨어 개발에서, 사용자 요구 사항을 잘 표현하면 할수록 시스템은 오류가 적고, 사용자가 요구하는 시스템으로 만들어지며, 시스템 검증이 쉬워지는 것 같이, 정형적 사양(formal specification)은 시스템 개발 전반에 영향을 준다. 이 정형적 사양은 암호 프로토콜이 완전(completeness)하고 안전(soundness)한가를 검증하는 데에도 유용하게 사용될 수 있다. 암호 프로토콜을 사양하고 분석하는 방법은 크게 대수적, 논리적, 상태 변환적 접근 방법등과 통신 프로토콜의 검증에 쓰는 패트리넷을 이용한 방법등이 있다. 이들 방법중에는 프로그램으로 구현되어 자동 검증 tool로 개발된 사례도 있다. 본 고에서는 암호 프로토콜을 위한 사양 기법과 그에 따른 분석 기법을 알아보고 그것들을 비교, 분석하였다.

• Communications of Mathematical Education
• /
• v.22 no.1
• /
• pp.79-89
• /
• 2008

In this study, we study on various positions and equations of trisectors of angle. We analyze article related with trisector's equation of angle. We elaborate the article, investigate various case of angles, and find out new equations of trisectors of angle.

• Communications of Mathematical Education
• /
• v.21 no.3
• /
• pp.515-525
• /
• 2007

In this study, we study on equations of bisector and trisectors of angle. We analyze various studies related with bisector and trisectors of angle. As a result we have known that trisectors of angle is able to received by paper folding method. Using some concepts of vector we have described equations of bisector and trisectors of angle.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.4 no.1
• /
• pp.13-23
• /
• 1994

실용적인 퍼지 데이타베이스 시스템을 구축하는데 장애 요인중의 하나는 근접관계와 같은 의미 데이타를 습득하는 것이다. 근접관계란 어떤 도메인에서 데이타들간의 근사 혹은 유사한 정도를 정량적으로 표현한 것이다.퍼지 데이타베이스 시스템은 부정확한 질의를 처리할때 이런 근접관계를 이용한다. 지금까지 근접도를 측정하는 체계적인 방법은 별로 알려진 것이 없고 대부분은 근접관계는 미리 주어진다는 가정하에 퍼지 데이타베이스를 연구하여 왔다. 본 논문에서는 퍼지 질의 처리에 필요한 근접관계 생성 방법을 제안한다. 제안된 방법은 퍼지 잡합의 퍼지척도 측정 이론에 기반을 두었기 때문에 간단하고 체계적이며, 각 데이타에 특정값만 부여함으로써 해당 도메인내의 데이타들과의 근접도를 자동적으로 구할 수 있다. 특히 조정 변수를 이용하여 도메인내의 근접도 간격을 조절할 수 있어 실제 응용분야에 맞게 조절할 수가 있다.퍼지 질의 처리를 위한 근접도 생성방법이 별로 발표되어 있지 않은 현 상황에서 본 논문에서 제시한 방법은 실용적인 퍼지 데이타베이스를 구현할때에 필요한 근접관계 관리 모듈에 사용될 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10a
• /
• pp.7-10
• /
• 2001

웹의 특징인 조작의 간편함, 뛰어난 접근성 등으로 인해 웹을 통한 지리정보의 검색, 접근을 위한 웹 맵 서비스의 요구가 증대되고 있다. 지리정보 분야의 대표적인 컨소시움인 OGC 를 통해서 웹 맵 서비스를 위한 표준 인터페이스가 정의됨에 따라 향후 웹을 통한 지리정보의 공유가 활발히 진행될 것으로 예상된다. 그런데, 현재 정의된 웹 맵 서비스에는 3 차원 맵 서비스를 고려하고 있지 않다. 왜냐하면, 3 차원 데이터 모델에 따라 구축된 공간 데이터가 거의 없으며, 맵 출력을 위한 출력 요소 정의 언어인 SVG 또는 WebCGM 등이 3 차원 기하를 표현할 수 없기 때문이다. 이 논문에서는 OCG 의 웹 맵 서비스를 위한 표준 인터페이스를 준수하면서, 최소한의 확장을 통해 3 차원 맵 서비스를 지원하기 위한 웹 맵 서비스 컴포넌트를 제안한다. 3 차원 맵은 2 차원 공간 데이터와 속성 정보를 이용하여 생성하므로, 3 차원 공간 데이터베이스 구축을 위한 추가의 비용이 발생하지 않는다.

• Journal of the Korean Society of Fisheries and Ocean Technology
• /
• v.34 no.1
• /
• pp.43-51
• /
• 1998

수중에서 어류들이 색이시 생물적인 목표물이나 어로작업시 어구 등의 시각자극과 최대탐지거리 등을 예측하기 위해서 어류의 주된 시각 예민도 요소인 명암대비 역치와 최소 분해각을 수치모델링 하였다. 어류시각의 명반응과 순반응에 따라 명암대비 역치와 최소분해각은 배경휘도와 체장에 따른 자연대수의 함수로 표현하였다. 이 때 관련된 수식의 계수들은 기존의 실험 결과나 어종간의 시각 예민도 등에서 추정할 수 있었으며 또한 생리 생태나 개체차 등도 조정할 수 있다. 본 모델은 먹이생물이나 어구 등의 시각자극에 의한 시인정도와 시정 등의 추산에 이용될 수 있으며, 아울러 전반적인 수중 광학적인 조건하에서 시각자극의 세기에 따른 시각 예민도와 그 반응에 의한 어류행동 모델에 응용될 수 있을 것이다.

• Journal of the Korean School Mathematics Society
• /
• v.10 no.2
• /
• pp.207-219
• /
• 2007

Students have a hard time with a formal proof, which is one of most important part in mathematics education. They were taught the proof with algebraic visual materials using technology and specialized visual materials. But, they experienced the difficulty in justifying due to the lack of experimental recognition with the representation using technology. The specialized visual materials limited the extension of mathematics thinking of students because it worked only for the case that is fixed. In order to solve this type of problem, we made algebraic visual materials for 9th graders using technology and generalized visual materials so that students experience for themselves to help them to experience experimental justification, thus we recognized that they were improved in enhancing mathematical thinking.