• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2024년도 제69차 동계학술대회논문집 32권1호
• /
• pp.331-334
• /
• 2024

하이퍼레저 패브릭(Hyperledger Fabric)은 참여자의 신원을 확인하고, 정보교환(트랜잭션)의 유효성을 검증하는 허가형 블록체인 모델이다. 기존의 대표적인 블록체인 모델인 비트코인, 이더리움과 대비하여 효율적인 데이터 검증 방안이 가능한대, 체인코드와 채널, 그리고 피어를 중심으로 구성되어 있기 때문이다. 먼저 본 블록체인 모델은 '체인코드'라는 스마트 계약(컨트랙트)를 실행하며 허가된 사용자만 네트워크에 참여할 수 있다. 또한, '채널' 기능이 있어 서로 다른 조직 간의 데이터 공유와 검증에 대한 새로운 접근방식을 보여줄 수 있으며, 특정 네트워크 내에서 데이터를 분리할 수 있다. 이를 통해 특정 데이터에 대한 접근권한을 제어하는 기능을 제공하며 동시에 데이터의 신뢰성과 보안성을 높일 수 있다. 마지막으로 '피어'는 체인코드를 통해 들어온 트랜잭션을 검증하고, 유효한 데이터만 원장에 추가하는 기법으로 무결성을 유지하는 데 중요한 역할 담당하고 있다. 본 연구결과를 기반으로 하이퍼레저 패브릭을 효과적으로 활용하여 데이터 검증 프로세스가 산업계에 널리 적용될 수 있기를 기대한다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2023년도 춘계학술대회
• /
• pp.239-240
• /
• 2023

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

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

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 춘계학술발표대회
• /
• pp.1247-1248
• /
• 2011

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
• /
• pp.647-649
• /
• 1998

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

• 대한가정학회지
• /
• 제30권2호
• /
• pp.139-158
• /
• 1992

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

• 벤처창업연구
• /
• 제10권3호
• /
• pp.185-193
• /
• 2015

본 연구는 대학에서 창업촉진을 위한 방안으로 투자연계를 통한 사례를 보여주고자 한다. 한밭대학교에서는 3년 동안 운영한 이노폴리스 캠퍼스 창업아이템검증프로그램을 운영프로그램과 우수 사례를 제공함으로써 대학에서 투자자들을 중심으로 한 시장전문가와 대학과의 협업 방안을 제시하고자 한다. 따라서 본 연구를 통해 첫째, 타 이노폴리스캠퍼스창업사업단의 벤치마킹 모델로 활용가능토록 하고, 둘째, 우수 참여자사례 스토리는 타 사업단이 참가자를 발굴하고 선정하여 검증 후 보강하는 시스템에 대한 구체적인 노하우를 제공할 수 있는 기회를 제공함을 목적으로 한다.

• 한국항공우주학회지
• /
• 제48권1호
• /
• pp.55-62
• /
• 2020

회전익 헬리콥터의 안정성, 조종성 향상 및 증대를 보장하기 위해서는 디지털 제어기술에 의한 디지털 비행제어시스템의 개발이 필요하다. 헬리콥터 비행제어시스템 설계 및 개발 기술은 해외 선진 항공 개발사의 기술이전 기피 및 불가에 해당하는 핵심기술로써 헬리콥터 비행제어 시스템 운용소프트웨어인 OFP의 기능 요구조건 충족과 더불어 비행안전에 직결되는 시스템 신뢰도의 검증이 필요하며 비행제어 시스템 운용 소프트웨어의 검증 방안 연구는 무엇보다 중요하다. 본 논문에서는 회전익 자동비행제어시스템 소프트웨어의 FMET 수행 및 검증 방안에 관한 연구를 수행하였다.

• 전기전자학회논문지
• /
• 제23권2호
• /
• pp.659-666
• /
• 2019

MANET은 이동 노드들로 망을 자율적으로 구성할 수 있어 다양한 응용에서 적용되고 있다. 그러나 중앙의 제어나 관리 없이 분산 환경으로 망을 구성하여 사이버 공격에 취약할 수 있다. 본 논문에서는 시뮬레이션 환경에서 MANET 보안 취약점을 분석하고 검증할 수 있는 방안을 제안한다. 또한, 제안하는 방안을 적용하여 MANET에서 빈번하게 발생할 수 있는 라우팅 메시지 변조 공격, 거짓 노드 공격, TLV 메시지 변조 공격에 대하여 모의하고, 실 시스템에서도 유사한 취약점이 발생함을 확인하였다. 따라서 제안하는 방안은 사이버 공격자에 의해 발생 가능한 보안 취약점을 통신망 기술을 설계하는 과정에서 시뮬레이션을 통하여 검증함으로써 통신 기술 설계 정확도를 향상시키는데 활용될 것으로 예상된다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2015년도 제46회 하계학술대회
• /
• pp.976-977
• /
• 2015

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