• 논리연구
• /
• 제22권1호
• /
• pp.151-182
• /
• 2019

연역 논증과 귀납 논증을 구분하는 실현 기준에 따르면, 전제와 결론 사이에 실현된 뒷받침 관계가 필연성일 경우에만 연역 논증이다. 이 경우 '부당한 연역 논증'은 형용모순을 저지르는 표현이 된다. 이와 달리 전제와 결론 사이에 의도된 뒷받침 관계를 구분 기준으로 삼는 것은 의도 기준인데, 이에 따르면 '부당한 연역 논증'은 형용모순이 아니다. 우리는 의도 기준을 옹호하는데, 실현 기준은 생략 논증을 연역 논증이나 귀납 논증 중 한 쪽으로 분류하기 위해서는 의도를 참조해야 한다는 난점, 또 나쁜 논증과 논증이 아닌 명제들의 집합을 구분하지 못한다는 난점을 지니기 때문이다. 의도 기준 역시 논증 제시 의도를 파악하기 어려운 경우가 있지만, 그것은 자비의 원리에 호소하면 해결할 수 있다. 나아가 결론에 대한 신념이나 논증 제시자의 성향을 나타내는 표현을 논증 제시 의도와 구분함으로써 우리는 의도 기준이 연역 논증과 귀납 논증을 구분하는 기준으로 제 역할을 할 수 있다고 결론짓는다.

• 재활복지
• /
• 제16권3호
• /
• pp.421-437
• /
• 2012

본 연구의 목적은 전동휠체어 및 의료용스쿠터(이하 휠체어)의 국내·외 평가기준을 조사하고 비교·분석하여 국내 여건에 적합한 기준규격의 마련을 위한 기초자료를 제공하는 데 있다. 국내 기준규격의 개선항목은 문헌조사 및 전문가 자문을 통하여 도출하였다. 국내 "전자의료 기기 기준규격 50. 전동휠체어 및 의료용스쿠터" 기준규격을 국외 규격(ISO 7176 series, JIS T 9203, JIS T 9206, JIS T 9208, EN 12184)과 비교하였다. 휠체어의 성능과 안전성에 직결되는 일반 권장사항, 성능의 권장사항, 전기적 특성, 기타 권장사항의 항목과 기준치에 대하여 재검토를 하였다. 현행 기준규격의 개선점을 도출하고 개선이 필요한 평가항목(최대속도, 브레이크 시스템, 조명등과 반사경 등)에 대하여 개정작업을 진행할 수 있도록 참조자료를 정리하였다. 이에 휠체어 관련 국내·외 기준규격의 비교·분석을 통해 국내 현실에 적합한 기준규격 마련을 위한 기초자료를 작성하였다.

• 정보교육학회논문지
• /
• 제9권2호
• /
• pp.299-308
• /
• 2005

본 연구의 목적은 현재 초등학교에서 사용되고 있는 15종의 컴퓨터 교과서를 분석하여, 교과서의 장점 및 개선점을 알아봄으로써, 교사들의 교과서 사용에 도움을 주고, 앞으로의 개발 방향을 제시하는 것이다. 본 연구에서는 전국 초등학교 1 2학년 컴퓨터 교과서 15종에 대하여 평가 기준을 정하여 분석하였다. 평가 기준은 기존에 개발된 Schmidt의 일반 교과서 평가 기준과 교육인적자원부의 컴퓨터 교과서 심의 기준을 참조하여 내용 선정 및 조직에 대하여 분석하였다. 본 연구 결과, 대부분 교과서들이 활동 중심 학습, 문제 중심 학습 및 실습 중심 학습이다. 그리고 다양한 교수방법 및 활동을 제공한다. 그러나 협동 학습과 통합 학습 면에서 부족하다. 그리고 개별화 교수에 대한 고려가 부족하고 심화 및 보충학습 제공도 미흡하다.

• 한국수학사학회지
• /
• 제24권3호
• /
• pp.145-163
• /
• 2011

수학 학습에서 학생들의 정의적 성취 여부를 판단할 수 있도록 본 연구는 준거 참조 평가의 준거인 기준 점수를 설정하였다. 타당도와 신뢰도가 확보된 표준화된 정의적 성취 검사 도구에 대하여 변형된 Angoff 방법을 적용하였고 수학교사 전문가 협의회를 통하여 합의된 점수가 설정되었다. 이 점수는 학습지향성, 자기통제, 불안, 흥미, 가치인식, 자신감의 6가지 요소에 대하여 각각 설정되었다. 학습지향성은 20점 만점에 기준 점수가 12점, 자기통제는 24점 중 14점, 불안은 16점 중 11점, 흥미는 20점 중 13점, 가치 인식은 24점 중 16점, 자신감은 16점 중 10점이었다. 우리나라 중학교 2학년 학생들은 수학에 대한 가치 인식을 성취한 비율이 가장 높았고, 성별이나 수준별 수업 시행 여부 별로 정의적 성취 비율의 차이는 나타나지 않았다.

• 한국정보과학회논문지:시스템및이론
• /
• 제35권1호
• /
• pp.30-43
• /
• 2008

Load/store와 같은 메모리 참조 명령어는 프로세서의 고속 수행을 방해하는 주요인이다. 캐시 선인출 기법은 메모리 참조에 따른 지연시간을 줄이는 효과적인 방법이다. 그러나 너무 적극적으로 선인출 할 경우에 캐시 오염을 유발시켜 선인출에 의한 장점을 상쇄시킨다. 본 연구에서는 캐시의 오염을 줄이기 위해 동적으로 필터 테이블을 참조하여 선인출 명령을 수행할 지의 여부를 결정하는 네 가지 필터링 기법들을 비교 평가한다. 먼저 기존 연구에서의 문제점을 분석하기 위해 이진 상태 기법을 보였는데, 이 기법은 기존 연구와 같이 N:1 매핑을 사용하는 반면, 각 엔트리의 값을 1비트로 하여 두 가지 상태값을 갖도록 하였다. 비교 연구를 위해 완전 상태 기법을 제시하여 비교 기준으로 사용하였다. 마지막으로 본 논문의 주 아이디어인 정교한 필터링을 위한 블록주소 참조 기법을 제안하였다 이 기법은 이진 상태 기법과 같은 테이블 길이를 가지며, 각 엔트리의 내용은 완전 상태 기법과 같은 항목을 가지도록 하여 최근에 미 사용된 데이타의 블록주소가 필터 테이블의 하나의 엔트리와 대응되도록 1:1 매핑을 하였다. 일반적으로 많이 사용되는 일반 벤치마크 프로그램과 멀티미디어 벤치마크 프로그램들에 대하여 실험한 결과, 제안한 블록주소 참조 기법(BAL)이 기존 연구인 동적 필터 기법(2-bitSC)과 비교하여 캐시 미스율이 10.5% 감소하였다.

• 환경생물
• /
• 제38권4호
• /
• pp.678-690
• /
• 2020

본 연구는 점오염원인 하수종말처리장으로부터 배출되는 물의 수질을 분석하고 배출수의 영향을 받는 어류 중 지점들에서 공통적으로 출현하는 어종인 피라미(Z. platypus)를 선택하여 조직학적 변화를 참조하천 지점의 수질과 어류 조직을 비교·분석하였다. 2019년 6월 27~28일 하수종말처리장 4곳(대전, 전주, 청주, 익산)의 채집 결과, 참조하천에서 22종 450개체로 가장 많은 종 수 및 개체수가 확인되었다. 지점별로 5개체씩 2~3년생 피라미의 조직표본을 제작하여 아가미와 근육조직(피부조직)을 관찰한 결과, 참조하천을 제외한 나머지 지점의 조직은 병리적인 양상을 나타내었다. 수질분석 결과, 각 WTP에서는 배출수질 기준을 준수 혹은 더 좋은 수질로 방류하고 있었다. 그러나 하수종말처리수 배출수 및 방류수계 수질에서 오염도지표를 나타내는 항목인 BOD, COD, TP, TN, SS 값이 참조하천에 비해 높은 것으로 나타났다. 빈약한 어류상과 바이오마커로 이용된 종의 조직병리학적 상태는 참조하천에 비해 낮은 수질에서 기인한 것으로 추측되며, 따라서 원인이 되는 하수종말처리장 배출수 수질개선이 이루어져야 할 것으로 사료된다.

• 한국정보시스템학회지:정보시스템연구
• /
• 제20권1호
• /
• pp.41-74
• /
• 2011

최근 수년간 모바일 상거래는 점점 더 많은 관심을 끌고 있다. 그것은 도달성과 이동성이라는 점에서 전자상거래에 비해 강점을 지니고 있어 모바일 상거래는 주목받는 이슈가 되었다. 모바일 상거래의 현황을 검토하고 미래를 조망한 문헌을 연구해 보는 것은 흥미로운 시도이다. 이 연구는 Varshney and Vetter(2002)와 Ngai and Gunasekaran(2007)가 제시한 분류기준을 참조하되 세부내용을 일부 수정하여 모바일 상거래의 이론과 연구, 모바일 상거래의 애플리케이션과 사례, 무선 사용자 인프라스트럭처, 모바일 미들웨어, 무선 네트워크 인프라스트럭처 등 5가지 대분류기준에 따라 선행연구들을 검토하였다. 여기에는 최근 부각되는 모바일러닝, 모바일라이브러리, M-CRM과 M-SCM 같은 주제도 포함하였다. 연구결과 많은 논문들이 모바일 상거래의 이론과 연구 그리고 모바일 상거래의 애플리케이션과 사례를 다루고 있었다. 그리고 모바일 상거래의 성공은 서로 다른 애플리케이션의 강점과 필요한 기술을 잘 수용한 결과라는 점을 보여주었다. 마지막으로 모바일 상거래의 현황과 미래 방향에 관한 함의를 기술하였다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2003년도 추계학술대회 논문요약집
• /
• pp.81-81
• /
• 2003

최근 유한요소법을 이용하여 절삭가공을 해석하는 연구가 많이 발표되고 있다. 이 때 가장 문제되는 점이 피삭재에서 칩으로 분리하는 조건이다. 일반적으로 칩 분리 조건이라 일컬어지는 이 조건을 어떻게 설정할 것인가에 대해 현재까지도 많은 연구가 이루어지고 있다. 현재까지 제시된 칩 분리 판별 조건은 두 가지 유형 - 기하학적, 물리적으로 나눌 수 있다. 기하학적 칩 분리 조건은 공구 끝단과 바로 앞 요소의 거리를 기준으로 정해진 특정한 값에 도달하면 요소가 분리되는 혹은 없어지는 방법을 이용하는 것이며(Fig. 1 참조), 물리적 칩 분리 조건은 요소 내의 소성변형률 혹은 변형률 에너지 밀도함수 등의 값을 기준으로 분리시키는 방법이다. 본 연구에서는 상용 유한요소 해석 프로그램인 ANSYS를 이용하였으며 이 프로그램에서 제공하는 element birth/kill 기법을 이용하여 기하학적 판별조건에 도달하면 공구 끝단 앞의 요소가 사라지는 방법을 취하였다. Fig. 2는 절삭가공을 위한 유한요소 모델링을 나타낸다. 칩-공구 접촉 부위에 접촉요소를 사용하였으며, 피삭재의 왼쪽과 아래쪽 부위는 각각 변위구속을 하였다. 공구의 이동은 변위경계조건의 값을 변화시킴으로써 구현하였다. 절삭력을 비교함으로써 해석결과의 타당성을 검토하였으며, 피삭재 내의 응력, 변형률 분포 등을 살펴보았다.

• Nuclear Engineering and Technology
• /
• 제27권5호
• /
• pp.792-802
• /
• 1995

국내·외 안전규제기술요건의 현황 및 기술현황 분석 평가 결과를 토대로 안전목표, 안전원칙, 일반안전요건, 상세기술요건, 안전규제지침 및 안전심사지침 등으로 구성된 안전규제기술요건 체계가 구축되었으며, 궁극적인 안전의 지향목표로 부터 구체적인 안전규제방법론에 이르는 일련의 계층을 제시하고있다. 각 계층별 체계설정의 개념, 방법론 및 상세체계도 구성과 이들 구성항목들에 대한주요요점 및 참조 국내·외 규제요건 등이 도출되었으며, 이들은 구체적인 안전규제기술요건의 단위요건 설정에 기본방향을 제공하게 될 것이다. 또한, 안전규제기술요건의 실제적인 설정에 필요한 추진 전략 및 방법을 개략적으로 제시하고 있다. 특히 개발될 안전규제기술요건의 규제위상 정립 및 유관기관의 의견수렴 방안등은 신중히 고려되어야 할 것이며, 산업기준과의 연계방안은 국내에서 개발하고있는 산업기준의 위상을 정립할 수 있는 좋은 계기가 될 것이다.

• 정보보호학회지
• /
• 제12권3호
• /
• pp.67-76
• /
• 2002

인터넷의 발달로 사회의 기반구조가 종이사회에서 사이버 사회로 전환됨에 따라 정보보호제품이 중요한 역할을 담당하게 되었다. 이러한 정보보호제품의 안전한 선택 및 사용을 위한 기본적인 선택기준은 신뢰 기관의 안전성 평가 결과일 것이다. 이러한 안전성 평가는 현재 세계적으로 공통 평가를 위한 체계를 준비중에 있으며, 가장 대표적인 것이 CC(Common Criteria)기반의 정보보호제품 평가이다. 그러나 CC기반의 평가기준에서는 정보보호분야의 핵심기술인 암호알고리즘에 대한 평가는 수행하지 않고 각 국이 독자적으로 하도록 규정하고 있으며, 이를 구현한 암호모듈에 대한 평가 또한 독자적으로 하도록 하고 있다. 암호모듈에 대한 안전성 평가로 가장 널리 참조되는 것은 미국의 NIST(National Institute of Standards and Technology)가 수행하는 CMVP(Cryptographic Module Validation Program)이며, 세계적으로 인정받고 있다. 본 고에서는 현재까지 수행되고 있는 정보보호제품에 탑재된 암호모듈의 평가체계에 대해 비교 분석하여 정리 하고자 한다.