• Korean Journal of Logic
• /
• v.16 no.3
• /
• pp.437-452
• /
• 2013

This paper verifies the following two: First, I verify the standard completeness proof for the system $ULw_t$ is not correct in the sense that t-weakening uninorms are t-norms, but not weakening-free uninorms. Second, I verify that the proof for $ULw_t$ can be used for the system MTL. That is, I provide a new standard completeness proof for it.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.05a
• /
• pp.236-239
• /
• 2013

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

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.36-38
• /
• 1998

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

• Journal of Information Technology Services
• /
• v.7 no.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.

• Speech Sciences
• /
• v.11 no.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.

• Journal of the Korean Chemical Society
• /
• v.9 no.1
• /
• pp.1-7
• /
• 1965

Reaction of monochloroacetic acid with zinc in presence of toluene, dimethylformamide, dimethyl sulfoxide, tetrahydrofuran, acetonitrile, and dioxane solvents showed the solvent effect in order of dimethylformamide, dioxane, dimethyl sulfoxide, toluene, acetonitrile, and tetrahydrofuran. The increasing reactivity of the reagents was observed in order of the polarity and hydrophilicity of the solvent. The same reaction of ethyl monochloroacetate in the same series of solvents showed also the solvent effect, but the difference was not large as compared to that of the acid. The reaction of the acid, ester, zinc, and carbonyl precursors such as benzaldehyde and 4-heptanone gave the Reformatsky reaction product in the case of the aldehyde, but the reactivity with 4-heptanone was slight. The yield of the product was varied by the method of addition of reagents. The best yield observed in case of the acid reaction was 38.5% of the hydroxy acid and 0.8g of the salt in presence of acetonitrile and in case of the ester reaction 19.3% of ethyl cinnamate and 21.6% of polymer. The variation of the reactivity of reagents due to the reaction temperature was observed in case of carbonyl reaction. The result was discussed in terms of the solvent effect and the procedures were described.

• Korean Journal of Microbiology
• /
• v.52 no.2
• /
• pp.157-165
• /
• 2016

Under flooded rice fields, methanogens produce methane which comes out through rice stalks, thus rice fields are known as one of the anthropogenic sources of atmospheric methane. Studies have shown that use of manure increases amount of methane emission from rice. To investigate mechanisms by which manure boosts methane emission, comparative soil metagenomics between inorganically (NPK) and pig manure fertilized paddy soils (PIG) were conducted. Results from taxonomy analysis showed that more abundant methanogens, methanotrophs, methylotrophs, and acetogens were found in PIG than in NPK. In addition, BLAST results indicated more abundant carbohydrate mabolisetm functional genes in PIG. Among the methane metabolism related genes, PIG sample showed higher abundance of methyl-coenzyme M reductase (mcrB/mcrD/mcrG) and trimethylamine-corrinoid protein Co-methyltransferase (mttB) genes. In contrast, genes that down regulate methane emission, such as trimethylamine monooxygenase (tmm) and phosphoserine/homoserine phosphotransferase (thrH), were observed more in NPK sample. In addition, more methanotrophic genes (pmoB/amoB/mxaJ), were found more abundant in PIG sample. Identifying key genes related to methane emission and methane oxidation may provide fundamental information regarding to mechanisms by which use of manure boosts methane emission from rice. The study presented here characterized molecular variation in rice paddy, introduced by the use of pig manure.