• 한국융합학회논문지
• /
• 제8권7호
• /
• pp.225-230
• /
• 2017

건축학 핵심 역량을 강화하기 위해서는 교과목을 실무 위주로 개편해야할 뿐 만 아니라 건축학 교육 인증에서 요구하는 다양한 역량들을 함양할 수 있도록 여러 가지 비교과 프로그램을 개발하고 학생들에게 제공하여야 한다. 본 논문에서는 D 대학에서 구축한 역량 기반 교과-비교과 융합교육시스템에 대해 살펴봄으로써 학생들의 자발적인 비교과 활동 참여율을 높이고 궁극적으로 대학에서 비교과 교육을 활성화하기 위한 방안을 제시하였다. 또한 건축학 전공 재학생과 지역의 건축 설계사 대표들을 대상으로 설문조사를 실시하여 비교과 활동이 건축학 교육과 학생의 진로에 미치는 영향을 살펴보았다. 대학의 융합교육시스템은 학생들이 비교과 활동에 적극 참여하게 하였고, 건축학 학습역량에도 크게 기여하는 것으로 나타났으며, 설문조사 결과 공모전 참여와 자격증 취득 프로그램과 같이 창의성 역량 함양 비교과 활동이 가장 효과적인 것으로 나타났다.

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

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (A)
• /
• pp.139-141
• /
• 2006

내장형 프로세서인 SE3208의 소프트웨어 모델을 개발하고 SimpleScalar 도구 모음에 추가하여 SE3208 프로세서를 위한 시뮬레이터를 개발하였다. 소프트웨어 모델은 Simplescalar 도구의 환경에 맞춰 함수를 재사용하는 방법으로 작성되었으며, 3단 단일 파이프라인을 갖는 SE3208을 cycle단위로 시뮬레이션 할 수 있도록 시뮬레이터를 변경하였다. 동일한 프로그램을 SE3208 소프트웨어 모델과 PC 상에서 각각 실행시켜 그 결과를 비교함으로써 개발된 시뮬레이터의 정확성을 검증하였으며. 다양한 방식과 모드의 시뮬레이션 기능을 검증하고 성능을 비교하였다.

• 한국콘텐츠학회논문지
• /
• 제19권1호
• /
• pp.524-534
• /
• 2019

본 연구의 목적은 대학에서 제공하는 교과와 비교과 프로그램에 학생들이 얼마나 능동적으로 참여하는지에 대한 실태를 파악하고, 학습참여가 학습성과에 어떤 영향을 미치는지 살펴보는 것이다. 이를 위해 2017년 수도권 소재 대학 소속의 학생 중 대학교육협의회에서 실시하는 학부교육 실태조사(K-NSSE)에 참여한 392명을 대상으로 학업도전, 교우와 학습, 고효과프로그램의 세 영역에서 학습전략, 반성 통합학습, 고차원 학습, 능동 협동학습, 다양한 사람과 토론, 고효과프로그램의 6개 요인에 대한 학습참여를 분석하였다. 데이터 분석은 IBM SPSS 25.0 프로그램을 이용하여 빈도 분석, ANOVA, 상관 분석, 회귀 분석을 수행하였다. 연구 결과는 다음과 같다. 먼저 학습참여 정도 분석에서는 고효과프로그램의 참여가 가장 낮았으며, 고차원 학습과 다양한 사람과 토론의 참여도 매우 낮았다. 특히 이공계열의 참여도가 가장 낮았다. 학습참여와 학습성과 간의 영향관계 분석에서는 고효과프로그램의 참여가 학습성과에 가장 많은 영향을 미쳤으며 고차원 학습과 다양한 사람들과 토론이 그 다음이었다. 이상의 연구 결과를 토대로 본 연구에서는 학습성과에 정적인 영향을 미치는 교과 및 비교과 프로그램의 참여를 활성화하기 위해 교과 및 비교과 교육과정의 통합 설계가 필요함을 제안하였다. 또한 고효과프로그램이 학생들의 성공경험에 영향을 미쳐 학습성과를 향상시키는 중요한 요인이라는 점을 고려하여 다양한 고효과프로그램의 개발과 운영, 그리고 고차원학습과 다양한 사람과의 토론이 가능한 수업 설계 등에 대한 지원이 필요함을 제안하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (A)
• /
• pp.829-831
• /
• 2002

최근 들어 보안에 대한 관심이 높아지고 있으며, 많은 보안 관련 프로그램이 사용되고 있는 상황이다. 하지만 안전성을 예측하기 어려운 보안 기능을 완벽하게 구현하기 위해서 현재의 테스팅 방법론만으로는 완전성을 보장할 수 없으므로 보다 안전한 보안 기능을 구현하기 위해서 정형명세 방법은 반드시 필요하다. 또한 실제로 시스템들이 개발되는 과정에 있어서 설계될 당시와는 달리 결함을 가질 수 있다. 시스템에 대한 명세가 정확하다 하더라도 개발자인 사람의 개입으로 인해서 개발하는 도중에 명세와 다른 결과를 초래하여 결함이 발생할 수 있다. 이러한 결함은 개발자나 사용자에 의해 쉽게 발견되기 어렵다. 만일 보안 시스템이 알져지지 않은 결함이 있다면 비밀 정보가 쉽게 누설될 수 있다는 큰 문제가 발생할 수 있다. 통신망을 사용하는 인구의 확대와 더불어 다양한 형태의 통신 서비스가 제공됨에 따라 시스템의 특성이 복잡해지고 불법적인 자료 접근의 위험도 많이 노출되고 있다. 따라서 명확한 정형명세 보안기능으로부터 자동 코드 생성은 반드시 필요하다. 본 논문에서는 여러 정형 도구를 사용해서 보안기능에 대한 정형명세를 작성한 후에 소스코드 생성한 후, 정형명세를 이용하여 설계 및 구현한 프로그램에 대한 명세와 소스코드간 일치성 검토 방법을 개발하여, 정형명세를 통해 생성된 보안기능 소스코드의 보안성 측면과 성능적 측면의 Teade-Off 분석하는 것이다. 논문에서는 인증 관련 보안 기능인 S/KRY에 대해서 4개(STATEMATE MAGMUM, Rational Rose 98, SPEAR, VDM-SL)의 정형도구를 사용하여 명세 후, 소스 코드를 생성하여 생성된 각 코드에 대하여 비교하였으며, 현재 상용화 되어있는 Bellcore 의 S/KEY 시스템과의 비교를 수행하였다. 분석에서는 제품의 효율성뿐만 아니라 보안성을 중요하게 생각하였으며, 앞으로 보안 관련 소프트웨어 개발에 사용될 수 있는 도구들이 가이드 라인에 대한 정보를 제공한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2010년도 한국컴퓨터종합학술대회논문집 Vol.37 No.1(B)
• /
• pp.140-143
• /
• 2010

소프트웨어를 유지보수하고 관리하는 과정에서 변경된 정보가 프로그램 구조에서의 어느 부분을 나타내고 그 변경이 전체 구조에서 어떤 영향을 미치는가에 대한 체계적이고 효율적인 관리방법이 필요하게 되었다. 기존의 상용화 프로그램에서 채택하고 있는 코드레벨에서의 라인과 라인상의 비교분석 정보만으로는 프로그램의 변경을 구조적인 관점에서 바라보기가 힘들었다. 이 논문에서는 역공학을 이용해서 변경전후의 프로그램 모델구조 정보를 얻고 그 정보를 서로 비교 분석하는 방법을 제시한다. 또, GMF(graphical modeling framwork)로 프로그램의 모델정보를 클래스 다이어그램 형태로 보여주며 비교분석된 정보를 다이어그램에서 보여줄 수 있는 시각화 규칙을 제시한다. 변경된 정보를 다이어그램에서 쉽게 파악할 수 있게 표현함으로써 프로그램 개발자가 아니라도 유지보수에서의 변경을 구조적으로 알 수 있고 관리할 수 있다.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 1993년도 추계학술대회발표논문집; 서강대학교, 서울; 25 Sep. 1993
• /
• pp.49-49
• /
• 1993

선형계획 프로그램의 개발에 있어서 속도의 제고와 수치적안정을 고려한 방법에 대한 접근들이 이루어지고 있다. 본 연구에서는 단체법 수행 이전에 입력자료의 사전처리를 통해 속도 및 수치적 안정을 도모하고자 하는 방법과 이에 대한 전산실험 결과를 제시하고자 한다. 입력자료의 사전처리는 첫째, 수치적 안정을 향상시키는 입력자료의 Scaling에 대한 내용과 둘째, 문제의 크기를 줄이거나 단체법에서 다루기 쉬운 형태로 변형하여 속도를 제고하고 수치적 안정을 도모하는 입력자료의 재구조화에 대한 내용으로 구성된다. 본 연구에서 다루는 주요 내용은 다음과 같다. 첫째, Scaling 부분에서는 여러 가지 Scaling 방법과 이에 대한 비교를 전산실험결과로 제시한다. 둘째, 입력자료의 재구조화 방법과 이에 대한 실험적 결과를 제시한다. 본 연구결과 기대효과로는 선형계획 프로그램의 개발에 있어서의 Scaling 방법과 재구조화 방법들의 선택기준으로 사용될 수 있을 것이다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (A)
• /
• pp.598-600
• /
• 2002

메시지전달 병렬프로그램에서는 메시지들의 경합으로 인해서 의도하지 않은 다결정적인 수행결과가 초래되므로, 메시지들의 경합을 탐지하는 것은 중요하다. 이전 연구에서 경합을 탐지하는 다양한 기법들을 제안하였으나, 각 탐지기법의 기능을 검증할 수 있는 방법은 없다. 이는 기존 경합 탐지기법과 새롭게 개발되는 경합 탐지기법의 기능을 검증하기 어렵게 한다. 본 연구는 기존의 경합 탐지기법들을 구현하여 각 기법들의 탐지결과를 비교함으로써 그 기능을 검증할 수 있게 하는 시험도구를 제안한다. 본 시험도구의 사용자는 기존의 경합 탐지기법과 새로운 탐지기법을 선택하여 적용할 수 있고, 탐지된 결과에 대한 시각화 정보의 비교를 통해서 탐지기법들의 기능을 검증할 수 있다. 그러므로 본 도구는 새로운 경합 탐지기법의 개발을 위한 효과적인 기능시험을 가능하게 한다.

• 한국화재소방학회:학술대회논문집
• /
• 한국화재소방학회 2012년도 춘계학술발표회 초록집
• /
• pp.377-380
• /
• 2012

대피 및 인명피해 시뮬레이션 기술은 성능위주 설계의 핵심 기술 중 하나이다. 기존 해외에서 개발된 프로그램들은 단순한 인명피해 계산 방식과 비주얼의 조악으로 한계성을 나타내고 있다. 본 연구에서 개발된 대피 및 인명피해 평가 프로그램은 기존의 프로그램의 한계점을 극복함과 동시에 다음의 관련 기술을 향상시키고 실제 사례에 적용하여 현재 사용되고 있는 상용 대피 프로그램과 비교/검증하였다. 첫째, 피난계단 뿐만 아니라 엘리베이터를 이용하여 대피할 수 있는 알고리즘을 적용하였다. 둘째, 미국 표준연구소(NIST)의 화재해석 프로그램 (FDS, Fire Dynamics Simulator)과 연계(Coupled)를 통해 화재에 의한 인명피해 발생여부 판단이 가능한 프로그램이다. 마지막으로 그래픽 전용 모듈을 적용하여 현실에 가까운 3차원 가상현실을 구현하였다.

• 한국지역사회생활과학회:학술대회논문집
• /
• 한국지역사회생활과학회 2004년도 제17차 학술대회
• /
• pp.160-160
• /
• 2004

도로 등 새로운 교통망의 개통, 정보화 인프라의 진전 등은 농업환경의 변화 못지 않게 농촌사회에 영향을 미치는 주요 요인이다. 또한 변화를 수용하고 잘 적응하게 하기 위한 가장 좋은 도구로 교육이 강조되어왔다. 그러나 농촌사회의 절반을 차지하며 농업생산의 주요 노동력인 여성농업인의 경우, 교육 프로그램이 매우 많으나 산만하게 제공되고 있어 교육효과를 제대로 내지 못하고 있다는 일부 비판이 있음에도(김영옥ㆍ김이선, 1999) 사실상 수요자 입장에서 충분하지 못한 것으로 평가되고 있다. (중략)