• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 추계학술발표논문집 (상)
• /
• pp.575-578
• /
• 2000

소프트웨어 개발 초기 단계에서의 부정확에 기인한 에러들을 줄이기 위한 노력이나 기술이 절실하다. [1][2] 정형 명세 기법은 명세 단계에서 기인하는 에러들을 줄이기 위해 Z 나 VDM 과 같은 정형 표기법(formal notation)에 의해 쓰여지며, 정형성(formality)과 추상화(abstraction)의 제공 등 두 가지 사항에 대한 요구사항을 충족시켜 준다. [3][4] 그러나, Z 표기법의 병행성 표현 능력의 부족으로 병행성을 요구하는 시스템의 명세에서 사용할 수 없거나, Process Algebra의 CSP (Communicating Sequence Processes)등과 같은 다른 정형 언어와 함께 명세해야 하는 단점이 있다. 본 논문은 이를 보완하기 위해 범용 목적의 명세 언어인 기존의 Z 를 확장하여 병행성을 명세 가능하도록 하고자 한다. 이를 위해서 병행 프로세스(concurrent process) 개념을 도입하며, 이를 나타내는 표기를 정의하고 사용한다. 또한, 병행성의 제어를 위해서 프로시듀어 기술부(procedure description)의 도입 및 관련 스키마(schema)들을 정의한다. 아울러, 확장된 Z 로 작성된 명세서를 목적 언어로 자동 변환(translate)하기 위한 변환기(translator)를 Lex 와 Yacc을 이용하여 구현하고, 변환된 목적 언어 파일을 실행하여 확장된 Z 가 모호성을 포함하지 않는지 시뮬레이션을 통해 검증한다.

• 응용통계연구
• /
• 제23권3호
• /
• pp.533-543
• /
• 2010

직접면접으로 민감한 질문을 할때 발생하는 무응답이나 거짓응답의 문제를 개선하고자 Warner (1965)가 최초로 제안한 확률화응답모형에 관한 연구는 이후 많은 연구자들에 의해 개선, 발전되어 오고 있다. 본 연구에서 표본은 층화임의복원추출법에 의해 추출되었으며, 표본배분은 최적배분법에 의해 배분되었다. 한편, Kim과 Elam (2005)의 2단계 층화확률화응답모형을 확장한 3단계 층화확률화응답모형을 사용하였다. Kim과 Elam (2005)의 2단계 층화확률화응답모형과 상대효율을 비교한 결과 본 논문에서 제시한 3단계 층화확률화모형의 효율성이 상대적으로 높다는 결과가 도출되었다. 그러나 2단계확률화응답모형을 3단계로 확장함으로써 상대적으로 효율성은 증대되지만 반대로 조사과정의 어려움이 예상된다.

• Communications for Statistical Applications and Methods
• /
• 제18권4호
• /
• pp.423-431
• /
• 2011

본 논문에서는 사회적으로나 개인적으로 매우 민감한 조사에서 조사하고자 하는 모집단이 여러개의 층으로 구성되어 있는 경우에, 김종호등 (1992)이 제안한 2단계 무관질문모형에서 사용한 단순임의 추출법 대신에 층화추출법을 적용하여 각 층의 모비율에 대한 추정뿐만아니라 모집단 전체 모비율에 대한 추정을 할 수 있는 층화 2단계 무관질문모형을 제안하였다. 그리고 층화 2단계 무관질문모형을 층화 3단계 무관질문 모형으로 확장하였다. 또한, 제안한 2단계와 3단계 층화 무관질문모형들에 있어서 각 층의 표본배분에 대하여 비례배분과 최적 배분 문제를 고려하여 다루었다. 마지막으로 층화 2단계 무관질문모형과 층화 3단계 무관질문모형과의 상대효율을 비교하였으며, 그 결과 층화 3단계 무관질문모형이 층화 2단계 무관질문모형보다 효율성면에 있어서 더 우수함을 알 수 있었다.

• 대한화학회지
• /
• 제64권5호
• /
• pp.304-317
• /
• 2020

이 연구는 중소도시에 소재한 고등학교 1학년 학생 4명을 대상으로 반응적 교수법의 효과를 알아보았다. 이를 위하여 반응적 교수법의 3단계를 세분화하여 6단계로 구성하였다. 1단계는 학생들의 거시적 생각 드러내기, 2단계는 학생들의 초기 미시적 생각 이끌어내기, 3단계는 입자에 대한생각을 학문과 연결하기, 4단계는 교사가 개입하여 입자에 대한 학습자의 생각을 명료히 하기, 5단계는 학생 생각 심화하기, 6단계는 학생 생각 확장하기였다. 4단계까지의 과정을 통해 질량의 원인은 원자이며, 부피의 원인은 분자라는 학생들의 생각이 명료하게 드러났다. 5단계에서 학생들은 양성자와 중성자가 존재하는 공간을 매우 작으므로 분자 자체의 부피는 무시한다는 개념에 도달하였다. 그리고 생각을 확장하는 6단계에서 입자의 부피를 무시한 질점의 개념으로 분자 운동을 설명하였다. 이를 통해 학생들은 아보가드로의 법칙에서 요구되는 입자의 질량보존과 부피변화의 관계에 대한 관점을 획득하고, 어떤 시스템은 직접 관찰하기에 너무 작거나, 너무 크거나, 너무 빠르거나, 너무 느려서 간접적으로만 연구될 수 있음을 인식하였다.

• 대한토목학회논문집
• /
• 제32권1A호
• /
• pp.11-18
• /
• 2012

이 논문에서는 유리-에폭시 섬유 보강 복합재료판에 $K_I$ 과 $K_{II}$ 에 의한 혼합모우드 상태의 균열된 알루미늄판의 응력확대계수의 수치해석 산정을 다루고 있다. 응력확대계수 산정을 위한 가상균열닫힘법과 2단계 확장법이 고려된다. 에너지 방출률과 응력확대계수의 항으로 표현되는 파괴역학 매개변수 계산을 위하여, p-수렴 부분 층별모델이 채택된다. 고려되는 p-수렴 방식은 저매개변수 요소의 개념에 기초한다. 1개 층에 대해 가정된 변위장, 변위-변형률 관계, 그리고 3차원 구성방정식은 2차원과 1차원 고차 형상함수의 조합으로 정의된다. 고려되는 요소는 변위장의 보간과 수치적분을 수행하기 위해 로바토 형상함수와 가우스-로바토 적분법이 사용된다. 언급된 모델과 기법들을 사용하여, 경사각도의 변화에 따른 적층판 형상의 효과와 접착제의 강도가 팻치보강 시스템에 미치는 영향이 조사된다. 중립축 변화에 따른 팻치보강 적층판의 면외 휨 효과도 분석된다. 고려되는 모델의 정확성과 단순성 등에 관해서 응력확대계수, 응력분포, 자유도 수, 에너지 방출률 등의 항목을 가지고서 평가된다.

• 한국정보과학회논문지:정보통신
• /
• 제31권3호
• /
• pp.335-346
• /
• 2004

본 논문에서는 편향 자기 경로 제어 방법을 사용하는 새로운 고성능 고장 감내 스위칭 망을 제시하고, 이 스위칭 망의 고장 진단 방법을 제안한다. 우리는 기본 스위치인 벤얀 망의 각 스위칭 단계들이 하나의 순환 군의 나열로 구성되어 있다는 사실과 자기 경로제어 관점에서 인접한 스위칭 단계들 간에 준동형(Homomorphism)이 존재하기 때문에, 모든 각 단계의 순환 군이 이 다음 단계의 부분군이고, 이들 단계들로 구성된 펙터 군이 존재한다는 성질과 사용하여, 결함이 생긴 링크들을 우회하는 대체 경로들로 추가한 링크들을 포함하는 모든 링크들을 사용하는 확장 벤얀 망인 다단 스위칭 망을 제시한다. 그리고 이 망의 성능을 시뮬레이션을 통해서 분석하여, 성능의 우수함을 보인다. 또한 이들 다중 경로를 제공하는 스위칭 망을 사용하는데 필수적인 결함 진단법을 제시한다.

• 대한화학회지
• /
• 제63권2호
• /
• pp.123-133
• /
• 2019

이 연구에서는 H대학교 화학교육과 예비교사들을 대상으로 반응적 교수법의 효과를 알아보고자 하였다. 이를 위하여 토론을 학습자 생각의 본질 존중하기, 학습자 생각에서 학문적 연결 관계 인식하기, 학습자 생각의 본질 확장하기의 3단계로 구성하였다. 학습자 생각의 본질 존중하기 단계에서는 예비교사 20명을 대상으로 실시한 설문지를 분석하여 증발과 끓음에 관련된 예비교사들의 생각의 본질을 파악하였다. 이 중에서 5명의 예비교사를 선발하여 자신의 생각과 학문적 연결 관계를 인식하도록 하였다. 이러한 단계를 통해 예비교사들은 증발과 끓음에 대한 자신들의 생각의 본질을 파악하였으며, 이러한 생각의 본질을 학문적으로 연결하여 사고의 프레임을 수정하거나 확장하는 과정을 경험하였다. 또한 예비교사 스스로 자신의 개념이 역동적인 변화하는 과정을 직접 체험함으로써 반응적 교수법의 효과를 인식하였다.

• 한국멀티미디어학회논문지
• /
• 제14권11호
• /
• pp.1383-1391
• /
• 2011

향상된 기능을 가진 최신 의료장비들의 등장으로 하드웨어 성능에 부합하는 효과적인 영상처리 및 분석의 중요성이 부각되고 있으며, 2차원 의료 영상처리 및 3차원 영상 재구성에 관한 많은 연구들이 진행되고 있다. 본 논문은 흉부 CT 영상을 사용하여 신체 장기를 단계별로 분할 하였으며, 분할된 결과 영상을 3차원으로 재구성 하였다. 다양한 영상분할 방법중 영역 확장법 및 효과적인 분할을 위해 선명화와 감마 조절등과 같은 영상 향상 기법을 적용하였으며, 기관지를 포함한 폐, 기관지, 폐 등의 순서로 영상을 분할하였다. 분할된 신체 장기 영상을 VTK를 사용하여 3차원 영상으로 재구성 하였으며, 병변 진단을 위한 2차원 및 3차원 의료 영상 처리와 분석에 활용될 것으로 판단된다.

• Journal of Advanced Marine Engineering and Technology
• /
• 제34권2호
• /
• pp.275-281
• /
• 2010

선박용 엔진 또는 플랜트 시스템에 사용되는 대형 소음기의 개발단계에서 비용절감 및 개발기간의 단축을 위하여 축소모형으로 대체 실험이 가능하도록 기하상사법을 제안하고자 한다. 대형 소음기를 구성하고 있는 공명형과 단순 확장관형 소음기의 원형과 축소 모형에 대한 이론식으로부터 기하상사 변수를 규명하였다. 그리고 음향해석을 통하여 조합형과 배플형의 축소 모형에 기하상사법을 적용하여 원형모형의 성능을 예측하고, 이를 원형모형의 실제 성능과 비교하는 방법으로 기하상사 변수를 검증하였다.

• Journal of the Korean Data and Information Science Society
• /
• 제21권2호
• /
• pp.271-277
• /
• 2010

확률화응답기법은 조사과정에서 응답자의 신분보호를 위하여 확률장치가 도입되는 간접질문방식이기 때문에 직접질문에 비하여 정보의 손실이 있게 된다. 그래서 확률장치에 기인한 이러한 손실을 줄여서 추정의 효율을 높이고 얻어진 정보를 좀 더 효율적으로 이용할 수 있는 새로운 기법의 개발에 관한 연구가 지속되어 온 바, 2단계 확률화응답기법은 이에 대한 일환으로 고려할 수 있는 방법이다. 한편 Chang 등 (2004) 또한 개선된 강요형기법을 제안하고 Warner (1965)에 비하여 효율적인 조건을 찾았다. 이에 본 연구에서는 Chang 등 (2004)의 기법을 2단계로 확장한 모형을 제안하고, Chang 등 (2004) 및 Mangat와 Singh (1990) 등의 2단계기법에 비하여 효율적인 조건을 찾아보았다.