• 정보보호학회지
• /
• 제19권1호
• /
• pp.67-74
• /
• 2009

본 논문은 공학교육인증 체제에서 요구되는 학부생들의 실무 설계능력을 제고하기 위하여 지역대학에서 필요한 산학협동과제 기반의 실무인력양성 모델을 제안한다. 산학맞춤형 프로그램, 인턴쉽 프로그램 등 학부 학생들의 실무능력 향상 및 취업률 제고를 위한 기존 방안들이 만족할 만한 효과를 거두지 못하고 있는 상황에서 학생들의 실무수행 능력 제고를 위한 보다 근본적인 대학-산업체간의 협력이 요구되며 상호 신뢰를 바탕으로 산학협동과제를 발굴하여 이를 주제로 실무인력 교육에 상호 지원하는 체제가 요구된다. 본 논문에서는 제안한 모델에 기반을 둔 연구개발팀을 실제로 구성하여 산업체로부터 제시되는 프로젝트를 추진한 사례를 통하여 학부 학생들이 산업체에서 활용 가능한 수행 결과물을 도출함과 동시에 참여 학생들의 취업 성과를 통하여 실무능력이 월등히 개선될 수 있음을 보인다.

• 과학교육연구지
• /
• 제45권1호
• /
• pp.42-54
• /
• 2021

이 연구는 과학적 소양인 양성의 체계적 전략 마련을 위해 과학적 소양이 어떻게 발현되는가를 확인하고 앞으로의 과학적 소양인 양성 교육 프로그램 구성에 필요한 기반을 마련하는 것이 목적이다. 이를 위해 과학교육 전문가 워크숍에서 신문기사를 분석하고 과학적 소양인의 참모습을 논의하여 과학적 소양 발현 메커니즘을 도출하였다. 도출된 메커니즘은 이해, 공감, 실행, 교감 순으로 위계적으로 나타났다. 제시된 각 단계와 단계 이행의 매개를 활용하여 교육 프로그램을 구성하고 이를 학교 현장에 적용한다면 과학교육을 통해 실제적인 과학적 소양인을 양성할 수 있을 것이다.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제21권2호
• /
• pp.132-137
• /
• 2015

실시간 시스템은 시스템의 행동이 입력 값 뿐만이 아니라 입력 값의 시간에도 의존적인 시스템이고, 타임드 오토마타는 실시간 시스템 모델링 및 분석에 대표적으로 쓰이는 모델이다. 모델 기반 테스팅은 소프트웨어의 요구사항을 표현한 모델로부터 생성된 테스트 케이스를 테스트 대상 프로그램에 수행함으로써 테스트 대상 프로그램이 모델에 명세된 대로 작동하는지 여부를 확인하는 기법이다. 본 연구에서는 타임드 오토마타 모델 기반 테스팅 도구인 UPPAAL-TRON, UPPAAL-COVER, SYMBOLRT를 동일한 시스템에 적용하는 사례 연구를 수행하고, 이를 기반으로 테스팅 기법 및 도구를 비교 분석한다.

• 감성과학
• /
• 제13권1호
• /
• pp.225-234
• /
• 2010

본 연구는 효과적인 감성교육의 방향을 모색하기 위하여, 학습자의 긍정적 감성과 학습 및 동기의 관계에 대한 연구의 흐름을 고찰하였다. 이를 위하여 본 연구는 긍정적 감성의 정의를 살펴보고, 긍정적 감성이 인간의 인지적 영역, 창의성, 사회성, 삶의 만족도 등의 심리적 자원에 미치는 긍정적 효과, 긍정적 감성과 동기의 정적 관계에 대한 선행연구들, 긍정적 감성과 학습에 대한 연구들을 살펴보았다. 특히 본 연구는 교육에서의 긍정적 감성의 역할을 보다 과학적으로 탐구하기 위하여, 최신 뇌기반 학습과학(brain-based learning) 연구결과들을 살펴보았다. 즉 교육학, 심리학, 인지과학, 뇌과학 분야 등의 다양한 연구결과들을 고찰하여 교육에서의 긍정적 감성의 역할을 확인하였다. 또한 본 연구는 긍정적 감성이 실제적으로 긍정적 감성을 향상시키기 위한 구체적 교육 프로그램을 살펴보기 위하여, 자율성 지지적 환경에 대한 연구도 예시적으로 고찰하였다. 향후 긍정적 감성과 동기 및 학습의 유기적 상호작용을 극대화 하는 효과적인 감성교육의 방법론으로서 뇌기반 학습과학의 가능성과 한계점에 대하여 논의하였으며, 학교현장에서의 활용 방안 등에 대해서도 살펴보았다.

• 한국산학기술학회논문지
• /
• 제9권5호
• /
• pp.1255-1259
• /
• 2008

본 연구는 실제 사례를 중심으로 하여 프로그램의 복제정도 및 도용여부를 판단하기 위한 모형을 개발하는 내용이다. 본 논문에서는 복제정도 및 도용여부를 판별하기 위한 항목을 기술하였다. 또한 각 항목들은 각각의 중요도가 다르기 때문에 각 항목별 중요도를 결정하고 각 항목에 대해 복제정도를 산출하였다. 이를 기반으로 하여 프로그램간의 전체적인 복제여부를 판단한 연구내용이다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2005년도 제36회 하계학술대회 논문집 C
• /
• pp.2069-2071
• /
• 2005

본 연구에서는 플라즈마 식각 공정 시 식자률, 선택비, wafer 손상등과 중요한 관련이 있는 이온 에너지 분포(IED)를 측정하기 위해서 챔버 내에 직접적으로 분석기를 설치하지 않고 챔버 외부에서 비 침투적(noninvasive)인 방법을 사용하여 측정하였다. 이 방범은 신호선 중 한 곳에 측정 점을 잡기 위한 연결 장치만 필요하며 그곳에서의 전안 신호와 전류 신호를 오실로스코프에서 측정한 후 미리 얻어진 챔버 구조 모델링 계수 등을 통해 실제 바이어스 전극에 걸리는 전압 및 전극에서 플라즈마로 흐르는 전류를 유추한다. 전압 및 전류측정값과 power balance와 particle balance를 적용하여 얻은 플라즈마 특성 상태 변수들을 사용하여 oscillating step sheath model을 기반으로 한 분석 프로그램을 통해 실시간 이온에너지 분포 결과를 얻었다. 실제 공정 시 바이어스 주파수 변화, 바이어스 파워 변화, 소스 파워변화 조건 등에 따른 이온 에너지 분포 측정 및 분석을 통해 비 침투적측정방법 적용의 가능성과 장점을 확인하였다.

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

현재 다량의 네트워크 대역폭을 소모하는 응용 프로그램 트래픽을 확인하고 분류하는데 많은 방법들이 사용되고 있지만 정통적인 트래픽 분류 방법론인, 포트 번호, ip 등 등의 헤더 정보만으로는 응용 프로그램의 트랙픽을 정확하게 분류하지 못한다. 최근 동적인 포트 번호를 사용하는 새로운 트래픽 응용의 등장과 방화벽을 통과하기 위한 포트번호 변경으로 인하여 전통적인 TCP/UDP 헤더 기반의 트랙픽 분류 방법은 부정확해지고 있다. 이러한 트래픽을 정확하게 식별하고 분류하기 위해서는 패킷의 페이로드 내용에 대한 조사도 병행되어야 하고 시그니처 기반의 식별 방법을 사용하여야 한다. 하지만 이 방법은 정확도가 높은 반면 시그니처의 목록을 매번 최신 상태로 유지하여야 하는 단점과 길어지는 탐색 시간에 따른 시스템 부하의 문제를 가지고 있다. 본 연구에서는 이러한 단점을 향상시키는 목적으로 새로운 시그니처 기반의 해쉬 테이블에 캐시를 이용한 방법론인 효율적인 알고리즘을 제안하고 시그니처의 자료구조와 실제 패킷과 시그니처의 비교 방식을 수정함으로써 효율성을 높이는데 목적을 두고 있다.

• 정보관리학회지
• /
• 제31권3호
• /
• pp.313-329
• /
• 2014

본 연구에서는 방송자료에 대한 지적 접근점을 제공하기 위한 방편으로, 뉴스 및 시사보도 프로그램의 내용 기술을 위한 패싯 분석 기법의 적용을 시도하였다. 랑가나단의 PMEST 기본 패싯에 기반하여, 보도 장르에 적합한 기본 패싯-'누가', '무엇을', '어떻게', '어디서', '언제'-을 생성하였으며, 보도 장르의 형식적 구조와 내용적 요소를 반영하여 패싯의 구성요소를 추출하였다. 이를 실제 방영한 시사보도 프로그램을 대상으로 적용해 본 결과, 본 연구에서 제안한 패싯이 보도 장르의 맥락적 요소를 잘 표현해주고 있었으며, 패싯의 적용은 특정 방송내용에 대한 식별을 증진시킬 것으로 기대되었다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2016년도 학술발표회
• /
• pp.185-185
• /
• 2016

일반적인 송 배수시스템의 운영은 지대가 높은 곳에 위치한 배수지(tank)에 용수를 저장한 후, 자연유하에 의해 수요절점으로 용수를 공급한다. 이때 배수지에 용수를 송수하기 위한 펌프장 운영에서 많은 전기에너지가 소모된다. 일반적으로 송수펌프의 운영은 다년간의 운영자료를 기반으로 운영자의 판단에 의해 이루어지거나, SCADA(Supervisory Control and Data Acquisition)시스템을 통해 관측되는 배수지 수위를 기준으로 펌프 작동여부를 결정하고 있다. 본 연구에서는 이러한 기존 펌프운영방법을 개선하고 좀 더 효율적인 운영방법을 모색하기 위해 실시간 송수펌프 최적운영 모형을 개발하였다. 최적화 기법으로는 유전자 알고리즘(genetic algorithm)을 사용하였으며, 다양한 제약조건(operational constraints)을 적용하고 급수지역의 24시간 용수사용량을 미리 예측하여 실제 시스템의 운영형태와 근접하게 반영하였다. 또한 최적화 과정에서 상수관망해석 프로그램(EPANET)을 연계하여 수요절점의 수압조건 및 시스템의 운영상황을 모의하였다. 개발된 모형을 국내 P시의 광역상수도 시스템에 실제 적용하였으며, 현장 실시간 운영 데이터를 입수하여 전력사용량, 배수지수위, 이산화탄소 발생량 등을 비교, 분석하였다. 개발 모형을 이용하여 펌프운영을 실시하였을 경우, 기존의 운영방식과 비교하여 경제적/환경적으로 뚜렷한 개선 효과를 확인할 수 있었다.

• 천문학회보
• /
• 제36권2호
• /
• pp.130.2-130.2
• /
• 2011

지상의 관측소에서 특정 인공위성을 찾아내기 위해서는 위성의 정밀궤도 계산이 필요하다. 궤도상의 인공위성의 위치는 시간에 따라 계속 변하므로 이러한 위성의 위치를 실시간으로 추적하기 위해서는 컴퓨터를 이용한 계산이 필수적이다. 정밀한 계산 결과를 얻기 위하여 태양과 지상 관측소의 위치는 Astronomical Almanac과 지구 타원체 모델을 이용하여 계산 하였다. 인공위성의 궤도는 미공군 북미방공사령부(NORAD)에서 발표하는 TLE를 초기값으로 이용하여 J2 섭동효과를 포함한 위성의 위치 및 속도의 변화를 계산하여 SkyView로 나타내었다. 이렇게 나타낸 SkyView의 결과를 실제 위성의 궤적과 비교하여 위성의 궤도를 검증하였으며, 시간에 따른 위성의 광도 곡선 변화 계산 루틴을 작성하여 실제 위성을 찾아내기 위한 기초자료로 활용이 가능하도록 하였다. 모든 계산을 위한 프로그램을 Visual Studio.net 2010 환경에서 C++ 언어를 이용하여 작성하였으며, 결과를 나타내기 위하여 Nokia 사의 Cross Platform 라이브러리인 Qt를 이용하여 UI 제작 및 Visualization을 수행하였다. Qt 라이브러리는 C++ 언어를 기반으로 작성된 플랫폼 독립적인 GUI 라이브러리로써 MS Windows, Linux, MacOS 환경에서 사용이 가능하다. 이를 통해 운영체제에 관계없이 모든 컴퓨터 환경에서 동일한 유저 인터페이스를 이용하여 계산을 할 수 있다. 본 연구는 향후 우주물체탐색에 있어 독자적인 운영을 위한 프로그램으로 활용할 예정이다.