• Communications of the Korean Mathematical Society
• /
• v.25 no.4
• /
• pp.523-535
• /
• 2010

There are different categorifications of the notion of a ring such as Ann-category due to N. T. Quang, ring category due to M. M. Kapranov and V. A. Voevodsky. The main result of this paper is to prove that every axiom in the definition of a ring category, but the axiom $x_0 = y_0$, can be deduced from the axiomatics of an Ann-category.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.04a
• /
• pp.154-157
• /
• 2016

모바일산업은 스마트폰의 시대를 맞이하여 급성장하였으며 여기에 따른 콘텐츠업 또한 매우 빠른 속도로 급성장하고 있다. 이 중 가장 큰 매출을 일으키고 있는 게임 산업에서 소자본으로 개인이나 소규모 기업이 만들 수 있는 슈퍼 캐주얼이라는 게임 장르에 대한 연구를 통하여 기회의 시장이라 불리는 모바일 게임시장에서의 성공요인을 제공하고자 한다.

• Proceedings of the Korean Magnestics Society Conference
• /
• 2007.05a
• /
• pp.178.2-178.2
• /
• 2007

• Proceedings of the Acoustical Society of Korea Conference
• /
• spring
• /
• pp.137-140
• /
• 2000

We provide an useful method to design codebooks with better performance than conventional methods. In the proposed method, new codevectors obtained by learning iterations are not the centroid vectors which is the representatives of partitions, but the vectors manipulated by the distance between new codevectors and old codevectors in the early stages of learning iteration. Experimental results show that the codevectors in the obtained by the proposed method converge to a better locally optimal codebook.

• 한국정보디스플레이학회:학술대회논문집
• /
• 2004.08a
• /
• pp.183-187
• /
• 2004

The most significant degradation problem of PLED has been described and new buffer layer material aimed for use as HTL in PLED to solve this issue has been studied. This approach has enabled the increase of the green device efficiency (${\sim}$2x) and lifetime (${\sim}$5-6x).

• IE interfaces
• /
• v.15 no.3
• /
• pp.286-296
• /
• 2002

Products which are sold with warranty, preventive maintenance actions by manufacturers and/or buyers have an impact on the total costs for both parties. In this paper, we develop the models to study the expected warranty cost for products with free repairable warranty with three types of discrete preventive maintenance. We deal with by utilizing the concept that preventive maintenance reduces the virtual age of the system. We assume that the maintenance planning horizon can be segmented into k discrete and equally sized periods. In such a scenario, numerical examples are presented.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.05a
• /
• pp.261-264
• /
• 2006

소프트웨어 개발 후 인도 전 테스트 단계중에 발생되는 테스트 노력 소요량을 고려한 소프트웨어 신뢰도 성장 모델을 제시하여 테스트 노력소요량 동태를 시간함수인 로지스틱 곡선으로 설명한다. 그러므로, 본 논문에서는 로지스틱 테스트노력 곡선이 소프트웨어의 개발/테스트 노력곡선으로 적절하게 표현될 수 있다는 것과 실제 데이터를 근거로 하여 적용하여서 예측성이 매우 좋은 능력을 가지고 있다는 것을 보이고자 한다.

• Journal of Korea Society of Industrial Information Systems
• /
• v.12 no.2
• /
• pp.16-23
• /
• 2007

Tandem queueing systems well suit for modeling many telecommunication systems. Recently, very general $BMAP/G/1/N/1{\to}{\bullet}/PH/1/M-1$ type tandem queues were constructively studied. In this paper we illustrate application of the obtained results for optimization of a buffer pool design.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.16 no.27
• /
• pp.11-19
• /
• 1993

본 논문에서는 여러 가지 형태의 고장을 갖는 동일한 두 요소로 구성된 병렬 시스템의 신뢰도를 평가하는 마코프 모형을 제시하였다. 여기서 고려하는 고장형태는 인간의 오류에 의한 고장, 하드웨어에 의한 고장, 하나의 원인에 의해서 여러개의 구성요소가 동시에 고장나는 Common cause 고장형태로 나누었다. 시스템은 임의의 시점에서 예방보수를 받을수 있고, 고장률과 예방 보수률은 일정하다고 가정했다. 또한 수리률이 임의의 분포를 따를 경우 시스템 신뢰도 및 평균 고장시간을 구했다.

• Journal of Korea Society of Industrial Information Systems
• /
• v.9 no.3
• /
• pp.32-37
• /
• 2004

This paper investigates the mathematical model of multi-server retrial queueing system with the Batch Markovian Arrival Process (BMAP), the Phase type (PH) service distribution and the finite buffer. The sufficient condition for the steady state distribution existence and the algorithm for calculating this distribution are presented. Finally, a formula to solve loss probability in the case of complete admission discipline is derived.