• 대한수학교육학회지:수학교육학연구
• /
• 제22권3호
• /
• pp.371-386
• /
• 2012

본 연구는, 2007년 개정 교육과정에서 중3과정의 상관관계 내용변화가 삭제보다는 개선이 더 나았을 것이라는 점과 피아제의 인지발달 이론 중에서 논리적 사고 유형 6가지의 발달 모두를 학교 교육이 도와야 한다는 가정의 두 전제에서 출발한다. 본 연구에서는 7차 교육과정 이전에 다루던 상관관계는 피아제가 생각했던 6가지 중의 하나가 아님을 밝히고, 그 주된 원인이 심리학, 교육학, 통계학 등의 학문간 용어 차이로 인한 소통 오류였다고 추측 판단할 수 있는지 해당 학문 분야들의 대학 교재들을 비교 분석하였다. 이 과정에서 얻어진 지식과 결과를, 앞의 두 가지 전제에 비추어 보아, 장차 상관관계가 우리 교육과정에 다시 도입될 경우를 대비하여, 외국 교과서와 비교 검토를 통해 상관관계의 교육과정에 대한 시사점을 찾아보고자 하였다. 예측했던 대로 교육학에서 상관관계의 개념은 지나치게 포괄적이어서 거의 모든 관계가 다 상관관계라고 할 수 있었고, 통계학에서는 그 구분이 매우 엄격하였다. 가장 중요한 연구 결과는, 본 연구를 통해 알게 된 용어의 차이들을 반영하여 우리는 상관관계와 종속관계, 그리고 기타관계 등을 엄격히 구분하여 교육과정에 반영할 필요가 있으며, 외국교과서와 같은 상관관계의 재도입을 생각한다면 회귀직선 활용을 도입하여 일차함수 단원과의 연계를 고려하자는 것이 본 연구의 가장 중요한 제안 사항이다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제5권4호
• /
• pp.457-466
• /
• 1999

원자력 발전소 계측 제어 시스템, 의료 관련 시스템, 항공 관련 시스템 등 실생활과 밀접한 시스템에 소프트웨어의 사용이 점차 증가하고 있다. 이러한 시스템에서 소프트웨어의 오류는 예기치 않는 사고를 유발하여 인명, 재산상의 심각한 타격을 줄 수 있다. 그러므로 고신뢰도 소프트웨어의 개발 시에는 반드시 시스템의 안전성을 보장해 주어야 한다. 역방향 안전성 분석 방법은 시스템의 안전성을 분석하는 한가지 방법으로서 시스템의 위험 상태를 정의하고 그 위험의 원인들을 추적, 분석함으로써 안전성에 대한 효율적인 분석을 수행할 수 있는 장점을 갖는다. 이 논문에서는 소프트웨어 개발 초기 단계에서 안전성을 분석할 수 있는 방법으로 Colored Petri Nets(CPN)에 기반을 둔 역방향 안전성 분석 방법을 제시한다. 또한 CPN 역방향 안전성 분석 도구인 SAC(Safety Analyzer for CPN)의 설계 및 구현에 대해 언급한다. SAC은 기존의 상용 CPN 모델링 도구인 Design/CPN과 연계하여 사용될 수 있으므로 CPN으로 모델링된 시스템의 안전성을 분석할 수 있다는 장점이 있다. 이 논문에서는 예제로 자동 교통 제어 시스템의 일부를 CPN으로 모델링하고 SAC을 이용한 분석 과정을 기술한다.Abstract In safety-critical systems such as nuclear power plants, medical machines, and avionic systems which are closely related with our livings, the usage of software in the controlling part is growing rapidly. Since software errors in safety-critical systems may cause serious accidents leading to financial or human damages, system safety should be ensured during and after development of a system. A backward safety analysis technique defines system hazards and tries to trace their causes by analyzing system states backward. In this paper, we provide a backward safety analysis technique based on Colored Petri Nets(CPN), which is applicable to the early software development phase. Also Safety Analyzer for CPN(SAC), the supporting tool, is designed and implemented. Since SAC is compatible with Design/CPN, a commercial tool for supporting CPN, it can be applicable to analyze safety in practical problems. As an example, we model a part of the traffic light control system using CPN and analyze safety properties of the model using the SAC tool.

• 대한공간정보학회지
• /
• 제23권1호
• /
• pp.3-14
• /
• 2015

도심지에서 초고층 건축물 및 지하시설물과 연계된 복합건축물 등 건축물이 대형화 복합화 됨에 따라 공간정보 서비스 대상영역의 범위가 실내공간으로 급속하게 확대되어 가고 있으며, 이러한 변화는 모바일 디바이스의 보급, IT 기술의 발달과 함께 향후 실내공간정보 기반의 안전 및 시설물관리, 실내내비게이션 등 다양한 서비스 수요를 창출하게 될 것으로 판단된다. 하지만 실내공간정보의 경우, 구축된 실내공간정보 데이터 품질에 대한 인증 기준이 부재하여 이에 따른 검증 기준 마련이 시급하다. 이에 본 연구에서는 국내외 연구사례를 검토하고 이를 기반으로 실내공간정보 품질검증 방안을 마련하여 2014년도 구축된 영등포역의 실내공간정보에 대해 검증실험을 실시하였다. 그 결과, 본 연구에서 제시한 실내공간정보 품질인증의 방법 및 기준에 대한 검증실험을 통해 균일하고 완성도 높은 품질의 데이터를 분류할 수 있음을 확인하였으며, 오류 발생 빈도가 높은 유형 등에 대해 파악할 수 있었다. 이러한 결과는 향후 실내공간정보 품질인증체계를 구축을 위한 기초자료로 활용될 수 있을 것이다.

• 한국항만경제학회지
• /
• 제30권4호
• /
• pp.47-67
• /
• 2014

본 연구에서는 시스템적 관점과 공급사슬 구성원들 간의 상호작용을 통한 전략적 관점에서 컨테이너터미널의 물류시스템을 평가하기 위해 공급사슬관리 개념을 적용하였다. 선행연구와 델파이 기법을 이용하여 컨테이너터미널 물류시스템의 SCM 구성요인으로 유연성, 신뢰성, 대응성, 정보공유성을 도출하였고, 세부평가 항목으로 16개 항목을 선정하였다. 컨테이너터미널 물류시스템 구성요인에 대한 평가 결과를 보면, 신뢰성 요인이 0.282으로 가장 높았고, 유연성 요인이 0.273, 대응성 요인이 0.224, 정보공유성 요인이 0.221 순으로 나타났다. 컨테이너터미널 물류시스템의 SCM 구성요소 가중치와 세부평가항목의 가중치를 결합하여 환산 가중치를 산출한 결과를 보면, 유연성 구성요소의 세부항목인 작업 Planning(선석, 야드) 항목의 가중치가 0.081로 컨테이너 터미널의 물류시스템을 평가하는 가장 중요한 요인으로 나타났고, 컨테이너 작업 스케줄의 정확한 이행(선박, 야드) 항목과 장비 적정배분 및 배치(QC, TC, YT)항목이 0.079, 컨테이너 및 선박의 손상 없는 안정적인 작업 항목이 0.071 그리고 장비운전자 숙련도 및 장비예방 정비 항목이 0.070 순으로 분석되었다. 다음으로 양 적하 및 선적정보 항목이 0.064, 작업 모니터링과 오류에 대한 해결 항목이 0.062, 대형선박 작업 가능성 항목이 0.060, 신속한 게이트 반 출입 시스템 항목과 무료 장치기간 제공 항목이 0.057, 내륙운송 연계서비스 항목이 0.055, 컨테이너 작업정보 항목이 0.053, 마지막으로 반 출입 정보 항목과 컨테이너 이력 및 장치정보 항목 그리고 컨테이너(일반, 특수)관리 및 서비스 항목이 0.052 순으로 나타났다.

• 한국수자원학회논문집
• /
• 제53권9호
• /
• pp.681-690
• /
• 2020

일반적으로 빗물이용시설의 설계 저류 용량은 다양한 시나리오(저류 용량, 공급 보장률, 우수 이용률 등)에 대한 반복적인 계산을 통해 결정된다. 이 방법은 분석에 많은 시간이 소요될 뿐만 아니라 많은 계산이 수반되므로 분석 오류가 나타날 수도 있다. 본 연구에서는 이러한 문제점을 해결하기 위해 최적화 기법을 이용하여 임의의 목표 보장률을 만족하는 최소의 저류 용량을 직접적으로 결정할 수 있는 방법을 제시하였다. 해당 방법은 Python 언어를 이용하여 모의 모형과 입자 군집 최적화를 연계하여 구현되었다. 최적화 기법은 Python의 오픈 소스로 제공되는 pyswarm을 이용하였는데, 해당 알고리즘은 전역 최적해 탐색이 가능하고, 제약조건을 고려할 수 있다. 최적화 기법을 이용한 빗물이용시설의 저류 용량 결정 방법은 인천 청라지구 1공구에 설치된 빗물이용시설의 설계자료에 적용하여 분석의 효율성, 안정성, 정확성을 검증하였다. 본 연구에서 제시한 빗물이용시설의 저류 용량 결정 방법은 현재의 분석 기술 수준을 개선할 수 있으므로 실용적 가치가 있는 것으로 판단된다.

• 대한토목학회논문집
• /
• 제38권6호
• /
• pp.859-865
• /
• 2018

달 지상 인프라 및 기지 건설은 건설재료나 에너지 확보가 가능한 지역과 연계되어야 하며, 얼음 등의 핵심 자원이 풍부한 영구음영 지역을 형성하는 달 크레이터 지형의 탐지와 정보 수집이 선행되어야 한다. 본 연구에서는 이러한 달 크레이터(crater) 객체 정보를 최신 딥러닝 알고리즘을 이용해 효과적으로 자동 탐지하는 방안에 대해 고찰하였다. 딥러닝 학습을 위해 NASA LRO 달 궤도선의 레이저 고도계 데이터를 기반으로 구축된 9만개의 수치표고모델과 개별 수치표고모델에 존재하는 크레이터들의 위치와 크기를 레이블링한 자료를 활용하였다. 딥러닝 학습은 최신 알고리즘인 Faster RCNN (Regional Convolution Neural Network)을 자체적으로 코드화하여 적용하였다. 이를 통해 학습된 딥러닝 시스템은 학습되지 않은 달표면 이미지 내 크레이터를 자동 인식하는데 적용되었으며, NASA에서 인력에 의해 정의한 크레이터 정보들의 오류를 자동 보정 가능하고, 정의되지 않은 많은 크레이터 까지도 자동 인식 가능함을 보였다. 이를 통해 공학적으로 매우 가치가 있는 각 지역별 크레이터들의 크기 분포 특성 및 발생 빈도 분석 등이 가능하게 되었으며, 향후에는 시간 이력별 변화추이도 분석 가능할 것으로 판단된다.

• 한국지구과학회지
• /
• 제40권5호
• /
• pp.538-547
• /
• 2019

본 연구는 현직 및 예비 지구과학교사의 H-R도와 별의 진화에 대한 개념 이해 상태를 알아보기 위해 개념 지위 분석틀을 활용하여 수행하였다. 이해 가능성 영역에서 현직교사의 비과학적 용어 사용이 다수 발견되었고, 그래프작성에서 낮은 과학적 탐구 능력과 개념에 대한 비과학적 비유가 발견되어 교수 과정에서 잘못된 개념 전달의 가능성이 확인되었다. 예비교사는 중등교육과정 연계 문항에서 다수의 오류를 보였으며, 이와 관련하여 학교 현장에 적용이 더 잘 될 수 있도록 예비교사 교육 과정의 개선이 필요하겠다. 개연성 영역에서, 두 집단 모두 별의 진화가 갖는 우주론적 의미를 이해하고 있었으나, 예비교사의 별의 실제기작에 대한 설명이 구체적이지 않았다. 유용성 영역에서, 현직교사는 지구과학의 학문적 특성을 반영한 교육적 고민을 하고 있었고, 지식을 현실 문제해결에 활용, 적용하려는 경향이 높았다. 반면, 예비교사는 높은 무응답률을 보여 H-R도와 별의 진화를 실용적 개념으로 파악하지 않는 것으로 확인되었다. 결과적으로, 두 집단 모두에서 H-R도와 별의 진화에 대한 비과학적 개념이 다수 발견되어 교사 교육 및 교수 학습 계획 수립 시 주의가 필요함을 확인할 수 있었다.

• 한국과학교육학회지
• /
• 제26권1호
• /
• pp.25-39
• /
• 2006

진화에서 학생들이 보이는 대부분의 오개념들이 과학사적으로 진화 개념이 발달해오면서 나타났던 오류와 논쟁들과 매우 유사하다. 이러한 점에 착안하여 본 연구에서는 이미숙(2004)의 과학사 분석을 근거로 하여 9학년, 12학년, 대학교 1학년 학생들의 진화 개념의 상태를 조사, 분석하는 것을 목적으로 하였다. 이미숙(2004)의 과학사적 진화 개념 발달의 3차원 틀을 토대로 하여 진화, 적응, 변이(퇴행 변이 포함)의 기작, 대상, 시간에 대한 개념 검사지를 개발하고 각 학년의 학생들을 대상으로 개념 조사를 실시하였다. 학년이 올라가면서 학생들이 보이는 진화 개념의 상태는 어떻게 다른지를 분석하고 과학사적 진화 개념 변화 과정과 비교하였다. 학생들은 진화, 적응, 변이, 퇴행변이의 기작에 대한 개념이 학년에 관계 없이 과학사 단계 중 단계 2(라마르크적 사고)에 고착되어 있었다. 학생들은 기작, 시간, 대상에 대한 관점에서 논리적인 일관성을 지니지 못하였고 특히, 대상을 바라보는 관점에서 그러한 특징이 두드러졌다. 또한 학생들은 진화, 적응, 변이에 대한 개념에 구분이 없으며 오히려 진화와 적응과 변이를 동일한 것으로 여기고 있었다. 학생들의 변이에 대한 개념의 경우 새로운 형질의 등장이라는 상황과 형질의 퇴화라는 각 상황에 대해서 다르게 반응하고 있었다. 학생들의 올바른 진화 개념 습득을 위해서 학생들의 오개념 상태를 고려하여 변이의 중요성, 개체군내에서의 선택의 효과, 유전과의 연계(획득형질의 비유전성, 변이의 원동력으로서의 유성생식과 돌연변이의 역할 등등) 개념을 더 강조해야 하고 이것과 관련된 여러 가지 학습 전략들이 개발되어야 할 것이다

• 한국ITS학회 논문지
• /
• 제4권3호
• /
• pp.33-43
• /
• 2005

고속도로에서 수집 저장되는 이력자료의 활용도를 효과적으로 향상시키기 위해 Archived Data User Service (ADUS)/Archived Data Management System(ADMS) 구축에 대한 연구가 활발하게 진행되고 있다. 그러나, 방대한 이력교통자료의 활용도를 높이기 위해 우선 차량검지기 자료처리과정에 대한 체계적인 조사 분석을 통한 차량검지기 자료의 신뢰성 확보가 선행되어야 한다. 본 연구에서는 고속도로 차량검지기 자료처리과정에 대한 종합적인 문제점 분석을 통해 고속도로 교통관리 시스템의 개선사항에 대하여 살펴보았으며, 차로 이용률과 관련된 문제점과 개선방향에 연구의 초점을 맞추어 수행하였다. 본 연구에서는 우선 하루 동안 전체 검지기에서 수집된 자료 중 오류데이터가 차지하는 부분을 분석하였으며, 전체 수집 자료중 15%가 신뢰성에 영향을 미치는 오류데이터로 분석되었다. 또한, 고속도로 차량검지기에서 수집되는 자료의 차로 이용률(Lane Usage)을 살펴보았다. 분석결과 2차로구간에서는 1 2차로간 평균 차로이용률이 12% 정도의 차이를 나타내는 것으로, 3차로 구간에서는 1 2차로의 37%에 비해 3차로의 차로이용률이 24%로 비교적 낮게 분포하는 것으로 분석되었다. 4차로 분석구간에서는 1 4차로가 2 3차로에 비해 낮은 차로이용률을 나타내는 것으로 분석되어 실제 차로이용률이 차로별로 동일하지 않은 분포를 가짐을 확인할 수 있었다. 고속도로 차량검지기 자료처리과정에 대한 조사 분석 결과 더 신뢰성 있는 자료를 수집 저장하기 위해서는 고속도로에서 각 차로별 차로 이용률이 시간대에 따라 다르게 분포하는 점을 고려한 검지기 지점 데이터 생성 process에 대한 추가적인 연구가 필요하다.{\mu}m$ 였다. 으뜸세포의 사립체의 크기는 정상대조군, 종양대조군 및 BCG 투여군이 각각 $0.80({\pm}0.130){\mu}m,\;0.83({\pm}0.143){\mu}m$ 및 $0.72({\pm}0.078){\mu}m$ 였다. 이상의 결과를 종합해보면 BCG를 반복 투여하면 위점막으뜸세포의 분비과립이 약간 작아지는 등 분비기능이 다소 억제되나 그 정도가 경미하여 으뜸세포의 분비기능에 큰 손상을 주지 않는 것으로 생각된다.모양을 비교한 결과 꼬리핵과 줄무늬체바닥핵에서는 모두 가지돌기가시(dendritic spine)에 연접하였으나, 중격옆핵과 중격핵에서는 가지돌기 (dendrite)에 연접하는 것과 가지돌기가시에 연접하는 것이 혼재하였다. 이들 두 신경핵 무리는 이마앞겉질에서 기원하는 축삭종말의 연접차이로 볼 때 서로 다른 회로계통에 속할 것으로 생각되며, 문헌고찰을 통해서 꼬리핵과 줄무늬체바닥핵은 줄무늬체회로 (striatal circuit)에 속하고 중격옆핵과 중격핵은 변연계통회로(limbic circuit)에 속할 것으로 판정했다. 이마앞겉질은 생리적, 약리적, 신경학적 및 형태학적 근거들로 보아 바닥핵들을 통해 변연계통과 대뇌겉질 전체에 영향을 미칠 것으로 여겨지는데, 본 실험에서는 네 종류의 바닥핵들, 즉 꼬리핵, 줄무늬체바닥핵, 중격옆핵 및 중격핵과 관련된 신경연접들을 관찰하였으며, 그 결과를 문헌 고찰한 결과 변연계통과 줄무늬체계통이 앞뇌의 바닥에 있는 신경핵들에서 형태학적 교차연결을 통해 정서와 마음의 상태를 행동과 대응으로 표현하는 중요한 신경회로가 존재함을 제안하였다.腎臟組織)에서 더많이 발생되었다. 틸라피아의 신사구체(腎絲球體)는 담수(淡水)에서

• Korean Chemical Engineering Research
• /
• 제60권3호
• /
• pp.334-346
• /
• 2022

중·소규모 사업장에서 중대산업사고가 발생되고 있는 원인 중 하나는 공정안전관리(PSM) 체계를 이해하고 적용하는데 관련 지식 및 정보 부족이다. 이를 해결하기 위해서는 PSM에 대한 실질적이며 지속적인 이행 수준을 확보하고 추적관리를 통해 인적오류를 제거할 수 있는 프로토콜이 뒷받침되어야 하나 그동안 이에 대한 연구가 미흡하였다. 이에 본 연구에서는 고용노동부 고시의 규정과 전국 300인 미만 중·소규모 PSM 사업장 200여 개사를 대상으로 행정처분 위반 사례를 조사·분석하였다. 이를 기반으로 설비유지관리 웹프로그램을 개발하여 중·소규모 사업장의 인적오류 제거를 통한 중대산업사고예방에 기여하고자 하였다. 본 연구를 통해 얻어진 주요 연구결과는 다음과 같다. 첫째, 프로그램 접근 편의성을 위해 스마트 기기에서 QR코드를 통해 웹에 접속하여 설비의 제원 검색 기능, 고장 사유, 사진을 확인함으로써 실시간 점검, 정비요청을 할 수 있게 하였다. 둘째, 변경 대상 파악, 위험성 평가, 작업자 교육, 가동 전 점검을 프로그램과 연계하여 작업 시작 전부터 종료까지 모든 절차를 관리자가 추적관리 가능하도록 하였다. 셋째, 작업 완료 후 개선된 사진과 함께 수리, 시간, 비용 등을 등록하여 축적된 자료를 기반으로 설비의 수명 예측과 신뢰성을 검증하게 하였다. 이러한 연구결과는 중·소규모 PSM 사업장에게 실질적이고 체계적인 운영에 도움이 될 수 있으며 향후 정부 주도로 중·소규모 PSM 사업장을 대상으로 스마트팩토리 구축 시 설비유지관리 웹프로그램을 개발하여 보급하는데 유용하게 활용되리라 판단된다.