• 한국학교수학회논문집
• /
• 제24권1호
• /
• pp.151-172
• /
• 2021

본 연구에서는 이차곡선 지도 방안으로써 수작업 교구인 Wax-paper를 이용한 활동과 공학도구인 GeoGebra를 이용한 활동에 대한 예비 수학교사들의 인식을 조사하였다. 수도권 소재의 한 사범대학 수학교육과 학부생 20명을 대상으로 이차곡선에 대한 교구와 공학도구 활용 수업을 진행한 후, 두 가지 수업 방법에 대한 인식 설문조사를 시행하였다. 본 연구 결과에 따르면, 예비 수학교사들은 이차곡선 학습 및 지도에서 전반적으로 공학도구의 활용을 선호했으며, 공학도구의 활용이 시각화를 통해 직관적 사고에 도움이 되며, 다양한 수학적 성질 탐구를 가능하게 함으로써 개념 이해와 흥미 유발에 도움을 준다고 생각하였다. 그러나 학생 또는 교사의 미숙한 공학도구 사용에 대한 우려를 지속적으로 나타냈으며, 예비 수학교사들이 인식한 교구와 공학도구 활용의 장단점은 상호보완적이었다. 이와 같은 연구 결과를 토대로 수학수업에서 각 교구와 공학도구가 가진 특성에 맞게 상호보완적으로 활용하길 제안하며, 학생 또는 교사의 공학도구 사용 능력에 영향을 받지 않는 수업자료의 개발 및 보급이 필요하다는 시사점을 제시한다.

• 논리연구
• /
• 제5권1호
• /
• pp.119-145
• /
• 2001

아리스토텔레스의 논리학은 그 도구적, 방법론적 성격 때문에 보통 "organon"이라고 불린다. 많은 아리스토텔레스 연구자들은, 그의 논리학 이론들이 그가 손댄 여러 분야의 연구에서 정밀 도구 구실을 하는지를 밝히는 데 몰두해 왔다. 지난 30년 넘는 세월 동안 아리스토텔레스 연구를 이 끌어왔던 논의 가운데 하나인, "genos"와 "eidos"의 쓰임에 논의도 바로 그런 연구 전통에 잇닿아 있다. 이 논의는 요즘 일단락된 것으로 받아들여지고 있다. 아리스토텔레스의 논리학에 나오는, 게노스와 에이도스에 의한 분류는 그의 생물학 연구에서는 별 가치가 없다는 것이 일반적인 의견이다. 생물학 연구에서는 문제의 두 개념이 논리학에서처럼 "유"와 "종"의 뜻으로 쓰이는 것이 아니라 상대적인 개념으로 쓰이며, 그렇기 때문에 생물 분류와 무관하다는 말이다. 하지만 문제의 두 개념들이 등장하는 구절들을 문헌학적인 방법을 써서 분석해 보면, 이런 일반적인 의견은 별 근거가 없는 것으로 드러난다: 생물학에서 eidos는 개별자들을 포함하는 종을 가리키는 개념으로, 절대적으로 쓰인다. genos의 경우는 그 쓰임이 좀 더 복잡하지만, 아리스토텔레스가 생물학에서 내세우는 생물의 형태론적 구 분과 관련해서 쓰일 때는 언제나 "유"를 뜻한다. 그런 점에서 genos와 eidos는 본질적으로 생물 분류에 쓰인 개념들이다. 이런 사실은 곧 아리스토텔레스의 논리학이 그의 생물학 연구에서 유용한 도구로서 쓰임을 보여주는 하나의 증거이다.

• 디자인학연구
• /
• 제19권5호
• /
• pp.213-222
• /
• 2006

본 논문은 인터랙션 디자인 관련 디자이너들이 기능적 프로토타입(Working Prototype)을 제작할 때 쉽게 활용할 수 있는 저작 도구 MIDAS(Media Interaction Design Authoring System)를 제안하며, 그에 관련된 조사 연구와 사례 연구를 통해 검증된 유용성에 관해 기술한다. MIDAS는 기술적 구현 경험이 부족한 디자이너들이 디지털 아날로그 입 출력 제어, 소프트웨어-하드웨어 통합, 혼합 현실 기술 등을 디자이너들이 사용하는 기존 멀티미디어 제작 환경 내에서 간편히 응용할 수 있게 한다. 디자이너들에게 필요한 인터랙티브 제품 프로토타이핑 도구의 요구 사항을 도출하기 위해 인터랙션 디자인 과정 고찰, 관련 연구 분석, 실무 디자이너 인터뷰를 수행 하였다. 이를 바탕으로 널리 활용되고 있는 멀티미디어 저작 도구인 디렉터와 플래시를 기반으로 프로토타이핑 도구를 개발하였다. 이 도구를 활용하여 다양한 인터랙션 디자인 프로젝트 사례 연구를 진행하였다. 사례연구를 통하여 디자이너들이 기존 디자인 구현 과정에서 겪던 기술적인 어려움들이 MIDAS를 통해 효과적으로 해소함을 알 수 있었다. 본 연구에서 제안하는 프로토타이핑 도구 및 방법은 인터랙티브 제품 디자인 영역 이외에도 인터랙티브 미디어아트, 탠저블 인터페이스와 연관된 인간 컴퓨터 상호작용 (Human Computer Interaction)분야의 교육 및 연구에도 기여 할 수 있을 것으로 기대된다.

• 재활치료과학
• /
• 제9권3호
• /
• pp.7-21
• /
• 2020

목적 : 본 연구는 뇌졸중 환자와 노인 환자를 대상으로 퇴원 시기에 이루어지는 평가도구에 대한 체계적 문헌고찰을 통해 평가 항목과 평가도구들을 분석하여 효율적인 퇴원계획을 위한 기초자료를 제공하고자 한다. 연구방법 : 문헌 선정은 PubMed, Medline Complete(EBSCOhost), Scopus를 사용하여 2009년 1월부터 2018년 12월까지의 온라인 데이터에 등록된 연구를 대상으로 최종 22편의 연구를 선정하였고, 연구 설계 및 퇴원 시 주요 평가영역, 하위영역, 평가도구들을 분석하였다. 결과 : 선택된 연구들의 연구 설계 형태는 기술적 연구가 13편(59.2%)으로 가장 많았다. 퇴원 시 평가 영역은 의학적 상태, 일상생활활동, 삼킴 기능, 감각, 이동성, 인지·지각, 의사소통, 감정상태, 가정환경, 환자의 지식과 퇴원을 위한 준비, 사회적지지, 안녕감 등 12개 영역으로 나타났다. 평가 영역에 따라 사용된 평가도구를 분석한 결과, 가장 높은 빈도의 사용을 보이는 평가도구는 일상생활활동을 평가하는 Barthel Index, Functional Independence Measure, 안녕감을 평가하는 Short Form Health Survey, 이동성을 평가하는 Timed Up and Go test 등으로 나타났다. 결론 : 본 연구를 통해 뇌졸중, 노인 환자의 퇴원 시 이루어지는 다양한 평가 영역과 평가도구의 사용과 제한적이나 여러 영역을 포괄하는 평가도구들을 확인할 수 있었다. 이는 뇌졸중 환자의 퇴원 시 고려되는 평가 영역과 효과적인 평가도구의 선택을 돕고 적절한 퇴원계획 중재와 제안을 위한 포괄적인 평가도구의 개발의 기초자료가 될 것이다.

• 한국HCI학회:학술대회논문집
• /
• 한국HCI학회 2006년도 학술대회 1부
• /
• pp.82-87
• /
• 2006

분자 모델링 시뮬레이션은 신 물질, 신약 개발에 범용적으로 사용되는 중요한 컴퓨터 소프트웨어이다. 교육과 연구 등의 분야에서는 사용자가 직접 입력 도구를 사용하여 분자 모델을 시뮬레이션을 하는 경우가 존재한다. 사용자가 직접 시뮬레이션을 하기 위해서는 가상의 3 차원 시각화 환경은 물론 생화학적으로 안정성 여부 검증에 도움을 주기 위해 에너지 계산 결과를 제공해야 한다. 그러나 대다수의 분자 모델링 도구가 시각화 환경 제공을 위주로 개발되었으며 에너지 계산 수식이 복잡하여, 사용자가 시뮬레이션 하는 가운데, 실시간으로 에너지 계산을 제공하지 못한다. 이러한 단점을 극복 하고자 본 논문에서는 어떠한 분자 모델링 도구라도 빠르게 에너지 계산을 반환 받을 수 있는 웹 서비스 기반의 분산 시스템 환경을 구현하였다. 또한 실시간으로 사용자가 시뮬레이션 할 수 있도록 작업 선별 처리 알고리즘(Job Skip Operation)을 개발, 적용하여 최신의 에너지 계산 요청에 대한 반환을 보장하였다. 본 연구는 사용자가 상호작용 기법을 통하여 가상의 분자 모델링 환경에서 화학적으로 안정된 분자 물질의 결합 위치를 빠르게 찾을 수 있도록 도와준다.

• 대한안전경영과학회지
• /
• 제11권4호
• /
• pp.293-300
• /
• 2009

기업 인력의 e-Business 적용 능력은 e-Business 환경에서 개인에게 주어진 업무를 효율적으로 수행하고 업무성과를 향상하기 위해 필요하다. 본 연구는 e-Business 인력의 측정도구, 측정체계 및 방법을 제시한다. 개발된 측정도구는 요인분석과 신뢰성 분석을 통하여 그 구조의 타당성을 검증하였고, e-Business 인력을 효과적으로 측정할 수 있는 16 개의 측정항목을 갖는 측정 도구를 제시하였다. 개발된 측정도구의 적용성과 활용성은 실제 e-Business 환경의 기업에서 근무하는e-Business 인력에 적용하여 그 결과를 제시함으로써 확인 하였다. 본 연구는 e-Business 환경의 기업에서 근무하는 인력의 e-Business 능력을 측정하고 개선하는 방법론을 개발하는 데 공헌할 것이다.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 1998년도 공동추계학술대회 경제위기 극복을 위한 정보기술의 효율적 활용
• /
• pp.461-477
• /
• 1998

최근 기업들은 과거처럼 양적 성장위주의 경영관리체제에서 벗어나 변화하는 경영환경에 부합사는 새로운 변신을 강력히 추진하는 전력도구로서 아웃소싱을 점차 고려하고 있다. 이러한 정보기술 아웃소싱의 성공과 실패를 결정짓는 중요한 요소중의 하나는 벤더(vendor)와 클라이언트(client)간의 힘의 균형관계다. 본 연구는 벤더와 클라이언트간의 힘의 균형관계가 아웃소싱계약의 엄격성 정도와 갈등관계에 미치는 영향과 계약의 엄격성 정도가 갈등에 영향을 주는 정도를 조사했다. 실증분석결과 첫째, 힘의 균형과 갈등관계에 있어서는 정보력 불균형이 서비스 질 문제갈등과 이윤문제갈등에 부(-)의 영향을 주며, 준거력 불균형이 이윤문제 갈등에만 부(-)의 영향을 주는 것으로 나타났다. 둘째, 힘의 균형과 계약의 엄격성 정도에 있어서는 정보력불균형이 계약수정정도 및 도구개발정도, 전제내용기술정도 모두에 각각 부(-) 의 영향을 주며, 준거력 불균형 또한 계약수정정도 및 도구개발정도, 전제내용기술정도 모두에 각각 부(-)의 영향을 주는 것으로나타났다. 마지막으로, 계약의 엄격성정도와 갈등관계에 있어서는 도구개발정도만이 비용문제, 서비스질문제, 이윤문제 갈등에 각각 부(-)의 영향을 주는 것으로 나타났다.

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

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (B)
• /
• pp.19-21
• /
• 2003

정적 프로그램 분석기는 프로그램의 결점을 찾아내는 초기 목적에서 진화하여, 역공학. 재공학. 메트릭 검증 등 도구의 front-End 모듈로 많이 쓰이고 있다. 이에 대한 다양한 연구가 진행되고 있고. 또 많은 관련 도구들이 소개되었지만, 사용자가 생각을 직접 코드형태로 구현하고, 결과를 모델형태로 표현하여, 시험하고 검증할 수 있도록 도와주는 프레임웍 수준 도구들은 거의 나와있지 않다. 본 논문에서는 정적 프로그램 분석을 쉽게 할 수 있도록 지원하는 기반도구의 설계를 제안한다. 본 연구에서는 언어의 파싱과 시각화 과정의 반복되는 작업들을 추상화하고, 분석 코드를 파싱 코드와 분리함으로써 사용자로 하여금 분석 과정에 집중할 수 있도록 도와준다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(B)
• /
• pp.79-82
• /
• 2011

무인기용 비행제어 소프트웨어는 인터럽트 핸들러에서 비결정적인 수행결과를 조래하는 경합이 발생될 수 있다. 이러한 유형의 경합을 탐지하기 위한 기존 방법은 원시 프로그램의 인터럽트 핸들러를 스레드로 변환하여 정적 경합탐지 도구를 사용하므로 프로그램 수행 시 실제 발생하지 않는 부정확한 경합(false positives)를 보고한다. 본 연구는 부정확한 경합 보고를 줄이기 위해서 원시 프로그램을 POSIX 실시간 스레브 프로그램으로 변환하고 Lockset기반 탐지기법 의해서 탐지된 공유변수를 대상으로 Happens-before 관계 분석기법을 이용하여 경합을 탐지하는 동적 경합탐지 도구를 사용한다. 제시된 방법의 실험을 위해서 Knob Assembly에 탑재되는 비행제어 소프트웨어를 대상으로 정적 경합탐지 도구와 동적 경합탐지 도구의 경합탐지 결과를 비교 분석한다.