• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.04a
• /
• pp.277-280
• /
• 2000

다중스레드 병렬기계(multithreaded parallel machine)를 위하여 함수 프로그램을 번역할 때 스레드 분할이란 수행 순서를 번역시간에 알 수 있어 정적 스케줄링이 가능한 프로그램의 부분을 식별하여 스레드로 모으는 작업을 말한다. 조건식에서 연산의 수행 순서는 판단식 -> 참실행식 또는 판단식 -> 거짓실행식이므로 번역시간에는 수행순서를 결정할 수 없다. 따라서 기존의 분할 알고리즘은 조건식의 판단식, 참실행식, 거짓실행식을 기본 블록으로 나누고 각각에 대하여 지역 분할을 적용한다. 이러한 제약은 스레드의 정의를 약간 수정하여 스레드 내에서의 분기를 허용한다면 좀더 좋은 분할을 얻을 수 있다. 스레드내에서의 분기는 병렬성을 감소시키거나 동기화의 횟수를 증가시키거나 또는 교착상태를 발생시키는 등의 스레드 분할의 기본 원칙을 어기지 않으며 오히려 스레드 길이를 증가시키거나 동기화 횟수를 줄이는 장점을 가질 수 있다. 본 논문에서는 조건식의 세 가지 기본 블록을 하나 또는 두 개의 기본 블록으로 병합함으로서 스레드 분할을 향상시키는 방법을 제안한다.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.12
• /
• pp.3151-3156
• /
• 1998

대학의 시간표 문제를 해결하기 위해서 시간표의 문제는 종종 그래프 착색 알고리즘으로 표현된다. 각 노드를 강좌로, 에지는 연결된 강좌간에는 동일한 시간에 서로 배정이 불가능한 조건으로 표시한다. 그러나 순수한 그래프 착색 알고리즘은 바로 대학의 시간표 문제에 적용하기 곤란하다. 그 이유는 대부분의 시간표 문제에서 강좌는 한시간 이상으로 존재하고 이들은 반드시 연속된 시간에 배정이 되어야 한다는 등의 제약 조건을 갖기 때문이다. 이 문제를 해결하기 위하여 적용된 것이 가중치 그래프 착색 알고리즘이다. 이 경우 각 노드는 강의 시간의 길이의 값을 갖게 된다. 이와 관련된 기존의 연구가 진행되었으나 탐색의 시간이 지수적으로 증가하거나 해의 질이 뛰어나지는 못하였다 라는 단점을 갖고 있다. 따라서 본 연구에서는 새로운 가중치 그래프의 착색 방법을 제안한다.

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

본 논문에서는 백트랙킹 알고리즘을 이용한 하드웨어/소프트웨어 분할 방법을 제안한다. 최적의 해를 찾을 때에 효율적인 가지치기 함수를 정의하여 불필요한 탐색 단계를 제거하므로써 계산 시간이 단축될 수 있도록 하였다. 또한 제약조건에 따라 트리의 검색 순서에 변화를 주어 효율적인 검색이 되도록 하였다. 제안된 알고리즘의 성능평가를 위해 시뮬레이티드 어닐링 방법의 결과와 비교 분석하였다.

• 한국가스학회:학술대회논문집
• /
• 2005.05a
• /
• pp.231-231
• /
• 2005

• Korean Journal of Cognitive Science
• /
• v.15 no.3
• /
• pp.25-33
• /
• 2004

Two experiments were conducted to investigate the effects of two syntactic cues in pronoun referential resolution: number cue (plural or singular) and gender cue (unambiguous or ambiguous). Using self-paced sentence reading task for pronoun sentences and lexical decision task for antecedents, Experiment 1 showed that the reading time of a plural pronoun ('they') was faster than a singular pronoun ('he' or 'she'), but the lexical decision time did not differ with a number cue and a Bender cue. In Experiment 2, using RSVP for pronoun sentences and lexical decision task for antecedents, the results showed that the lexical decision time differed for a gender cue only. These results suggested that the syntactic cues of a pronoun influenced strongly on referential resolution in discourse comprehension.

• The KIPS Transactions:PartC
• /
• v.8C no.2
• /
• pp.113-121
• /
• 2001

접근제어의 목적은 컴퓨팅 자원 및 통신 정보자원 등을 부당한 사용자로부터 사용되거나, 수정, 노출, 파괴와 같은 비합법적인 행위로부터 보호하는데 있다. 대표적인 보안 정책 중에서 Biba 모델은 정보의 무결성을 보장하지만 상업적인 환경에 적용되기는 다소 미흡하며, 역할기반 접근제어 정책은 상업적인 측면의 보안정책에 적용이 가능하지만 접근되는 객체의 중요도에 따른 보안등급이 고려되지 않았다. 본 논문에서는 Biba 모델의 보안등급을 역할기반접근제어 모델에 적용함으로써 주체가 해당 객체를 부당하게 변경하는 것을 방지함과 동시에 수많은 접근권한을 관리하는데 융통성을 제공한다. 그리고 제안한 접근제어 모델의 제약조건들을 정형 명세 언어인 Z언어를 통해 명확히 표현함으로써 정책 입안자나 프로그래머가 접근제어정책을 설계하고 구현하고자 할 때 프로그램 개발에 소요되는 시간을 단축할 수 있다. 또한, 제안한 모델을 망관리 객체의 연산과 등급을 갖는 역할과 제약조건을 사용하여 실제 운영되는 통신망 관리에 적용하여 봄으로써 정보의 무결성이 보장됨을 보였다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2010.05a
• /
• pp.1322-1326
• /
• 2010

확산-유추 지형학적 순간단위도는 통계물리적인 모형으로 이론적 물리적으로 뛰어난 모형임에도 불구하고 유역의 동적 매개변수인 특성유속과 확산계수의 산정이 어려워 실제적인 사용이 제한되어 왔다. 이러한 난제를 해결하기 위하여 본 연구에서는 금강수계의 보청천 산성유역을 대상으로 전역최적화 기법인 SCE-UA를 이용하여 확산-유추 지형학적 순간단위도 모형의 동적 매개변수 산정하였으며, 모형의 재현성을 3개의 수문사상을 이용하여 검토하였다. 매개변수의 최적화 결과 차수 단계별 특성유속 및 확산계수의 증감은 변동을 보이지만, 전체적인 경향성은 특성유속의 경우 하천차수가 커질수록, 즉 하류방향에 대해 증가 경향을 나타내며, 반대로 확산계수는 감소되는 경향을 나타냈다. 본 연구에서 적용한 최적화 방법에 향후 지체시간, 분산 및 왜곡도 등의 통계적인 제약조건과 동적 매개변수의 공간적 변화 등의 물리적인 의미를 갖는 제약조건 등이 결합된다면 좀 더 발전된 모형으로 개선될 수 있을 것으로 판단된다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.364-366
• /
• 2012

본 논문은 다중 객체 추적 시스템에 관한 연구로서, Online boosting 을 기반으로 다중 객체 추적 기술이 개발되었다. 기존의 Boosting 기반의 추적 기술과는 다르게 객체들간의 구별을 좀더 명확하게 하기 위하여, 프레임과 프레임간의 객체들끼리의 연결 시 공간적인 제약조건과 시간적 제약 조건을 이용하여 Online Boosting 알고리즘을 설계하였다. 본 시스템에서는 멀리 떨어져있는 객체들간에는 연관성이 낮다는 점을 보다 강력하게 고려하였기에 추적하는 과정에서 물체들끼리의 연관 오류가 줄어들었고, 이는 몇 개의 범용데이터를 이용한 실험을 통해 증명하였다.

• Journal of Advanced Navigation Technology
• /
• v.16 no.2
• /
• pp.197-203
• /
• 2012

In this paper, study the substantial issues which occurs upon free flight environment by performing separation assurance under multiple conflict(over 3 Aircraft), recovery en route under the terms of time constrains and fixed way point after the conflict avoidance, correlations between conflict detection distance and separation assurance by utilizing Autonomous flight algorithm. Result of this experiment demonstrates that the extension of detection distance is advantageous to solution of separation assurance and enhancing of flight efficiency, choose to maneuver by applying time constrain terms and fixed way point according to the situation of conflict prediction in case of recovery maneuver after the conflict avoidance. And separation assurance can be solved by applying 2 degrees or more of bank angle. When choosing the optimal bank angle could be drastically improved flight efficiency.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.27 no.11C
• /
• pp.1132-1138
• /
• 2002

This paper proposes a reducing power consumption of a scheduling algorithm for optimal selection of supply voltage. In scheduling of reduction power consumption, we determine the control steps of operations to be executed by exploiting the possibility of using variable voltage levels to reduce power consumption. In the optimal selection of supply voltage binding, we minimize the main factor of the power consumption of the switching activity on the registers using a graph coloring technique. From a set of experiments using high-level benchmark examples, we show that the proposed algorithm prefer to use optimal selection supply voltages rather than uniformed single voltage is effective in reducing power consumption.