• 논리연구
• /
• 제16권3호
• /
• pp.437-452
• /
• 2013

이 논문에서 우리는 다음의 두 가지를 보인다. 첫째로 양은석(2009)에서 소개된 체계 $UL_{wt}$를 위한 표준 완전성 증명에 문제가 있음을 보인다. 둘째로 이러한 증명은 대신 모노이드 t-규범 논리 MTL을 위한 새로운 표준 완전성 증명에 사용될 수 있음을 보인다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2013년도 춘계학술발표대회
• /
• pp.236-239
• /
• 2013

사람과 휴모노이드 로봇 간의 상호작용에 대한 연구는 로봇 연구의 핵심이다. 본 논문에서는 휴모노이드 로봇인 나오 로봇을 통해 서비스 로봇과 사람 간의 상호작용 방법을 연구한다. 특히 로봇이 사람에게 서비스를 제공함으로써 발생하는 상호작용에 초점을 둔다. 로봇이 서비스를 제공하기 위해서는 모터 프리미티브와 작업을 사전에 정의하는 것이 필요하다. 본 논문에서는 작업을 생성하기 위하여 필요한 모터 프리미티브 데이터를 생성하는 시스템을 제안한다. 본 연구에서 설계한 시스템은 모터 프리미티브를 생성하는 단계까지이며, 향후 연구에서는 작업을 생성하는 하기 위한 기반 시스템으로 활용될 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
• /
• pp.36-38
• /
• 1998

객체지향 데이터베이스 시스템의 표준 질의어로 사용되는 OQL은 SQL과 달리 select-from-where절 어디서나 중첩 질의를 자유롭게 허용하며, 이러한 중첩 질의는 질의어 수행 성능에 중요한 영향을 미치므로, OQL을 처리하는 질의 처리기에서는 이를 반드시 고려해 주어야 한다. 본 논문은 모노이드 컴프리핸션 해석(monoid comprehension calculus)을 이용하여, OQL 질의 처리기에서 중첩 질의의 중첩 구조를 제거할 수 있도록 해주고, 나아가 기존 질의 처리기에서 중첩질의 처리 기능을 추가하는데 있어, 이미 구현되어 있는 질의 최적화 모듈과 질의 수행 모듈의 수정을 최소화할 수 있는 중첩 질의 구조 제거용 전위 모듈(unnesting front-end)을 설계하고 구현하였다.

• 한국IT서비스학회지
• /
• 제7권4호
• /
• pp.221-230
• /
• 2008

Green's relations are five equivalence relations that characterize the elements of a semigroup in terms of the principal ideals. The J relation is one of Green's relations. Although there are known algorithms that can compute Green relations, they are not useful for finding all J relations in the semigroup of all $n{\times}n$ Boolean matrices. Its computation requires multiplication of three Boolean matrices for each of all possible triples of $n{\times}n$ Boolean matrices. The size of the semigroup of all $n{\times}n$ Boolean matrices grows exponentially as n increases. It is easy to see that it involves exponential time complexity. The computation of J relations over the $5{\times}5$ Boolean matrix is left an unsolved problem. The paper shows theorems that can reduce the computation time, discusses an algorithm for efficient J relation computation whose design reflects those theorems and gives its execution results.

• 음성과학
• /
• 제11권4호
• /
• pp.29-42
• /
• 2004

This paper presents an implementation of real-time speaker localization using audio-visual information. Four channels of microphone signals are processed to detect vertical as well as horizontal speaker positions. At first short-time average magnitude difference function(AMDF) signals are used to determine whether the microphone signals are human voices or not. And then the orientation and distance information of the sound sources can be obtained through interaural time difference. Finally visual information by a camera helps get finer tuning of the angles to speaker. Experimental results of the real-time localization system show that the performance improves to 99.6% compared to the rate of 88.8% when only the audio information is used.

• 대한화학회지
• /
• 제9권1호
• /
• pp.1-7
• /
• 1965

토루엔, 디메틸폴움아마이드, 디메틸슬포옥사이드, 테트라하이드로퓨란, 아세토나이트라일 및 디옥센 等 溶媒存在下에서 모노클로로醋酸과 亞鉛을 反應시켜 본 結果, 溶媒효果를 나타내었다. 反應試藥의 反應度가 溶媒의 極性 및 親水性에 따라 增加하였다. 같은 溶媒系를 使用하여 에틸모노클로로醋酸을 反應시켜 본 結果, 溶媒효果를 나타냈으나 酸의 境遇보다 그 差가 크지 못하였다. 酸, 에스타, 亞鉛 및 카보닐化合物(벤즈알데히드 및 4-헤프타논)의 反應에 있어서는 알데하이드의 境遇에 있어서는 Reformatsky 反應生成物을 주었으나, 4-헤프타논과의 反應度는 없었다. 反應生成物의 收率은 試藥添加方法에 따라 變化되었다. 最高收率은 酸의 하이드로옥시酸(38.5%), 0.8g의 salt(아세트나이트라일溶媒)이며, 에스타의 境遇에는 에틸신나메이트(19.3%), 폴리머(21.6%)이였다. 카보닐化合物의 境遇에 있어서는 反應溫度에 따라 試藥의 反應度의 變化가 있었다. 硏究結果를 溶媒效果에 關聯시켜 論議하였으며, 硏究方法에 關하여 記述하였다.

• 미생물학회지
• /
• 제52권2호
• /
• pp.157-165
• /
• 2016

침수된 논토양에서는 메탄생성균이 벼 줄기를 타고 올라오는 메탄을 생성하는 것으로 알려져 있고, 그래서 논토양은 대기 메탄의 인위적인 발생원 중 하나로 알려져 있다. 또한 (분뇨)거름을 사용하면 벼로부터 메탄 배출이 증가하는 것으로 연구 결과 알려져 있다. 어떠한 기작으로 (분뇨)거름이 메탄 배출을 증가시키는지 알아보기 위하여, 무기비료를 사용한 논토양(NPK)과 돈분뇨를 처리한 논토양(PIG)에서의 미생물의 메타게놈에 대해 비교분석을 수행하였다. 미생물군집 분류 분석 결과, 메탄생성균과 메탄영양균, 메틸영양균, 초산생성균(acetogen)이 NPK에서 보다 PIG에서 더 풍부하였다. 더욱이 BLAST 비교 분석 결과 탄수화물 대사 기능유전자가 PIG에 더 풍부하였다. 메탄 대사와 관련된 유전자 중에서 메틸-조효소-M-환원효소(mcrB/mcrD/mcrG)와 트리메틸아민-코리노이드 단백질 Co-메틸전달효소(mttB)가 PIG 시료에 더 풍부하였다. 그와는 상대적으로, 트리메틸아민 모노산소첨가효소(tmm)와 포스포세린/호모세린 인산전달효소(thrH) 같은 메탄 배출을 하향 조절하는 유전자는 NPK 시료에서 더 관찰되었다. 메탄영양과 관련된 유전자(pmoB/amoB/mxaJ)들 또한 PIG에서 더 풍부하게 발견되었다. 메탄 배출과 메탄 산화와 관련된 핵심 유전자들을 환경에서 확인함으로써, (분뇨)거름 사용에 의해 벼로부터 메탄 배출이 증가하는 기작에 대해 기초적인 정보를 얻을 수 있을 것이다. 본 연구에 제시된 내용을 통해 돈분료거름을 처리한 논토양 내 미생물의 분자적 변이를 알 수 있었다.