• 제목/요약/키워드: multiple verification

검색결과 522건 처리시간 0.031초

생존체계 위협조우 상황인지를 위한 복합/다중 위협 상황 Emulation 연구 (Study on Multiple & Complex threat situation emulation for ASE System)

  • 이문석;이정원
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국해양정보통신학회 2010년도 춘계학술대회
    • /
    • pp.516-520
    • /
    • 2010
  • 무기체계의 현대화 및 복잡화에 따라 현대전 상황에서의 플랫폼 및 운용자에 대한 생존성 확보를 필요로 하게 되었다. 현대 전장의 복합 및 다중 위협 상황 무기체계에 대응하기 위하여 다수의 무기체계 플랫폼에서 생존체계를 함께 탑재하게 된다. 생존체계는 무기체계 플랫폼을 위협하는 위협들을 탐지/식별하며 효율적인 대응을 통하여 운용자로 하여금 정확한 상황인지를 가능하게 하고 플랫폼의 생존 능력을 향상시킨다. 생존체계가 보유하여야 할 중요 성능 인자는 복합 및 다중 위협에 대한 처리 능력이라고 할 수 있다. 이러한 복합 위협 상황 Emulation을 통하여 생존체계가 확보하여야 할 생존 능력을 검증하여야 한다. 이에 본 논문에서는 레이다, 레이저, 미사일 단일 위협 상황을 조합한 복합 위협 상황을 다룸으로 하여 생존체계가 플랫폼 탑재 이전에 성능 및 신뢰성을 확보할 수 있는 방안에 대하여 논의한다.

  • PDF

위성 B-ISDN 다중신호 프로토콜의 설계 및 검증 (Design and Verification of Satellite B-ISDN Multi-Signalling Protocol)

  • 박석천;남기모;김동영;변지섭;최동영
    • 대한전자공학회:학술대회논문집
    • /
    • 대한전자공학회 1999년도 하계종합학술대회 논문집
    • /
    • pp.13-16
    • /
    • 1999
  • The terrestrial/satellite hybrid network may replace or supply the terrestrial network in some areas or certain application. Futhermore, it can play an important role in the development of B-ISDN due to their features of flexible wide coverage, independent of ground distances and geographical constraints, multiple access and multipoint broadcast. Also, satellite have the capability to supply terrestrial ATM and B-ISDN with flexible links for access networks as well as trunk networks. This paper describes the design and verification of the interworking protocol between terrestrial B-ISDN and satellite network. For the verification, the designed interworking protocol is modeled by Petri-net and analyzed by reachability tree.

  • PDF

정맥패턴 융합을 위한 Boundary Stitching Algorithm (Boundary Stitching Algorithm for Fusion of Vein Pattern)

  • 임영규;장경식
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2005년도 춘계학술발표대회
    • /
    • pp.521-524
    • /
    • 2005
  • This paper proposes a fusion algorithm which merges multiple vein pattern images into a single image, larger than those images. As a preprocessing step of template matching, during the verification of biometric data such as fingerprint image, vein pattern image of hand, etc., the fusion technique is used to make reference image larger than the candidate images in order to enhance the matching performance. In this paper, a new algorithm, called BSA (Boundary Stitching Algorithm) is proposed, in which the boundary rectilinear parts extracted from the candidate images are stitched to the reference image in order to enlarge its matching space. By applying BSA to practical vein pattern verification system, its verification rate was increased by about 10%.

  • PDF

위성 B-ISDN 신호 프로토콜의 설계 및 검증 (Desing and Verification of Satellite B-ISDN Signalling Protocol)

  • 박석천;최동영;강성용
    • 한국정보처리학회논문지
    • /
    • 제6권7호
    • /
    • pp.1909-1918
    • /
    • 1999
  • The terrestrial/satellite hybrid network may replace or supply the terrestrial network in some areas or certain applications. For example, it may play a major role in global B-ISDN or in certain areas where the deployment of optical cable is not feasible, especially at the early stage of implementing terrestrial B-ISDN. Furthermore, it can play an important role in the development of B-ISDN due to their features of flexible wide coverage, independent of ground distances and geographical constraints, multiple access and multipoint broadcast. Also, satellite have the capability to supply terrestrial B-ISDN/ATM with flexible links for access networks as well as trunk networks. This paper describes the design and verification of the interworking protocol between terrestrial B-ISDN뭉 satellite network. For the verification, the designed interworking protocol is modeled by Petri-net and the model is analyzed by reachability tree.

  • PDF

Design and Analysis of Polarization Diversity Antenna for Mobile Terminals

  • Lee, Won-Woo;Rhee, Byung-Ho
    • ETRI Journal
    • /
    • 제36권1호
    • /
    • pp.155-158
    • /
    • 2014
  • This letter presents an antenna design method for an orthogonally-polarized dual antenna for use in mobile stations (MSs) and includes a verification method for improving the link-level throughput performance of an MS that uses a proposed multiple-input multiple-output antenna. The link-level throughput performance of an MS is strongly related to the correlation between antenna branches, which is determined by the cross polarization discrimination of the second branch antenna, both numerically and experimentally.

수중 이동체 통신망을 위한 접속제어 프로토콜의 설계 및 구현 (Design and implementation of the MAC protocol for underwater vehicle network)

  • 신동우;임용곤;김영길
    • 한국해양공학회지
    • /
    • 제11권4호
    • /
    • pp.180-188
    • /
    • 1997
  • This paper proposes a new efficient MAC(Media Access Control) protocol to establish the ultrasonic communication network for underwater vehicles, which ensures a certain level of maximum throughput regardless of the propagation delay of ultrasonic and allows fast data transmission through the multiple ultrasonic communication channel. A MAC protocol for underwater communication network that allows 'peer-to-peer' communication between a surface ship and multiple underwater systems is designed, and the proposed control protocol is implemented for its verification.

  • PDF

VIS를 이용한 RACE 포로토콜의 정형검증 (Formal Verification of RACE Protocol Using VIS)

  • 엄현선;최진영;한우종;기안도;심규현
    • 한국정보처리학회논문지
    • /
    • 제7권7호
    • /
    • pp.2219-2228
    • /
    • 2000
  • 다중 프로세서 시스템에서 각각의 프로세서에 할당되어 있는 지역 캐쉬에 데이터의 복사본이 분산 공유되어 있는 경우 데이터의 일관성 유지가 필요하다. 따라서 캐쉬 일관성 유지 프로토코콜은 공유 메모리 다중 프로세서 시스템의 정확하고 효율적인 작동이 중요하다. 그러므로 시스템이 복잡해짐과 비례하여 현재 사용되고있는 무작위적 테스트나 시뮬레이션은 프로토콜의 정확성을 확인하기에 충분하지 못하므로 보다 효율적이고 믿을 만한 검증 방법이 필요하다. 본 논문은 ETRI에서 개발된 캐쉬 일관성 프로토콜인 RACE(Remote Access Cache coherent Enforcement)프로토콜의 몇 가지 특성(property)들을 정형기법에 쓰이는 도구 중이 하나인 VIS(Verification Interacting with Synthesis)를 이용하여 검증한다.

  • PDF

틱톡(Tik Tok) 이용자의 연애유형이 연애 동영상의 이용 동기, 이용 만족도에 미치는 영향 (The Effect of Tik Tok Users' Love Types on Love Videos' Motivation and User Satisfaction)

  • 조맹;양천;이상훈
    • 한국멀티미디어학회논문지
    • /
    • 제25권5호
    • /
    • pp.703-720
    • /
    • 2022
  • Based on the love styles theory used in psychology, this paper classifies users(Passionate Love, Game-playing Love, Friendship Love, Practical Love, Possessive Love, Altruistic Love) and investigates satisfaction with the motivation for using TikTok love videos(Entertainment, Social Relationship, Love skills-learning, Self-verification, Problem-solving) according to the theory of use and satisfaction. First, 414 users were selected to conduct TikTok surveys to collect data. Then, through the analysis of the research results, among the six love types, game-playing type and possessive type have a positive (+) impact on entertainment motivation and love skill-learning motivation. Game-playing type also have a positive (+) impact on social relationship motivation and self-verification motivation. In addition, altruistic type and possessive type are also factors to strengthen the motivation of self-verification. The altruistic type, possessive type and practical type will improve the problem-solving motivation. Finally, through hierarchial multiple regression analysis, it is confirmed that game-playing love type, entertainment motivation, love skill-learning motivation and self-verification motivation can improve user satisfaction. The above results enrich the research of user classification as well as providing inspiration for improving the quality and communication efficiency of TikTok's video and enhancing user experience.

외팔보 형태의 수동형 Multiple Tuned Mass Damper를 이용한 구조물의 진동 억제 (The Suppression of Structural Vibration Using Cantilevers as Multiple Tuned Mass Damper)

  • 박재관;백윤수
    • 한국소음진동공학회:학술대회논문집
    • /
    • 한국소음진동공학회 1996년도 춘계학술대회논문집; 부산수산대학교, 10 May 1996
    • /
    • pp.169-176
    • /
    • 1996
  • In order to suppress the structural vibration more effectively, Multiple Tuned Mass Damper(MTMD) which is composed of a number of Tuned Mass Damper(TMD) can be used. Especially, the passive MTMD has several advantages over active TMD like easy installment and maintenance, cost and performance for power failure situation(severe damage of power lines from earthquake), etc.. For this purpose the mass and damping ratio of MTMD and the distributed frequency range which shows the range of MTMD's distribution are used as main design parameters. When the passive MTMD is constituted with multiple cantilevers, the facility in its real production and its need for only a smaller space can be named as its several advantages. In this study, the satisfactory results were obtained from the composition of MTMD utilizing dynamic characters of cantilevers, and the verification was done by the comparison of the analysis from MTMD with the computer simulation.

  • PDF

An Implementation of Acoustic-based MAC Protocol Multichannel Underwater Communication Network

  • Lim, Yong-Kon;Park, Jong-Won;Kim, Chun-Suk;Lee, Young-Chul
    • 한국정보통신학회논문지
    • /
    • 제1권1호
    • /
    • pp.105-111
    • /
    • 1997
  • This Paper Proposes a new efficient system design strategies for the acoustic-based underwater multiple modem and media access control protocol. The system aims to establish the acoustic-based communication network of an underwater vehicles for deep sea mining, which ensures a certain level of maximum throughput regardless of the propagation delay of acoustic and allows fast data transmission through the acoustic-based multiple channel. A media access control protocol for integrated communication network and it's acoustic-based communication modems that allows 'peer-to-peer' communication between a surface mining plant multiple underwater system is designed, and the proposed media access control protocol is implemented for its verification. Furthermore, a proposed design strategies which make it possible to control the multiple vehicle for an underwater mining is presented in this paper.

  • PDF