• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2019년도 전력전자학술대회
• /
• pp.121-123
• /
• 2019

본 논문에서는 실시간 시뮬레이터를 이용하여 DC 전력시스템의 모델링하고, Power Hardware-in-the-Loop (PHIL) 모의 테스트를 통해 DC 마이크로그리드에 적용 가능한 컨버터의 전력제어 알고리즘의 실효성을 검증하고자 한다. PHIL 모의시험 테스트 기법을 이용해 DC 마이크로그리드의 자율운전을 모사할 수 있는 Test-Bed를 제안하고자 한다. 이를 통해 부하 변화에 따른 운전 모드, 사고 상황 대처 알고리즘 등 DC 마이크로그리드에 연계된 전력변환장치의 전력제어 방법 및 실효성을 검증을 하고자 한다. 모의시험과 3 kW급 컨버터 시작품을 이용하여 제안하는 DC 마이크로그리드의 시험환경을 검증하고 전력제어 알고리즘의 신뢰성 및 안정성을 검증한다.

• 한국벤처창업학회:학술대회논문집
• /
• 한국벤처창업학회 2019년도 춘계학술대회
• /
• pp.149-152
• /
• 2019

청년 실업률이 9%대를 넘나들고 있는 상황에서 정부는 일자리 창출을 위한 다양한 정책을 내놓고 있으며, 그 핵심에는 '벤처창업 활성화정책'이 있다. 이를 뒷받침 하듯이 각 대학에서는 창업론,벤처창업론 등 창업관련한 기초과목을 개설하고 있으며, 특히 창업지원단을 중심으로 학생들의 창업아이디어를 독려하기 위해 아이디어톤, 해커톤, 경진대회 등 다양한 창업교육프로그램을 운영하고 있다. 그러나 각 대학마다 이렇게 다양한 창업교육프로그램을 운영하고 있음에도 불구하고 이에 대한 효과성 검증에 대한 연구는 미비한 수준에 머무르고 있다. 본 연구는 이러한 연구 공백을 채우고자 해커톤 창업교육이 창업의지에 미치는 영향요인을 검증해 보는데 있다. 각기 다른 분야의 팀원들이 팀을 이루어 문제점을 발견하고 이를 창의적인 방법으로 해결해 나가는 창업교육방식인 '해커톤 창업교육'이 기업가 정신, 창의성, 창업준비에 영향을 미쳐 궁극적으로 창업의지를 높인다는 가설을 설정하고 이를 검증해보고자 한다.

• 한국콘텐츠학회논문지
• /
• 제22권9호
• /
• pp.298-307
• /
• 2022

본 연구는 스마트폰 쇼핑 활용도를 구성하고 있는 잠재 연구 변인들을 통해 고객으로 하여금 자신들이 인지하고 있는 인지적 나이 수준에 따라 사회적 관련성과 기술 신속 적응성에 어느 정도의 영향을 미치고 있는가에 대한 인과관계를 검증하고, 이를 통해 궁극적으로 고객 자신들이 속해있는 세분시장 내에서 브랜드 충성도에 어떠한 영향을 미치는가에 대한 연구가설과 연구모형을 설정하고 검증하였다. 본 연구의 목적은 다음과 같다. 첫째, 스마트폰 쇼핑활용도와 이를 구성하고 있는 혁신성, 편의성, 유용성 그리고 쾌락성의 잠재 연구 변인들이 인지적 나이 수준에 어느 정도의 인과관계를 통하여 영향을 주고 있는가를 검증하였다. 둘째, 고객 자신들이 인지하고 있는 인지적 나이 수준에 따라 사회적 관련성과 기술 신속 적응성의 매개변인 간 어느 정도의 영향을 주고 있는지 인과관계를 검증하였으며, 셋째, 인지적 나이 수준에 따른 사회적 관련성 그리고 기술 신속 적응성을 통해서 고객들의 세분시장 내에서 브랜드 충성도에 영향을 미치는가에 대하여 인과관계를 검증하였다. 본 연구를 위해 수도권(서울 및 경기)을 중심으로 거주하고 있는 표본집단 350명을 대상으로 설문조사를 실시하였고, SPSS 23과 AMOS 23을 활용하여 표본의 인구통계학적 특성과 연구 변인들의 타당성 및 신뢰성 검증을 위하여 요인분석과 신뢰성 그리고 연구모형 검증을 하였다. 연구 결과 연구 변인들의 타당성 및 신뢰성과 가설 및 모형이 모두 적합한 것으로 나왔고 이에 대한 학문적 실무적 시사점을 제시하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2016년도 추계학술발표대회
• /
• pp.433-435
• /
• 2016

기술의 발전에 따라 첨단무기체계인 군용항공기는 전투임무 수행시 내장형소프트웨어(Embedded Software)를 통해 기체내의 항공전자 장치, 항법장치, 조종장치 등의 물리적 기계적 움직임을 제어하고 있으며, 내장형 소프트웨어의 비율은 점점 증가하고 있다. 기체의 물리적 기계적 움직임이 내장형 소프트웨어에 의해 제어 되기 때문에 군용항공기의 전투능력 보존과 국방 목적의 수행을 위해선 먼저 내장형 소프트웨어 고유의 특성을 만족하고, 나아가 소프트웨어 안전성, 신뢰성, 보안성을 확보하는 것이 필요하다. 본 논문에서는 설계 단계에서 스케줄성에 대해 정형검증 하여, 내장형 소프트웨어의 실시간성, 결정성, 생존성을 보증하고, 이러한 과정을 통해 전체적인 소프트웨어 안전성, 신뢰성, 보안성을 향상시키는 방안을 연구하며, 추가로 2011년 발표된 항공 소프트웨어 표준인 DO-178C에서 요구하는 정형검증을 적용한 국내 감항인증 표준 제정의 확대방안을 연구한다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국지능시스템학회 2008년도 춘계학술대회 학술발표회 논문집
• /
• pp.46-49
• /
• 2008

본 논문은 이동 로봇의 이동 및 거리 센싱의 불확실성을 고려한 시뮬레이터 개발에 대해 소개한다. 이동 로봇은 구동기, 바닥의 불안정성, 바퀴 및 구동 기구의 불확실성, 그리고 기타 구조적으로 어려운 다양한 원인으로 동작 명령과 차이가 있게 이동한다. 또한 이동 로봇에 장착된 각종 센서는 센서 자체의 불안정성, 주변 환경의 불안정성등에 의하여 정확한 측정값을 출력하지 못한다. 이러한 이동 및 센서의 불안정성은 로봇의 자율 주행 알고리즘의 구현이 가장 큰 장애물이 되고 있다. 예측하기 어려운 불안정성을 고려하지 않은 알고리즘은 실제 환경에서 필연적으로 동작에 실패하여 크고 작은 사고를 일으킨다. 따라서 알고리즘의 검증을 위해 시뮬레이터가 각종 불확실성을 포함하여 로봇 동작이 실제에 유사하도록 하여야 한다. 본 연구에서는 이동 로봇의 이동과 센싱에 불확실성을 포함하도록한 시뮬레이터를 개발하였다. 다양한 센서들 중 이동 로봇의 위치 추정, 장애물 인식, 지도 작성등에 가장 기본적으로 사용되는 영역 센서를 대상으로 불확실성을 구현하였다. 개발된 시뮬레이터를 사용하여 알고리즘을 검증하는 경우와 불확실성을 고려하지 않은 시뮬레이터를 사용하여 알고리즘을 검증하는 경우를 비교하여, 제안된 시뮬레이터의 성능을 검증하였다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2012년도 학술발표회
• /
• pp.905-905
• /
• 2012

현재 도시유역의 홍수피해를 경감시키기 위한 방안으로 우수유출 저감시설에 대한 연구가 활발히 진행 중에 있다. 그러나 침투형 우수유출 저감시설의 경우 침투량 산정에 필요한 여러 인자 중 토성에 의해 저감 능력에 많은 차이를 보이고 있으며, 강우시 침투로 인한 토양내 함수비의 변화와 선행강우 조건 등에 의해 정량적인 분석이 어려워 활용도가 미흡한 실정이다. 따라서 본 연구에서는 2009년 국립방재연구원에서 시행한 침투실험 자료의 조건과 동일하게 투수계수 및 형상이 다른 두 종류의 투수성 보도블록 A, B와 토양내 선행강우의 유무에 대하여 표 1과 같이 검증 케이스로 구분하고, 4 가지의 강우강도로 모의 조건을 설정한 후 불포화 투수층의 침투해석을 실시하고 실험결과를 이용하여 모의결과에 대한 검증을 시행하였으며, 모의 결과의 검증을 뒷받침하기 위하여 통계적인 적합도를 나타내는 평균제곱오차(RMSE), 평균편차비율(PBIAS), 모형 효율성 계수(NSE), 지속성 모형효율성 계수(PME)을 산정해 보았다. 검증 결과 그림 1과 같이 투수성 보도블록 B의 형태가 투수성 보도블록 A의 형태보다 적합도가 높게 나타났고, 50mm/hr의 강우강도에서 변동성이 크게 나타났으나, 50mm/hr를 제외한 나머지 강우조건에서 양호한 적합도를 보였으며, 선행강우가 있는 조건이 선행강우가 없는 조건에 비해 높은 적합도를 나타내었다.

• 컴퓨터교육학회논문지
• /
• 제11권1호
• /
• pp.97-107
• /
• 2008

PC 그리드 환경에서 각 PC 자원(인터넷에 연결된 PC)이 수행한 작업 결과에 대한 정확성 검증은 중요한 문제이다. 이제까지 PC 그리드 환경에서는 작업 결과에 대한 정확성을 보장하기 위한 결과검증 기법으로 투표기반 기법이나 신용기반 기법이 사용되어 왔다. 그러나 이들 기법들은 동적인 연산 환경에 효과적으로 대처하지 못하여 자원 활용의 낭비와 높은 연산 지연을 초래할 수 있는 단점을 갖고 있다. 이러한 단점을 해결하고자 본 논문에서는 신용도(credibility)와 가용성(availability)을 기반으로 하는 PC 자원의 분포 정보를 결과검증 과정에 도입한다. 이러한 정보를 사용하여, 각 PC 자원의 신용도를 평가하여 작업 결과의 정확성을 판단하고 동시에 PC 자원의 가용성 정보를 이용하여 동적 환경에 대처하는 새로운 결과검증 기법을 제안한다. 제안하는 결과검증 기법의 효율성을 증명하기 위해서 국내의 대표적 PC 그리드 시스템인 Korea@Home 시스템의 자원 분포 정보를 활용하여 제안 기법의 성능을 전체작업의 반환시간과 자원사용량의 관점에서 평가하고 다른 결과검증 기법들과 비교하여 우수성을 보인다.

• 한국시뮬레이션학회논문지
• /
• 제28권1호
• /
• pp.41-47
• /
• 2019

국방 시뮬레이션은 여러 무기체계를 실험하고 그 효용성을 평가하기 위해 활발히 사용된다. AddSIM 환경의 경우 국방 시뮬레이션에서 다루는 무기체계들을 보다 통합적인 관점에서 지원하기 위해 고안된 시뮬레이션 프레임워크로 재사용성과 확장성을 고려하여 설계되었다. AddSIM에서 사용되는 모델의 경우 기본 모델 구조에 대한 정보와 실제 무기 체계의 설계를 위해 사용되는 사용자 코드 영역에서의 검증이 통합적이며 정확한 시뮬레이션을 위해 필요하다. 따라서 본 논문에서는 AddSIM에서 사용되는 모델들에 대한 완전성을 위해 사용된 동적 검증 방법에 대해 설명한다. 사용자 코드 동적 검증 방법에 대해서는 명세 기법과 검증을 위한 알고리즘에 대해 설명한다. 또한, 검증 명세 기법 및 알고리즘을 바탕으로 구현된 동적 검증기 프로토타입에 대해 소개하며, 사례 연구에서는 AddSIM 환경에서 구현된 시뮬레이션 예제를 바탕으로 수행한 검증 결과를 분석한다.

• 정보보호학회논문지
• /
• 제18권6A호
• /
• pp.27-37
• /
• 2008

일반서명은 누구나 서명의 정당성을 검증 가능하기 때문에 메시지에 대한 인증을 제 3자에게 전가함으로서 프라이버시 침해를 일으키기도 한다. 이에 Jakobsson 등은 지정된 사람만이 서명을 검증할 수 있게 하는 지정된 검증자 서명기법을 처음 소개 하였다. 지정된 검증자 서명기법은 오직 선택된 검증자만이 서명을 검증할 수 있게 하는 기법으로 메시지 인증성질의 문제점과 프라이버시 침해를 해결한다. 본 논문에서는 '인증서가 없는(Certificateless)' 개념을 기반으로, 서명자의 프라이버시를 강화한 인증서 없는 강한 지정된 검증자 서명기법을 제안하고자 한다. 제안하는 기법은 기존의 인증서 없는 지정된 검증자 서명기법에 비해 다소 효율성이 떨어지나 강한의 성질과 양도성의 문제를 가지지 않는 인증서가 없는 강한 지정된 검증자 서명 기법은 본 논문이 최초이다.

• 정보보호학회논문지
• /
• 제13권1호
• /
• pp.115-129
• /
• 2003

본 논문에서는 암호프로토콜의 논리성 검증을 위한 방법 중 하나인 SVO 로직을 바탕으로 한 자동 검증 방법과 실험에 대해서 다룬다. 먼저 기존 SVO 로직 자동 검증의 문제점을 도출한 후 자동 검증을 고려한 ASVO 로직을 설계하고 검증하였으며, Isabelle/Isar 시스템을 이용하여 구현하였다 본 논문에서는 잘 알려진 NSSK 프로토콜 중심으로 추론 구성 사례를 소개하도록 한다. 결과적으로 이미 Denning-Sacco 공격에 취약한 것으로 알려진 NSSK 프로토콜의 문제점들을 ASVO 로직의 자동화 검증을 통해서 정확히 확인할 수 있었다. 그리고 최종적으로 ASVO 로직의 자동화 검증을 통해서 발견된 취약점들을 개선한 NSSK7 프로토콜을 설계하고 검증하였다.