• 한국과학교육학회지
• /
• 제37권1호
• /
• pp.113-123
• /
• 2017

이 연구는 국내 공학전공대학생들의 융합에 대한 태도를 조사하고, 공학교육인증제 프로그램 이수, 성별, 학년 변수와의 관련성을 알아보고자 이루어졌다. 구체적인 연구 목적은 다음과 같다. 첫째, 융합에 대한 태도 검사도구가 공학전공대학생들에게 신뢰롭고 타당하게 적용되는지 확인하였다. 둘째, 공학교육인증제 프로그램 이수, 성별, 학년에 따른 융합에 대한 태도의 차이가 있는지 확인하였다. 셋째, 학습자중심 접근을 바탕으로 공과대학생들의 융합에 대한 태도에 따라 분류되는 잠재집단을 탐색하였으며, 규명된 각 잠재집단과 변수간의 관계를 확인하였다. 이 연구에서는 2076명의 공과대학생들이 참여하였다. 융합에 대한 태도 검사도구의 타당성 및 신뢰성은 요인분석, 내적 일관성 신뢰도, 라쉬분석을 활용하여 확인하였으며, 분석결과 공과대학학생들에게 적용한 융합에 대한 태도 검사도구가 신뢰성과 타당함을 확인되었다. 또한 공학교육인증제 프로그램 이수, 성별, 학년에 따른 융합에 대한 태도의 차이를 확인하기 위하여 독립표본 t-검정, 분산분석을 사용하였다. 융합에 대한 태도는 공학교육인증제 프로그램, 성별, 학년에 따른 유의미한 차이가 나타났는데, 공학교육인증제 프로그램을 선택하고, 남학생이며 학년이 높을수록 융합에 대한 태도가 높게 나타났다. 마지막으로 융합에 대한 태도에 따라 구별되는 잠재집단을 탐색하기 위해 잠재집단분석(Latent class analysis)을 수행한 결과, 다섯 가지의 잠재집단이 규명되었다. 또한 규명된 잠재집단과 공학교육인증 프로그램 선택여부와 성별, 학년과의 관계를 파악하기 위해 카이제곱검정을 수행한 결과 세 변수는 모두 잠재집단 분포와 유의미한 관계가 있었다. 이러한 결과를 바탕으로 학습자의 특성과 다양성을 고려한 공과대학 융합 교육에 대하여 논의하였다.

• 한국초등과학교육학회지:초등과학교육
• /
• 제42권4호
• /
• pp.605-617
• /
• 2023

본 연구에서는 공학적 설계 과정을 강조한 STEAM 프로그램을 개발·적용하여 초등학생들의 창의적 공학문제해결 성향 및 자기주도적 학습 능력에 미치는 영향을 조사하고 성별에 따른 차이를 비교·분석하였다. 경인지역 초등학교 4학년 학생 141명을 대상으로, 개발된 프로그램을 5차시에 걸쳐 진행하고 창의적 공학문제해결 성향과 자기주도적 학습 능력에 대한 사전·사후 검사를 실시하였으며 프로그램에 대한 만족도 및 인식 검사도 진행하였다. 연구 결과, 공학적 설계 과정을 강조한 STEAM 프로그램은 초등학생들의 창의적 공학문제해결 성향 및 자기주도적 학습 능력 향상에 효과적이었으며, 특히 여학생에게 효과적인 것으로 나타났다. 성별에 따른 변화의 차이 분석 결과, 창의적 공학문제해결 성향의 하위요인인 '소통 및 협업능력'을 제외한 모든 요인에서 여학생들의 유의미한 향상이 나타났다. 남학생의 경우, '공학설계', '소통 및 협업능력' 요인에 대해 유의미한 효과가 있었다. 프로그램에 대한 학생 만족도와 인식을 분석하고 이에 대한 교육적 함의를 논의하였다.

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

메모리를 다루는 프로그램의 시각화는 알고리즘 학습, 디버깅에 유용하게 사용될 수 있다. 본 논문에서는 도구에 독립적이며 프로그램 실행 후에도 재사용이 가능하도록 메모리 상태를 시각화하는 언어를 제안한다. 본 논문에서는 제안된 시각화 언어의 문법과 의미를 설명한다. 제안된 시각화 언어의 유용성을 간단한 메모리 할당, 해제를 수행하는 프로그램 소스의 예를 통해 설명한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2011년도 춘계학술대회
• /
• pp.429-431
• /
• 2011

공학의 기본 원리 학습을 위해서는 원리 그림이나 도표와 같은 콘텐츠의 사용이 필요하다. 하지만 시간과 공간의 제약으로 학습이 불충분하고, 편리성과 멀티미디어 콘텐츠를 갖추지 못하면 학습의 효과도 떨어지는 문제점이 있다. 최근 Smart Phone 사용자가 증가하고, Smart Phone을 이용한 교육프로그램을 제공하여 이동 중에도 공학의 기본 원리와 같은 학습이 필요한 시점이다. 본 논문에서는 열역학의 법칙 등 열역학에 관한 학습 콘텐츠를 Smart Phone에서 구현하고자 한다. 실제 Web 서버를 통하여 무선 인터넷 통신망에서 제공되는 열역학의 교육 공학적 도표, 애니메이션, 그림, 등을 Smart Phone에서의 설계하고 구현한다. 본 연구는 교육공학과 학습 프로그램 제공을 통해 모바일 원격교육 발전에 기여할 것이다.

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

C# 언어로 작성된 프로그램에서 기존의 객체 지향 프로그램에서 이용하던 정적 분할 방법을 적용한다. 기존의 두 경로 그래프 도달 가능성 분할 알고리즘을 적용하였을 때 프로시져들 간의 전이적인 종속 관계를 표현하는 요약 간선만을 이용하면 두 번째 경로에서 역 추적 할 때 모호성이 발생한다. 이러한 모호성은 C#의 이벤트, 델리게이트(delegate)들과 메소드의 다형적 호출 관계에서 발생될 수 있다. 본 논문은 호출된 프로시져의 호출하는 문맥을 설명하기 위하여 호출 지점에서 요약 간선 및 경로 간선을 이용하여 C#에서 다형적 호출에 대한 시스템 종속성 그래프(system dependence graph)에 대한 새로운 표현을 제안한다. 이 방법은 다형적 호출에서 발생하는 모호성을 해결할 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2010년도 추계학술발표대회
• /
• pp.1579-1581
• /
• 2010

GDB 는 프로그램의 버그를 찾고 수정할 수 있는 기능을 포함하고 있는 디버거로써 소프트웨어 개발자가 효과적인 프로그램 개발과 유지를 위해 꼭 필요하다. 그러나, PICO 프로세서와 같이 새로 개발된 프로세서는 그 위에서 동작하는 프로그램을 디버깅 하기 위한 환경을 갖추고 있지 않다. 이 논문은 PICO 프로세서를 위한 GNU 디버거인 GDB 와 그래픽 유저인터페이스를 제공하는 DDD 를 포팅하는 방법에 대해 소개하고 설명한다.

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

자바프로그램 검증은 안전하고 정확한 프로그램을 만들기 위한 필수적인 조건이지만 자바언어로 작성된 프로그램은 바이트코드로 작성되어 있는 클래스 파일로 배포되기 때문에 바이트코드에 대한 검증이 필요하다. 하지만 자바 바이트코드는 가독성이 떨어져 중간언어로 변환을 하고 그 중간코드에서 검증에 필요한 조건들을 작성 해야 한다. 이 논문에서는 새로 정의된 중간언어인 BIRS을 통해 컴파일시 검증이 되지 않는 배열 오버플로우에 대한 정적검증을 설명하고 검증 절차에 필요한 명제의 정의와 검증 시 사용되는 SMT-Solver 인 Z3 의 사용법에 대하여 서술하였다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2021년도 제63차 동계학술대회논문집 29권1호
• /
• pp.139-140
• /
• 2021

IT 기술의 발전은 다양한 산업에서 PLC를 기반으로 하는 스마트 팩토리의 도입이 확산되고 있는 실정이나 이를 운영하는 운영 인력의 부족으로 많은 어려움을 겪고 있기에, PLC를 사용할 수 있는 인력 양성 교육 플랫폼이 필요한 실정이다. 최근 PLC와 같은 실습 기자재를 대체할 시뮬레이션 기법의 연구가 활발하게 진행되고 있으나, 기존 PC 환경에서의 시뮬레이션 프로그램들을 원격 수업에 적용할 경우 모니터 상에 많은 요소가 디스플레이 되어 화면 전환이 불편한 단점을 가지고 있다. 본 논문에서는 시뮬레이션 프로그램을 모바일 환경에서 실행하여 PC 화면에 모니터링할 프로그램의 수를 감소시킬 수 있는 모델을 제안한다. 제안 모델을 원격 교육에 적용할 경우 화면 전환의 수를 감소시켜 더욱 정확한 이해를 통하여 학습의 효과를 향상시킬 수 있을 것으로 기대된다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2021년도 추계학술발표대회
• /
• pp.1036-1039
• /
• 2021

산업제어시스템에 침해사고가 발생하여 서비스 제공이 중단될 경우 사회에 큰 혼란을 야기할 수 있기 때문에 주기적으로 내부 자산의 보안 수준을 관리하는 것은 매우 중요하다. 위 논문은 산업제어시스템 내부 자산의 보안성 확립을 위한 산업제어시스템 자산 유형별 보안성 평가 프로그램을 제안한다. 동일 자산 그룹에 따라 보안조치를 선별적으로 적용하고 신규 취약점을 지속적으로 파악하는 프로세스를 프로그램에 적용하여 제어시스템 보안 수준을 안정적으로 유지하는 사내 프로그램으로 활용될 수 있도록 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2022년도 추계학술발표대회
• /
• pp.681-683
• /
• 2022

코로나 19 로 인해 사회적으로 활동 범위에 제약이 많아져 신체 노화가 진행중인 노년층의 심각한 운동 부족 현상 발생했다. 이에 따라 본 연구는 스마트 미러 트레이닝 프로그램의 범람 속에 신체적인 불편함을 가지고 있는 노인의 건강 증진에 주목하여 스마트 미러와 노인 자세 탐지, 자세 정확성 판단 시스템을 기반으로 한 자세 분류 서비스 제공 프로그램을 제안한다. 스마트 미러에 탑재된 카메라로 받아온 영상을 MoveNet 과 머신러닝 모델을 사용하여 사용자의 동작을 파악하는 방식으로 활동 프로그램을 진행한다. 향후 디지털 소외 계층의 사용 및 노인 자세 데이터 분석에 활용할 수 있을 것으로 기대한다.