• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.05a
• /
• pp.785-788
• /
• 2007

본 연구는 Ramadege 와 Wonham 의 Supervisor Control 을 기반으로 한다. 초기 이 이론은 오토마타를 이용하여 모델링 하였으며, 많은 연구가 활발하게 이루어져왔다. 그러나, 유한 오토마타는 병렬처리 및 동기화, 자원공유를 모델링하기 어렵다는 단점이 있다. 유한 오토마타를 기반으로 한 연구는 일반적으로 복잡한 시스템을 모델링 할 때 발생하는 결합 폭발성에 의한 제한성이 있다. 반면, 패트리 넷은 병렬처리나 동기화에 대한 모델링을 하기에 보다 더 강력한 도구이지만, 패트리 넷을 이용한 통합법은 아직까지 광범위하게 연구되지는 않았다. 따라서, 본 연구에서는 공장설비(plant)모델과 이 설비에 대해 사용자가 원하는 작업을 명시한 사용자 설계명세 (user specifications)모델을 패트리 넷을 이용하여 모델링하는 방법을 제안한다. 본 연구는 사용자 설계명세에 관련한 폐쇄 회로 패트리 넷(closed-loop PN)을 획득하고자 원시 공장설비 모델에 제어 플래이스(control place)를 추가하는 통합을 실행하기 위한 방법으로 Ghaffari의 영역 이론(Theory of Region )을 이용하여 연구개발 하였다

• Journal of KIISE
• /
• v.44 no.12
• /
• pp.1245-1251
• /
• 2017

In this study we present a novel directory architecture that can dynamically allocate a directory entry for a cache block on demand at runtime only when the block is shared by more than one core. Thus, we do not maintain coherence for private blocks, substantially reducing the number of directory entries. Even for shared blocks, we allocate directory entry dynamically only when the block is actively shared, further reducing the number of directory entries at runtime. For this, we propose a new directory architecture called dynamic directory table (DDT), which is implemented as a cache of active directory entries. Through our detailed simulation on PARSEC benchmarks, we show that DDT can outperform the expensive full-map directory by a slight margin with only 17.84% of directory area across a variety of different workloads. This is achieved by its faster access and high hit rates in the small directory. In addition, we demonstrate that even smaller DDTs can give comparable or higher performance compared to recent directory optimization schemes such as SPACE and DGD with considerably less area.

• Proceedings of the IEEK Conference
• /
• 2003.07c
• /
• pp.2689-2692
• /
• 2003

본 논문에서는 향후 인터넷 환경에서 필수적인 요건이 될 수 있는 인터넷 멀티 캐스팅의 여러 프로토콜중 공유 트리 방식의 하나인 CBT 프로토콜에서 송신자와 수신자 사이의 경로 즉 비용을 줄이기 위해 기존의 코어 선택 알고리즘을 개선할 수 있는 알고리즘을 제안한다. CBT 프로토콜에서는 공유 트리의 구성이 코어 라우터를 중심으로 이루어지고 이 코어 라우터를 통해 그룹에 가입/ 데이터 전송/ 탈퇴 등이 이루어지게 되므로 코어 라우터의 선정은 전체적인 효율성 선정의 중요 요소가 된다. 여기서는 모든 노드의 전체 비용을 산출하여 가장 비용 요소가 적은 노드를 선정하는 알고리즘을 제안하며, 네트워크 시뮬레이터를 통해 사용율 및 평균비용을 기존 방식과 비교하여 그 결과에 대해서 논한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04b
• /
• pp.94-96
• /
• 2001

웹 기반의 분산 환경에서 데이터를 공유, 사용하려는 노력은 끊임 없이 계속되어 왔다. 기존의 HTML 문서를 이용할 경우에는 그 언어자체가 가지고 있는 한계성 때문에 효과적으로 문서를 공유하기가 어렵다. 이에 대한 대안으로 XML을 이용한 문서 교환 방법이 제시되고 있다. 하지만 서로 다른 DTD를 기반으로 작성된 XML문서를 교환할 경우에는 문제가 발생하게 된다. DTD가 서로 다른 사용자에 의해서 작성되었기 때문에 XML 문서 내의 태그 뿐만 아니라 문서가 가지고 있는 그 구조 또한 서로 상이하게 된다. 본 논문에서는 상이한 DTD를 기반으로 작성된 XML문서를 교환할 경우에 고려 해야 하는 XML 문서의 구조적 상이성의 예를 보여주고 이에 대한 해결 알고리즘을 제시한다. 문서 구조의 상이성은 적절한 매핑 테이블과 트리 구조를 이용한 태그 변환 방법을 이용하여 해결할 수 있다. 데이터 레지스트리와 본 논문에서 제안한 문서의 구조와 태그 변환 방법을 사용하면 XML 문서를 효과적으로 교환 할 수 있다.

• Journal of KIISE:Software and Applications
• /
• v.32 no.9
• /
• pp.936-947
• /
• 2005

In dependency parsing of long sentences with fewer subjects than predicates, it is difficult to recognize which predicate governs which subject. To handle such syntactic ambiguity between subjects and predicates, this paper proposes an 'S-clause' segmentation method, where an S(ubject)-clause is defined as a group of words containing several predicates and their common subject. We propose an automatic S -clause segmentation method using decision trees. The S-clause information was shown to be very effective in analyzing long sentences, with an improved parsing performance of 5 percent. In addition, the performance in detecting the governor of subjects was improved by $32\%$.

• Korean Journal of Social Issues
• /
• v.18 no.1
• /
• pp.127-156
• /
• 2017

최근 몇 년 동안 서울에서는 도시공간에 관한 권리를 둘러싼 격렬한 투쟁이 이어져왔다. 급작스러운 임대료 상승과 그에 뒤따르는 폭력적 전치는 이제 도시생활의 일상적 의례의 하나로 자리잡은 듯하다. 흔히 '젠트리피케이션'으로 명명되는 도시공간의 자본화는 한편으로 도시 내 계급지배가 관철되는 대표적 양상이지만, 다른 한편으로는 다양한 형태의 도시운동이 발생하는 조건과 배경으로도 작용한다. 이 논문에서는 최근 서울의 도시공간에서 발견되는 도시운동의 새로운 형태들을 2010년 이후 등장한 세 개의 도시 운동 집단, '맘편히장사하고픈상인모임(맘상모),' 리슨투더시티, 비빌기지에 초점을 맞춰 검토한다. 구체적으로 이 글에서는 도시공간에 대한 이들의 대안적 상상과 실천의 형성 과정을 서울의 젠트리피케이션이라는 맥락에서 살펴보고, 이들이 제시하는 도시운동의 '새로움'을 과거의 도시운동과 비교 분석하며, 도시운동으로서 이들의 실천이 지닌 함의를 도시권의 관점에서 고찰한다. 내용과 형식의 다양성에도 불구하고 이들 집단의 행동은 몇몇 핵심적 특성을 공유한다. 첫째, 이들은 공동재(commons)로서의 도시공간을 추구한다. 둘째, 이들은 느슨하고 유연하며 소규모의 조직을 지향한다. 셋째, 이들은 예술과 문화를 주체형성에 적극적으로 동원한다. 이러한 특성들은 철거민운동으로 대표되는 전통적 계급 기반 도시운동과 뚜렷한 차이를 나타내며, 계급 이후(post-class) 도시권의 전망을 선취한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.214-216
• /
• 2002

본 논문에서는 many-to-many IP 멀티캐스팅을 위한 효율적인 Backbone Core Tree(BCT)생성 알고리즘에 대하여 제안한다. 본 논문의 제안기법은 Core Based Tree(CBT)에 기반을 두고 있다. CBT는 공유 트리를 이용하여 멀티캐스트 자료를 전달하기 때문에 Source Based Tree에 비하여 각 라우터가 유지해야 하는 상태 정보의 양에 적고 적용하기 간단하지만, Core 라우터 선택의 어려움과 트래픽이 Core로 집중되는 문제점을 가지고 있다. 이에 대한 보완책으로 Backbone Core Tree기법이 제안되었는데, 본 논문에서는 주어진 네트워크 위상 그래프에서 최소신장 트리를 만들고, 센트로이드를 이용하여 효율적인 BCT를 생성하는 알고리즘을 제안한다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2002.05a
• /
• pp.67-71
• /
• 2002

본 논문에서는 many-to-many IP 멀티캐스팅을 위한 효율적인 BCT(Backbone Core Tree)생성 알고리즘의 시뮬레이션 방법에 대하여 제안한다. BCT는 기법은 CBT(Core Based Tree)에 기반을 두고 있다. CBT는 공유 트리를 이용하여 멀티캐스트 자료를 전달하기 때문에 Source based Tree에 비하여 각 라우터가 유지해야 하는 상태 정보의 양에 적고, 적용하기 간단하지만, Core 라우터 선택의 어려움과 트래픽이 Core로 집중되는 문제점을 가지고 있다. 이에 대한 보완책으로 BCT기법이 제안되었는데, 본 논문에서는 주어진 네트워크 위상 그래프에서 최소신장 트리를 만들고, 센트로이드(Centroid)를 이용하여 효율적인 BCT를 생성하는 알고리즘을 제안하고 시뮬레이션 방법을 제시한다.

• Journal of Korea Multimedia Society
• /
• v.13 no.3
• /
• pp.369-377
• /
• 2010

In vocabulary recognition systems based on HMM(Hidden Markov Model)s, training process unseen model bring on show a low recognition rate. If recognition vocabulary modify and make an addition then recreated modeling of executed database collected and training sequence on account of bring on additional expenses and take more time. This study suggest efficient context dependent process modeling method using decision tree-based state tying. On study suggest method is reduce recreated of model and it's offered that robustness and accuracy of context dependent acoustic modeling. Also reduce amount of model and offered training process unseen model as concerns context dependent a likely phoneme model has been used unseen model solve the matter. System performance as a result of represent vocabulary dependence recognition rate of 98.01%, vocabulary independence recognition rate of 97.38%.

• Journal of the Korea Society for Simulation
• /
• v.17 no.3
• /
• pp.75-83
• /
• 2008

A deadlock is a condition in which the excessive demand for the resources being used by others causes activities to stop and it is one of the important problems in process control system to detect and prevent deadlocks. While the reachability analyze methods or divide subnets for analyzing methods are well used, it requires a lot of times and effects to analyze the detection of the deadlock status. Furthermore, it could not be effective if the model is complex or huge. Therefore, it is necessary to develop a new and more efficient deadlock detection algorithm. In this paper, a deadlock detection conditions after analyzed the Petri Net using the transitive matrix has been proposed to solve these problems. For presenting the results, the suggested deadlock detection algorithm was also adapted to an illustrated FMS (Flexible Manufacturing System) model.