• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2023.05a
• /
• pp.239-240
• /
• 2023

자율운항선박 지원 서비스는 자율운항선박이 항만 내에서 안전하게 항해하고, 입/출항 및 화물 적/양하를 효율적으로 진행하는 것을 지원하기 위해 개발 중인 6종 서비스를 의미한다. 개발된 서비스의 성능을 검증하기 위해 육상 시범운영 인프라인 자율운항선박 기술연구센터를 구축하였으며, 성능검증 시나리오를 개발하였다. 성능검증 시나리오는 개발된 서비스가 실제 운용 환경에서 올바르게 동작하는지 확인하는 데 중점을 두고 있다. 성능검증은 실제 서비스 사용자를 중심으로 하는 사용자 기반 방식으로 진행된다. 실제 선박에서의 서비스 성능을 검증하기 위해 실습선을 이용한 실선박 테스트를 수행하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.10a
• /
• pp.1117-1118
• /
• 2015

공공임대주택은 서민을 위한 주거안정 차원에서 중요한 복지정책 중 하나이다. 그러나 입주자에 대한 적합성 여부를 검증하는 데 있어서 실제 거주하고 있는지를 검증하는 데 많은 비용과 어려움이 발생하여 입주자가 거주하고 있지 않는 상태에서 재계약하는 경우가 많이 발생하고 있다. 본 연구에서는 거주하고 있는 사실을 검증할 수 있는 화자인증 시스템을 활용한 입주자 관리 방안을 제안한다. 제안된 방안으로 구현된 시스템을 통하여 적은 비용 및 높은 신뢰도로 거주사실을 확인할 수 있을 것이라 기대된다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.04a
• /
• pp.1247-1248
• /
• 2011

본 논문에서는 기존의 LDA 기반 유사도 계산 방안의 논문 데이터에 대한 적합성을 검증한다. 실제 논문 데이터를 이용해 기존텍스트 유사도 계산 방안과 LDA 기반 유사도 계산 방안의 정확도를 비교 함으로써 논문 데이터베이스에서의 LDA 기반 텍스트 유사도 계산 방안의 유용성을 검증한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.647-649
• /
• 1998

본 논문에서는 초고속 인터넷 통신과 서비스를 효율적으로 구축, 개발하기 위해 현재 대두되는 여러 구축 방안들을 좀 더 구체적으로 정형화시킨 3단계 방안을 제시하고 일부 ISP 업체에 이 방안을 시험적으로 적용해 봄으로써 미래 초고속 인터넷 통신 구축의 확실한 해결책이 무엇인지를 검증해 볼 수 있는 방향을 제시했다.

• Journal of the Korean Home Economics Association
• /
• v.30 no.2
• /
• pp.139-158
• /
• 1992

본 연구는 가족스트레스 이론적 모델인 Double ABCX Model과 일과 가정생활의 역할 긴장에 관한 선행연구를 기초로하여 제안된 이론적 모델을 검증하는데 목적이 있다. 이론적 모델의 검증을 통하여 일과 가정생활의 역할 stressor나 두 가지 역할의 누적으로 쌓이는 역할 긴장이 가족스트레스 이론으로 설명될 수 있는가\ulcorner 또한 매개 변수인 가족자원과 대처방안에 의해 어떻게 중재되어 삶의 질에 영향을 미치는 가를 규명하고자 한다. 미국 로스앤젤레스 지역의 한국교민 중 맞벌이 부부인 가족을 연구대상으로 선정하고 설문지법으로 남편과 부인의 자료를 분리하여 표집하였는데 본 연구에서는 153명의 부인으로부터 얻은 자료만을 분석하고자 한다. 자료는 이론적 검증에 유용한 LISREL VII 프로그램을 사용하여 분석한다. 자료의 분석결과가 처음 제안된 모델은 검증하지 못했지만 가족자원 변인과 대처방안 변인간의 상호 관계 효과를 고려하여 수정된 모델은 가족스트레스 이론으로 일과 가정생활을 병립하는데서 오는 stressor나 누적된 역할 긴장을 이해할 수 있음이 검증되었다. 모델의 검증을 통하여 맞벌이 부부가족의 부인에게는 일과 가정생활의 stressor가 누적되어 역할긴장을 증가시켰으며 이 역할긴장은 주로 가정생활의 역할 stressor에서 기인하는 것으로 나타났다. 또한 가족자원은 일과 가정 생활의 두 역할 stressor에 의해 강도를 더하는 역할 긴장을 감소시키고 삶의 질을 증가시키는 중요한 매개변수로 나타났다.

• Asia-Pacific Journal of Business Venturing and Entrepreneurship
• /
• v.10 no.3
• /
• pp.185-193
• /
• 2015

This paper is brought to introduce best practice case of promoting startup raising seed investment out of university startup program. In specific, Innopolise Startup Item Market Validation Program running in Hanbat National University have shown the appropriate way of cooperating between experts in university and early stage venture investors in incubating and accelerating promising startup for last three years. This paper shall be expected to provide benchmaking ground of helping other similar project teams and core networking points of future cooperation among similar entities.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.48 no.1
• /
• pp.55-62
• /
• 2020

It is necessary to develop digital flight control system by digital control technology to ensure stability and maneuverability of rotary helicopter. It is important to meet functional requirements of helicopter flight control system OFP and verify system reliability directly linked to flight safety as a core technology that avoids the transfer of technology by overseas advanced helicopter manufacturer. In this paper, we studied how to perform FMET for operational flight program of rotary automatic flight control system.

• Journal of IKEEE
• /
• v.23 no.2
• /
• pp.659-666
• /
• 2019

MANET can be applied to various applications as it can autonomously configure the network with only mobile nodes. However, the network can be vulnerable to cyber attacks because it is organized in a distributed environment without central control or management. In this paper, we propose a simulation-based network security vulnerability analysis and verification method. Using this method, we simulated the routing message modification attack, Sybil node attack, and TLV message modification attack that may frequently occur in MANET, and confirmed that similar vulnerabilities can be occurred in the real system. Therefore, the proposed method can be used to improve the accuracy of the protocol design by verifying possible security vulnerabilities through simulation during the protocol design procedure.

• Proceedings of the KIEE Conference
• /
• 2015.07a
• /
• pp.976-977
• /
• 2015

최근 환경오염 및 지구 온난화의 주범으로 꼽히는 이산화탄소 배출 규제는 더 이상 논란의 대상이 아니다. 또한 인류의 생존을 위협하는 요소로 부각되면서, 환경오염 및 이산화탄소 배출이 적은 대체 에너지 개발은 전 세계의 당면 과제이자 반드시 풀어야 할 숙제이기도 하다. 국내에서도 이러한 세계적인 기술 추세로 대체 에너지인 태양광 발전, 양수 발전, 풍력 발전을 지속적으로 하고 있으며 에너지를 저장하는 배터리 개발을 함으로써, AC 전력 전송에 비해 손실이 적은 DC 송전이 점점 많은 곳에 설치되고 있는 실정이다. 그러나 DC 송전을 위한 HVDC 시스템 기술은 아직 신기술이기 때문에 신뢰성 및 시스템 검증 방법에 있어서는 개선해야할 점이 많다. 따라서 본 논문에서는 HVDC 시스템에 대한 기존의 검증 방법을 소개하고 시험 및 연구 결과로 HVDC 시스템 검증 방법에 대한 개선 방안을 제시하고자 한다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2012.07a
• /
• pp.381-384
• /
• 2012

2008년 국제표준 ISO 32000-1로 지정된 PDF 표준은 전자서명에 대한 표준을 함께 제공함으로써 PDF 문서의 신뢰성을 확보하고자 하였다. 하지만 ISO 32000-1에 포함된 전자서명 관련 표준은 서명에 사용된 인증서의 유효기간이 만료되면 전자서명의 유효성을 검증할 수 없기 때문에 장기적으로 보존되는 문서의 신뢰성을 보장하는데 적절하지 않다. 따라서 본 논문에서는 PDF 국제 표준인 ISO 32000-1의 전자서명 관련 표준을 분석하고 전자서명 장기검증 기능을 적용할 수 있는 방안을 제시한다. 본 논문에서 제안한 내용을 활용한다면 다양한 PDF 소프트웨어에서 호환 가능한 전자서명 장기검증 기능을 제공할 수 있을 것이며, 이를 통해 PDF 문서의 신뢰성을 향상시킬 수 있을 것이다.