• 과학과기술
• /
• 제27권8호통권303호
• /
• pp.68-70
• /
• 1994

• 한국과학교육학회지
• /
• 제18권4호
• /
• pp.545-555
• /
• 1998

과학 탐구 능력의 향상은 과학 교육의 중요한 목표가 되어왔다. 이 목표를 달성하기 위하여 과학 교육 과정, 탐구 수업 방법, 교육 환경의 개선이 중요하다. 또 다른 중요한 요인은 과학 탐구 능력을 측정할 수 있는 도구를 개발하는 것이다. 그 동안 과학 탐구 능력 검사 도구는 우리 나라에서 뿐만 아니라 외국에서도 많이 개발되었다. 그러나 대부분은 문장으로 주어진 상황에서 각 탐구 요소를 측정하도록 되어 있어서 각 검사 도구에서의 독특한 특징을 발견할 수가 없다. 본 연구의 목적은 선 그래프를 이용하여 신뢰롭고 타당한 과학 탐구 능력 검사 도구를 개발하는 것이다. 선행 연구 등을 통하여 선 그래프를 이용하여 측정할 수 있는 과학 탐구 요소 6가지(가설 설정, 변인 통제, 자료 변환, 예상, 추리, 결론 도출)를 선정하고, 예비 검사와 현장 검사를 통하여 문항을 수정 보완하고, 최종적으로 4지 선다형의 19문항을 개발하였다. 본 검사 도구의 내용 타당도는 78%, 신뢰도 (KR-20)는 0.82, 평균 변별도 지수는 0.57, 그리고 평균 난이도 지수는 0.47이었다. 이 결과는 좋은 검사 문항의 기준에 합당하므로 본 검사 도구는 과학 탐구 능력을 측정할 수 있는 신뢰롭고 타당한 검사 도구라고 할 수 있다.

• 한국정보과학회논문지:시스템및이론
• /
• 제34권10호
• /
• pp.539-554
• /
• 2007

이 논문에서는 진구간 그래프(proper interval graph)가 각각 일대일, 일대다. 다대다 k-서로소인 경로 커버를 가질 조건을 고찰한다. 진구간 그래프는 $k{\geq}2$인 경우, k-연결되어 있는 경우에만 일대일 k-서로소인 경로 커버를 가지며, k+1-연결되어 있는 경우에만 일대다 k-서로소인 경로 커버를 가짐을 증명하였다. 그리고 $k{\geq}3$일 때 진구간 그래프는 2k-1-연결되어 있는 경우에만 (쌍형) 다대다 k-서로소인 경로 커버를 가진다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권11호
• /
• pp.871-875
• /
• 2009

소프트웨어 버스마크는 프로그램을 식별하는데 사용될 수 있는 내재된 특징이다. 본 논문에서는 제어 흐름 그래프 매칭 기반의 새로운 자바 버스마크를 제안한다. 제어 흐름 그래프 매칭은 노드 매칭과 에지 매칭으로 이루어진다. 두 제어 흐름 그래프의 노드 유사도와 에지 유사토를 구하기 위해서 서열 정렬 알고리즘과 최단거리 알고리즘을 각각 사용하였다. 제안된 버스마크를 평가하기 위해서 다양한 알고리즘을 구현한 자바 프로그램을 대상으로 실험을 하였다. 제안된 버스마크는 이 실험에서 높은 신뢰도와 강인도 뿐만 아니라 빠른 실행 성능을 보여주었다.

• 한국정보과학회논문지:시스템및이론
• /
• 제32권8호
• /
• pp.426-431
• /
• 2005

그래프 G의 다대다 k-서로소인 경로 커버(k-DPC)는 k개의 서로 다른 소스 정점과 싱크 정점 쌍을 연결하며 그래프에 있는 모든 정점을 지나는 k개의 서로소인 경로 집합을 말한다. 이 논문에서는 이중 루프 네트워크 G(mn;1,m)에서 다대다 2-DPC를 고찰하여, 이분 그래프가 아닌 모든 G(mn;l,m), $m{\geq}3$은 임의의 두 소스-싱크 쌍을 연결하는 다대다 2-DPC가 존재하고 이분 그래프인 G(mn;1,m)은 두 흰색-검정 소스-싱크 쌍이거나 혹은 검정-검정, 흰색-흰색 쌍을 연결하는 2-DPC가 존재함을 보인다. G(mn;1,m)은 m이 홀수이고 n이 짝수일 경우에만 이분 그래프이다.

• 정보과학회지
• /
• 제10권6호
• /
• pp.28-36
• /
• 1992

• 한국정보과학회논문지:시스템및이론
• /
• 제26권11호
• /
• pp.1353-1362
• /
• 1999

그래프 드로잉이란 추상적인 그래프를 시각적으로 구성하여 2차원 평면상에 그려주는 작업으로 대칭성은 그래프 드로잉시 고려해야 하는 미적 기준들 중에서 그래프의 구조 및 특성을 표현해주는 가장 중요한 기준이다. 그러나 일반 그래프에서 대칭성을 찾아 그려 주는 문제는 NP-hard로 증명이 되어 있기 때문에 현재까지는 트리, 외부평면 그래프, 직병렬 유향 그래프나 평면 그래프 등으로 대상을 한정시켜 연구가 진행되어 왔다. 본 논문에서는 병렬 컴퓨터나 컴퓨터 네트워크 구조를 가시화 시키기 위하여 많이 사용되는 그래프인 상호연결망(interconnection network)의 대칭성을 분석하고 분석된 대칭성을 최대로 보여주는 대칭 드로잉 알고리즘을 제안하였다. 그리고 이를 기반으로 하여 상호연결망의 기존 드로잉 방법들과 본 논문에서 제안한 대칭 드로잉 등 다양한 드로잉을 지원하는 WWW 기반의 상호연결망 드로잉 시스템을 구현하였다.Abstract Graph drawing is constructing a visually-informative drawing of an abstract graph. Symmetry is one of the most important aesthetic criteria that clearly reveals the structures and the properties of graphs. However, the problem of finding geometric symmetry in general graphs is NP-hard. So the previous work has focused on the subclasses of general graphs such as trees, outerplanar graphs, series-parallel digraphs and planar graphs.In this paper, we analyze the geometric symmetry on the various interconnection networks which have many applications in the design of computer networks, parallel computer architectures and other fields of computer science. Based on these analysis, we develope algorithms for constructing the drawings of interconnection networks which show the maximal symmetries.We also design and implement Interconnection Network Drawing System (INDS) on WWW which supports the various drawings including the conventional drawings and our suggested symmetric drawings.

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

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

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

제어 흐름 그래프는 자료 흐름 분석과 제어 종속 분석과 같은 프로그램 분석 분야와 프로그램 슬라이싱과 테스팅과 같은 소프트웨어공학 분야에서 필요로 하는 정보이다. 이러한 분석들이 안전하고 유용하기 위해서는 제어 흐름 그래프는 예외 흐름을 포함해야 한다. 기존의 방법은 예외 흐름과 정상 흐름의 상호 의존적인 관계로 인해 두 흐름을 동시에 계산하면서 제어 흐름 그래프를 생성한다. 그러나 실제 Java 프로그램을 조사해 본 결과 두 흐름이 상호 의존적으로 필요한 경우는 거의 발생하지 않음을 알 수 있었다. 그러므로 정상 흐름과 예외 흐름을 분리해서 계산할 수 있음을 알았고, 예외 흐름을 계산하는 예외 흐름 분석을 제안한다. 그리고 예외 흐름을 표현하는 예외 흐름 그래프를 제안한다. 그리고 제어 흐름 그래프는 예외 흐름 그래프와 정상 흐름 그래프를 합병함으로써 생성될 수 있음을 보인다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권12호
• /
• pp.1428-1444
• /
• 1999

MSC는 ITU에 의해 표준화된, 병행 시스템의 명세를 기술하기 위한 그래픽 형태와 텍스트 형태를 제공하는 언어로서 실시간 시스템 특히 통신 교환 시스템의 특성을 기술하기 위해 자주 사용된다. 통신 시스템이 제대로 동작함을 보이기 위해서는 정형적인 방법을 사용하여 시스템 행위를 검증할 필요가 있다. 통신 소프트웨어를 검증하는 방법 중 하나의 방법으로 유한 상태를 기반으로 하는 방법이 있다. 유한 상태를 기반으로 하는 방법에서는 먼저 시스템 명세에 해당하는 전체 상태 전이 그래프를 생성한 후 이를 바탕으로 model-checking 등의 방법을 사용하여 시스템의 특성을 검증한다. 본 논문에서는 MSC로 기술된 통신 소프트웨어 명세로부터 전체 상태 전이 그래프를 생성하는 방법에 초점을 맞추었다. 시스템 명세에 해당하는 상태 전이 그래프를 생성하기 위해 보다 직관적으로 MSC의 의미론을 표현할 수 있고, 또한 쉽게 전체 상태 전이 그래프를 생성할 수 있는 행위 종속 그래프를 제안하였다. MSC 명세는 일단 행위 종속 그래프로 변환이 되고 이 행위 종속 그래프를 이용하여 전체 상태 전이 그래프가 생성된다.Abstract Message Sequence Chart (MSC) standardized by International Telecommunication Union is a graphical and textual language for describing the specification of concurrent systems. It is frequently used both formally and informally for specifying the behavior of real-time systems, in particular telecommunication switching systems. To ensure that a communication system operates properly, the verification process showing the correctness of system's behavior formally is necessary. One of the verification methods is a finite-state method. In the finite-state method, the global state transition graph (GSTG) is constructed and then safety and liveness properties of systems are verified through a well-known method such as model checking. In this paper, we forcus on the construction of GSTG from the specifications of telecommunication software written in MSC. We suggest Action Dependency Graph (ADG) which can present the semantics of MSC intuitively and also provide a GSTG construction method from ADG. MSC specifications are translated to ADGs and, in turns, the GSTGs are constructed by using these ADGs.