• 한국ITS학회 논문지
• /
• 제18권2호
• /
• pp.129-143
• /
• 2019

자율주행자동차의 안전에 대한 중요성이 강조되면서 안전성 및 신뢰성 향상을 위한 개발 검증 지침인 ISO-26262의 적용과 자율주행자동차의 안전성 검증에 대한 중요성이 높아지고 있다. 특히 미국자동차공학회 기준 Level 3 이상의 자율주행자동차는 운전자 대신 주변 환경을 감지하고 판단한다. 따라서 자율주행 기능에 이상이 생기거나 오작동 발생 시 안전에 심각한 영향을 미칠 수 있으므로 자율주행자동차는 고장 및 오작동에 대비하여 안전개념을 적용하고 이를 검증해야 한다. 본 연구에서는 ISO-26262 Part3 프로세스와 시스템 이론적 프로세스 분석 방법론인 STPA를 활용하여 자율주행자동차의 안전성 평가 및 검증을 위한 오류 주입 시나리오를 연구하고 시뮬레이션 기반의 오류 주입 테스트를 통해 안전개념 설계를 위한 안전조치 시간을 연구하였다.

• 대한토목학회논문집
• /
• 제41권2호
• /
• pp.123-131
• /
• 2021

완충재는 고준위 방사성 폐기물을 처분하기 위한 공학적 방벽 시스템에서 중요한 구성요소 중 하나이며 사용 후 핵연료가 담긴 처분용기와 암반사이에 채워지는 물질이기 때문에 지하수 유입으로부터 처분용기를 보호하고, 방사성 핵종 유출을 저지하는 중요한 역할을 수행한다. 따라서 공학적 방벽 시스템의 처분용기로부터 발생하는 고온의 열량은 완충재를 통하여 전파되기에 완충재의 열전도도는 처분시스템의 안전성 평가에 매우 중요하다. 본 연구에서는 국내에서 생산되는 압축 벤토나이트 완충재의 열전도도 예측을 위한 경험적 회귀 모델의 정합성을 검증하고 정확도를 높이기 위해 예측모델의 구축에 기계학습법을 적용해 보았다. 벤토나이트의 건조밀도, 함수비 및 온도 값을 바탕으로 열전도도를 예측하고자 하였으며, 이때 다항 회귀, 결정 트리, 서포트 벡터 머신, 앙상블, 가우시안 프로세스 회귀, 인공신경망, 심층 신뢰 신경망, 유전 프로그래밍과 같은 기계학습 기법을 적용하였다. 기계학습 기법을 이용하여 예측한 결과, 부스팅 기반의 앙상블 기법, 유전 프로그래밍, 3차 함수 기반의 SVM, 가우시안 프로세스 회귀의 기계학습기법을 활용한 모델이 선형 회귀 분석 기법에 비해 좋은 성능을 보였으며, 특히 앙상블의 부스팅 기법과 가우시안 프로세스 회귀 기법을 사용한 모델들이 가장 좋은 성능을 보였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권10호
• /
• pp.800-815
• /
• 2009

최근 웹 서비스 기반 서비스 지향 구조는 네트워크 상에 분산된 다양한 애플리케이션을 효과적으로 통합하기 위한 방법으로 널리 활용되고 있다. 서비스 지향 구조에서 BPEL은 비즈니스 프로세스 모델 언어로, 다양한 서비스들을 통합하는 방법을 제시하고 있다. 현재 이러한 BPEL을 이용한 서비스 통합 및 조합에 관해 많은 연구가 진행되고 있으며 서비스들 간의 호환성을 검증하려는 노력, 비즈니스 프로세스의 식별과 추적에 관한 몇몇 연구가 진행되었다. 그러나 다양한 서비스의 조합으로 인해 발생하는 문제를 해결하려는 연구는 부족하다. 특히 조합된 서비스가 얼마나 신뢰할 수 있는지, 예외 상황에 대해 얼마나 강건하게 대처할 수 있는지 평가하고자 하는 노력은 거의 이루어지지 않았다. 이에 본 논문에서는 BPEL을 이용한 서비스 조합에 있어서 조합된 서비스의 강건성을 테스트하기 위한 방법과 이 방법을 지원하기 위한 테스트 프레임워크를 제시한다. 본 논문의 방법은 BPEL 프로세스와 참여하는 다양한 서비스를 분석하고, 분석된 정보를 바탕으로 실제 서비스들에서 발생 가능한 다양한 예외 상황을 발생시키는 가상의 환경을 구축하여 강건성 테스트를 수행한다. 이는 BPEL 프로세스로 표현된 서비스 조합이 얼마나 예외 상황에 강건하게 대처하는지 검증하는 방법이다.

• 한국정보과학회논문지:시스템및이론
• /
• 제29권6호
• /
• pp.331-339
• /
• 2002

이 논문은 동기적 검사점 기법에서 결한 포용을 목적으로 불안전 저장 장치(volatile storage)에 저장되는 메시지 로그와 안전 저장 장치에 저장되는 검사점의 쓰레기 처리 기법을 제안한다. 기존의 동기적 검사점 기법을 기반으로 한 결함 포용 정보 쓰레기 처리 기법은 가장 최근의 검사점을 제외한 모든 결함 정보를 쓰레기 처리하였다. 하지만 TCP/IP와 같은 신뢰적 통신 기법을 기반으로 한 동기적 검사점 기법이 가장 최근의 검사점만을 복귀 회복 기법에서 사용한다면, 손실 메시지(lost message)로 인한 불필요한 복귀(sympathetic rollback)가 발생된다. 이 논문은 동기적 검사점 기법에서 손실 메시지로 인한 불필요한 복귀 문제를 해결하기 위해 각 프로세스가 동기화된 가장 최근의 검사정의에 검사점이나 메시지 로그를 유지해야 한다는 것을 보였다. 또한 손실 메시지로 인한 불필요한 복귀 문제의 해결을 위해 관리되어야 하는 검사점이나 메시지 로그가 쓰레기 처리되어지기 위해 필요한 조건을 새롭게 정의하며, 이 정의를 기반으로 한 검사정과 메시지 로그의 쓰레기 처리 알고리즘을 제안한다. 제시된 조건을 기반으로 한 검사점과 메시지 로그의 쓰레기 처리는 송수신 메시지에 부가된 손실 메시지 관련 프로세스 정보를 이용하므로 쓰레기 처리를 위한 부가적인 메시지를 발생시키지 않는다. 제안된 기법은 손실 메시지 관련 정보가 부가된 메시지가 송수신되기 전까지 쓰레기 처리가 지연되는 '지연 쓰레기 처리 현상(lazy garbage collection)'을 발생시킨다. 하지만 '지연 쓰레기 처리 현상'은 분산 시스템의 일관성을 위배하지 않는다.

• 한국건설관리학회논문집
• /
• 제14권1호
• /
• pp.133-143
• /
• 2013

BIM과 건설사업관리(Construction Management; 이하 CM)는 건설정보를 통합 관리하고 신뢰성 있는 의사결정을 지원하는 수단이라는 점에서 그 성격이 유사하기 때문에 BIM은 CM에 효율적으로 활용할 수 있으나, CM 분야에서 BIM 도입은 미흡한 실정이다. 이 연구의 목적은 시공단계의 CM 업무에 BIM을 효과적으로 활용할 수 있도록 업무절차 모델 및 가이드를 제시하는 것이다. 문헌조사를 통해 BIM 기능을 BIM 전환설계, 모델 검토, 데이터 추출, 자동 견적, 4D 시뮬레이션, 도면 생성, 엔지니어링 분야 연계분석 등으로 정의하고, CM 업무와 프로세스를 분석하여 BIM의 적용이 가능한 CM 업무를 도출하였다. BIM 기능과 CM 업무 간 연관성 분석을 통해 기존의 업무절차를 BIM 기능과 연계하여 재구성하고, 사업 참여자별 역할을 재정립하여 BIM기반 CM 업무절차 모델을 개발하였다. 개발된 모델의 효용성을 향상시키고자 면담조사와 사례조사를 통해 사업 참여자들의 BIM 업무를 기술한 가이드를 작성하였다. 또한 BIM기반 CM 업무절차 모델의 활용성을 검증하기 위한 선행연구의 BIM 프로세스와 비교 분석하고 전문가를 대상으로 설문조사를 수행하였다. 이 연구는 CM 분야에서 BIM의 활용성을 높이는데 기여할 수 있다. 향후에는 사례적용을 통해 실무적 관점에서 모델을 평가할 필요가 있으며, BIM 도입으로 인한 CM 업무의 확대를 고려하여 지속적으로 BIM기반 CM 업무절차 모델을 업데이트할 필요가 있다.

• 한국전산구조공학회논문집
• /
• 제29권5호
• /
• pp.447-454
• /
• 2016

최근에 각광받고 있는 3D BIM기반 철근 물량 산출 현황을 살펴보면 상용 BIM 도구들이 철근 모델링 기능을 제공하지만 그 기능을 이용해서 철근을 모델링하려고 하면 방대한 양의 모델링 시간이 소요가 되어 현재 실용적으로 사용할 수 있는 BIM 소프트웨어는 없다. 본 연구에서는 BIM 기반 설계 현업에서 실용적인 철근 물량 산출 프로세스를 정리 및 제시하고, 초기설계단계의 단면 정보가 없는 상태에서 기존의 2D방식에 비하여 보다 정확하게 기동, 보, 슬래브, 벽체의 철근 단면 정보를 자동으로 배근해주는 프로그램인 Rebar Automatic Arrangement Program(이하 RAAP)을 개발하였다. 본 연구 결과는 건설프로젝트의 초기 설계단계에서 설계 진행상 구조 부재 단면 설계가 완료되지 않은 상태의 골조 물량 산출 시 적은 노력으로 기존의 2D기반 방식보다 신뢰성을 향상시킨 물량을 산출할 수 있는 기술로 발전시키는데 의미가 있으며, 합리적인 초기 설계단계의 물량 산출 프로그램을 구축할 수 있는 기초 연구로서 활용될 수 있을 것으로 기대된다.

• 전자공학회논문지
• /
• 제51권8호
• /
• pp.172-177
• /
• 2014

두 가지 $N_2$ 프로세스(성장 중 반응성 질소 그리고 질소 플라즈마 경화)에 의해 특별히 개선된 AsGeTeS 위에 만들어진 문턱 스위칭 소자를 제시하고자 한다. 적층과 열적 안정적인 소자 구조가 가능한 두 스텝 프로세스에서의 질소의 사용은 나노급 배열 회로의 응용에서의 스위치와 메모리 소자의 집적을 가능하게 한다. 이것의 좋은 문턱 스위칭 특성에도 불구하고 AsTeGeSi 기반의 스위치는 높은 온도에서의 신뢰성 있는 저항 메모리 적용에 중요한 요소를 가진다. 이것은 보통 Te의 농도 변화에 기인한다. 그러나 chalconitride 스위치(AsTeGeSiN)은 $30{\times}30(nm^2)$ 셀에서 $1.1{\times}10^7A/cm^2$가 넘는 높은 전류 농도를 갖는 높은 온도 안정성을 보여준다. 스위치의 반복 능력은 $10^8$번을 넘어선다. 더하여 AsTeGeSiN 선택 소자를 가진 TaOx 저항성 메모리를 사용한 1 스위치-1저항으로 구성된 메모리 셀을 시연하였다.

• 한국산학기술학회논문지
• /
• 제14권11호
• /
• pp.5993-5999
• /
• 2013

본 논문은 공공기관별로 발주 계약되는 모든 설계 감리 건설사업관리의 건설기술용역을 건설분야 및 사업단계로 구분하여 관리할 수 있도록 정보관리항목을 마련하고 사용주체별 업무 프로세스 개선방안을 제시하였다. 또한, 개선된 프로세스를 기반으로 용역책임자와 공공기관 담당자간에 용역실적정보를 등록 검토 승인할 수 있도록 건설기술용역 실적관리시스템을 개발하였다. 그 결과, 건설기술 용역업체의 기술인력 보유상황 및 기술인력 업무중첩도와 회사실적 등이 투명하게 관리되며, 용역업체에 대한 객관적이고 신뢰성있는 용역실적정보를 제공함으로서 향후 적정 용역업자 선정시 참고자료로 활용이 가능하며, 사업수행능력평가서 제출시 실적자료를 제출할 필요없이 온라인으로 확인이 가능하다.

• 정보와 통신
• /
• 제31권12호
• /
• pp.17-24
• /
• 2014

빅데이터, IoT, 클라우드 인프라 등 기술의 발달에 따라 일상생활 중에서도 개인과 환경의 변화에 대해 실시간 데이터 수집이 용이하게 되었다. 이를 활용하여 개인의 다양한 특성과 상황을 인지하고 다면적으로 의미를 분석할 수 있는 개인의 라이프스타일(lifestyle, 생활습관) 분석 기술이 중요하게 부각되고 있다. 이 라이프스타일 데이터는 개인의 질병이나 사회 심리적 문제의 원인 분석과 미래 트렌드의 변화예측을 할 수 있는 중요한 근거로 활용된다. 최근 이를 위한 연구로서 활동량, 스트레스, 위치, 수면 등의 라이프스타일 패턴을 추출하여 체계적인 프로세스로 삶의 질을 향상시키는 웰니스 (Wellness) 예측케어 서비스 연구와 서비스들이 활발히 진행되고 있다. 하지만 이러한 서비스를 제공하기에 앞서 개인의 복잡한 라이프스타일 패턴의 추출이 단편적으로만 이뤄지고 있어서, 패턴들 사이의 복잡한 관계를 분석하거나 연계 서비스로의 확장 및 라이프스타일 패턴의 재사용적인 측면에서의 문제가 어려운 이슈가 되고 있다. 이 때문에 웰니스 서비스의 신뢰도가 낮아 사용자가 단순히 재미로 느끼는 수준이거나 일회성에 그치는 모바일 어플리케이션 서비스를 제공받는 경우가 다반사이다. 본 논문에서는 IoT환경에서 다양한 스마트 디바이스에 의해 수집되는 라이프로그로 부터 라이프스타일 패턴 추출 및 모델링, 라이프스타일 패턴 분석으로부터 개인의 행동 추론 및 예측, 원인파악과 관련 지표를 정량적으로 설계하는 분석 엔진 개발 방안, 서비스 디자인을 통하여 실효적인 생활개선의 변화를 유도하는 기술, 개인의 심리적 특성까지 고려한 신뢰성 높은 케어 서비스 제공까지의 전반적인 웰니스 예측케어 서비스시스템 프로세스 및 플랫폼 설계 방안을 제시한다.

• 에너지공학
• /
• 제23권2호
• /
• pp.183-190
• /
• 2014

국내 가동중원전은 2012년 이후 일반규격품 품질검증 이행 체계 구축을 위해 정책 수립 및 기술 개발, 일반규격품 품질검증 전문기관 양성, 국내 원전 공급사들의 일반규격품 품질검증프로그램 보유 추진 및 원자력 산업계의 전문인력 양성 등을 적극 추진 중에 있다. 아울러 미국 전력연구소(EPRI)의 관련 기술기준을 기반으로 일반규격품 품질검증프로그램 도입 초기에 개발된 안전성(Q) 등급 품목 품질검증 프로세스를 개선하였고, 국내 원전 고유의 원자력 품질등급 체계인 안전성영향(A) 등급 품목을 위해 안전성등급 품목과 차별화시킨 별도의 검증 프로세스를 개발하였다. 결과적으로, 위와 같은 노력을 통해 국내 가동중원전의 일반규격품 품질검증 이행 체계가 구축될 경우, 원전에서 사용하는 기자재의 신뢰성 및 안전성이 향상될 것으로 기대된다.