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

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

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

컴퓨터와 소프트웨어의 사용이 증가하면서, 프로그램 소스의 도용(표절)이 사회적인 문제로 부각되고 있다. 이런 문제를 해결하고자 프로그램의 문법 구조를 비교하여 표절을 찾아내는 방법론이 제안되었지만, 간단한 프로그램 수정에도 표절을 찾아내지 못하는 한계를 가지고 있다 이 연구에서는, 문법 구조적인 정보 뿐 아니라, 프로그램식 간의 수행시 의존 관계를 드러내는 그래프를 이용한 프로그램 표절 감지 시스템을 제안한다. 이 방법론은 문법 정보 뿐 아니라, 수행시 의존 관계까지 비교 대상에 을림으로써, 수행시 의콘 관계를 변화시키지 못하는 프로그램 수정에 대해서도 프로그램 표절을 판별할 수 있다. 또한, 이 연구에서는 표절 프로그램이란 무엇인가를 엄밀하게 정의하고 이 표절 프로그램의 정의와 연구에서 제안된 표:늰 감별 그래프와의 관계를 보였다. 즉, 두 프로그램이 표절이라는 것은 표절 감별 그래프가 일치한다는 긴과 필요 충분 관계가 있음을 증명하였다. 또한 제안된 표절 감별 방법론을 실제적인 프로그래밍 언어인 IML 에 대해서 구현하였다. 구현된 도구를 통해서 실제 표절된 프로그램들을 감별한 결과, 기존의 방법에서 찾기 어려운 프로그램 표절을 제안된 방법론이 다룰 수 있음을 확인하였다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제8권
• /
• pp.231-245
• /
• 1999

본 연구는 중학교 1학년 함수 학습을 위해 패턴 활동으로 구성된 함수 지도 프로그램을 개발하고, 개발한 프로그램을 적용한 실험 집단(85명)과 교과서를 적용한 비교 집단(85명)간의 함수 학습에서의 효과를 분석하였다. 함수 지도 프로그램은 학생들이 패턴 활동을 동해 함수적 사고를 기르며, 활동적으로 수업에 참여하여 수학에 대한 자신감과 실생활의 연계성을 가질 수 있도록 구성하였으며, 적용 결과, 수학 수준별 수업을 하는 상반에서는 유의미한 차이를 보였고, 중반에서는 유의미한 차이는 없었으나 수업 시간에 흥미가 매우 높았다는 긍정적 평가를 할 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (3)
• /
• pp.712-714
• /
• 1998

공유 메모리 병렬 프로그램의 주요 문제의 하나는 공유 변수에 접근하는 비 결정적 수행이다. 본 연구에서는 공유 메모리 병렬 프로그램의 접근이상(access anomaly)을 탐지하는 방법들중 수행중 탐지 기법을 보인다. 수행중 접근이상 탐지기법은 접근이상이 존재하면 적어도 하나는 탐지 할 수 있는 장점을 가지고 있다. 수행중 탐지 기법인 English-Hebrew Labeling 은 동기화 명령을 가지고 내포 병렬 루프 프로그램에서 적용될 수 있는 레이블링 기법으로 레이블링에 많은 저장장소를 필요로 하는 단점을 가지고 있었다. 본 연구에서는 새로운 레이블링 방법을 소개하고, 기존의 English-Hebrew Labeling과 최악의 경우에 기억 장소 복잡도의 측면과 시잔 복잡도의 측면에서 효율성을 비교, 분석하게 된다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(B)
• /
• pp.79-82
• /
• 2011

무인기용 비행제어 소프트웨어는 인터럽트 핸들러에서 비결정적인 수행결과를 조래하는 경합이 발생될 수 있다. 이러한 유형의 경합을 탐지하기 위한 기존 방법은 원시 프로그램의 인터럽트 핸들러를 스레드로 변환하여 정적 경합탐지 도구를 사용하므로 프로그램 수행 시 실제 발생하지 않는 부정확한 경합(false positives)를 보고한다. 본 연구는 부정확한 경합 보고를 줄이기 위해서 원시 프로그램을 POSIX 실시간 스레브 프로그램으로 변환하고 Lockset기반 탐지기법 의해서 탐지된 공유변수를 대상으로 Happens-before 관계 분석기법을 이용하여 경합을 탐지하는 동적 경합탐지 도구를 사용한다. 제시된 방법의 실험을 위해서 Knob Assembly에 탑재되는 비행제어 소프트웨어를 대상으로 정적 경합탐지 도구와 동적 경합탐지 도구의 경합탐지 결과를 비교 분석한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (2)
• /
• pp.115-117
• /
• 2002

객체지향 프로그램 슬라이싱을 위한 Loren D Larsen and Marry Jean Harrold가 제안하는 방법은 절차적 프로그램 슬라이싱을 위한 시스템 종속성 그래프 표현방법에 객체지향 패러다임을 표현할 수 있도록 확장하며 2단계 마킹 알고리즘을 적용하여 슬라이스를 계산한다. 시스템 종속성 그래프를 이용한 슬라이싱 방법은 클래스 멤버 변수와 전역변수 및 인스턴스 변수에 대하여 각 메소드 호출 및 진입정점에 actual_in, actual_out, formal_in, formal_out 정점들이 추가되어 복잡도가 증가한다. 본 논문에서는 이들 변수를 클래스 정점의 멤버간선으로 연결하여 각 메소드의 문장에서 사용하면 진출간선 정의하면 진입간선으로 연결하여 정점과 간선들의 개수를 최소화할 수 있도록 시스템 종속성 그래프를 개선하였다. 제안하는 시스템 종속성 그래프는 그래프 복잡도의 최소화와 2단계 알고리즘에 의한 정확한 슬라이스 계산이 장점이다. C++ 예제 프로그램을 적용하여 그래프 복잡도의 감소와 정확한 슬라이스 계산을 기존의 방법과 비교하여 개선됨을 확인하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (3)
• /
• pp.621-623
• /
• 2000

클러스터를 구성하는 단위 노드로 SMP가 새로운 대안으로 시장에 등장하였다. 이러한 멀티프로세서 클러스터(CLUMP)는 하나의 시스템에 다중 메모리 구조를 가지는데, CLUMP가 가지는 다중 메모리 구조를 효과적으로 사용하기 위해서 본 논문에서는 중첩된 병렬화 프로그램 모델을 제안하였다. 중첩된 병렬화 모델은 중첩된 루프 레벨의 병렬화, 중첩된 태스크 레벨의 병렬화, 그리고 다중 중첩된 병렬화로 나뉜다. 본 논문에서는 중첩된 루프 레벨의 병렬화를 실험대상으로 하여 그 성능을 평가하고 단일 메모리 구조의 병렬화 프로그램과 성능을 비교하였다. 실험 결과 시험한 중첩된 병렬화 모델이 단일 메모리 구조의 병렬화 프로그램에 비하여 좋은 성능을 나타내었지만, 실험대상이 된 루프 레벨 병렬화의 잠재적인 특징으로 인해 실행에 참여하는 노드 수가 많아질수록 성능 향상 폭이 감소하는 결과를 보였다. 프로그램의 성능 향상 폭과 확장성은 문제 크기가 클수록 좋은 특성을 보였다.

• 한국식품영양과학회지
• /
• 제29권6호
• /
• pp.1177-1184
• /
• 2000

본 연구는 영양분야의 전문 웹사이트로서 인터넷 상에서 이용할 수 있는 영양평가 시스템을 개발하기 위하여 수행되었다. 프로그램의 구성은 표준체중 및 열량필요량 자료, 식품 및 음식의 영양소 함량, 영양소별 20순위 식품, 식사섭취자료, 한국인 영양권장량 자료 등을 데이터베이스로 하여 사용자의 신체계측치와 활동정도에 따른 비만도 및 열량필요량의 분석과 섭취한 음식에 대하여 영양섭취상태를 평가받고 영양소별 함유량이 높은 식품과 음식에 대한 열량 및 영양소의 정보를 제공받을 수 있도록 웹 페이지 형식으로 만들어졌으며, 사용자는 인터넷 사이트로 들어가 자신의 이름, 성별, 나이, 키, 체중 및 활동정도를 입력함으로서 자신의 체중범위, 표준체중, 체격지수, 비만도, 기초대사량, 1일 열량필요량 및 이들의 섭취열량과의 과부족을 비교 평가한 자료를 얻을수 있으며, 만약 사용자가 비만이라면 체중을 감소하기 위한 1일 열량필요량도 얻을 수 있다. 또한 사용자는 음식입력 항목을 선택하여 날짜별, 식사별로 자신이 하루동안 섭취한 음식 및 섭취량 등을 입력하고 영양섭취상태를 클릭하면 식사섭취상태의 진단과 평가를 받을 수 있다. 즉 열량과 각 영양소에 대한 하루의 섭취량 및 아침, 점심, 저녁 및 간식의 섭취량이 분석되어지며 이들중 권장량이 정해진 영양소는 다시 사용자의 섭취량에 대한 권장량광의 비율을 그래프로 나타냄으로서 섭취된 영양소의 과부족을 쉽게 평가받을 수 있다. 지방질 역시 구성지방산과 콜레스테롤의 섭취 상태가 분석되어 이들의 표준섭취비율과 비교해 제시됨으로서 그릇된 섭취형태를 평가받을 수 있다. 이 밖에 식사별 열량영양소 구성비가 표준섭취비율과 비교 평가되어 그래프로 나타나며 급원식품에 대한 영양소 정보를 줄 수 있는 식품군별 영양소 섭취상태와 동식물성 식품 섭취상태도 평가되어진다. 따라서 본 프로그램은 인터넷을 이용하여 누구라도 자신의 영양섭취상태를 평가받고 과부족이 되기 쉬운 영양소의 급원 식품과 음식에 대한 영양정보도 제공받을 수 있도록 할 뿐 아니라 식이요법을 필요로 하는 질환의 영양상담을 위한 기본 프로그램으로 활용될 수 있도록 하는데 그 의의가 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권1호
• /
• pp.82-88
• /
• 2004

프로그램 과제물과 같은 많은 프로그램을 모두 일일이 비교하는 것은 비용이 많이 든다. 더군다나 검수자가 과제물을 검사한다든가, 점수를 부여하고자 한다면 더욱 많은 시간이 요구된다. 물론 검수자가 많은 시간을 두고 평가해도 객관성이 떨어질 수도 있다. 이러한 문제점은 프로그램 과제물에 대해서 유사한 프로그램으로 서로 묶어 놓는다면 쉽게 해결할 수 있다. 즉, 유사한 프로그램으로 서로 묶어놓고 검사한다면 쉽게 검사나 평가가 가능하다. 본 논문에서는 많은 프로그램에 대해서 유사성이 높은 프로그램으로 그룹 짓기(grouping)를 수행하는 알고리즘을 제시하고 구현한다. 그룹 짓기 알고리즘은 (9)에서 제시한 프로그램 유사도 평가 알고리즘을 이용하여 유사도를 측정한 후, 유사성이 높은 프로그램을 그룹 짓기를 수행한다. 이 그룹 짓기 알고리즘을 이용하면 n개의 프로그램에 대해서 최대 n(n-1)/2 번에서 최소 (n-1)번까지 비교 횟수를 줄일 수가 있다. 본 논문의 실험 및 평가 부분에서는 실제로 모 대학의 과제물 10개를 추출하여 유사성을 기준으로 실험 평가한 결과를 보여준다.

• 한국정보관리학회:학술대회논문집
• /
• 한국정보관리학회 2001년도 제8회 학술대회 논문집
• /
• pp.249-252
• /
• 2001

본 연구는 미국 ALA (American Library Association)가 인정한 문헌정보학 석사과정 (Master of Library Services) 교육과정에서 연구방법론의 현황과 특성을 분석하고, 문헌정보학 프로그램이 개설된 기관 내 다른 대학원 프로그램에서의 연구방법론의 위상을 문헌정보학과와 비교하였다. 연구결과 문헌정보학의 경우, 연구방법론에서 다루어지는 내용들이 매우 다양하고 일관성이 없었으며, 다수의 문헌정보학 프로그램들 내에서 연구방법론이 필수과목이 아니었으며, 상위20위에 드는 학교 중 절반만이 연구방법론을 필수과목으로 요구하였다. 그러나, 문헌정보학 프로그램이 개설된 기관 내의 자연과학 프로그램, 대부분의 사회과학 프로그램, 경영학 석사과정 (MBA), 사회복지학 석사과정들이 연구방법론을 핵심과목으로 요구하였으며, 이들 분야들은 자신의 분야의 특수성을 반영하는 연구방법론 과목을 개설하였다. 또한 이들 분야의 프로그램들을 승인하는 국가적인 기관들이 연구방법론의 필수과목 개설을 명시하였다. 털 연구는 문헌정보학의 학문적 경쟁력을 강화하고, 연구의 질을 향상시키기 위해서는, 문헌정보학 학문의 특수성을 반영할 수 있는 연구방법론의 개발과 연구방법론의 핵심과목 지정이 중요함을 제시한다.