• 제목/요약/키워드: Proof systems

검색결과 331건 처리시간 0.037초

Photonic sensors for micro-damage detection: A proof of concept using numerical simulation

  • Sheyka, M.;El-Kady, I.;Su, M.F.;Taha, M.M. Reda
    • Smart Structures and Systems
    • /
    • 제5권4호
    • /
    • pp.483-494
    • /
    • 2009
  • Damage detection has been proven to be a challenging task in structural health monitoring (SHM) due to the fact that damage cannot be measured. The difficulty associated with damage detection is related to electing a feature that is sensitive to damage occurrence and evolution. This difficulty increases as the damage size decreases limiting the ability to detect damage occurrence at the micron and submicron length scale. Damage detection at this length scale is of interest for sensitive structures such as aircrafts and nuclear facilities. In this paper a new photonic sensor based on photonic crystal (PhC) technology that can be synthesized at the nanoscale is introduced. PhCs are synthetic materials that are capable of controlling light propagation by creating a photonic bandgap where light is forbidden to propagate. The interesting feature of PhC is that its photonic signature is strongly tied to its microstructure periodicity. This study demonstrates that when a PhC sensor adhered to polymer substrate experiences micron or submicron damage, it will experience changes in its microstructural periodicity thereby creating a photonic signature that can be related to damage severity. This concept is validated here using a three-dimensional integrated numerical simulation.

IDNet: Beyond All-IP Network

  • Jung, Heeyoung;Lim, Wan-Seon;Hong, Jungha;Hur, Cinyoung;Lee, Joo-Chul;You, Taewan;Eun, Jeesook;Kwak, Byeongok;Kim, Jeonghwan;Jeon, Hae Sook;Kim, Tae Hwan;Chun, Woojik
    • ETRI Journal
    • /
    • 제37권5호
    • /
    • pp.833-844
    • /
    • 2015
  • Recently, new network systems have begun to emerge (for instance, 5G, IoT, and ICN) that require capabilities beyond that provided by existing IP networking. To fulfill the requirements, some new networking technologies are being proposed. The promising approach of the new networking technology is to try to overcome the architectural limitations of IP networking by adopting an identifier (ID)-based networking concept in which communication objects are identified independently from a specific location and mechanism. However, we note that existing ID-based networking proposals only partially meet the requirements of emerging and future networks. This paper proposes a new ID-based networking architecture and mechanisms, named IDNet, to meet all of the requirements of emerging and future networks. IDNet is designed with four major functional blocks-routing, forwarding, mapping system, and application interface. For the proof of concept, we develop numeric models for IDNet and implement a prototype of IDNet.

SIP 기반 음성 및 화상회의용 하이브리드 IP-PBX 시스템 구현 (Implementation of Hybrid IP-PBX System offer to Voice Conference and Video Conference base on the SIP)

  • 김삼택
    • 한국인터넷방송통신학회논문지
    • /
    • 제9권4호
    • /
    • pp.115-122
    • /
    • 2009
  • 화상회의 시스템에 대한 시장의 수요가 매우 빠르게 증가하고 있다 그러나 화상회의 및 음성회의 시스템을 구축하는 비용이 매우 높아 일부 대기업과 관공서를 중심으로 제한적으로 설치되고 있다. 따라서 본 논문에서는 IP-PBX(Private Branch Exchanger)시스템을 이용하여 음성 교환 및 음성회의 그리고 화상회의를 인터넷을 이용하여 하나의 시스템에서 할 수 있도록 한 하이브리드 IP-PBX시스템을 개발하였다. 본 시스템은 통신비용의 저감과 음성 및 화상회의를 할 수 있는 시스템 구축비용을 대폭 저감할 수 있도록 하는 하이브리드형 IP-PBX 설계하여, 그 타당성을 실험을 통하여 입증하였다.

  • PDF

A Token Based Protocol for Mutual Exclusion in Mobile Ad Hoc Networks

  • Sharma, Bharti;Bhatia, Ravinder Singh;Singh, Awadhesh Kumar
    • Journal of Information Processing Systems
    • /
    • 제10권1호
    • /
    • pp.36-54
    • /
    • 2014
  • Resource sharing is a major advantage of distributed computing. However, a distributed computing system may have some physical or virtual resource that may be accessible by a single process at a time. The mutual exclusion issue is to ensure that no more than one process at a time is allowed to access some shared resource. The article proposes a token-based mutual exclusion algorithm for the clustered mobile ad hoc networks (MANETs). The mechanism that is adapted to handle token passing at the inter-cluster level is different from that at the intra-cluster level. It makes our algorithm message efficient and thus suitable for MANETs. In the interest of efficiency, we implemented a centralized token passing scheme at the intra-cluster level. The centralized schemes are inherently failure prone. Thus, we have presented an intra-cluster token passing scheme that is able to tolerate a failure. In order to enhance reliability, we applied a distributed token circulation scheme at the inter-cluster level. More importantly, the message complexity of the proposed algorithm is independent of N, which is the total number of nodes in the system. Also, under a heavy load, it turns out to be inversely proportional to n, which is the (average) number of nodes per each cluster. We substantiated our claim with the correctness proof, complexity analysis, and simulation results. In the end, we present a simple approach to make our protocol fault tolerant.

iOS(iPhone, iPad)에서의 타임스탬프 위·변조 흔적 조사에 관한 연구 (A Study on the Evidence Investigation of Forged/Modulated Time-Stamp at iOS(iPhone, iPad))

  • 이상현;이윤호;이상진
    • 정보처리학회논문지:컴퓨터 및 통신 시스템
    • /
    • 제5권7호
    • /
    • pp.173-180
    • /
    • 2016
  • 스마트폰은 다양한 사용자 정보를 저장하고 있으므로, 디지털 포렌식 관점에서 앱 데이터 분석을 통해 사건과 관련된 유용한 정보를 얻을 수 있다. 하지만 스마트폰의 특성상 높은 이동성과 데이터의 손실이나 위 변조 가능성이 크기 때문에 그에 맞는 포렌식 방법이 필요하다. 특히 위 변조된 타임스탬프는 디지털 증거의 신뢰성을 저하하며, 타임라인 분석에 어려움을 가져온다. 이 논문은 iOS 운영체제를 기반으로 하는 디바이스 내에서 타임스탬프 위 변조 여부를 조사할 수 있는 사용 흔적들을 제시한다.

A Statistic Correlation Analysis Algorithm Between Land Surface Temperature and Vegetation Index

  • Kim, Hyung-Moo;Kim, Beob-Kyun;You, Kang-Soo
    • Journal of Information Processing Systems
    • /
    • 제1권1호
    • /
    • pp.102-106
    • /
    • 2005
  • As long as the effective contributions of satellite images in the continuous monitoring of the wide area and long range of time period, Landsat TM and Landsat ETM+ satellite images are surveyed. After quantization and classification of the deviations between TM and ETM+ images based on approved thresholds such as gains and biases or offsets, a correlation analysis method for the compared calibration is suggested in this paper. Four time points of raster data for 15 years of the highest group of land surface temperature and the lowest group of vegetation of the Kunsan city Chollabuk_do Korea located beneath the Yellow sea coast, are observed and analyzed their correlations for the change detection of urban land cover. This experiment based on proposed algorithm detected strong and proportional correlation relationship between the highest group of land surface temperature and the lowest group of vegetation index which exceeded R=(+)0.9478, so the proposed Correlation Analysis Model between the highest group of land surface temperature and the lowest group of vegetation index will be able to give proof an effective suitability to the land cover change detection and monitoring.

태양열 온수기 실증연구를 통한 성능 평가 (Performance Evaluation of Solar Water Heating System Using Proof Test)

  • 김재열;곽이구;양동조;최철준;김홍건
    • 한국신재생에너지학회:학술대회논문집
    • /
    • 한국신재생에너지학회 2006년도 춘계학술대회
    • /
    • pp.597-601
    • /
    • 2006
  • The advantages of solar energy are that it is renewable, infinite supplied and environmentally safe energy source. However, solar energy related products have the problems such as the limitation for installation, problems in maintenance and insufficient reliability which have been the barrier to consumers to satisfy the purchase need for solar heat related products. In this regard, in order to support the solar energy related companies the necessity for various technical information required for the commercialization of new products such as various performance test necessary for the certification of solar energy system, standardization for facilities and products, performance evaluation method and the measurement of performance is suggested. The purpose of this paper is to design the monitoring system for positive tests of system linked household hot water system using solar heat out of various solar energy systems, to establish an analysis and monitoring system for performance maintenance and operation technique, and to configure the centralized detection network by utilizing remote monitoring system. This research also aims at conducting monitoring for operation and performance evaluation in relation to database establishment and analytical evaluation and at describing the method of enhancing the reliability of solar energy system through the development of performance evaluation program.

  • PDF

검증자 집합 형성 방법에 따른 블록체인 시스템 비교 분석 (Comparative Analysis of Blockchain Systems According to Validator Set Formation Method)

  • 김삼택
    • 한국융합학회논문지
    • /
    • 제10권11호
    • /
    • pp.41-46
    • /
    • 2019
  • 최근에 작업 증명(PoW) 블록체인 합의 알고리즘들이 에너지 낭비, 확장성 부족 등의 문제점들이 나타나면서 비잔틴 장애 허용(BFT) 계열 합의 알고리즘들이 주목을 받고 있다. BFT 계열 합의 알고리즘들의 큰 특징 중 하나는 검증자 집합을 형성하여 그 안에서 합의를 이루는 것이다. 본 논문에서는 BFT 계열 합의 알고리즘들 중에서도 알고랜드, 스텔라, 이오스의 검증자 집합 형성 방법들의 확장성, 목표가 설정된 공격 가능 여부, 시빌 공격 가능 여부에 대해서 비교, 분석하였다. 또한 데이터 분석을 통한 각 검증자 형성 방법들의 문제점들을 발견하였고, 해당 합의 알고리즘들은 공통적으로 소수의 권력 있는 노드들이 전체 시스템을 지배하는 중앙화 현상이 나타남을 밝혔다.

기후변화 적응을 위한 도시계획 방안 연구 (A Study on the Method of Urban Planning for Adaptation to Climate Change)

  • 이성희;김정곤
    • 한국기후변화학회지
    • /
    • 제5권3호
    • /
    • pp.257-266
    • /
    • 2014
  • This study aims to understand abnormal climate caused by impacts of climate change and to suggest the direction of urban planning focusing on adaptation to climate change. The study consists of theory consideration and case study(Chicago, Philadelphia, Seattle). As a result, the main impacts of climate change faced by urban areas are heat wave, precipitation, and drought. To prevent these impacts, it is important to prepare methods of urban planning as followings: planning for land use, park and green considering the climate patterns, establishing and managing water resources systems similar to the nature, securing renewable energy resources, and transportation facilities and exterior space with proof against climate. It is especially necessary to introduce infrastructures related to storm water, green roof, shading tree planting, green space, and permeable pavement. Finally, in order to realize urban planning for adaptation to climate change, it is needed to make the detailed and specific goal and strategy for the climate change adaptation plan and to extend the scope from the goals to an action plan, a detailed plan, and a design guideline.

2 GHz 8 비트 축차 비교 디지털-위상 변환기 (A 2-GHz 8-bit Successive Approximation Digital-to-Phase Converter)

  • 심재훈
    • 센서학회지
    • /
    • 제28권4호
    • /
    • pp.240-245
    • /
    • 2019
  • Phase interpolation is widely adopted in frequency synthesizers and clock-and-data recovery systems to produce an intermediate phase from two existing phases. The intermediate phase is typically generated by combining two input phases with different weights. Unfortunately, this results in non-uniform phase steps. Alternatively, the intermediate phase can be generated by successive approximation, where the interpolated phase at each approximation stage is obtained using the same weight for the two intermediate phases. As a proof of concept, this study presents a 2-GHz 8-bit successive approximation digital-to-phase converter that is designed using 65-nm CMOS technology. The converter receives an 8-phase clock signal as input, and the most significant bit (MSB) section selects four phases to create two sinusoidal waveforms using a harmonic rejection filter. The remaining least significant bit (LSB) section applies the successive approximation to generate the required intermediate phase. Monte-Carlo simulations show that the proposed converter exhibits 0.46-LSB integral nonlinearity and 0.31-LSB differential nonlinearity with a power consumption of 3.12 mW from a 1.2-V supply voltage.