• Journal of KIISE:Computer Systems and Theory
• /
• v.32 no.9
• /
• pp.475-482
• /
• 2005

String data containing wildcard characters may represent certain patterns in texts. A subsumption relation between two patterns can be defined by a subset relation between sets of strings that match those patterns. Thus, the subsumption relation check is important to determine whether each pattern represents a set of strings without any overlap with another pattern. In this paper, we propose an effective algorithm that can determine subsumption relation between strings with wildcard characters. First, we consider a simple extension of the suffix tree algorithm so that it nay include wildcard characters and then we propose another method that checks the subsumption relation by dividing a suffix tree structure at each location of string data.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.712-714
• /
• 2004

본 논문에서는 wildcard character를 포함하는 문자열의 집합을 대상으로, 이들 사이의 subsumption 관계를 파악하여 더 구체적인 정보를 가지는 문자열들의 집합을 구하고자 하는 것이다. 이를 위해 기존의 suffix tree 알고리즘이 wildcard character를 포함하는 문자열을 처리할 수 있도록 단순 적용한 방법과 trie의 집합을 이용하여 wildcard character를 포함한 문자열을 처리하는 두 가지 방법을 고려하였다

• Proceedings of the Korean Vacuum Society Conference
• /
• 2013.02a
• /
• pp.501-501
• /
• 2013

유기발광소자는 빠른 응답속도, 넓은 시야각, 얇은 두께의 특성으로 차세대 디스플레이 소자기술로 많은 주목을 받고 있다. 특히 높은 색순도와 고효율의 장점을 가지는 양자점을 사용한 유기발광소자에 대한 연구가 활발하게 진행되고 있다. 양자점을 이용한 유기발광소자는 용액 공정이 요구 되기 때문에 유기물 박막 위에 양자점을 균일하게 도포하기 어렵다. 또한, 양자점은 수분과 산소에 빠르게 열화되는 문제점이 있다. 본 연구에서는 색변환 양자점을 포함하는 고분자 poly (N-vibylcarbazole) 정공수송층을 용액공정으로 형성한 후 발광층, 전자 수송 및 주입층과 음극을 차례로 진공증착하여 색변환 양자점을 포함하는 정공수송층을 적용한 청색 유기발광소자를 제작하였다. 색변환양자점과 청색 발광층으로 a 1,4-bis (2,2-diphenylvinyl) biphenyl를 사용하여 제작된 유기발광 소자의 전기적 및 광학적 특성을 관찰하였다. 색변환 양자점을 포함한 청색 유기발광소자의 경우 정공이 양자점에 포획되는 확률이 낮기 때문에 높은 전류밀도와 휘도를 나타냈으며, core/shell 색변환 양자점을 포함한 청색 유기발광소자는 정공이 양자점에 포획되는 확률이 높기 때문에 낮은 전류밀도와 휘도를 나타냈다. 한편, core/shell 색변환양자점을 포함한 청색 유기발광소자의 경우 색변환 양자점을 포함하는 청색 유기발광소자에 비해 발광층에서 발광된 빛을 잘 흡수하여 높은 색변환 효율이 나타났다. 이 연구 결과는 양자점을 색변환층으로 사용한 청색 유기발광소자의 색변환 효율 증가와 발광효율 향상에 대한 기초자료로 활용할 수 있다.

• The KIPS Transactions:PartA
• /
• v.17A no.6
• /
• pp.259-264
• /
• 2010

In case of scheduling tasks with shared resources in multiprocessor systems, Global Earliest Deadline First (GEDF) algorithm, equally applied Earliest Deadline First (EDF) which runs scheduling with deadline criterion, makes schedulability decline because GEDF typically does not have a specific process in order to handle tasks with shared resources. In this paper, we propose Earliest Deadline First with Partitioning (EDFP) for tasks with shared resources which partitions a task into two kinds of subtasks that include critical sections to access to shared resources, gives their own deadline respectively and manages them. As a result of simulations, EDFP shows better performance than GEDF for tasks with shared resources since system load goes up and the number of processor increases.

• Computational Structural Engineering
• /
• v.8 no.1
• /
• pp.4-12
• /
• 1995

원자로 격납건물(Reactor Containment Bldg)은 정상가동시는 물론 냉각재상실사고(LOCA)를 포함하는 설계기준사고(DBA) 및 설계기준지진(DBE) 발생시 구조물 자체의 건전성 확보는 물론 주기기(NSSS Equipment)를 포함하는 안전관련 계통 및 기기를 안전하게 보호/지지하므로써 핵누출을 방지하여 발전소 종사자를 포함하는 국민의 재산과 생명을 보호하는 역할을 하는 원자력발전소에서 가장 중요한 구조물이다. 원자로 격납건물은 압력용기(Pressure Vessel : 설계내압 5 psi 이상인 용기)로 설계되는 격납용기와 1, 2차 차폐구조 등의 내부구조물로 구성되는데 이 중 본 소고에서는 격납용기의 해석 및 설계 그리고 구조건전성 시험 및 사용중검사에 대해서만 간략하게 기술한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.649-651
• /
• 2002

제어 흐름 그래프는 프로그램의 문장들간의 제어 흐름 정보를 표현하는 방법이다. 제어 흐름 정보는 프로그램 분석과 테스팅 분야에서 필요로 하는 정보이다. 제어 흐름 정보가 정확할수록 정확한 분석 결과와 테스팅 결과를 구할 수 있다. 실제 자바 프로그램에서 예외 구문의 사용빈도가 많으므로 예외 제어 흐름을 제어 흐름 정보에 포함해야 한다. 본 논문에서는 특정 분석에 무관하게 예외 제어 흐름을 포함하는 제어 흐름 그래프를 생성하는 일반적인 방법을 제안한다. 그리고 예외 제어 흐름을 포함하는 제어 흐름 그래프를 생성할때, 정상 흐름과 예외 흐름을 분리해서 하는 방법을 제안한다.

• Korean Journal of Logic
• /
• v.6 no.2
• /
• pp.69-81
• /
• 2003

이 논문에서 우리는 (축약 원리가 없는) 연관 체계 EW은 이웃 체계들을 다룬다. 구체적으로 우리는 확장 원리를 포함하지만 축약 원리를 포함하지 않는 E (Ee-W) 체계, 특수 주장 specialized assertion(sa) 원리를 포함하지 않는 Ee-W (Ee-Wsa) 체계, 자기 배분 self-distribution(sd) 원리를 포함하지 않는 Ee-W (Ee-Wsd) 체계, 그리고 체인chain(c) 원리와 축약 원리를 포함하는 Ee 체계들의 확장 Eec-Wsa, Eec-Wsd, Eec-W, Eec를 다룬다. 우리는 루트리 마이어 의미론을 사용해서 이 체계들을 위한 완전성을 보인다.

• Annual Conference on Human and Language Technology
• /
• 2006.10e
• /
• pp.279-284
• /
• 2006

한국어 부분 구문분석의 단위인 말덩이(chunk)는 하나의 의미적 중심어를 가지며, 그 구문구조가 선형인 구를 말하며, 말덩이를 분석하는 과정을 구묶음(chunking)이라고 한다. 한국어 말덩이에는 여러 종류가 있으며 보조용언도 말덩이의 한 종류이다. 이 논문은 (한국해양대학교, 2005)의 연구를 바탕으로 오류를 자주 발생시킨 의존명사를 포함하는 보조용언에 대한 명확한 기준을 제시하여 구축된 말뭉치의 신뢰성을 더욱 높이고자 한다. 이 논문에서는 모든 의존명사를 포함하는 보조용언을 다루기에는 더 많은 연구가 필요하므로 "것", "바", "때문", "데" 등의 의존명사를 포함하는 보조용언을 구성하는 말덩이를 중심으로 명확한 기준을 언어학적인 방법으로 제시하고 말뭉치 구축 오류를 방지할 수 있는 해결방안을 모색한다.

• Proceedings of the KIEE Conference
• /
• 2003.11a
• /
• pp.103-105
• /
• 2003

본 논문에서는 분산전원을 포함하는 배전계통을 위한 3상 조류계산 프로그램에 대하여 소개한다. 이 프로그램은 배전계통의 방사상 구조를 가정하여 개발된 것이 아니므로 어떠한 구조로 구성된 배전계통이라도 모두 사용이 가능하며, 불평형 부하 및 불평형 선로를 포함하는 계통에 대해서도 해를 구할 수 있도록 고안되었다. Voltage regulator는 각 상별로 tap을 조정할 수 있는 3상 변압기로 모델링하였으며, 분산전원은 계통 내 다양한 위치에 배치하여 수렴특성을 확인하였다. 3상 불평형 부하와 단상 및 2상 선로를 포함하는 20모선 시험 계통을 구성하여 수행한 사례연구에서 조류계산 프로그램은 가혹한 중부하 환경에서도 훌륭한 수렴특성을 보여 주었다.

• Journal of the Korean institute of surface engineering
• /
• v.29 no.3
• /
• pp.176-185
• /
• 1996

플라즈마 용사된 열벽코팅의 수명을 평가하기 위하여 여러가지 양의 CeO$_2$(16,18,20,22,24 그리고 26 wt.% CeO$_2$)를 포함하는 지르코니아 코팅에 대한 상분석이 행하여 졌다. 플라즈마 용사된 후 16 및 18 wt.% CeO$_2$를 포함하는 지르코니아 코팅에서는 비평형 tetragonal 상 만이 생성되었으나 20-26 wt.% CeO$_2$를 포함하는 지르코니아 코팅에서는 비평형 tetragonal 및 cubic 상의 혼합상이 관찰되었다. 열순환 산화시험 동안에는 비평형 tetragonal 및 cubic 상은 평형 tetragonal 및 cubic 상으로 변태하였다. 평형 tetragonal 상의 일부는 열순환 산화시험의 냉각과정 중에 monoclinic 상으로 변태하였다. 그리고 16 wt.% CeO$_2$를 포함하는 지르코니아 코팅은 다른 조성의 지르코니아 코팅보다 열순환 산화시험 동안 더 많은 monoclinic 상이 생성되었으며 세라믹 코팅 수명이 짧았다.