• Applied Biological Chemistry
• /
• 제50권4호
• /
• pp.245-252
• /
• 2007

FTA(fault tree analysis)는 system 오류 관리를 위한 정성적/정량적 기법으로 적용되고 있다. FTA를 적용한 PCR의 오류 관리 system의 구축을 위한 시범적 단계로서 PCR 실행의 여러 단계 중 가장 간단한 단계인 '반응액의 제조 및 PCR 기기 사용 단계'를 모델로 하여 분석하였다. PCR 실행시 발생할 수 있는 오류를 연역적 논리 방식에 의해 fault tree의 형태로 규명하였다. Fault tree는 오류 관리의 최상위 요소인 top event를 중심으로 중간 계층을 이루는 intermediate events와 최하위의 요소인 basic events로 세분하여 구성하였다. Top event는 '반응액의 제조 및 PCR 기기 사용 단계에서의 오류'; 중간계층 events는 '기기 유래 오류', '실험행위 유래 오류'; basic events는 '정전상황', 'PCR 기기 선정', '기기 사용 관리', '기기 내구성', '조작의 오류', '시료 구분의 오류'로 분석되었다. 이로부터 top event의 원인 분석 및 중요 관리점을 도출하기 위하여 정성적/정량적 분석을 실시하였다. 정성적 기법으로 minimal cut sets, structural importance, common cause vulnerability를 분석하였고, 정량적 기법으로 simulation, cut set importance, item importance, sensitivity를 분석하였다. 정성적 분석과 정량적 분석의 결과에서 '시료 구분의 오류'와 '기기 조작의 오류'가 제 1중요관리점; '기기 관리의 오류'와 '내구성에 의한 오류'는 제 2중요관리점으로 일치되게 나타났다. 그러나 '정전상황'과 '기기 선정의 오류'는 정성적 분석에서만 중요관리점으로 분석되었다. 특히 sensitivity 분석에서 '기기 관리의 오류'는 사용 시간이 경과함에 따라 가장 중요한 관리점으로 부각되었다. 결론적으로 FTA는 PCR 모델 case에 대한 오류의 원인 분석 및 그 방지를 위한 중요관리점을 제시함에 따라, 궁극적으로 미래에 PCR의 오류 관리 system을 완성할 수 있는 효과적인 방법으로 사료된다.

• 대한수학교육학회지:수학교육학연구
• /
• 제21권4호
• /
• pp.327-344
• /
• 2011

본 연구는 고등학교 수학교과에서 배우는 모평균의 신뢰구간 구하기와 같은 통계적 추론 능력을 기르기 위한 방안의 첫 단계연구이다. 통계적 추론과정을 비판적으로 분석하여 신뢰할만한 추론방법으로 이를 인정할 수 있는 표본개념의 형성을 위해, 연구자들은 우연과 필연, 귀납과 연역, 가능성원리, 통계량의 변이성, 통계적 모형 등의 하위 개념들이 형성되어야 한다고 보았다. 그리고 초중등 통계단원의 전 과정에서 이들 개념의 체계적인 발달을 도모해야 한다는 전제 아래, 초 중 고등학교 통계단원을 분석해 본 결과는 아래와 같았다. 첫째, 문제해결 방법 선택의 지도와 관련하여, 통계적 방법을 선택할 문제 상황으로서, 우연적 상황을 필연적 상황과 구분하기위한 설명이 있는 교과서가 초등학교에는 없고, 중등 수준에서도 매우 드물었다. 둘째 표본의 모집단 관련 의미를 이해시키려는 단계적 준비가 미흡하다고 할 수 있다. 전체와 부분의 모집단과 표본 구분이 고등학교에서 비로소 공식화되고 있으며, 초 중학교에서 사용되는 표본자료는 그것으로부터 얻어지는 계산적 결과에만 초점이 맞추어짐으로서, 학년이 올라감에 따라 모집단을 향한 귀납적 추론의 신뢰성에 대한 비판적 사고의 깊이가 더해지는 모습을 찾아보기 어려웠다. 셋째, 무작위 추출이 갖는 대표성의 의미에 대한 설명보다는 무작위 활동 자체에 대한 설명이 중심이 됨으로서 무작위 추출의 확률적 의미, 즉 무작위 표본을 통해 구해질 통계량의 표집분포에서의 (상속된) 무작위성을 위한 담보로서의 목적에 대한 설명이 없다는 점이다. 넷째 통계적 추론을 수학(연역)적 추론과 구분해 주는 설명이 없을 뿐 아니라, 학습자의 논리성 발달 수준에 맞게 변화하는 가능성원리에 대한 설명, 적용 등을 전혀 찾기 어렵다는 점이다. 다섯째 통계량의 우연변이성과 그에 따른 표집분포의 존재에 대한 이해를 추구하는 설명을 찾기 어렵다는 점이다. 표집분포를 수학적으로 구하는 것은 매우 어려운 과정이지만, 그것의 존재를 인식하느냐 못하느냐는 통계적 추론 자체의 이해 가능성을 달리하는 중요한 문제이기 때문이다.

• 한국콘텐츠학회논문지
• /
• 제6권11호
• /
• pp.202-216
• /
• 2006

프로세스 대수는 다음과 같은 이유 때문에 실시간 항해 및 배송 시스템에 적용하기에는 부적당하다: 1) 특정한 지정학적 공간 내에서의 프로세스들의 분산성에 대한 표기가 부족하고, 2) 그 공간 내에서의 프로세스들의 이동성이 분산성으로부터 확연히 구분하여 표기되지 않는다. 이 대수들이 이런 시스템에 적합하기 위해서는 이런 분산성에 적용되는 공간정보의 표기와 이 공간 내에서의 이동성에 대한 표기를 구분해야할 필요성이 있다. 본 논문에서는 이러한 목적, 즉 공간정보와 이동정보를 구분하기 위하여 새로운 정형기법, 즉 CARDMI (Calculus of Abstract Real-Time Distribution, Mobility and Interaction)를 제안한다. CARDMI에서는 이동체 간의 동일성을 검증하기 위하여 공간 및 상호작용에 관한 연역규칙과 공간추상화에 기반한 동일성을 정의한다. 특히 이 동일성은 공간적 추상화를 반영한 계층적 동일성을 가능하게 하며 이를 통해 다수의 추상화 단계에서의 동일성을 검증하게 한다. CARDMI는 물리적인 배송 시스템뿐만 아니라 콘텐츠를 실시간으로 배달하는 사이버 시스템에도 적용할 수 있다.

• 지구물리
• /
• 제9권4호
• /
• pp.455-462
• /
• 2006

본 연구에서는 그라우팅 효과를 간편히 그리고 합리적으로 평가하기 위한 방법의 하나로서 전기비저항 탐사에 대한 적용성을 검토하였다. 전기비저항 탐사를 통한 보강 효과를 보다 정확하게 이해하기 위해, 누수에 의한 코아의 세립분 유출이 코아부의 전기비저항에 어떤 변화를 발생시키는가에 대한 메커니즘을 분석하여 탐사시의 조건에 따라서 연약부분의 비저항이 낮아질 수도 높아질 수도 있다는 사실을 확인하였다. 이는 통상적으로 인식되어지고 있는 코아의 연역부분에서는 비저항이 낮아진다는 사실에 반하는 것으로서 이러한 메커니즘 하에서 실제 그라우팅에 의해 보수・보강이 수행된 댐체에 대한 보강 전・후의 전기비저항을 비교・분석하였으며, 그 결과 보강 후의 비저항이 균일한 분포를 나타내고 있다든지 비정상적인 이상 비저항대가 없어졌다든지 하는 그라우팅의 효과를 성공적으로 평가할 수 있었다. 즉, 그라우팅에 의한 효과를 평가하는데 있어서 전기비저항 탐사는 매우 효율적인 방법 중의 하나라는 것을 알 수 있다

• 한국언론정보학보
• /
• 제54권
• /
• pp.76-97
• /
• 2011

가추법은 문화연구의 방법론으로서 어떤 의미를 지니는가? 이 논문은 문화연구의 방법론 논의가 연구방법이 아닌 인식론적 맥락에서 이루어져야 함을 주장하고, 이를 위해 가추법의 의미를 문화연구의 방법론의 측면에서 재해석한다. 논리학자이자 기호학자인 찰스 샌더스 퍼스는 연역법이나 귀납법으로는 불가능한 새로운 명제나 지식을 발견하기 위해 가추법을 제안한다. 근대의 과학적 실증주의가 객관성과 확실성의 논리에 기대고 있다면, 가추법은 경험된 현상으로부터 새로운 전제를 찾아내는 발견의 논리로서 의미를 지닌다. 이 논문에서는 학문과 지식의 생산 구조와 역사적 맥락을 살펴보고, 그 과정에서 형성된 과학적 연구방법의 신화를 비판한다. 그리고 사회와 문화를 연구하는 방법론적 대안으로서 가추법이 갖는 의의를 살펴보고, 가추법이 문화연구의 방법론에 던져주는 시사점은 무엇인지 논의한다. 이를 통해 문화연구가 방법론으로서 갖추어야 할 세 가지 요소, 즉 '직관'과 '공감'과 '지적 협업'의 중요성과 의미를 탐색한다. 결국 문화연구는 관찰할 수 있는 현재로부터 알 수 없는 실재를 찾아내는 발견의 논리가 되어야 함을 주장한다.

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

수리 논리학의 발전은 상당 부분 힐버트 (D. Hilbert, 1862~1943)의 증명이론(Beweistheorie)에 뿌리를 두고 있다. 흔히 '힐버트 계획' (Hilbert's program)으로 불리는 이 계획의 목표는 형식적 공리론적 방법에 의해 수학의 모든 명제와 증명을 형식화하고 이 형식 체계의 완비성과 무모순성 증명을 통해 고전 수학을 '구원' 하고, 수학의 토대를 공고히 하자는 데에 있다. 1931년 괴델의 제 1정리에 의해 결정불가능 명제의 존재가 드러나면서 완전성이 위기를 맞고, 제 2정리에 의해 무모순성의 확립이 무산될 위기에 처한다. 그러나 '상대적' 내지 '부분적' 힐버트 계획은 효과적인 연구 프로그램으로서 살아 있다고 말하는 학자들이 적지 않다. 우리는 특히 힐버트 계획 이 오늘날 구성주의 수학의 발전에 동력을 제공하고 있다는 점을 커리-하워드 대응 (Curry-Howard Correspondence)을 통하여 부각시키고자 했다. 자연연역에서 증명 (proof) 이 바로 컴퓨터 프로그램 (computer program) 에 다름 아니라는 사실에 의해 수학의 형식화 (formalization)는 새로운 조명을 받게 된 것이다. 요컨대 힐버트 계획은 컴퓨터 과학에서 알고리듬 (algorithm) 이라는 핵심개념에 가장 잘 부합되는 것이다.

• 농업과학연구
• /
• 제7권2호
• /
• pp.131-144
• /
• 1980

수자원개발(水資源開發)의 계획(計劃) 및 설계(設計)를 위한 하천(河川)의 월유출량(月流出量) 추정방법(推定方法)인 전월단위(全月單位)의 사변수(四變數) 선형회귀모형(線型回歸模型)을 일반화(一般化)하여 유출량(流出量) 기록(記錄)의 Extension, 무계기(無計器) 하천(河川)의 유출량(流出量) 추정(推定) 등(等)에 이용(利用)할 수 있도록 하였으며 금강(錦江) 수계(水系)에 적용(適用)한 결과(結果)는 다음과 같다. 1. 선형회귀모형(線型回歸模型)은 물수지방정식(收支方程式)을 중첩(重疊)의 원리(原理)가 적용(適用)되는 선형(線型)(linear)으로 취급(取扱)하여 통계적(統計的)으로 모형(模型)을 설정(設定)하고 유역(流域) Response의 물리적(物理的) System 및 그 변화(變化)를 연역적(演譯的)으로 정성적(定性的)(qualitatively), 개략적(槪略的)(lumped)인 해석(解析)을 하려는 것이다. 각(各) 회귀계수(回歸係數)들이 각(各) parameter들의 phisical properties의 의미(意味)를 내포(內包)하는 일종(一種)의 grey box로 해석(解析)하려는 statistically deterministic model이다. 2. 금강(錦江) 수계(水系)의 4개(個) 수문지점(水文地點)의 선형회귀모형(線型回歸模型)의 방정식(方程式)은 다음과 같다. 통계적(統計的) 기준(基準)에 따라 판정(判定)한 결과(結果) 고도(高度)의 유의성(有意性)이 있는 모형(模型)으로 판정(判定)되었으며 특(特)히 유출량(流出量) 기록(記錄)이 짧은 경우에도 이용(利用)할 수 있다. 각(各) parameter들의 회귀계수(回歸係數)는 유역면적(流域面積)에 따라 질서(秩序)있게 변화(變化)하는 것을 알 수 있다. 즉(卽) 강우량(降雨量)(Pn)의 경우 유역(流域)이 커질수록 interception, detention storage에 의(依)한 손실(損失)도 커지며, 토양수분변화량(土壤水分變化量) (Qn-1)의 경우 유역(流域)이 커질수록 유역(流域)의 저류능(貯溜能)이 커지므로 기저유출(基底流出)도 커지며, 증발산량(蒸發散量)(En)의 경우 유역이 커질수록 Coverage의 나지화(裸地化) 면적(面積)이 커지므로 증발산량(蒸發散量) 손실(損失)도 커진다. 3. 선형회귀모형(線型回歸模型)의 정성적(定性的)인 phisical properties가 유역면적(流域面積)에 따라 변화(變化)하는데 착안(着眼)하여 모형(模型)을 일반화(一般化)하여 수계별(水系別) 유역면적별(流域面積別)로 회귀계수(回歸係數)를 구(求)하여 무계기(無計器) 하천(河川)에서도 월유출량(月流出量) 추정(推定) 모형(模型)을 설정(設定)할 수 있게 하였다. 금강수계(錦江水系)의 선형회귀모형(線型回歸模型)의 일반화도표(一般化圖表)는 다음 Fig.10과 같다.

• 한국해양학회지
• /
• 제18권2호
• /
• pp.91-103
• /
• 1983

1981년 9월에 한국동남해역의 연안역, 대륙붕역 및 대륙사연역에 이르는 각 수역에서 수심 별로 채집된 식물 플랑크톤의 정성 및 정량시료를 분석하였다. 본 연구에서는 185종류의 식물 플랑크톤을 동정하였으며, 이는 규조류 124종류, 쌍편모조류 56종류, 규질편모류 3종류 및 각 1종류씩의 갈색편모조류와 유글레나류 로 구성되어 있다. 식물 플랑크톤 군집을 분석한 결과 연구해역은 2개의 식생역 으로 구분됨을 알게 되었고, 해수의 물리적 특성에 의하여 이들 식생역의 범위가 크게 좌우됨이 밝혀졌다. 동남 연안역의 경우 식생은 매우 풍부하였으며 소형 규조류와 미세 편모류가 주종이었고 연구 해역의 북부 수역에서는 여러 종류의 규류조 및 쌍편모조류가 다량 출현하였다. 식물 플랑크톤 현존량을 해수의 물리적 특성, 식물 플랑크톤의 종조성과 비교하였다. 연구 해역의 북부 수역에서는 식물 플랑크톤의 현존량분포에 있어서 대마난류수와 북한한류 계수의 혼합이 특히 중요함을 알게 되었다.

• 대한수학교육학회지:학교수학
• /
• 제19권1호
• /
• pp.153-170
• /
• 2017

본 연구는 학생들의 추론 활동이 활발할 것으로 기대되는 개방형 문제와 학생들이 익숙해하는 선택형 문제에서 학생들이 문제를 해결하면서 보이는 추론의 유형과 추론 과정이 어떠한지 분석하였다. 그리고 개방형 문제 해결에서 추론을 증진시키는 교사의 역할에 대해 알아보았다. 선택형 문제에 비해 개방형 문제 해결에서 학생들은 더 다양한 추론 유형을 나타냈고, 추론이 연쇄적으로 진행되면서 확장되는 과정을 보여주었다. 개방형 문제에서는 학생들의 개연적 추론의 한 유형인 가추가 활발하였는데, 이에 따라 교사는 격려, 촉진, 안내의 역할을 하였다. 이에 교사는 수업과 평가에서 개방형 문제를 제시하고, 학생들이 추론에 어려움을 느낄 때 적절한 발문으로 학생들의 추론이 더욱 활발해지도록 돕는 역할을 해야 한다.

• 한국식품과학회지
• /
• 제28권3호
• /
• pp.566-572
• /
• 1996

본 연구에서는 숙성 중 야기되는 식육의 인화정도를 파악할 수 있는 척도로서 이용하기 위하여, 근원섬유 Z선의 구성단백질의 하나인 zeugmatin에 대한 항체를 조제, 간접연역형광법으로 zeugmatin의 숙성중 변화와 근원섬유의 소편화와의 관계를 알아 보았다. Zeugmatin은 변성하기 쉬운 단백질로서 재래식 방법으로는 정제가 블가능하므로 이 단백질을 함유하는 획분을 정제과정 중에 채취하여 전기영동으로 전개, 이에 해당하는 band를 분리하여 polyclonal항체를 용이하게 받을 수 있었으며, 이 조제된 항체는 zeugmatin과 특이적으로 반응하였다. 조제된 항체를 이용하여 간접면역형광법으로 식육의 숙성중에 zeugmatin의 변화와 근원섬유의 소편화로 나타나는 식육의 연화와의 상관관계를 알아 본 결과, 이 두가지 변화는 특이적으로 일치하였다 즉, 닭의 흉근을 $4^{\circ}C$에서 숙성하면서 측정한 근원섬유의 소편화도는 도살 후 6시간에서 24시간 사이에 급속히 증가하여 이 시간대에 식육이 급속히 부드러워짐을 나타내었고, zeugmatin에 대한 항체가 나타내는 형광광도도 도살 후 6시간에서 24시간 사이의 동일한 시간대에 급적히 약화되어 zeugmatin이 이 시간대에 급속히 인화하였음을 나타내었다. 이상의 결과로 근원섬유 Z선의 구성단백질 중 하나인 zeugmatin은 숙성에 따라 야기되는 식육의 연화정도, 즉 식육의 숙성도를 나타내는 척도로서 이용될수 있으며, 그 이용방법으로는 간접면역형광법이 가장 간편한 방법인 것으로 판단되었다.