• 제목/요약/키워드: 내용오류

검색결과 420건 처리시간 0.024초

한국의 해양사고 조사모델의 개선에 관한 연구 (A Study on the Improvement of Marine Accidents Investigation Model in Korea)

  • 나송진;김상수;박진수;정재용
    • 한국항해항만학회지
    • /
    • 제27권4호
    • /
    • pp.367-373
    • /
    • 2003
  • 우리나라의 해양안전심판원은 지난 40년동안 많은 업적을 남겼지만, 아직도 해양사고의 조사에 대한 법과 제도 및 매뉴얼 등의 내용 면에서 미흡한 점이 있다. 조사매뉴얼은 국제해사기구의 해양사고조사지침 등의 국제규정과 기준을 수용하지 못하고 심판지침과 함께 작성되어 있을 뿐만아니라 그 구성과 내용 및 조사기법 등이 매우 부실하다. 그리고, 조사제도는 심판원이 독립성을 가지지 못하고 재발방지를 위한 권고기능이 크게 위축되어 있는 실정이다. 또한, 해양사고의 원인판단지침이 없어 조사관이 항법을 적용하는데 있어 혼동하거나 오류를 범하는 경우가 종종 발생하고 있고 초임 조사관 등의 사고원인판단의 기준으로 활용할 수 있는 교재도 없다. 이 연구에서는 영국, 미국, 네덜란드 및 일본의 조사매뉴얼과 조사제도를 비교ㆍ분석하여 개선안을 제안하고, 사고 종류별 질문조사기법을 제안한다.

Doxygen을 이용한 위성비행소프트웨어 설계문서 작성 자동화 방안 소개 (Introduction to Automatic Generation of Design Documents for Flight Software using Doxygen)

  • 이재승;양승은;최종욱;천이진;윤정오
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2012년도 추계학술발표대회
    • /
    • pp.844-847
    • /
    • 2012
  • 인공위성의 개발은 오랜 기간에 걸쳐 다양한 분야의 전문가들에 의해 개발된 결과물들이 통합되어 완성될 수 있다. 위성개발과 같이 많은 개발자가 공동으로 작업하여 하나의 결과물을 생산하는 경우 개발과정에서 방대한 양의 문서작업이 수반된다. 특히 비행소프트웨어와 같이 서로 다른 개발자에 의해 작성된 코드들이 하나의 이미지로 통합되어 빌드될 경우 발생하는 문제점들을 해결하고 요구되는 기능들을 디버깅하기 위해서는 개발과정 및 소스코드에 대한 문서들이 필수적이다. 이러한 소프트웨어 설계에 대한 문서는 그 양이 방대하고 소스코드와의 연계성이 필요하기 때문에 소스코드를 작성한 각 개발자들이 직접 수작업으로 문서를 작성하였다. 예를 들면, 기존의 위성비행소프트웨어 개발과정에서는 이러한 문서들 중 전체 위성비행소프트웨어의 단위 코드별 입출력, 수행기능 등의 상세 설계 내용을 기록하는 SDD(Software Design Description)는 개발자가 작성한 코드를 기반으로 수작업을 통하여 작성되었다. 이러한 작성방식은 작성자의 입력오류가 발생할 수도 있으며 소프트웨어 개발과 별도로 수작업이 요구되어 문서작성에 소요되는 시간적 손해가 발생하게 된다. 유럽에서는 이러한 문제점을 보완하기 위하여 C, C++, C#, JAVA, VHDL 등 다양한 언어를 사용하는 소프트웨어 개발에 적용 가능한 자동적 문서작성 도구인 Doxygen을 설계 및 개발문서 작성에 활용하고 있다. Doxygen은 PDF, HTML, Latex, RTF 등 다양한 출력 포맷도 지원한다. 본 논문에서는 Doxygen을 활용하여 위성비행소프트웨어 개발문서의 작성 시 소요시간을 단축하고 소스코드로부터 해당 설계 내용을 추출하여 자동적으로 문서를 작성할 수 있는 방안에 대하여 소개한다.

초등 예비교사들이 제시한 분수 나눗셈 문장제와 해결 방법 분석 (An Analysis on Elementary Pre-Service Teachers' Word Problems and Problem Solving Methods in Fraction Division)

  • 이대현
    • 과학교육연구지
    • /
    • 제46권1호
    • /
    • pp.109-120
    • /
    • 2022
  • 분수 나눗셈에서는 실세계 상황에서 식을 찾는 과정과 역으로 식에 맞는 상황을 만드는 과정, 나눗셈식을 해결하는 방법과 표준 알고리즘의 정당화 과정 등이 중요하면서도 이해하기 어려운 학습 내용이다. 본 연구에서는 예비교사들의 분수 나눗셈식에 맞는 문장제 만들기와 문장제 해결에 이용한 방법을 분석하였다. 초등 예비교사들은 피제수가 제수보다 작은 분수 나눗셈에서 그 반대인 경우보다 문장제 만들기에 어려움을 가지고 있었고, 문장제 만들기에서도 전형적인 오류를 나타내었다. 문장제 해결에서는 문제 상황에 따라 이용한 방법에 차이가 나타났다. 본 연구를 통해 예비교사 교육과정에서 분수 나눗셈 지도에 관한 지도 방법의 재고와 학년 간 반응 결과의 차이를 고려할 때 예비교사들의 '교수와 내용에 관한 지식'의 형성 과정에 관한 분석이 이루어질 필요가 있다.

초등학교에서의 영어 발음 및 청취 교육

  • 정인교
    • 대한음성학회:학술대회논문집
    • /
    • 대한음성학회 1997년도 7월 학술대회지
    • /
    • pp.248-248
    • /
    • 1997
  • 오늘날 영어교육은 교과과정령에 엄연히 명시된 네 가지 기능(four skills) 즉 듣기, 말하기, 원기, 쓰기라는 정당하고도 보편 타당성 있는 명분 하에 어떻게 가르쳐 왔는가 를 반문해 보면 많은 아쉬움이 남는다. 그간 6년간의 중등과정, 심지어는 대학에서 환 두해까지 영어를 이수한 사람틀 중에는 문자를 통해서는 상당한 수준, 그것도 영어 토박이들조차 놀랄 정도의 영어를 이해하지만, 소리를 통해 들을 때는 ---말하는 것은 두말 할 것도 없고---아주 간단한 내용의 영어조차 알아듣기 힘든 경험을 한 사람이 많다는 것은 부인할 수 없는 사실이다. 그 이유는 명백하다. 즉, 문자를 대할 때는 시각적 자극의 형태가 두뇌 속에 저장된 정보---가공할 문법적 지식---와 일치하기 때문에 쉽게 이해를 할 수 있는 반면, 소리를 들을 때는 청각적 자극의 형태가 두뇌 속에 저장된 정보---극히 불완전한 발음사전, 또는 모국어의 음운체계에 의한 영어발음--- 와 차이가 있기 때문일 것이다. 그러므로 적어도 말소리를 매체로 하는 의사소통에 있어서는 영어의 본토박이 발음을 정확히, 아니면 적어도 매우 근접하게 나마 터득하여(습관화하여)두뇌에 저장하는 일이 가장 중요한 일이다. 따라서 영어교사는 모국어의 음운체계에 대한 정확하고도 상세한 지식을 토대로 하여 영어의 음운체계와 '언어학적으로 의미 있는 (linguistically significant)' 대초분석의 방법으로 발음을 지도한다면 보다 나은 학습효과를 기대할 수 있을 것이다. 일반적으로 모국어의 발음이 외국어의 발음에 간섭을 유발하는 경우는 다음과 같다. 1. 분절음체계가 서로 다를 때 2. 한 언어의 음소가 다른 언어의 이음(allophone)일 때 3. 유사한 음의 조음장소와 방법 이 다를 때 4. 분절음의 분포 또는 배열이 다를 때 5. 음운현상이 다를 때 6. 언어의 리듬이 다를 때 위의 여섯 가지 경우를 중심으로 영어와 한국어의 발음특성을 대조하여 '낯선 말투(foreign accent)' 또는 발음오류를 최소로 줄이는 것이 영어교사의 일차적인 목표이다.

  • PDF

공대생의 역도함수 그래프 추측 (The Conjecture of Anti-Derivative Graph of Engineering Students)

  • 김수민;김선희
    • 대한수학교육학회지:학교수학
    • /
    • 제19권1호
    • /
    • pp.171-187
    • /
    • 2017
  • 공대생들에게 미적분은 산업현장에서 발생하는 현상에 대한 수학적 안목을 형성해 주는 수학적 모델이자 지식이며 기능이다. 하지만 공대생들의 미적분학 학습은 기계적인 계산과 수학적 결과만을 적용시켜 문제를 해결하려는 경향을 보인다. 이에 본 연구는 실제적인 상황에서 수학적 개념과 원리를 적용하여 문제를 해결할 수 있는 문제를 제시하고 공대생들에게 이 문제를 풀게 하였다. 산의 경사도 그래프로부터 원래 산의 모양을 알아내는 문제에서 학생들은 주어진 그래프를 도함수의 그래프로 인식하고 역도함수의 그래프를 추측하였다. 그래프 해석에서 오류를 보이기도 하였는데 이는 미적분의 내용을 이해하지 못해서라기보다는 문제를 제대로 파악하지 않고 해결하려는 학습 방식에 기인한 것이었다. 경사도 문제 해결을 통해 공대생들은 수학이 자신이 공부하는 전공의 기초이자 실세계에 활용 가능한 유용성을 갖고 있으며 사고력을 향상시켜준다고 하는 인식의 변화를 경험하였다.

웹기반 정보검색을 위한 자연어 키워드 색인에 관한 연구 (A Study on Natural Language Keyword Indexing for Web-based Information Retrieval)

  • 윤성희
    • 한국컴퓨터산업학회논문지
    • /
    • 제4권12호
    • /
    • pp.1103-1111
    • /
    • 2003
  • 정보검색의 방법으로 단일 주제어를 키워드로 색인하여 검색하는 방식이 널리 사용되어 왔으나 문서의 내용을 정확히 표현하기 어렵고 검색 결과의 문서 집합 또한 너무 커서 사용자의 만족도가 낮다. 본 논문에서는 자연언어 처리 기술인 구문 분석 모듈을 도입해 단어 이상의 단위인 구 단위를 색인과 검색의 단위로 삼는 구 단위 색인 및 검색 기법을 사용을 제안한다. 웹 문서들 자체가 갖는 다양한 오류들로 인해 현실적으로 충분히 만족할 만할 우수한 성능의 구문 분석 모듈이 구현되기는 어려우므로 상향식 구문 분석 모듈을 구현하여 완전한 구문 분석 결과를 얻지 못하는 많은 문장에 대해서도 구 단위 색인이 가능하며 단일어 색인보다 식별력이 뛰어나 검색 성능이 향상되고 검색 과정의 부하도 줄일수 있다.

  • PDF

CAM(Content Addressable Memory)의 병렬테스팅을 위한 Built-in 테스트회로 설계에 관한 연구 (A Study on the Built-in Test Circuit Design for Parallel Testing of CAM(Content Addressable Memory))

  • 조현묵;박노경;차균현
    • 한국통신학회논문지
    • /
    • 제19권6호
    • /
    • pp.1038-1045
    • /
    • 1994
  • 본 논문에서는 CAM에서 발생하는 모든 PSF(Pattern Sensitive Fault)를 검사하기 위한 알고리즘과 테스트회로를 설계하였다. 즉, 짧은 시간에 최소의 부가회로를 이용하여 외부의 장비에 의존하지 않고 테스트하는 내장 테스트회로를 설계하였다. 부가적으로 첨가된 회로로는 병렬비교기와 오류검출기가 있고, 병렬테스팅을 위해서 수정된 디코더를 사용하였다. 또한, 효과적인 테스트패턴을 구하기 위해 Eulerian path의 구성방법에 대해서도 연구를 수행하였다. 결과적으로, 본 논문에서 사용한 알고리즘을 사용하면 워드수에 관계없이 324+2b(b:비트수) 만큼의 동작으로 CAM의 모든 내용을 테스트할 수 있다. 전체 회로중에서 테스트회로가 차지하는 면적은 약 7.5%정도가 된다.

  • PDF

이미지 센서 및 모듈의 영상 취득 테스트를 위한 표준화된 기술 방법 (Standardized Description Method of Image Acquisition Characteristics Tests for Image Sensors and Modules)

  • 이성수
    • 전기전자학회논문지
    • /
    • 제18권1호
    • /
    • pp.64-76
    • /
    • 2014
  • 이미지 센서 및 모듈의 영상 취득 특성을 테스트할 때에는 테스트 기기마다 화소값을 비교하는 방법, 결함을 수치화하는 방법, 불량을 판별하는 방법이 천차만별로 다르기 때문에 이미지 센서 및 모듈의 영상 취득 특성을 테스트하는 장비는 테스트 대상 기기의 종류에 따라 따로따로 셋업되어야 한다. 일반적으로 테스트 내용은 표준화된 형식이 아니라 임의 형식의 기술문서로 전달되기 때문에 테스트 대상 기기에 맞추어 수작업으로 테스트 프로그램을 개발하기 위해 매우 많은 시간과 노력이 필요하며 오류의 위험성도 높다. 본 논문에서는 하나의 프로그램으로 현재 사용되는 테스트를 거의 모두 수용할 수 있도록 다양한 영상 취득 테스트를 단일 프레임워크로 표현하는 표준화된 기술 방법을 제안한다.

이미지 센서 및 모듈의 표준 영상 취득 테스트 (Standard Image Acquisition Characteristics Tests for Image Sensors and Modules)

  • 이성수
    • 전기전자학회논문지
    • /
    • 제18권1호
    • /
    • pp.77-95
    • /
    • 2014
  • 일반적으로 이미지 센서 및 모듈의 영상 취득 특성 테스트는 테스트할 이미지 센서 및 모듈의 특성, 해당 센서 및 모듈이 장착될 기기의 사용 목적, 테스트 장비의 기능 등에 따라 세부적인 내용은 많이 다르지만, 산업체에서 자주 사용되어 사실상 표준으로 굳어진 몇몇 테스트는 불량을 판별하기 위한 기준치 등 몇몇 파라미터만 다르게 하여 대부분의 이미지 센서 및 모듈에 적용된다. 본 논문에서는 이들 중에서 대표적인 11개 테스트를 자세히 설명하고, 이를 단일 프레임워크 내에서 간단하고 명확한 형태로 표기하여 테스트 프로그램을 작성할 때의 오류와 노력을 크게 줄이도록 한다.

경비업법령의 문제와 개정방향 (The Proposal of Problems in Private Security Law)

  • 안황권;최경철
    • 융합보안논문지
    • /
    • 제16권1호
    • /
    • pp.39-48
    • /
    • 2016
  • 경비업법이 제정된지 40년이 되었다. 그동안 시큐리티정책에 많은 변화가 있었으며 시큐리티 환경도 급변하였다. 경찰과 더불어 생활안전의 한 축을 담당하는 민간경비를 활성화시키고 지원하는 방향에서 전면적인 개정을 할 때가 되었다. 첫째, 시큐리티 환경를 변화를 반영하여 경비업법의 법명과 용어를 재정립할 필요가 있다. 즉, 시큐리티 컨설팅, 플랜너, 민간조사, 융합보안 등을 수용할 수 있도록 적절한 경비업무 범위 등을 확대할 필요가 있다. 둘째, 경비업법령의 오류를 시정하여 개정할 필요가 있다. 셋째, 경비업법령 중에서 불합리한 내용을 지닌 조항을 적절하게 개정할 필요가 있다. 넷째, 경비지도사의 선발, 교육, 선임 중에서 불합리한 문제를 시정하는 방향으로 개정할 필요가 있다.