• Journal of KIISE
• /
• v.44 no.4
• /
• pp.399-410
• /
• 2017

We present a system that automatically annotates unverified Web sentences with information from credible sources. The system turns to neural theorem proving for an annotating task for cancer related Wikipedia data (1,486 propositions) with Korean National Cancer Center data (19,304 propositions). By switching the recursive module in a neural theorem prover to a word embedding module, we overcome the fundamental problem of tremendous learning time. Within the identical environment, the original neural theorem prover was estimated to spend 233.9 days of learning time. In contrast, the revised neural theorem prover took only 102.1 minutes of learning time. We demonstrated that a neural theorem prover, which encodes a proposition in a tensor, includes a classic theorem prover for exact match and enables end-to-end differentiable logic for analogous words.

• 한국신재생에너지학회:학술대회논문집
• /
• 2005.11a
• /
• pp.446-461
• /
• 2005

본 연구에서는 반응소결 탄화규소 다공질 지지체 개발을 위하여 SiC/C로 이루어진 성형체를 사용한 Si melt infiltration 공정 및 SiC/C/Si으로 이루어진 성형체를 사용하는 Si embedding 공정 개발이 이루어졌다. 개발된 반응소결 탄화규소 다공질 지지체의 기공률은 38% 이상이었으며 평균기공은 130 ${\mu}m$ 크기이었다. Si melt infiltration 방법으로 제조된 반응소결 탄화규소 다공질 지지체의 파괴강도는 상용 반응소결 탄화규소 지지체의 파괴강도보다 최대 200% 이상 높게 나타났다. 본 연구에서는 용융 Si의 침윤공정을 이용하여 반응소결 탄화규소 여과층을 갖는 반응소결 탄화규소 필터 및 그 제조공정이 개발되었다. 개발된 반응소결 탄화규소 필터의 필터 특성은 상용 탄화규소 필터의 필터 특성과 대체적으로 대등한 것으로 조사되었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06b
• /
• pp.81-86
• /
• 2008

SPIN은 소프트웨어 정확성 검사에 널리 사용되는 모델 검증 도구이다. 특히 C 코드로 작성된 소프트웨어를 효율적으로 검사하기 위해서 SPIN의 입력 언어인 Promela 모델에 C 코드를 끼워 넣는 기능이 버전 4.0 이상에서 지원되고 있다. 본 논문에서는 이러한 기능을 미로 게임 풀이에 적용하였다. 그 결과, Promela 모델만을 사용해서 풀이한 것보다도 모델에 C 코드를 끼워 풀이한 것이 메모리 사용 및 처리 시간에서 월등히 우수했다. 메모리와 시간과 같은 객관적인 성능 향상과 더불어서, 이러한 사례 연구는 모델 검증 도구 및 추상화 학습에도 유용함을 경험했다.

• 한국어정보학회:학술대회논문집
• /
• 2017.10a
• /
• pp.116-121
• /
• 2017

cQA(Community-based Question Answering) 시스템은 온라인 커뮤니티를 통해 사용자들이 질문을 남기고 답변을 작성할 수 있도록 만들어진 시스템이다. 신규 질문이 인입되면, 기존에 축적된 cQA 저장소에서 해당 질문과 가장 유사한 질문을 검색하고, 그 질문에 대한 답변을 신규 질문에 대한 답변으로 대체할 수 있다. 하지만, 키워드 매칭을 사용하는 전통적인 검색 방식으로는 문장에 내재된 의미들을 이용할 수 없다는 한계가 있다. 이를 극복하기 위해서는 의미적으로 동일한 문장들로 학습이 되어야 하지만, 이러한 데이터를 대량으로 확보하기에는 어려움이 있다. 본 논문에서는 질문이 제목과 내용으로 분리되어 있는 대량의 cQA 셋에서, 질문 제목과 내용을 의미 벡터 공간으로 사상하고 두 벡터의 상대적 거리가 가깝게 되도록 학습함으로써 의사(pseudo) 유사 의미의 성질을 내재화 하였다. 또한, 질문 제목과 내용의 의미 벡터 표현(representation)을 위하여, semi-training word embedding과 CNN(Convolutional Neural Network)을 이용한 딥러닝 기법을 제안하였다. 유사 질문 검색 실험 결과, 제안 모델을 이용한 검색이 키워드 매칭 기반 검색보다 좋은 성능을 보였다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.31 no.7C
• /
• pp.700-705
• /
• 2006

In this paper, an informed watermarking algorithm is proposed that aids in concealing packet loss errors in video communications. This watermark-based error concealment (WEC) method embeds a low resolution version of the video frame inside itself as watermark data. At the receiver, the extracted watermark is used as a reference for error concealment. The proposed DCT-based algorithm employs informed watermarking techniques in order to minimize the distortion of host frames. At the encoder, a predictive feedback loop is employed which helps to adjust the strength of the data embedding. Furthermore, the distortion of the DCT coefficients introduced in the embedding can be removed to a considerable extent, by employing bit-sign adaptivity. Simulation results on standard video sequences show that the proposed informed WEC scheme has an advantage of 3$\sim$4 dB in PSNR over non-informed WEC and that even a non-informed WEC is still superior to conventional error concealment techniques.

• Proceedings of the KSME Conference
• /
• 2003.11a
• /
• pp.1157-1162
• /
• 2003

Behavior of aluminum alloy embedding a particle was investigated at room temperature under ECAP. Finite element analysis by using ABAQUS shows that ECAP is a useful tool for eliminating residual porosity in the specimen, and much more effective under friction condition. The simulation, however, shows considerably low density distributions for matrix near a particle at which rich defects may occur during severe deformation. Finite element results of effective strains and deformed shapes for matrix with a particle were compared with theoretical calculations under simple shear stress. Also, based on the distribution of the maximum principal stress in the specimen, Weibull fracture probability was obtained for particle sizes and particle-coating layer materials. The probability was useful to predict the trend of more susceptible failure of a brittle coating layer than a particle without an interphase in metal matrix composites.

• East Asian mathematical journal
• /
• v.19 no.1
• /
• pp.133-150
• /
• 2003

This paper will show that the relation (1.1) $$L^1({\Omega}){\subset}C_0(\bar{\Omega}){\subset}H_{p,q}$$ if 1/p'-1/n(1-2/q')<0 where p'=p/(p-1) and q'=q/(q-1) where $H_{p.q}=(W^{1,p}_0,W^{-1,p})_{1/q,q}$. We also intend to investigate the control problems for the retarded systems with $L^1(\Omega)$-valued controller in $H_{p,q}$.

• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.52 no.9
• /
• pp.535-541
• /
• 2003

Demand Side Management (DSM) activities have been designed to encourage customers to modify their patterns of electricity consumption including the timing and level of electricity demand. The role of DSM has been more and more important in the point of social energy utilization on the limited resources. The objectives of DSM are generally related to load reductions and generation cost savings. This paper presents an approach to B/C analysis to evaluate the impact of DSM programs especially on the strategic conservation and the load management programs. The proposed approach embedding the existing B/C analyses is applicable to the new electricity market. Case studies show the B/C ratio and the avoided cost due to the impact of DSM programs.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.47 no.7
• /
• pp.30-36
• /
• 2010

Due to the scaling of process parameters, the density on chips has been increasing. This trend increases not only the temperature on chips but also the gradient of the temperature depending on distances. In this paper, we propose the balanced skew tree generation technique for minimizing the clock skew that is affected by the temperature gradients on chips. We calculate the interconnect delay using Elmore delay equation, and find out the optimal balanced clock tree by modifying the clock trees that are generated through the DME(Deferred Merge Embedding) algorithm. We have implemented the proposed technique using C language for the performance evaluation. The experimental results show that the clock insertion point generated by the temperature gradient can be lowered below 54% and we confirm that the skew is remarkably decreased after applying the proposed technique.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.43 no.10 s.352
• /
• pp.74-79
• /
• 2006

Test Interface Controller (TIC) provided by ARM Ltd. is widely used for functional testing of System-on-Chip (SoC) adopting Advanced Microcontroller Bus Architecture (AMBA) bus system. Accordingly, this architecture has a deficiency of not being able to concurrently shifting in and out the structural scan test patterns through the TIC and AMBA bus. This paper introduces a new AMBA based Test Access Mechanism (ATAM) for speedy testing of SoCs embedding ARM cores. While preserving the compatability with the ARM TIC, since scan in and out operations can be performed simultaneously, test application time through the expensive Automatic Test Equipment (ATE) can be drastically reduced.