• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권5호
• /
• pp.394-402
• /
• 2010

자바스크립트는 현재 웹 사이트, 웹 어플리케이션에서 가장 많이 사용되는 스크립트 언어 중 하나이다. 자바스크립트로 작성된 프로그램은 원본 프로그램 형태로 클라이언트에게 전송되므로 무단 복제, 도용에 쉽게 노출된다. 때문에 자바스크립트 프로그램의 도용을 탐지하기 위한 연구가 필요하다. 현재 일반적으로 프로그램 표절 탐지를 위해 사용되는 자동화 도구들의 경우 고수준의 표절 기법에 적절히 대응하지 못한다. 반면에 프로그램 종속성 그래프에 기반을 둔 기존 연구들의 경우 자바스크립트의 동적인 특징을 적절히 반영하지 못한다. 또한 지나친 일반화로 인해 일부 틀린 판정(false positive)을 보이며 대상 프로그램의 크기가 클 경우 탐지 속도에 문제를 보이고 있다. 본 논문에서는 자바스크립트에 특화된 프로그램 종속성 그래프(이하 JS PDG)와 이를 사용한 도용 탐지 기법을 제안하여 이러한 문제를 해결하고자 한다. 본 논문에서 제안하는 JS PDG는 세분화된 노드 타입을 가지고 있어 기존 PDG와 비교해 보다 정확한 그래프 간 비교를 할 수 있도록 하며 포함하고 있는 노드 타입에 따라 정의되는 JS PDG의 타입은 탐색 범위를 분할을 가능하게 해 전체 도용 탐지 속도가 개선 될 수 있도록 한다. 실험 결과 기존 PDG에서 나타나는 틀린 판정을 확인할 수 있었으며 PDG간 비교 횟수가 줄어들어 도용 탐지 속도가 개선됨을 확인할 수 있었다.

• 한국초등수학교육학회지
• /
• 제23권1호
• /
• pp.75-92
• /
• 2019

2015 개정 수학과 교육과정에서는 학생들에게 그래프를 지도할 때 신문, 인터넷에 있는 그래프를 소재로 활용할 것과 자료를 수집, 분류, 정리하여 그래프를 그리고 해석하는 일련의 통계적 문제 해결 과정을 겪어볼 것을 권장하고 있다. 전통적인 교과서를 통해 학생들이 배우는 그래프는 단일한 형태의 그래프들이었고, 특히 5~6학년군의 그림그래프는 수치만 커졌을 뿐 기본 개념은 3~4학년군의 내용을 반복하고 있다. 다행히 2009 개정 교육과정부터는 일부 그래프의 특성을 서로 비교하면서 상황에 적합한 그래프를 선택할 수 있도록 하고 있으며 현실 세계 사용되는 그래프는 여러 가지 그래프들이 복합된 인포그래픽 형태로 제시되는 경우가 대부분이다. 본 연구는 인포그래픽을 활용한 통계 프로젝트 수업 사례 분석을 통해 초등학교 5학년 교실에서 활용 가능한 인포그래픽 활용 통계 프로젝트 수업을 구체화하는 방안을 제안하였다.

• 한국콘텐츠학회논문지
• /
• 제22권1호
• /
• pp.35-46
• /
• 2022

최근 네트워크 기술 발전과 함께 IoT 및 소셜 네트워크 서비스의 활성화로 인해 많은 그래프 스트림 데이터가 생성되고 있다. 본 논문에서는 압축률 및 압축 시간에 대해 중점적으로 연구되던 기존의 압축 기법에 그래프 마이닝을 적용하여 스트림 그래프 환경을 함께 고려한 그래프 압축 기술을 제안한다. 또한, 최신 패턴을 유지하여 실시간으로 변화하는 스트림 그래프에서 압축 효율 및 처리속도를 향상시킨다. 본 논문에서는 그래프 스트림 처리를 위한 점진적 빈발 패턴 기반 압축 기법을 제안하였다. 제안하는 기법의 우수성을 보이기 위해 압축률과 처리시간을 기존기법과 비교하여 성능평가를 수행한다. 제안하는 기법은 그래프 데이터의 크기가 커질 때 중복되는 데이터가 많아져 기존 기법보다 빠른 처리속도를 보인다. 따라서, 빠른 처리가 요구되는 스트림 환경에서 제안하는 기법을 활용할 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.489-491
• /
• 2000

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성된다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 과정에서 ATM은 계산 논리 뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM은 다양한 모드를 사용한다. ATM을 사용한 실시간 시스템의 검증은 도달성 그래프를 생성함으로써 수행한다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 기법들과 예제를 통하여 비교한다.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 2013년도 제45회 하계 정기학술대회 초록집
• /
• pp.224.2-224.2
• /
• 2013

본 연구에서는 CIGS박막 태양전지의 온도 및 시간 인가에 따른 전기적 특성 변화를 분석하였다. 실험에서는 온도 스트레스를 $25^{\circ}C$, $50^{\circ}C$, $100^{\circ}C$, $150^{\circ}C$, $200^{\circ}C$에서 각각 10시간씩 인가한 후에 Dark I-V와 C-V측정을 통해 전기적 특성 변화를 분석하였다. $25^{\circ}C$일 때를 초기 온도로 하여 특성을 측정한 것과 온도별로 노출시킨 후에 측정한 것을 비교했을 때 소자의 효율은 $100^{\circ}C$에서 감소하기 시작하였고, 인가한 온도가 높을수록 점점 많이 감소하는 모습이 나타났다. 이와 비슷하게 I-V그래프와 C-V그래프의 모습도 초기 값과 비교해서 변화하는 모습이 나타났고, 온도가 높아질수록 점점 변화하는 양이 증가하였다. I-V그래프에서 Diode ideality factor는 온도변화에 따라 초기 값 대비 증가하는 모습이 나타났다. 온도에 노출되기 전보다 노출된 후에 current와 capacitance가 감소하는 경향을 보이는데, 이는 온도의 영향으로 인해 소자의 결함이 증가하여 전하들의 반응에 영향을 주었기 때문으로 판단된다.

• 미생물학회지
• /
• 제39권2호
• /
• pp.67-75
• /
• 2003

비교유전체학의 주요 주제 중 유전자서열을 분류하고 단백질기능을 예측하는 연구가 있으며, 이를 위해 단백질 구조, 공통서열 및 바인딩 위치 예측등의 방법과 함께, 전유전체 서열에서 구해지는 유사도 그래프를 분석해 상동유전자를 검색하는 계산학적인 접근방법이 있다. 유사도그래프를 사용한 방법은 서열에 대한 기존 지식에 의존하지 않는 장점이 있지만 유사도 하한값과 같은 주관적인 임계값이 필요한 단점이 있다. 본 논문에서는 반복적으로 그래프를 분해하는 이전의 방법을 일반화시켜, 유사도 그래프에 기반한 유전자 서열군집분석 방법론과 객관적이고 안정적인 파라미터 임계값 계산 방법을 제안한다. 제시된 방법으로 알려진 미생물 유전체 서 열을 분석하여 이전의 방법인 BAG 알고리즘 결과와 비교했다.

• 한국산업정보학회논문지
• /
• 제10권2호
• /
• pp.26-31
• /
• 2005

본 논문에서는 웹 검색엔진에서 일반적으로 사용하는 문서요약에 대한 연구로써 문서 내에 있는 문장들의 꼭짓점을 연결하는 완전그래프기법을 도입하여 요약내용을 좀 더 간결하고 함축하게 하는 통계요약기법을 제안했다. 이 요약기술을 지금까지 통계 문서요약기술에서 우수하다고 판단된 클러스터링 기법과 MMR 기법 등과 비교하였다. 특히, 요약 성능을 평가하기 위하여 인위적으로 요약된 요약문을 기준으로 한 각 요약기법들의 FScore값들과 비교하였다. 이 기술들 중에서 완전그래프기법이 약 $30\%$정도 성능향상을 보였다.

• 대한수학교육학회지:학교수학
• /
• 제19권2호
• /
• pp.345-367
• /
• 2017

본 연구의 목적은 함수적 상황을 그래프로 표현하고 해석하는 과정에서 드러나는 중학생의 비례 추론 능력과 그에 따른 그래프에 대한 이해를 탐색하는 것이다. 중학교 1학년 4명의 학생을 대상으로 약 3개월간(2016.5.~2016.7.)에 걸쳐 일차함수에 대한 수업을 실시하였고, 수집된 자료를 분석하는 과정에서 학생 B의 경우 나머지 학생들과 달리 그래프에 대한 이해의 변화가 없다는 점이 드러났다. 이에 본 연구는 학생 B와 (1차시부터 8차시까지 학생 B와 함께 수업에 참여한) 학생 A가 주어진 상황을 그래프로 표현하고 해석하는 과정에서 드러나는 그래프에 대한 이해의 차이와 그 원인을 비교, 분석하였다. 그 결과, 상황을 그래프로 나타내고 해석하기 위해 상황에 제시된 두 변량의 값들을 조정하여 또 다른 값들을 찾는 과정에서 학생 A와 학생 B가 사용하는 비례 해결 전략이 서로 달랐으며, 학생 B는 그의 제한된 비례 지식으로 인해 상황을 그래프로 표현하고 해석하는 데 어려움을 겪었다.

• 정보과학회 논문지
• /
• 제44권1호
• /
• pp.78-83
• /
• 2017

최대 밀도 부분 그래프는 소셜 네트워크에서 사용자들이 속한 특정 커뮤니티나 사용자들의 공통 관심사를 나타내기에, 최대 밀도 부분 그래프를 찾는 연구가 다수 있었다. 그러나 기존의 연구들은 단일한 최고 밀도 부분 그래프를 찾는다는 문제점이 있었다. 이 연구에서는 주어진 노드에서 시작하여, 인접하는 노드 중에 연결수(degree)가 가장 높은 노드를 추가하는 방식을 사용한 최고 밀도 부분 그래프를 찾는 상향식 휴리스틱 알고리즘을 제안한다. 이에 따라, 병렬 처리에 용이하게 하였고, 이를 맵리듀스 프레임 워크 상에서 병렬 알고리즘으로 구현하였다. 다양한 그래프 데이터로 실험결과 이전 연구와 비교하여 조기에 최고 밀도 부분 그래프를 찾아냄을 보였다. 또한 다양한 다수의 노드가 주어졌을 때에도 효과적으로 동작함을 보였다.

• 정보처리학회논문지D
• /
• 제9D권3호
• /
• pp.337-344
• /
• 2002

최근에 그래프 타입의 자료에 대한 연구가 이루어지고 있다. 그 이유는 그래프가 지리정보시스템, 네트워크, WWW, 멀티미디어 프리젠테이션 등과 같은 영역의 문제들을 자연스럽게 표현할 수 있으며 자료 변화의 순서가 중요한 영역의 문제들도 자연스럽게 표현할 수 있기 때문이다. 이 논문에서는 방향 비순환 그래프로 표현되는 멀티미디어 프리젠테이션 그래프의 경로를 효과적으로 검색 처리하는 코드 시스템인 노드 코드 시스템을 제안한다. 노드 코스 시스템은 그래프의 각 노드마다 유일한 2진 문자열을 부여한다. 두 노드의 노드 코드를 비교하여 그래프 운행 없이 두 노드가 연결되어 있는지를 확인할 수 있다. 전통적인 그래프 운행을 이용한 방법보다 노드 코드 시스템의 이 특성을 이용하면 두 노드 사이의 경로의 건설을 효과적으로 할 수 있다. 노드 코드 시스템을 이용하여 경로를 건설할 수 있는 알고리즘을 제시한다.