• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2008년도 춘계학술발표대회
• /
• pp.553-556
• /
• 2008

임계구역을 가진 공유 메모리 기반의 병렬 프로그램에서 발생하는 경합은 프로그래머가 의도하지 않은 비결정적인 수행 결과를 초래하므로 반드시 디버깅해야 한다. 이러한 경합을 수행 중에 탐지하는 기존의 기법들은 임계구역의 실행순서에 의해서 발생하는 내부적 비결정성이 존재하지 않는 프로그램에 대해서만 경합의 존재를 검증할 수 있다. 본 논문에서는 내부적 비결정성을 가진 프로그램에 존재하는 비결정적 접근사건을 정적으로 분석하고, 이 정보를 이용하여 수행 중에 경합을 탐지함으로써 잠재되어 있는 경합까지 탐지할 수 있는 도구를 제안한다. 제안한 도구는 비결정성이 포함된 합성프로그램과 공인된 OpenMP 벤치마크 프로그램인 Microbenchmark를 이용하여 경합 검증이 가능함을 보인다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2022년도 제66차 하계학술대회논문집 30권2호
• /
• pp.373-376
• /
• 2022

미세먼지 수집을 위하여 필요한 위치 선정 방안과 위치 선정시 중요한 바람길분석, 수요조사, 유동인구, 교통량 등의 중요 기준을 반영하여 최종 선정하여야 하며, 이에 따라 설치된 측정기로부터 데이터 수집을 위해 지역적, 환경적, 지형적 요소를 감안하여 수집 항목을 결정하여야 한다. 데이터 수집시 실시간 또는 배치(Batch)로 할 것인지 여부를 결정하여야 하며, 이 보고서에서는 실시간으로 데이터 수집하는 경우를 설명하였다. 데이터 수집시 정확도를 높이기 위해 결측값, 이상값인 전처리 단계를 거쳐서 분석과 Modeling 구축을 통하여 정확도가 높은 알고리즘을 선정하여야한다. 정확도가 높은 알고리즘은 검증용 데이터 셋으로 적합성을 검증하여, 측정기 설치 위치의 적합성, 데이터 수집의 적합성, Modeling 구축 및 평가가 적합함을 지표로서 제시하여 적합성 검증을 하고자 한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제6권4호
• /
• pp.448-456
• /
• 2000

설계되는 시스템의 규모가 커지고 복잡해지므로 이를 빠른 시간 내에 효율적으로 검증하기 위한 상위 단계에서의 검증 기술의 개발이 중요하게 되었다. 본 연구에서는 하드웨어와 소프트웨어가 혼합되어 있는 시스템을 위한 상위 단계에서의 검증기술을 개발하였다. 에뮬레이션 또는 시뮬레이션만을 수행하는 것보다 빠르고 우수하게 기능적으로 검증하기 위해, 하드웨어와 소프트웨어 부분으로 분할한 후 인터페이스 회로를 이용하여 구현 가능하도록 하였다. 그리고, 상위 단계의 회로를 쉽게 하드웨어를 이용하여 검증하기 위한 설계 지침들을 제시하였다. 본 방법을 이용하여 리드-솔로몬 디코더 회로에 대한 검증을 수행한 결과 시뮬레이션만을 수행한 경우에 비하여 modified Euclid 알고리즘 수행 블록은 12,000배 이상의 속도로 검증을 수행할 수 있었으며, 전체 검증 시간도 반 이하로 줄었다.

• 한국정보과학회논문지:데이타베이스
• /
• 제34권2호
• /
• pp.153-165
• /
• 2007

XML은 웹 데이타 표현 및 교환을 위한 표준으로 많은 응용 분야에서 널리 이용되고 있다. XML Schema는 표준 XML 스키마로, 정의된 XML Schema에 의거하여 작성된 XML 문서를 ‘유효한 XML 문서’라고 하며 이러한 XML 문서는 갱신이 된 후에도 XML Schema에 대해 유효함이 보장되어야 한다. 본 논문은 갱신 이전에 갱신과 관련된 부분에 대한 유효 검증을 수행하여 불필요한 유효 검증을 제거한 XML Schema 유효 검증 메커니즘인 ‘예상 갱신 부분 유효 검증 기법’과 갱신 별 유효 검증 알고리즘을 제안한다. 또한 XML 데이타와 XML Schema 간의 매핑 방법과 XML Schema 유효 검증을 지원하기 위해 효율적인 스키마 정보 추출을 제공하는 XML Schema 저장 방법을 제안한다. 마지막으로 실험을 통해 스키마 저장 방법에 따른 갱신 별 유효 검증 성능을 비교한다.

• 정보보호학회논문지
• /
• 제13권1호
• /
• pp.115-129
• /
• 2003

본 논문에서는 암호프로토콜의 논리성 검증을 위한 방법 중 하나인 SVO 로직을 바탕으로 한 자동 검증 방법과 실험에 대해서 다룬다. 먼저 기존 SVO 로직 자동 검증의 문제점을 도출한 후 자동 검증을 고려한 ASVO 로직을 설계하고 검증하였으며, Isabelle/Isar 시스템을 이용하여 구현하였다 본 논문에서는 잘 알려진 NSSK 프로토콜 중심으로 추론 구성 사례를 소개하도록 한다. 결과적으로 이미 Denning-Sacco 공격에 취약한 것으로 알려진 NSSK 프로토콜의 문제점들을 ASVO 로직의 자동화 검증을 통해서 정확히 확인할 수 있었다. 그리고 최종적으로 ASVO 로직의 자동화 검증을 통해서 발견된 취약점들을 개선한 NSSK7 프로토콜을 설계하고 검증하였다.

• 보건의료생명과학 논문지
• /
• 제10권1호
• /
• pp.69-80
• /
• 2022

본 연구의 목적은 미래사회가 요구하는 인재를 양성하기 위한 역량 중심 교육 실행을 위하여 전문대학생이 갖추어야 할 핵심역량 진단 도구를 고도화 개발하고 타당도와 신뢰도를 검증하는 것이다. 이를 위해 선행연구 분석과 구성원 의견수렴, FGI, 전문가 자문을 통해 기존 진단 도구를 분석하고 예비문항을 도출하였다. 도출된 문항은 총 46문항이었으며 이는 내용 타당도로 검증하였다. 이후 재학생 중 희망자 380명을 대상으로 예비조사를 실시하였다. 구성 타당도 검증을 위해서 AMOS 18.0을 사용하여 탐색적 요인분석을 시행하였다. 그 결과 6개 핵심역량으로 구성된 30개 최종 문항을 도출하였다. 핵심역량 진단 도구는 재학생의 역량을 진단하여 향후 미래지향적 역량교육의 실행과 평가, 질 관리 도구로 적극적으로 활용될 것으로 기대된다.

• 과학교육연구지
• /
• 제35권1호
• /
• pp.102-118
• /
• 2011

본 연구에서는 학교 밖 탐구활동의 실태 분석 결과와 수공적 기능이 강조된 HASA 교육과정 기준안에 근거하여 개발된 체험 중심 과학 캠프 프로그램을 적용하였다. 따라서 과학캠프 프로그램을 개발하여 적용한 후, 과학 캠프에 참여한 학생들의 반응에 기초하여 체험 중심 과학 캠프 활동 프로그램의 타당성을 검증하였다. 과학캠프 프로그램을 개발하여 적용하는 과정에 대해서는 캠프에 참여한 학생들이 캠프 기간 중에 작성한 탐구 보고서와 캠프가 끝난 후 인터넷에 올린 소감을 바탕으로 지식, 탐구, 수공적 기능, 태도 영역으로 구분하여 분석하였다. 그리고 사전 사후 설문지를 통해 과학캠프 프로그램 구성 영역과 캠프 프로그램의 타당성을 검증하고, 캠프에 참여한 학생들의 과학관련 태도 변화를 조사하였다. 과학 캠프 프로그램의 적용 결과, 과학지식의 이해 증진과 탐구능력 향상을 목적으로 하는 과학 캠프 프로그램의 개발에 있어서 내용면에서는 학생의 흥미와 참여를 고려하여 실생활과 첨단과학을 연계한 주제로 개발하고, 활동 면에서는 학생들이 직접 조작해보는 체험활동 및 선의의 경쟁심을 유발하는 과학경연 형태의 비중을 높일 필요가 있는 것으로 나타났다. 따라서 과학교육연구센터와 같은 과학교육 연구를 수행하는 기관들의 인적 체계나 경제적 지원을 보완하여 지속적인 과학 캠프 프로그램을 개발할 필요가 있다. 또한 공교육 차원에서 체험 중심 과학 캠프와 같은 학교 밖 탐구활동에 대하여 보다 적극적인 연구와 현실적인 노력을 실행한다면, 과학에 대한 학생들의 부정적 인식이나 이공계 기피 현상 등의 문제점들을 개선하는데 긍정적인 영향을 줄 것이라는 의미를 갖는다.

• 컴퓨터교육학회논문지
• /
• 제17권3호
• /
• pp.11-23
• /
• 2014

21세기를 살아가는 현대인들에게 정보과학적 사고는 필수적으로 갖추어야 할 사고능력이다. 그러나 현행 정보교육과정 내에서 이러한 사고능력을 갖추기란 현실적으로 매우 어렵다. 이에 단편적이고 일률적인 프로그래밍 교육에서 벗어나 학습자의 정보과학적 사고능력을 신장시키고 컴퓨터 과학 원리를 쉽게 이해시키기 위하여 초등 퍼즐 기반 학습 프로그램을 개발하였다. 그리고 개발된 프로그램의 효과를 검증하기 위해 제주도내 초등학교 3~6학년 학생 41명을 대상으로 35시간 동안 적용한 결과, 창의적 문제해결력과 정보과학적 문제해결력에 긍정적 변화를 가져오는 것을 확인하였다. 이에 본 논문에서는 교육프로그램의 설계와 그 효과를 검증하고 새로운 정보교육 형태로서 초등 퍼즐 기반 학습 프로그램을 제시하고자 한다.

• 정보과학회지
• /
• 제27권6호
• /
• pp.50-56
• /
• 2009

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 춘계학술발표대회
• /
• pp.884-887
• /
• 2012

무선 센서 네트워크 기술은 상시적으로 물리정보를 획득할 수 있기 때문에 광범위한 응용분야에서 수요가 증가하고 있다. 또한 무선 센서 네트워크에 적용되는 무선 센서 시스템은 일반적으로 배터리를 장착하여 회로에 전력을 공급해주는 방식을 사용한다. 그러나 센서가 적의 기지근처, 인체 조직내 삽입, 건물의 내벽 등과 같이 배터리를 교체할 수 없는 곳에 위치해 있는 경우, 반영구적인 사용에 제한이 있기 때문에 무전원 무선 센서의 개발이 절실히 필요하다. 특히, 이러한 센서를 새롭게 개발하고 검증하려며 센서의 주파수 특성을 분석해야 하는데 기존에는 단순한 파형만을 분석할 수 있는 일반적인 계측기를 사용할 수밖에 없었다. 따라서 본 논문에서는 기존의 계측기보다 유연성 있고 효율적으로 무전원 무선 센서의 개발과 검증이 가능하도록 신호의 모니터링과 신호발생기를 에뮬레이션하는 NI LabVIEW기반의 SAW System Analyzer와 SAW Reader Emulator 시스템을 설계하고 개발하였다.