• 정보과학회 논문지
• /
• 제44권4호
• /
• pp.399-410
• /
• 2017

본 연구는 전문기관에서 생산되는 검증된 문서의 정보를 웹상의 수많은 검증되지 않은 문서에 자동 주석하여 신뢰도를 향상하고 심화 정보를 추가하는 시스템을 제안한다. 제안하는 시스템은 국가암정보센터의 검증된 문서들에서 추출한 19,304개 명제를 위키피디아 암 관련 문서에서 추출한 1,486개 명제에 주석하는 과제를 수행하기 위해, 기존 인공 신경 정리 증명계의 순환 모듈을 단어 임베딩 모듈로 교체하였다. 이를 통해 기존의 근본적인 문제점이었던 학습 시간 문제를 해결하였고, 동일한 환경에서 기존 시스템의 학습 시간이 233.9일로 추정된 것에 비해 재구축한 시스템은 102.1분 내로 학습이 완료되었다. 제안하는 시스템의 장점은 명제를 텐서로 인코딩하여 미분 가능하게 전체적인 연산을 진행하는 인공 신경 정리 증명계가 단어의 정확한 일치를 파악하는 전통적인 정리 증명계를 포함하며 동시에 유사어 관계로부터의 논리 전개 역시 가능하게 한다는 점을 실제 문서 데이터에서 입증했다는 것이다.

• 한국신재생에너지학회:학술대회논문집
• /
• 한국신재생에너지학회 2005년도 제17회 워크샵 및 추계학술대회
• /
• pp.446-461
• /
• 2005

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (B)
• /
• pp.81-86
• /
• 2008

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

• 한국어정보학회:학술대회논문집
• /
• 한국어정보학회 2017년도 제29회 한글및한국어정보처리학술대회
• /
• pp.116-121
• /
• 2017

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

• 한국통신학회논문지
• /
• 제31권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.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2003년도 추계학술대회
• /
• 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
• /
• 제19권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}$.

• 대한전기학회논문지:전력기술부문A
• /
• 제52권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.

• 대한전자공학회논문지SD
• /
• 제47권7호
• /
• pp.30-36
• /
• 2010

발달로 인해 칩의 집적도가 향상되고, 그에 따라 칩 내의 전류밀도가 증가하게 되었다. 이는 칩의 온도가 상승하는 효과를 가져오게 되고, 또한 거리에 따른 온도의 변화를 증가시키는 요인이 된다. 본 논문은 칩 내의 온도의 기울기 때문에 발생되는 클락의 스큐를 최소화하기 위한 균형 스큐 트리를 생성하는 기법을 제안한다. 제안한 기법은 Elmore 지연 수식을 이용하여 연결선의 지연을 구하고 DME(Deferred Merge Embedding) 알고리즘을 통해 만들어진 클락 트리를 변형시키면서 최적의 균형 스큐 트리를 찾는다. 제안한 기법의 성능 평가를 위하여 C 언어로 제안된 기법을 구현하였고, 온도의 기울기 때문에 발생한 클락 삽입 지점을 평균 약 54%이하로 수축시킬 수 있다는 것을 시뮬레이션 결과로 보였으며, 스큐가 현저히 낮아지는 것을 확인하였다.

• 대한전자공학회논문지SD
• /
• 제43권10호
• /
• pp.74-79
• /
• 2006

Advanced Microcontroller Bus Architecture (AMBA) 기반 System-on-Chip (SoC)에서는 기능적 테스트를 위해 ARM사의 Test Interface Controller (TIC)를 사용한다. 따라서 구조적 스캔 테스트 패턴도 TIC와 AMBA 버스를 통해 인가하면서 스캔입력과 출력을 동시에 수행할 수 없다는 단점이 있다. 본 논문에서는 ARM 코어를 사용하는 SoC 테스트를 위한 AMBA based Test Access Mechanism (ATAM)을 제안한다. 기존 TIC와의 호환성을 유지하고 스캔 입력과 출력을 동시에 할 수 있으므로 고가의 Automatic Test Equipment (ATE)를 통한 테스트 시간을 대폭 절감할 수 있다.