• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제8권7호
• /
• pp.265-274
• /
• 2019

무기체계 소프트웨어 개발 시 수행하는 신뢰성 시험은 크게 정적 검증과 동적 검증으로 구분된다. 정적 검증에서는 소프트웨어 코드를 수행시키지 않고 코딩 규칙 점검, 취약점 점검, 소스 코드 메트릭 점검을 수행하고, 동적 검증에서는 요구 사항을 기반으로 실제 소프트웨어를 실행시켜 기능을 검증하고 코드 실행률을 측정한다. 이러한 정적/동적 검증의 목적은 소프트웨어에 존재하는 결함을 발견하기 위한 것이다. 그러나 현재의 무기체계 소프트웨어 신뢰성 시험만으로는 여전히 탐지할 수 없는 결함들이 존재한다. 본 논문에서는 소프트웨어에서 발생할 수 있는 결함에 대해 무기체계 신뢰성 시험의 정적 검증과 동적 검증으로 탐지를 할 수 있는지를 사례실험을 통하여 분석 한다. 그 결과로 현재의 정적 검증과 동적 코드 커버리지 측정에서 더 나아가 무기체계 신뢰성 시험, 특히 동적 시험의 개선방안으로 연결하고자 한다.

• 한국학교보건학회지
• /
• 제21권1호
• /
• pp.67-72
• /
• 2008

• 어항어장
• /
• 통권78호
• /
• pp.30-34
• /
• 2007

자연환경의 변화에 따라 어항시설물에 대한 안전 및 유지관리에 대한 관심과 수요가 점차 증가할 것이다. ‘시설물 안전 및 유지관리의 선진화를 기본 모토로 체계적인 기반을 조성하고 실행력을 높여간다면 어항시설은 국민들에게 보다 안전하고 질 좋은 서비스를 제공하는 곳으로 변모해 갈 것이다.

• 한국학교수학회논문집
• /
• 제14권2호
• /
• pp.143-161
• /
• 2011

수학교과에서 문제중심학습(PBL)은 학습자가 수학적 지식을 활용하여 문제를 해결해 나가는 과정 중에 수학적 개념과 원리를 알게 되고 수학적 사고 능력을 시켜줄 수 있는 교수 학습 방법으로 최근 관심이 높아지고 있다. 그러나 이러한 관심에 비해 실제 적용은 미미한 실정이다. 따라서 본 연구에서는 PBL의 학교 현장 적용을 위하여 수학교사들이 실제적으로 느끼는 어려움과 요구를 구체적으로 파악하고자 2명의 수학 교사를 대상으로 하여 카드활용 심층면담을 이용한 분류체계 분석과 성분 분석을 실시하였다. 그 결과 성공적인 PBL 적용을 위해서는 수학과 PBL 문제 개발에 대한 구체적인 방법의 안내와 수학교과에 적합한 PBL 학습 과정 안내 등의 구체적인 실행 방법에 대한 요구가 있음을 알 수 있었다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2013년도 제48차 하계학술발표논문집 21권2호
• /
• pp.423-426
• /
• 2013

본 연구에서는 임분 단위에서 산림의 이산화탄소 흡수 및 저장 기능을 최적화 할 수 있는 최적의 산림시업체계를 도출하고자하였고, 이를 위해 임분 생장모델과 Simulated Annealing 휴리스틱 기법을 적용하여 임분탄소 최적화 프로그램을 개발하였다. 휴리스틱 알고리즘에서 최적해를 찾기 위해 반복 실행 되는 과정에서 더 이상 최적해을 찾지 못하고 목표 값이 어떤 일정한 값(Local Optimum)에 계속 머무는 현상을 해결하기 위해 임계치를 적용하며, SA 휴리스틱 기법에서는 열균형테스트를 이용하고 있다. 개발된 프로그램을 이용하여 3가지 산림 시업 시나리오에 대한 비교 분석을 실시하기 위해 프로그램을 실행한 결과, 목재수확량의 경우 목재수확량을 최대를 목표로 한 대안이 3개 시나리오 가운데 목재수확량이 가장 높은 것으로 나타났으며, 또한 탄소저장량에서도 탄소저장량을 최적화한 대안이가 탄소저장량이 가장 높은 것으로 나타나 프로그램이 목적에 맞게 개발된 것으로 판단됐다. 또한 열균형 테스트의 온도저감율을 조정하여 프로그램을 반복실행하여 온도저감율이 프로그램 실행 시에 미치는 영향을 분석한 결과 온도저감율에 따라 출력되는 목적함수의 최적값과 프로그램 반복횟수가 영향을 받는 것으로 나타나 프로그램 실행을 최적으로 하기위해 온도 저감율의 파라미터 값을 0.1로 설정하였다.

• 한국과학교육학회지
• /
• 제38권6호
• /
• pp.885-899
• /
• 2018

본 연구는 그간 탐구 및 실험중심의 교육이 미비했던 고등학교 현장에 '과학탐구실험'이 신설 도입됨에 따라 교사의 과학탐구실험 실행과 그 과정에서 발생하는 모순을 문화역사적 활동이론(CHAT)의 관점으로 심층적으로 분석하였다. 연구참여자는 경기도에서 과학탐구실험을 전담하고 있는 신교사로, 1학기의 과학탐구실험 수업 운영에 대한 반성을 시작으로 2학기 과학탐구실험 수업 운영과 함께 과학탐구실험 운영과 관련된 활동체계 요소를 중심으로 참여자에 대한 면담, 수업에 대한 참여관찰, 과학탐구실험 운영과 관련된 현지자료 등을 분석에 사용하였다. CHAT의 6가지 활동체계 요소를 중심으로 신교사의 과학탐구실험 실행에 대한 기술적 분석을 실시하였으며, 신교사의 활동체계 내에서 발생하는 모순을 규명하였다. 신교사의 통합과학과 과학탐구실험 실행 전반에 걸쳐 드러나는 모순은 신교사(주체)와 동료교사와의 공유된 책무성의 부재(분업) 사이에서, 그리고 신교사(주체)와 상반된 내용의 직무 연수(공동체) 사이에서 발생하였다. 신교사의 과학탐구실험 실행 과정에서의 특이적 모순은 교과 특성에 대한 인식(주체)과 업무분장 시기(규칙), 탐구실험의 특징(객체)과 미비한 실험실 환경과 도구준비 과정(도구), 그리고 과학탐구실험의 목표(객체)와 평가 지침(규칙) 사이에서 발생하였다. 이러한 모순은 직 간접적으로 신교사의 과학탐구실험 교수 실천에 영향을 끼쳤으며, 이러한 문제를 해결하기 위해서는 교사의 과학탐구실험 수업 실행을 지원하고 촉진할 수 있는 활동체계가 조성되기 위한 지원과 구조적 체제가 마련되어야 할 필요가 있다. 본 연구는 과학탐구실험이라는 신설 교과를 운영하는 과정에서 교사를 둘러싼 문화적, 구조적 요인들과 활동체계 요소들의 연관 속에서 발생하는 모순에 주목하였다는 점에서 의의가 있다.

• 한국융합학회논문지
• /
• 제9권12호
• /
• pp.459-466
• /
• 2018

본 연구는 사업장과 지역사회에서 이루어진 PAR, CBPR을 중심으로 국내 외 문헌을 체계적 고찰을 하였다. 검토된 10개 논문의 연구 참여자는 보건전문가, 지역사회 네트워크, 근로자, 대학 연구자가 포함된 연구가 80%였고, 적용된 실행연구 기반 건강증진 프로그램은 안전 건강관리인식, 금연, 당뇨관리, 신체활동, 자기효능감 증진, 심혈관 질환, 근골격계 질환, 정신 건강 등 다양했다. 건강증진을 위해서는 지역사회 공동 작업을 통해 연구에 주도적으로 참여하는 것이 필수적이며, 이런 과정을 통하여 지역사회 차원의 문제를 해결할 수 있다. 또한 협력하며 건강증진프로그램을 개발하고 적용했을 때 지속가능한 효과를 확인할 수 있었다. PAR, CBPR은 개인과 조직, 지역사회, 제도적 차원의 범위를 조정하여 지속적인 변화를 추구할 것으로 사료되므로 다양한 사업장에서 근로자를 대상으로 활발히 수행되길 기대한다.

• 대한감각통합치료학회지
• /
• 제11권2호
• /
• pp.41-56
• /
• 2013

목적 : 본 연구의 목적은 국내 외 감각통합기능의 실행능력을 측정하는 평가도구에 대한 체계적 고찰을 통해 정상아동의 수행 평균이나 범위를 제시하고자 하였다. 연구방법 : Medline, PubMed, Ovid, Eric, 국회도서관, 국가과학기술정보센터, Kiss(한국학술정보), RISS(학술연구정보서비스), 구글 검색 엔진을 이용하여 감각통합이론의 틀을 바탕으로 한 실행능력 평가도구명을 검색하였다. 대상논문은 2000년 1월부터 2011년 4월까지 출판된 학위논문, 학회지, 저널이었다. 결과 : 총 24개의 논문이 검색되었고, 사용된 평가도구는 Bruinink-Oseretsky Test of Motor Proficiency (BOTMP), Bruininks-Oseretsky Test of Motor Proficiency, Short Form (BOT-SF), Bruininks-Oseretsky Test of Motor Proficiency, Second Edition (BOT-2), Bruininks-Oseretsky Test of Motor Proficiency, Second Edition, Short Form (BOT-2-SF), Clinical Observations of Motor and Postural Skills (COMPS), Motor Assessment Battery for Children (MABC), Clinical Test of Sensory Interaction with Balance (CTSIB), Sensory Integration and Praxis Test (SIPT) 소항목이었다. BOTMP-SF에서 그리스와 미국아동의 수행을 비교한 결과, '달리기 속도 및 민첩성', '카드분류하기', '점찍기' 항목에서 큰 수행의 차이를 보였다. BOT-2의 한국아동의 수행결과는 8개 소항목에서 모두 평균과 평균이상의 결과를 보였으며 BOT-2-SF의 인도아동의 수행결과는 연령이 증가할수록 모든 항목의 수행도가 높아짐을 보였다. 영국, 캐나다, 한국 아동이 수행한 COMPS에서는 세 나라 평균이 모두 정상범주에 있었고 특히, 한국아동의 평균 수행점수가 캐나다 아동에 비해 높았다. 결론 : 본 연구에서 제시하는 국내 외 정상 아동의 수행 결과는 임상의 평가 대상이 되는 장애아동의 실행능력 수행을 비교하는데 기준을 제시할 것이다.

• 대한감각통합치료학회지
• /
• 제19권1호
• /
• pp.54-68
• /
• 2021

목적 : 본 연구는 뇌성마비 아동의 신체기능과 일상생활 향상을 위해 적용된 과제 중심 훈련 방법에 대해 정리하고 효과를 제시하고자 하였다. 연구방법 : 검색 기간은 2008년 1월부터 2020년 8월까지로 하였으며, 자료 검색을 위해 CINAHL, MEDLINE, PubMed의 데이터베이스를 이용하였다. 총 18편이 선정되었으며, PICO(Patient, Intervention, Comparison, Outcome) 방법을 적용하여 체계적으로 정리하였다. 과제 중심 훈련은 선행연구를 참고하여 운동학습 및 운동조절 이론의 전략인 과제(Task), 실행(Practice), 피드백(Feedback)으로 분류하여 제시하였다. 결과 : 그 결과 13편의 연구가 운동기술 영역에서 유의한 결과를 보였으며, 그 중 2편의 연구에서 일상생활 영역에서 유의한 결과를 보였다. 과제는 개별 과제(discrete task)와 닫힌 과제(closed task) 형태가 가장 많이 사용되었다. 실행은 전체 실행(whole practice) 유형이 가장 많이 사용되었으며, 부분 실행(part practice), 차단 실행(blocked practice) 순으로 사용되었다. 마지막으로 피드백은 구체적으로 제시하지 않은 경우가 가장 많았으며, 외재적 피드백(extrinsic feedback)이 사용되었다. 결론 : 본 연구를 바탕으로 향후에는 뇌성마비 아동의 운동조절을 촉진하는 기술의 체계적인 선택과 구체적인 방법의 제시를 통하여 과제 중심 훈련이 임상에서 더욱 효과적으로 사용될 수 있을 것이라 기대한다.

• 한국콘텐츠학회논문지
• /
• 제15권12호
• /
• pp.326-335
• /
• 2015

본 연구는 생태체계적 접근에 기반을 두고 아동기 우울에 영향을 미치는 다양한 생태체계 변인의 영향력을 검증하기 위하여 실행되었다. 분석 자료는 한국청소년정책연구원의 한국아동 청소년 패널조사 초등학교 1학년 4차년도 자료 2,119사례였다. 유기체변인(아동의 성별, 공격성, 주의집중), 미시체계변인(부모의 방임과 학대, 친구관계, 교사관계), 외체계변인(지역사회인식), 거시체계변인(공동체의식) 순서로 4가지 모델에 대한 위계적 회귀분석을 실시한 결과, 교사관계와 공동체의식을 제외한 모든 생태체계변인들이 아동기 우울에 유의한 영향력을 갖는 것으로 나타났다. 가장 높은 영향력을 갖는 변인은 아동의 공격성이었으며, 다음으로는 부모의 학대, 친구관계와 지역사회인식으로 분석되었다. 이에 아동기 우울에 영향을 미치는 생태체계변인의 영향력을 검증한 본 연구의 결과를 통해 갖는 실천적 함의가 논의되었다.