• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1996년도 춘계학술발표회논문집(3)
• /
• pp.535-540
• /
• 1996

원자로에서 연소되고 나온 사용후핵연료는 영구 처분하기 이전에 대부분 수조(pool)속에 임시로 저장되어 관리되고 있다. 이와 같이 관리되고 있는 사용후핵연료속에 핵폭발 장치로 전용될수 있는 매우 민감한 핵물질인 플루토늄이 다량 포함되어 있기 때문에, 원자력의 평화적 이용·개발을 위한 핵활동의 투명성을 확보하기 위해서는 국가사찰 수행시 현장 적용 가능한 사용후핵연료 검증 기술과 장비를 확보하는 것이 필요하다. 이를 위해 사용후핵연료봉 및 사용후핵연료 집합체 검증을 휘한 고분해능 감마선 분광분석 시스템을 개발하여 현장 테스트를 수행한다. 이를 바탕으로 강화되는 핵비확산 체제와 통제관련 기술의 발전에 대비하고 우리 나라의 국가계량관리체제(SSAC) 확립에 필요한 자체적인 사찰 기술을 개발하여 국가사찰에 적용하는 것이 비파괴측정기술 개발 목적이다.

• 한국품질경영학회:학술대회논문집
• /
• 한국품질경영학회 2006년도 추계 학술대회
• /
• pp.13-16
• /
• 2006

웹 사이트 사용자는 다양한 백그라운드, 교육정도 및 이해 정도를 가지기에 동일한 웹사이트를 사용함에도 사용후 사용 성과차이가 일반적으로 발생하게 된다. 본 연구는 이러한 웹 사이트사용자가 사용성과 차이를 줄임으로써 웹사용자들의 전반적인 사용 성과 향상을 위해 웹사이트를 효과적으로 재설계할 수 있는 방안을 제시한다. 본 연구에서 제시한 방법은 SOM, C4.5와 같은 데이터 마이닝 분석도구를 사용하여 웹사용자간 성과 차이의 원인이 되는 웹 사이트 및 설게 요소를 규명하여 개선한다. 향후에 현장 데이터를 수집하여 본 연구에서 제안한 방법의 타당성을 검증하고자 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(A)
• /
• pp.110-112
• /
• 2012

정형기법은 소프트웨어 및 하드웨어 시스템의 요구사항을 모순, 모호함 없이 정확하게 명세하고 검증할 수 있는 방법으로, 안전성이 중요한 소프트웨어에 많이 적용되어 반드시 보장되어야 할 속성을 소프트웨어가 만족하는지 확인하는데 사용되고 있다. 본 논문은 정형기법 커뮤니티에서 선정한 여러 도전 과제 중 하나인 인공 심장 박동기(pacemaker)를 실시간 속성을 표현할 수 있는 정형기법 도구인 UPPAAL을 사용하여 모델링하고 주요 속성을 검증하였다. 이를 통해 실시간 속성으로 인해 명세 및 검증하기 힘든 소프트웨어에 정형기법을 적용하여 안전성을 확인할 수 있음을 보인다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 춘계학술발표논문집 (하)
• /
• pp.833-836
• /
• 2002

최근 전자상거래 보안을 위해 공인 인증서를 사용하는 공개키 기반구조(PKI) 환경이 널리 확대되고 있다. 이에 따라 인증서의 정당성을 확인하기 위한 공개키 인증서의 실시간 검증에 대한 연구가 활발히 진행되고 있지만 이러한 연구에서는 서비스를 제공하는 서버와 클라이언트 간의 메시지 형식만을 기술하고 실제적으로 서비스를 제공하기 위한 정보 획득에 관한 모델 제시가 나타나 있지 않으며, 현재성있는 인증서 상태를 제공하기 위한 방법이 제시되고 있지 않다. 본 논문에서는 공개키 기반구조에서 사용하고자 하는 인증서의 현재 상태 정보를 제공하며 인증서의 유효성을 실시간으로 제공할 수 있는 실시간 인증서 검증 시스템을 구축하는데 유용한 모델을 제시한다.

• 항공우주산업기술동향
• /
• 제6권2호
• /
• pp.40-50
• /
• 2008

대부분의 위성 프로그램 개발공정은 임무해석, 열, 구조, 전장박스 설계, 조립, 검증, 운용 등으로 나누어지며, 이는 각 서브시스템에 대한설계, 개발, 검증 등의 공정을 거쳐 이루어진다. 이 같은 공정을 수행하기 위하여 위성 개발자들은 막대한 비용, 개발기간을 소요하며 그리고 각 개발공정마다 위험을 수반하여 수행하고 있다. 이에 소요비용의 감소와 개발기간의 단축, 저 위험도의 위성 프로그램을 위하여, 위성 모사 환경시스템이 개발되어 사용되어 왔다. 초기의 위성 모사 환경시스템들은 각 서브시스템의 단편적인 검증만을 위하여 개발되어 그 유용성이 한정되어 사용되어 왔다. 하지만 현재의 위성수요자 들은 획기적인 저 비용, 개발기간단축, 저 위험도의 위성 프로그램을 점점 더 강하게 요구하고 있으며, 이에 발맞추어 위성 개발자들은 위성 전체 개발공정 개선 등의 각고의 노력을 통하여 일정부분 성과를 이룩하였다. 하지만 이는 수요자가 요구하는 만큼의 성과는 충족하지 못하였고, 이에 위성 개발자들은 위성 전체 개발 공정에 대한 근본적인 재고를 통하여 획기적으로 비용을 절감하고, 위험도를 낮추며, 개발기간을 단축할 수 있는 방법을 제시하였다. 이는 기존의 사용되어 온 단편적인 위성모사 환경시스템을 설계단계에서부터 개발, 검증 기간에 공통적으로 적용할 수 있는 모사 환경시스템을 개발하여 위성 프로그램에 적용하는 것으로, 본 논문에서는 근래에 각 위성제작사에서 개발하여 사용하고 있는 모사 환경시스템의 종류와 현재까지의 개발 상황을 알아보고 현재 우리가 나아갈 바를 제시하였다.

• 한국심리학회지 : 문화 및 사회문제
• /
• 제19권1호
• /
• pp.45-68
• /
• 2013

본 연구는 자기애와 성폭력의 관계에서 경로모형을 설정하고 검증하고자 하였다. 이를 위해 자기애가 특권 분노에 영향을 미치고 특권 분노가 성적 지배에 영향을 미쳐 성폭력으로 연결되는 경로와, 자기애가 허용적 성태도에 영향을 미치고 허용적 성태도가 성적 대상화에 영향을 미쳐 성폭력으로 연결되는 경로로 구성된 이중 경로모형을 설정하였다. 또한 각 경로의 2차 매개변인인 성적 지배와 성적 대상화가 성폭력에 영향을 미치는 경로에서 알콜사용과 강간통념수용의 조절효과를 검증하고자 하였다. 모형적합성과 조절효과 검증을 위해, 충청지역 4개 대학교에서 수집한 368명의 질문지 자료를 사용하여 구조방정식 모형분석을 하였다. 모형검증 결과, 다양한 대안모형과 적합도 비교에서 1, 2차 매개변인들이 완전 매개하는 연구모형이 가장 적합한 것으로 나타났다. 또한 연구모형의 성적 지배가 성폭력에 영향을 미치는 경로에서, 성적 지배동기가 높으면 알콜사용 수준이 높을 때 또는 강간통념수용 수준이 높을 때 성폭력이 대폭 증가하는 것으로 나타났다. 논의에서는 본 연구 결과의 시사점 및 제언이 기술되었다.

• 한국HCI학회:학술대회논문집
• /
• 한국HCI학회 2006년도 학술대회 2부
• /
• pp.140-146
• /
• 2006

한글은 자음과 모음이 한눈에 구분되는 세계 유일의 표음문자이다. 14 개의 자음과 10 개의 모음을 조합하여 글자를 만들어 내는 한글의 문자 구성원리의 우수성은 이미 세계가 인정하고 있으며, 영국 리스대학의 Geoffrey Sampson 음성언어학 교수는 물리적, 철학적 원리를 문자화한 한글을 새로운 차원의 Feature System 으로 분류하기도 하였다. 본 연구는 이러한 한글의 그 형상학적 생성원리를 바탕으로 이동통신 단말기의 문자입력 시스템의 사용성 증대를 위한 인터페이스 디자인에 그 목적이 있다. 이를 위하여 본 연구에서는 한글의 Feature System 을 응용한 이동통신 단말기의 새로운 문자입력 시스템의 인터페이스를 개발하고, 이를 기존의 이동통신 단말기를 위한 문자입력 방식과 비교 검증하여 그 사용성을 검증하고자 한다.

• 정보처리학회논문지D
• /
• 제18D권6호
• /
• pp.443-450
• /
• 2011

모델 중심 컴포넌트 기반 개발 방법은 개발 대상 시스템을 하나의 추상컴포넌트로 보고, 재귀적인 컴포넌트의 분화(decomposition)와 정제(refinement) 과정을 통하여 물리적인 컴포넌트를 도출해내는 하향식 개발방식이다. 본 연구에서는 모델 기반 컴포넌트 개발기법을 근간으로 한 컴포넌트 정제 과정에서 정제 전 후의 추상컴포넌트들 간의 행위 일관성을 정형분석하기 위한 모델 변환기를 개발하였다. 이 모델변환기는 컴포넌트의 분화와 정제 전 과정에 걸쳐 사용되어 정제 전 후 컴포넌트 간의 상호작용 오류로 인한 잠재적인 결함을 조기에 발견하고 해결하는데 기여할 수 있다. 본 논문은 추상컴포넌트의 각 구성요소들을 정형검증기 SPIN의 구성요소로 변환하기 위해 사용된 변환방법들과 변환기의 구성요소들을 소개한다. 개발된 변환기는 자동차 거울조종시스템, 무선센서네트워크를 위한 운영체제 등의 사례연구에 적용되어 그 효용성을 입증하였다.

• 한국의상디자인학회지
• /
• 제11권1호
• /
• pp.181-192
• /
• 2009

본 연구는 소비자가 다른 사람과 차별되며 특별하게 지각되고자 하는 성향을 나타내는 소비자의독특성 욕구와 의복에 대한 관심이 브랜드 인식, 브랜드 충성, 및 구매의도와의 어떠한 관계를 지니고 있는지를 밝히고자 하였다. 특히 이러한 관계에 있어 문화간의 차이가 있는지를 알아보기 위하여 한국과 미국 소비자를 대상으로, 소비자특성이 구매의사결정에 미치는 과정의 모형을 검증한 후, 두 모형을 비교 분석하였다. 자료는 설문지를 사용하여 한국과 미국대학생을 중심으로 수집되었으며, 응답이 부정확하거나 불성실한 설문지를 제외하고, 총 485부-한국 271부와 미국 214부-만이 최종 자료 분석에 사용되었다 본 연구에서 사용한 통계분석방법으로 신뢰도 검증을 위하여 SPSS 11.0을 이용하여 신뢰도 계수를 구하였으며, Prelis 2와 Lisrel 8.53으로 확인적 요인분석 및 모형검증을 실시하였다. 한국과 미국소비자의 선택친 모형을 비교한 결과, 전반적인 모형의 구조에도 차이를 보였을 뿐 아니라 각 변수간의 영향력에도 차이가 있음을 나타냈다. 소비자의 독특성 욕구의 하위차원인 '독창적 선택'과 '브랜드 충성도'의 관계는 두 그룹간의 반대의 성향을 보였으며, '비대증적 선택'과 '브랜드 인식'도 또한 한국 소비자는 정의 관계를 보인 반면, 미국소비자는 부의 관계를 나타냈다. 이와 더불어 유사성을 회피하려는 한국소비자들은 브랜드에 충성하는 경향이 있는 반면, 미국소비자들은 브랜드 인식도가 높은 것으로 나타나 두 문화간의 차이가 있음을 뒷받침하였다. '브랜드 충성도'는 두 집단 모두 '구매의도'에 상대적으로 높은 영향을 미치는 것으로 나타났다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1996년도 춘계학술발표회논문집(3)
• /
• pp.447-452
• /
• 1996

본 연구에서는 7개의 PWR 사용후핵연료집합체를 운반할 수 있는 KSC-7 수송용기의 건식수송조건에 대한 열적 건전성을 평가하였다. 수송용기 축소모델을 제작하여 열시험을 수행하였고 또한, 시험조건과 동일한 조건으로 열전달해석을 수행하여 두가지 결과를 비교 분석함으로써 시험 및 해석결과에 대한 신뢰성을 검증하였다. 신뢰성이 검증된 해석방법을 이용하여 수송용기 본체 및 핵연료집합체에 대한 열전달해석을 수행함으로써 방사선차폐체 및 핵연료봉에 대한 열적 건전성을 입증하였다. 또한, 수송용기의 온도상승에 따른 구조적 건전성을 평가하기 위한 열응력해석을 수행하였다.