• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권1호
• /
• pp.62-69
• /
• 2009

문서 요약은 쉽고 빠르게 문서의 내용을 파악할 수 있도록 방대한 내용을 가지는 다양한 형태의 문서로부터 핵심 내용만을 추출하거나 생성하여 제공하는 것을 목적으로 한다. 본 논문에서는 효율적 문서 요약을 위해 주어진 문서의 평균 문장 길이(핵심어 개수)를 고려하여 문장 간의 핵심어 유사도를 나타내는 연결 그래프를 생성하고 분석하여 요약을 생성하는 기법을 제안한다. 또한 이러한 기법을 이용하여 응용 프로그램 문서로부터 자동으로 요약을 생성하는 자동 문서 요약 시스템을 개발한다. 제안한 방법의 객관적인 요약 성능 측정을 위해 정확한 요약문이 실린 20개의 테스트 문서를 이용하여 생성된 요약에 대해 precision(정확률)과 recall(재현율), F-measure를 측정하였으며, 실험 결과를 통해 기존 기법에 비해 우수한 요약 성능을 보임을 증명하였다.

• 한국식품과학회지
• /
• 제30권5호
• /
• pp.1064-1069
• /
• 1998

호주산 밀(Australian Standard White) 제분한 국수용 밀가루(단백질 8.76%,회분 0.380%)에 피로인산나트륨과 과산화수소의 부가 혼합물인 과산화피로인산나트륨을 $0.2%{\sim}0.4%$ 첨가했을 때 파리노그래프의 안정도가 증가하였고, 익스텐시그래프의 신장성은 감소한 반면 신장에 대한 저항도는 증가하였다. 첨가제 0.2 % 농도에서 아밀로그래프의 최고 점도는 대조구보다 130 BU 높았고, 0.1% 증가함에 따라 최고 점도는 80 BU씩 증가하였다. 칼국수 제조시 가수량은 과산화피로인산나트륨(0.3%)의 첨가에 따라 6.45% 증가하였으며, 면대 신장율은 대조구보다 10% 정도 작았으나, 조리성질에는 영향이 없었다. 삶은 국수의 색깔, 텍스쳐와 선호도를 관능평가한 결과 첨가구가 대조구보다 유의적으로 우수하였다. 국수를 $20^{\circ}C$와 $25^{\circ}C$에서 저장했을 때 이취 발생 시기는 저장 온도에 관계없이 첨가구가 대조구보다 7시간 늦게 나타났으며, 이 때의 pH는 약 6.1이었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권1호
• /
• pp.52-58
• /
• 2007

본 논문에서는 실내 환경에서 동적 스테레오 카메라(active stereo camera)를 이용한 새로운 인체 실루엣 추출 방법을 제안한다. 제안한 알고리즘의 주된 응용분야는 이동 로봇 플랫폼에서의 인체 실루엣을 이용한 제스처 인식이다. 먼 거리에서 움직이는 객체를 분할(segmentation)하는 데에는 저해상도, 그림자, 스테레오 정합의 불확실성, 배경과 객체의 색 분포의 불안정성 등과 같은 다양한 문제를 내포한다. 우리는 먼저 이미지 분할 기법과 스테레오 정보를 이용하여 신뢰도 높은 객체와 배경 영역을 추정하였다. 이렇게 추정된 영역을 적절히 그래프 컷(graph cut)에 활용하는 방식을 고안함으로써 주변 환경의 변화에 강인한 인체 실루엣 추출을 가능하게 하였다. 제안한 방식은 실내에서 펜-틸트(pan-tilt) 스테레오 카메라로 획득된 비디오 데이타를 대상으로 실험하였으며, 색, 색과 스테레오, 색과 대비 정보를 기반으로 한 방법들과 비교 실험한 결과 정확도가 많이 향상된 것을 확인할 수 있었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권9호
• /
• pp.634-648
• /
• 2001

MSC는 통산 소프트웨어에서의 병행 수행 테스크들 사이의 상호작용을 기술하기 위해서 많이 사용되어져 왔다. 요구사항 단계에서 검증된 MSC 명세는 상태 기반의 설계 모델을 합성하는데 사용될 수 있을 뿐만 아니라, 테스크 시퀀스 생성에 사용될 수도 있다. 지금까지는 MSC에 기술된 각 이벤트의 위치 정보만을 이용하여 전체 상태 그래프를 생성함으로써 검증을 수행하였다. 본 논문에서는 MSC의 조건문을 시나리오 활성화 조건과 상태 변경을 기술할 수 있도록 확장하고, 이를 이용하여 전체 상태 그래프를 생성함으로써 테스크 시퀀스 생성에 이용한다. 생성된 전체 상태 그래프인 GFSM은 시스템의 의미 있는 상태 정보와 가능한 메시지 시퀀스만을 가지게 된다. 생성된 GFSM에 기존인 FSM 기반의 테스팅 기법을 적용하여 테스크 시퀀스를 추출할 수 있다.

• 한국정보과학회논문지:데이타베이스
• /
• 제28권3호
• /
• pp.418-429
• /
• 2001

현재의 지리 정보 시스템(GIS : Geographical Information System)은 컴퓨터 응용 시스템의 중요한 분야로서 도시 정보 시스템, 교통 정보 시스템 등에 활용되고 있다. 이들 응용 분야 는 대용량의 공간 데이터를 다루기 때문에 효율적인 공간 연산 수행을 위한 기본 연산자를 필요로 한다. 특히, 기본 연산자 중에서 공간 조인은 연산에 참여하는 객체의 수가 증가함에 따라 수행 시간이 지수적으로 증가하는 특성을 가지고 있으므로 빠른 응답 시간을 요구하는 시스템에는 부적합하다. 따라서 이러한 요구 사항을 만족시키기 위해서는 공간 조인의 효율 적인 병렬 수행이 필요하다. 본 논문에서는 공간 조인의 효율적인 병렬수행을 위하여 정적 부하 균등화를 위한 작업 생성 및 할당 방법을 제시한다. 이 방법은 공간 지역성을 고려하 여 작업을 생성하고, 비용 모댈을 통하여 작업량을 예측하여 표현한 뒤 작업 그래프로 나타 낸다. 그리고 생성된 작업 그래프를 그래프 분할 알고리즘을 통하여 균등하게 할당한다. 본 논문에서 제시된 방법은 독일 Parsytec 사의 CC16 병렬머쉰에서 실험한 결과로 볼 때, 기 존의 정적 할당을 통한 작업 생성 및 할당 방법에 비하여 각 프로세서간의 작업 수행시간의 편차를 줄임으로써 부하 균등화의 효과를 가져온다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권1호
• /
• pp.10-21
• /
• 2005

소프트웨어 아키텍처는 복잡 다양한 소프트웨어 시스템을 개발하는 데 있어서 개발될 소프트웨어의 품질 달성에 중요한 영향을 미치는 핵심 설계로서 인식되고 있다. 따라서 아키텍처 기반의 소프트웨어 개발에서 고품질 소프트웨어 개발을 위하여 소프트웨어 아키텍처에 대한 변형이 필수적으로 요구된다. 그러나 아키텍처 변형 시 적용 가능한 설계 대안들의 다양성과 그것들이 아키텍처에 미치는 결과에 대한 예측의 어려움으로 인하여, 소프트웨어 아키텍처 변형을 적용하는 것이 쉽지 않다. 그러므로 다양한 설계 대안들이 아키텍처에 미치는 결과를 이해하고 분석하는 것을 통하여 소프트웨어 아키텍처 변형을 지원하기 위한 방법이 필요하다. 본 논문에서는 소프트웨어 아키텍처 변형을 체계적으로 지원하기 위한 방법을 제안한다. 제안하는 방법에서는 소프트웨어 아키텍처에 포함된 아키텍처 설계 결정들과 그것들에 대한 제약조건들을 바탕으로 결정 제약조건 그래프를 정의한다. 결정 제약조건 그래프를 이용하여 소프트웨어 아키텍처의 주요 설계 결정들간의 의존 관계를 명시적으로 나타냄으로써, 소프트웨어 아키텍처 변형 과정에서 특정 설계 결정에 대한 설계 변형이 아키텍처에 미치는 영향을 체계적으로 분석 가능하게 한다. 본 논문에서 제시하는 소프트웨어 아키텍처 변형 방법은 아키텍처 변형에 대한 전반적인 이해를 용이하게 함과 동시에, 궁극적으로는 고품질 소프트웨어 개발을 위한 새로운 버전의 아키텍처 재생성을 돕는다

• 한국정보과학회논문지:데이타베이스
• /
• 제28권3호
• /
• pp.430-448
• /
• 2001

차량 항법 시스템에서 가장 중요한 기능중의 하나는 현재 위치로부터 목적지까지의 가능한 경로들 최단경로를 계산하는 일이다. 차량 항법 시스템의 중요한 어려움 중 하나는 대용량 디지털 로드맵상에서 최단경로를 구할 때 많은 계산 시간이 소요된다는 점이다. 차량 항법 시스템은 실시간 시스템이므로, 제한 시간을 만족하여 최소 비용 경로를 계산하는 것은 매 우 중요하다. 본 논문에서는 대용량의 디지털 로드맵(Road Maps)에서 최단 경로 계산을 효 율적이고 빠르게 하기 위해서 디지털 로드맵을 효율적으로 계층 구조화하는 HiTi(Hierarchical MulTi) 그래프 모델을 개발하였다. 제안된 HiTi 그래프 모델에 기반을 둔 SPAH라는 새로운 최단 경로 알고리즘을 제안하고, SPAH가 계산한 최단경로의 최적성 (Optimality)을 증명하였다. SPAH의 성능분석을 통하여 SPAH가 기존의 다른 최단 경로 계 산 알고리즘들 보다 훨씬 빠르게 최단경로를 계산한다는 것을 보여주었다. HiTi 그래프 방 법은 여러 가지 측면에서 다른 유사한 방법들과 상세하게 성능실험을 통하여 장.단점이 비 교 분석되어 졌다.

• 정보과학회 논문지
• /
• 제42권1호
• /
• pp.44-53
• /
• 2015

제어 흐름 정보는 프로그램이 실행되는 구조를 담고 있어 소프트웨어를 분석할 때 기준이 되고 소프트웨어를 서로 비교할 때에도 유용하게 쓰인다. 가상화를 이용한 난독화는 실제 기계의 명령을 구조가 숨겨진 가상 기계의 명령으로 바꾸어 프로그램의 제어 흐름 정보를 감춘다. 난독화가 적용된 바이너리에서는 가상 기계의 명령을 실행하는 인터프리터의 구조만 직접 드러난다. 이 논문에서는 가상화로 난독화된 바이너리를 실행해서 수행되는 명령들을 기록한 트레이스를 이용해 숨겨져 있는 프로그램의 본질적인 제어 흐름을 다시 만들어내는 방법을 제안한다. 트레이스를 기계 명령으로 이루어진 문자열로 보고 생성되는 트레이스들을 모두 받아들일 수 있는 오토마톤을 찾은 다음, 해당되는 제어 흐름 그래프를 만든다. 기계 명령의 수행은 오토마톤의 상태 전이에 대응하며, 이는 제어 흐름 그래프의 간선에 대응한다. 제안한 방법을 상용 가상화 도구로 난독화된 바이너리에 적용해 보았으며, 원본 바이너리와 유사한 제어 흐름 그래프가 생성되는 것을 확인하였다.

• 한국식품과학회지
• /
• 제32권5호
• /
• pp.1073-1078
• /
• 2000

치즈제조공정의 부산물로 생성되는 유청을 분말화한 후 생면 제조용 원료 밀가루 중량에 대하여 2.5%(T-I), 5.0%(T-II), 7.5%(T-III), 10%(T-IV)를 첨가하여 제조한 생면제조의 특성을 조사하였다. 아밀로그래프, 파리노그래프, 익스텐시그래프를 사용한 리올로지특성의 결과 유청분말 첨가량이 증가함에 따라 호화가 지연되었으며, 수분흡수율과 반죽형성기간은 감소하였고, 반죽의 안정도는 처리구 T-IV에서 가장 길게 나타났다. 또한 최대저항도는 유청분말 첨가량이 증가됨에 따라 증가하였고, 신장도는 감소함을 보였다. 조리면의 성질도 첨가량이 증가함에 따라 무게와 부피는 상대적으로 감소함을 보였고, 탁도는 증가하였으며, 조리면에 대한 TPA(texture profile analysis)결과 유청분말 처리구는 첨가량이 증가함에 따라 경도와 씸힘성은 각각 감소함을 보였다. 평점법을 적용한 관능평가(p<0.05)의 결과 조직감에서는 대조구와 처리구 T-I간에 유의적인 차이가 나타나지 않았으나, 처리구 T-II, T-III, T-IV와 대조구 간에는 유의적인 차이를 보였다. 전체적인 기호도는 처리구 T-II, T-III에서 상대적으로 평점이 높았으며, 대조구와 유의적인 차이를 나타내었다. 표면색의 측정결과 L값과 a값은 감소하였고, b값은 증가하였다.

• 한국인터넷방송통신학회논문지
• /
• 제19권3호
• /
• pp.193-199
• /
• 2019

본 논문은 지금까지 NP-완전인 난제로 알려진 최대 독립집합(MIS) 문제를 선형시간 복잡도로 해결한 알고리즘을 제안하였다. 제안된 알고리즘은 "MIS 집합의 모든 정점들은 상호간에 연결되지 않는다"는 기본 성질을 적용하여 n개의 정점으로 구성된 그래프에서 최소 차수 ${\delta}(G)$ 정점 ${\nu}$를 선택하고 부속 간선을 제거하였을 때 차수가 변하지 않는 정점들을 차수 오름차순으로 계속적으로 선택하는 단순한 방법을 적용하였다. 제안된 알고리즘을 22개 그래프에 적용한 결과, 시각적으로 그래프를 보면서도 MIS를 쉽게 찾을 수 있는 장점을 갖고 있으며, 알고리즘은 항상 MIS 집합의 원소 개수인 ${\alpha}(G)$회를 수행하여 알고리즘 복잡도는 O(n)으로 선형 알고리즘이다. 결국, 제안된 MIS 알고리즘은 MIS의 최적 해를 도출하는 일반적인 알고리즘으로 적용할 수 있을 것이다.