• 한국산업정보학회논문지
• /
• 제14권4호
• /
• pp.37-48
• /
• 2009

가정용 서비스 로봇들은 사용자들에게 다양한 시간 추론 서비스들을 제공할 수 있어야 한다. 본 논문에서는 영역-독립적인 인공지능 계획기를 이용하여 이러한 시간 추론 서비스를 효과적으로 구현하는 방법을 제안한다. 영역-독립적인 인공지능 계획기를 이용하여 시간 추론 서비스를 개발하기 위해서는 다양한 실세계 시간 제약들을 어떻게 하나의 계획 영역 정의 언어로 표현하느냐 하는 지식 공학적 문제뿐만 아니라, 인공지능 계획기와 서비스 소비자 사이의 인터페이스를 어떻게 구현하여야 하느냐 하는 시스템 설계 문제를 함께 해결하여야 한다. 본 논문에서는 가정용 서비스 로봇이 고려해야 하는 하나의 예제 시나리오와 전형적인 시간 제약들을 제시하고, 이들을 표준 계획 영역 정의 언어로 표현하는 방법을 제시한다. 또한 본 논문에서는 새로운 시간 추론 서비스를 효율적으로 생성하고 제공하기 위해, 인공지능 계획기를 기초로 하나의 서비스 에이전트를 구현하는 방법에 대해서도 설명한다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1997년도 한국자동제어학술회의논문집; 한국전력공사 서울연수원; 17-18 Oct. 1997
• /
• pp.860-863
• /
• 1997

FCM(Fuzzy Cognitive Map) is a fuzzy signed directed graph for representing causal reasoning which has fuzziness between causal concepts. Authors have already proposed FCM-based fault diagnostic scheme. However, the previously proposed scheme has the problem of lower diagnostic resolution. In order to improve the diagnostic resolution, a new diagnostic scheme based on extended FCM which incorporates the concept of fuzzy number into FCM is developed in this paper. Furthermore, an enhanced TAM(Temporal Associative Memory) recall procedure and pattern matching scheme are also proposed.

• 한국음향학회:학술대회논문집
• /
• 한국음향학회 1993년도 학술논문발표회 논문집 제12권 1호
• /
• pp.109-112
• /
• 1993

In this paper, we propose the modified VQ, applied correlation between codewords in order to reduce the error rate due to personal and speakers' temporal variation. Such a modified VQ is used in the stage of preprocessing of HMM and the temporal variation is absorbed by nonlinear Decimation and Interpolation of vowel part that we obtain higher recognition rate than not so case. The objects of experiment are Korea 142 DDD regional names and we show that the proposed method increase the recognition rate.

• 반도체디스플레이기술학회지
• /
• 제21권2호
• /
• pp.90-94
• /
• 2022

In order to minimize the picking time when the products are released from the warehouse, they should be located close to the exit when the products are released. Currently, the warehouse determines the loading location based on the order of the requirement of products, that is, the frequency of arrival and departure. Items with lower requirement ranks are loaded away from the exit, and items with higher requirement ranks are loaded closer from the exit. This is a case in which the delivery time is faster than the products located near the exit, even if the products are loaded far from the exit due to the low requirement ranking. In this case, there is a problem in that the transit time increases when the product is released. In order to solve the problem, we use the idle time of the stocker in the warehouse to rearrange the products according to the order of delivery time. Temporal difference learning method using Q_learning control, which is one of reinforcement learning types, was used when relocating items. The results of rearranging the products using the reinforcement learning method were compared and analyzed with the results of the existing method.

• 한국정보과학회논문지:데이타베이스
• /
• 제35권1호
• /
• pp.54-66
• /
• 2008

시공간 데이타베이스에서 조인 연산은 매우 많은 비용이 소요되며, 시공간 조인 연산의 효율적인 질의 실행 계획을 세우기 위해 조인 연산에 대한 정확한 선택도 추정은 질의처리 성능에 결정적이다. 주어진 두 이산 데이타집합 $S_1,\;S_2$의 타임스탬프 $t_q$에서 시공간 조인 연산은 타임스탬프 $t_q$에서 서로 교차하는 모든 객체 쌍을 검색하는 것이다. 시공간 조인 연산의 선택도 추정치는 검색된 객체 쌍의 수를 $|S_1{\times}S_2|$로 나눈 값이다. 이 논문은 공간 조인 연산의 선택도 추정 기법인 기하 히스토그램 기법을 확장하여 시공간 조인 선택도 추정을 위한 시공간 히스토그램을 제안한다. 균일 데이타 집합과 편중 데이타 집합 모두를 사용하여 제안된 히스토그램 기법으로 시공간 조인 연산의 선택도를 정확하게 추정할 수 있다는 것을 증명하였다. 본 논문의 기여도는 먼저 이산 데이타 집합에 대한 시공간 조인 선택도 추정 연구의 첫 시도를 하였으며 다음으로 이산 객체의 유효시간 동안의 공간 통계정보를 압축하여 히스토그램을 재구축하는 효율적인 유지기법을 제안하였다.

• 한국항공우주학회지
• /
• 제50권3호
• /
• pp.147-155
• /
• 2022

항공기 및 철도차량 운용 중 발생하는 착빙 및 착설 현상은 공력 성능 감소와 주요 부품의 파손을 야기하기 때문에 시간에 따른 얼음 증식을 예측하는 것이 운용 안전 측면에서 매우 중요하다. 결빙수치해석은 실험적 방법에 비해 경제적으로 저렴하고 상사성 문제로부터 자유롭다는 점에서 결빙 형상을 예측하기 위한 수단으로 널리 사용되고 있다. 그러나 결빙수치해석은 착빙노출시간을 multi-step으로 나누어 매 단계별로 정상상태를 가정하는 준정상상태(quasi-steady) 가정을 이용한다. 이러한 방법은 효율적인 해석이 가능하지만 연속적인 결빙 형상을 얻지 못한다는 단점을 가지고 있다. 본 연구에서는 차원축소기법을 활용하여 결빙 형상 데이터를 보간함으로써 시간에 따른 결빙 형상을 연속적으로 예측할 수 있는 모델을 만드는 것을 목적으로 한다. 서로 다른 100개의 결빙 조건에서 형성된 결빙 데이터에 대하여 차원축소모델을 적용하였으며, 학습 데이터의 수와 결빙 조건이 차원축소모델의 예측 오차에 미치는 영향을 분석하였다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제11권9호
• /
• pp.289-304
• /
• 2022

스마트 IoT의 특징인 분산성 및 이동성에 기반한 안전 요구사항을 분석 및 검증하기 위한 프로세스 대수 및 논리가 요구된다. 하지만 기존의 프로세스 대수 및 논리는 분산성 및 이동성에 대한 표현이 제한적이므로 스마트 IoT의 요구사항 분석 및 검증이 비직관적이다. 이러한 한계를 극복하기 위해, 본 논문에서는 GTS-VL(Geo-Temporal Space-Visual Logic)을 제시한다. GTS-VL은 GTS에서 표현된 블록 간의 관계를 다루는 1차술어논리이며, GTS는 프로세스 대수인 dTP-Calculus를 사용하여 명세한 시스템의 동작 과정을 2차원 시공간에서 표현한 그래프이다. 본 논문에서 사용한 SAVE 도구는 ADOxx Meta-modeling Platform을 통해 개발되었으며, SAVE를 사용하여 PBC(Producer-Buffer-Consumer) 예제의 안전 요구사항을 분석 및 검증하고 문자 및 시각화 기반 검증 방법을 비교 분석하여 장점 및 실용성을 보인다.

• 한국연소학회:학술대회논문집
• /
• 한국연소학회 2004년도 제29회 KOSCI SYMPOSIUM 논문집
• /
• pp.55-61
• /
• 2004

Leading front of a lifted diffusion flame in turbulent mixing layer was investigated in order to find a appropriate definition of the turbulent edge propagation speed. The turbulent lifted diffusion flame was simulated by employing the flame hole dynamics combined with level-set method which yields a temporally evolving turbulent extinction process. By tracing the leading front locations of the temporal flame edges, temporal variations of the liftoff height, local flow velocity, and edge propagation speed at the leading front were investigated and they demonstrated the flame-stabilization condition of the turbulent lifted flame. Finally, a turbulent edge propagation speed was defined and its temporal variation from the simulation was discussed.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권11호
• /
• pp.1560-1567
• /
• 2004

모델 체킹에서 고려해야 할 상태의 수는 모델의 크기에 따라 지수적으로 증가한다. 이것을 상태 폭발 문제라고 부르며 이를 해결하기 위한 방법으로 추상화, 반순서, 대칭성 등이 폭 넓게 사용되고 있다. 이들 방법들은 모델의 구조 정보를 이용하여 모델의 크기를 축소하는 데 목표를 두고 있다. 이와는 달리, 본 논문에서는 논리식을 순서적으로 분할하여 차례대로 모델 체킹을 수행하는 릴레이 모델 체킹을 제안한다. 그리고 기존 모델 체킹 기법으로 해결하지 못했던 상태 폭발 문제를 릴레이 모델 체킹으로 해결한 경험을 기술한다.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송공학회 2010년도 하계학술대회
• /
• pp.64-66
• /
• 2010

In this paper, we propose a temporal diversity scheme based on the vector perturbation for a multiuser multipleinput multiple-output (MIMO) broadcasting system. Our method is inspired by the fact that precoding process of the vector perturbation designed to suppress the multiuser interference causes a reduction of the transmitted signal power. In order to boost up the transmit power, we employ a non-integer based vector perturbation together with temporal transmit diversity. We show from the simulation on 10${\times}$10 multiuser MIMO system that the proposed method outperforms the epetition coded vector perturbation scheme as well as the standard vector perturbation.