• Title/Summary/Keyword: 검증연구

Search Result 32,221, Processing Time 0.06 seconds

A Study on Certificate Status Verification Information Providing using the Time-stamp Information (시간 정보를 이용한 인증서 상태 검증 정보 제공에 관한 연구)

  • Kwak, Jin;Lee, Seung-Woo;Cho, Seok-Hyang;Hong, Soon-Jwa;Won, Dong-Ho
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2002.04b
    • /
    • pp.829-832
    • /
    • 2002
  • 공개키 기반구조의 응용이 네트워크 상의 전자 거래로 확대됨에 따라 통신 상대방의 인증을 위해 인증서의 사용이 증대되었으며, 이 인증서는 사용하기 전에 반드시 검증 과정을 거쳐야 한다. 본 논문에서는 시간정보(Time-stamp Information)를 포함한 인증서 검증 프로토콜을 제안한다. 본 논문에서는 긴 길이의 폐지 정보와 주기적으로 발행되는 특징을 가진 인증서 폐지 목록 등 기존의 인증서 검증 메커니즘들이 가지는 문제점을 분석하고 현재의 인증서 상태에 대한 유효성뿐만 아니라 인증서 검증 결과에 시간 정보를 추가하여 보다 신뢰할 수 있는 인증서의 상태 검증 정보를 제공할 수 있는 프로토콜을 제안한다.

  • PDF

A Study on the Expansion of Information Tree for the Dynamic Behavior Verification in O-O analysis Process (객체지향 분석 단계에서 동적 행위 검증을 위한 정보 트리 확장에 관한 연구)

  • 고상복;김기한;이경환
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 1999.10a
    • /
    • pp.638-640
    • /
    • 1999
  • 객체지향 방법의 초기 단계인 객체지향 분석은, 문제 기술서에서 사용자 요구 사항을 실 세계의 개념과 도메인 지식을 통하여 객체 관점에서 모델링하고, 객체 지향 요구 명세를 생성하는 절차이다. 기존에 제안된 객체 모델링 방법론에서 분석 단계의 정적 모델링은 시멘틱 모델 등의 풍부한 시멘틱을 제공하여 모델과 모델링의 많은 부분들을 정형화할 수 있었다. 그러나 대부분의 방법론들의 분석과정은 동적 모델의 정형화가 미흡하다. 본 논문에서는 시스템의 정적인 구조를 검증할 수 있는 정보 트리 모델에 동적인 행위 정보를 포함하도록 확장하고, 검증 절차를 제시함으로써 시스템의 동적 행위를 검증할 수 있게 하였다. 또한, 객체 지향 요구 명세의 동적인 행위에 대한 검증은 확장 정보트리를 사용하여 use case와 시나리오를 추적하면서 검증한다.

  • PDF

Graph Random Walk Analysis for Chat Messenger User Verification (채팅 메신저 사용자 검증을 위한 그래프 랜덤 워크 분석)

  • Lee, Da-Young;Cho, Hwan-Gue
    • Annual Conference on Human and Language Technology
    • /
    • 2021.10a
    • /
    • pp.79-84
    • /
    • 2021
  • 메신저 사용의 증가와 함께 관련 범죄와 사고가 증가하고 있어 메시지 사용자 검증의 필요성이 대두되고 있다. 본 연구에서는 그래프 기반의 인스턴트 메세지 분석 모델을 제안하여 채팅 사용자를 검증하고자 한다. 사용자 검증은 주어진 두 개의 텍스트의 작성자가 같은지 여부를 판단하는 문제다. 제안 모델에서는 사용자의 이전 대화를 토대로 n-gram 전이 그래프를 구축하고, 작성자를 알 수 없는 메세지를 이용해 전이 그래프를 순회한 랜덤워크의 특성을 추출한다. 사용자의 과거 채팅 습관과 미지의 텍스트에 나타난 특징 사이의 관계를 분석한 모델은 10,000개의 채팅 대화에서 86%의 정확도, 정밀도, 재현율로 사용자를 검증할 수 있었다. 전통적인 통계 기반 모델들이 명시적 feature를 정의하고, 방대한 데이터를 이용해 통계 수치로 접근하는데 반해, 제안 모델은 그래프 기반의 문제로 치환함으로써 제한된 데이터 분량에도 안정적인 성능을 내는 자동화된 분석 기법을 제안했다.

  • PDF

The System Requirement Development for Intelligent Monitoring System using Modeling Based System Engineering (시스템모델링 기반의 지능형 감시시스템 요구사항 개발 및 검증에 관한 연구)

  • Lee, Woo-Dong;Chung, Jong-Duk;Kim, In-Goo
    • Proceedings of the KIEE Conference
    • /
    • 2011.07a
    • /
    • pp.1250-1251
    • /
    • 2011
  • 시스템을 개발함에 있어 시스템요구사항을 명확히 정의하고 시스템 요구사항에 따라 시스템이 개발되는 가를 관리하는 것은 매우 중요한 연구과정이라 할수 있다. 최근에 국내외적으로 시스템 모델링을 기반으로 하여 시스템 요구사항을 개발하는 방법론이 도입 및 연구 되고 있다. 도시철도표준화사업에서도 지능형감시장치를 개발하고 있는데 이 장치를 효율적으로 개발하기 위하여 시스템 모델링을 통한 기능분석을 수행하여 설계 및 제작요구사항을 개발하고 시스템을 어떻게 검증할 것인가에 대한 요구사항을 개발하여 시스템을 개발하고 있다. 따라서 본 연구에서는 시스템공학적 방법론을 통하여 지능형감시장치에 대한 설계, 제작 및 검증요구사항 개발방법론 관한 연구에 대하여 논하고자 한다.

  • PDF

The System Requirement Development for Data Communication Unit of Vehicle to Wayside using Modeling Based System Engineering (시스템모델링기반의 차지상간데이타전송장치 요구사항 개발 및 검증에 관한 연구)

  • Lee, Woo-Dong;Chung, Jong-Duk;Kim, In-Goo
    • Proceedings of the KIEE Conference
    • /
    • 2011.07a
    • /
    • pp.1248-1249
    • /
    • 2011
  • 시스템을 개발함에 있어 시스템요구사항을 명확히 정의하고 시스템 요구사항에 따라 시스템이 개발되는 가를 관리하는 것은 매우 중요한 연구과정이라 할수 있다. 최근에 국내외적으로 시스템 모델링을 기반으로 하여 시스템 요구사항을 개발하는 방법론이 도입 및 연구 되고 있다. 도시철도표준화사업에서도 차지상간 데이터전송장치를 개발하고 있는데 이 장치를 효율적으로 개발하기 위하여 시스템 모델링을 통한 기능분석을 수행하여 설계 및 제작요구사항을 개발하고 시스템을 어떻게 검증할 것인가에 대한 요구사항을 개발하여 시스템을 개발하고 있다. 따라서 본 연구에서는 시스템공학적 방법론을 통하여 차지상간 데이터전송장치에 대한 설계, 제작 및 검증요구사항 개발방법론 관한 연구에 대하여 논하고자 한다.

  • PDF

Paths from Self-Esteem to Professional Help-seeking among Korean College Students (대학생의 자아존중감과 전문적 도움요청태도 간의 경로 검증)

  • Choi, jung-ah
    • Proceedings of the Korea Contents Association Conference
    • /
    • 2015.05a
    • /
    • pp.285-286
    • /
    • 2015
  • 본 연구의 목적은 대학생의 자아존중감이 어떠한 경로를 통하여 전문적 도움요청에 영향을 미치는지 확인하고자 하는 것으로서, 자아존중감, 자기은폐, 우울, 도움요청태도 사이에 어떠한 관계가 있는지를 실증적으로 검증하고자 하였다. 이를 위하여 본 연구에서는 대구 및 경북 지역 대학생 307명을 대상으로 수집된 자료에 대하여 구조방정식모형을 이용하여 그 적합도와 주요 변수들 간의 경로의 유의성을 검증하였다. 분석 결과, 본 연구에서 설정된 연구모형의 적합도는 양호한 것으로 나타났으며, 자아존중감은 자기은폐와 우울에 각각 부적으로 유의한 영향을 미치며, 자기은폐는 우울에는 정적으로, 그리고 전문적 도움요청태도에는 부적으로 유의한 영향을 미치는 것으로 확인되었다. 이러한 연구 결과에 근거하여 대학생의 전문적 도움요청에 대한 태도를 긍정적으로 변화시킬 수 있는 대안과 관련된 함의가 제시되었다.

  • PDF

A study on the nonlinear constitutive relation in magnetostrictive materials (자왜 재료의 비선형 구조 방정식에 관한 연구)

  • Kang Kukjin;Roh Yongrae;Kim Yeon-Bo
    • Proceedings of the Acoustical Society of Korea Conference
    • /
    • autumn
    • /
    • pp.311-314
    • /
    • 2000
  • 자왜 재료는 자계 포화 이하에서 비선형 특성을 갖는다고 알려져 있다. 그러나 지금까지 비선형 특성을 표현하는 자왜 재료의 구조 방정식을 유도한 사례는 전무한 실정이다. 본 연구에서는 자계 포화 이하에서 비선형 특성을 갖는 자왜 재료의 비선형 구조 방정식을 4차 텐서를 이용하여 유도하였다. 나아가 유도된 구조방정식을 이용하여 자왜 재료 내의 파동 방정식을 정식화하였다. 그리고 비선형 특성을 갖는 자왜 재료에서 평면파가 자계 방향을 따라 전파될 때 등방성 자왜 재료의 탄성파 속도를 구하였다. 이상의 결과를 검증하기 위해서 자왜 재료 중에서 가장 널리 사용되고 있는 Terfenol-D의 탄성파 속도를 측정하여 본 연구에서 유도한 자왜 재료 비선형 구조 방정식의 타당성을 일부 검증하였다. 향후에 자왜 재료의 정확한 특성을 측정하여 본 연구 결과와 비교함으로써 본 연구에서 유도한 비선형 구조 방정식의 타당성을 검증하고자 한다.

  • PDF

창업준비와 창업실패 부담감이 창업성과에 미치는 영향 연구: 사회적지지의 조절효과를 중심으로

  • Han, Hyang-Won;Ha, Gyu-Su
    • 한국벤처창업학회:학술대회논문집
    • /
    • 2020.11a
    • /
    • pp.95-102
    • /
    • 2020
  • 본 연구의 목적은 첫째 창업자가 창업을 함에 있어 창업준비를 통해 창업성과에 미치는 영향관계와 본질적으로 항상 내재되어 있는 실패에 대한 두려움 요인이 창업성과에 미치는 영향 관계를 실증 검증하고자 한다. 두 번째로 상반된 개념의 독립변수가 동시에 종속변수에 미치는 영향을 알아보고 이에 따라 변수간의 상관관계를 분석하고, 사회적지지를 조절변수로 하여 창업준비와 창업실패에 대한 부담감에 조절효과가 있는지 검증하고자 한다. 따라서 본 연구의 의의는 창업준비와 창업실패 부담감이 창업성과에 영향을 미치는 요인들에 규명하고 사회적지지의 조절효과 요인을 분석하는데 있다. 연구의 학문적 함의점은 주요 많은 국내문헌에서 창업실패감과 창업의지에 관한 연구중심에서 벗어나 창업준비와 실패에 대한 부담감이 창업성과에 미치는 영향을 직접적으로 검증하는데 있다. 또한 창업자들이 인식하고 있는 창업준비와 창업실패에 대한 부담감이 창업성과와의 영향관계를 파악하여 구체적인 실무적 시사점을 제공할 수 있다.

  • PDF

Verification Method for Machine Learning Based On Video Extraction ImageFiles (동영상 추출 이미지파일을 이용한 머신러닝 검증 방법)

  • Jeo, Ja-Sam;Jeo, Ja-E
    • Proceedings of the Korean Society of Computer Information Conference
    • /
    • 2020.07a
    • /
    • pp.33-35
    • /
    • 2020
  • 이전 연구에 존재했던 영상에서 이미지를 추출하여 학습 데이터로 사용 할 때 시계열성을 고려하지 않은 상태에서의 검증은 정확하지 않을 수 있음을 설명한다. 정확한 형체를 가진 물체의 경우 매 프레임 마다 일정한 모양을 유지할 가능성이 크지만, 기체나 액체처럼 유동성이 큰 형태를 분사 혹은 방류 할 때 순간적인 간섭 혹은 분산에 의해 실제 값이 분사 량 혹은 방류량과 다를 수 있다. 본 연구에서는 이전 연구 중 Yolov3와 youtube 영상을 이용하여 연기 형태를 추출하고, 이를 Resnet에 학습시킨 연구를 이용하여 이와 비슷한 사례의 연구에서 나타날 수 있는 검증 오류들을 설명한다.

  • PDF

스마트 항로표지 신서비스 성능검증 환경 구축 방안

  • 강동우;오세웅;김영진;한재식
    • Proceedings of the Korean Institute of Navigation and Port Research Conference
    • /
    • 2022.06a
    • /
    • pp.48-49
    • /
    • 2022
  • 현재 해양수산부에서 발주하여 선박해양플랜트연구소에서 주관하여 진행하고 있는 해양 디지털 항로표지 정보 협력 시스템 과제가 진행 중에 있다. 해양 디지털 항로표지 정보 협력 시스템 과제는 실증 센터 구축을 목표 중 하나로 잡고 있으며, 실증 센터 구축을 위해서는 실증센터 구축 이전에 연구개발 결과물을 유사한 환경에서 성능을 검증할 필요가 있다. 또한 해양 디지털 항로표지 정보 협력 시스템 과제는 외부의 정보를 활용할 필요가 있어 정보통신의 측면에서의 보안이 유지되는 공간이 필요하다. 이를 위하여 본 연구에서는 보안이 필요한 서비스 설치 공간와 일반사용자가 서비스를 사용하기 위해 일반적으로 접근이 가능한 공간을 연결하고, 연결 방법에 대하여 분석하였다. 또한 서비스 개발 기관에서 개발 중인 서비스 코드를 보안 공간으로 전송하여, 시스템 설치 및 SW 품질 테스트 등이 용이한 방안에 대하여 연구하였다.

  • PDF