• 제목/요약/키워드: state graph

검색결과 272건 처리시간 0.024초

시간제약조건을 가진 비동기 회로의 효율적 합성을 위한 축소상태그래프의 생성 (Reduced State Graph Generation for Efficient Synthesis of Asynchronous Circuits with Timing Constraints)

  • 고기웅;김의석;이동익;서범수
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
    • /
    • pp.610-612
    • /
    • 2001
  • 시간 제약 조건을 가진 타임드 페트리넷으로부터 최적화된 비동기식 제어회로를 생성하기 위해서는 시간 분석을 통하여 도달 가능한 상태만으로 구성된 축소 상태 그래프를 생성하는 작업이 매우 중요하다. 본 논문에서는 기존의 방법들이 적용 가능한 타임드 페트리넷의 범주에 제약을 가하거나 혹은 회로의 합성과는 직접적인 상관없이 시간 분석을 위하여 대규모의 시간 상태 그래프를 부가적으로 생성하는 문제를 해결하기 위하여 타임드 페트리넷으로부터 축소된 시간 상태 그래프를 직접적으로 생성하는 방법을 제안 한다 실험 결과는 제안된 방법이 모든 범주의 타임드 페트리넷으로부터 빠른 시간 내에 합성에 충분한 축소된 상태그래프를 생성함을 보여준다.

  • PDF

Building Extraction from Lidar Data and Aerial Imagery using Domain Knowledge about Building Structures

  • Seo, Su-Young
    • 대한원격탐사학회지
    • /
    • 제23권3호
    • /
    • pp.199-209
    • /
    • 2007
  • Traditionally, aerial images have been used as main sources for compiling topographic maps. In recent years, lidar data has been exploited as another type of mapping data. Regarding their performances, aerial imagery has the ability to delineate object boundaries but omits much of these boundaries during feature extraction. Lidar provides direct information about heights of object surfaces but have limitations with respect to boundary localization. Considering the characteristics of the sensors, this paper proposes an approach to extracting buildings from lidar and aerial imagery, which is based on the complementary characteristics of optical and range sensors. For detecting building regions, relationships among elevation contours are represented into directional graphs and searched for the contours corresponding to external boundaries of buildings. For generating building models, a wing model is proposed to assemble roof surface patches into a complete building model. Then, building models are projected and checked with features in aerial images. Experimental results show that the proposed approach provides an efficient and accurate way to extract building models.

An Assessment of Urbanization Using Historic Satellite Photography: Columbus Metropolitan Area, Ohio, 1965

  • Kim, Kee-Tae;Kim, Jung-Hwan;Jayakumar, S.;Sohn, Hong-Gyoo
    • 대한원격탐사학회지
    • /
    • 제23권3호
    • /
    • pp.221-227
    • /
    • 2007
  • We present an analysis of urban development and growth with reconnaissance satellite photographs of Columbus metropolitan area acquired by the Corona program in 1965. A two-dimensional polynomial linear transformation was used to rectify the photos against United State Geological Survey (USGS) Large-scale Digital Line Graph (DLG) data georeferenced to Universal Transverse Mercator (UTM) coordinates. The boundaries of the Columbus metropolitan area were extracted from the rectified Corona image mosaic using a Bayesian approach to image segmentation. The inferred 1965 urban boundaries were compared with 1976 USGS Land Use and Land Cover (LULC) data and boundaries derived from 1988 and 1994 Landsat TM images. The urban area in and around Columbus approximately doubled from 1965 to 1994 (${\sim}110%$) along with population growth from 1960 to 1998 (${\sim}50%$). Most of the urban expansion results from development of residential units.

Temporal and spatial outlier detection in wireless sensor networks

  • Nguyen, Hoc Thai;Thai, Nguyen Huu
    • ETRI Journal
    • /
    • 제41권4호
    • /
    • pp.437-451
    • /
    • 2019
  • Outlier detection techniques play an important role in enhancing the reliability of data communication in wireless sensor networks (WSNs). Considering the importance of outlier detection in WSNs, many outlier detection techniques have been proposed. Unfortunately, most of these techniques still have some potential limitations, that is, (a) high rate of false positives, (b) high time complexity, and (c) failure to detect outliers online. Moreover, these approaches mainly focus on either temporal outliers or spatial outliers. Therefore, this paper aims to introduce novel algorithms that successfully detect both temporal outliers and spatial outliers. Our contributions are twofold: (i) modifying the Hampel Identifier (HI) algorithm to achieve high accuracy identification rate in temporal outlier detection, (ii) combining the Gaussian process (GP) model and graph-based outlier detection technique to improve the performance of the algorithm in spatial outlier detection. The results demonstrate that our techniques outperform the state-of-the-art methods in terms of accuracy and work well with various data types.

Improvement of Land Cover Classification Accuracy by Optimal Fusion of Aerial Multi-Sensor Data

  • Choi, Byoung Gil;Na, Young Woo;Kwon, Oh Seob;Kim, Se Hun
    • 한국측량학회지
    • /
    • 제36권3호
    • /
    • pp.135-152
    • /
    • 2018
  • The purpose of this study is to propose an optimal fusion method of aerial multi - sensor data to improve the accuracy of land cover classification. Recently, in the fields of environmental impact assessment and land monitoring, high-resolution image data has been acquired for many regions for quantitative land management using aerial multi-sensor, but most of them are used only for the purpose of the project. Hyperspectral sensor data, which is mainly used for land cover classification, has the advantage of high classification accuracy, but it is difficult to classify the accurate land cover state because only the visible and near infrared wavelengths are acquired and of low spatial resolution. Therefore, there is a need for research that can improve the accuracy of land cover classification by fusing hyperspectral sensor data with multispectral sensor and aerial laser sensor data. As a fusion method of aerial multisensor, we proposed a pixel ratio adjustment method, a band accumulation method, and a spectral graph adjustment method. Fusion parameters such as fusion rate, band accumulation, spectral graph expansion ratio were selected according to the fusion method, and the fusion data generation and degree of land cover classification accuracy were calculated by applying incremental changes to the fusion variables. Optimal fusion variables for hyperspectral data, multispectral data and aerial laser data were derived by considering the correlation between land cover classification accuracy and fusion variables.

3축 가속도 센서를 이용한 신체활동 에너지 소비량과 신체활동 강도 예측 알고리즘 (Estimating Algorithm of Physical Activity Energy Expenditure and Physical Activity Intensity using a Tri-axial Accelerometer)

  • 김도윤;황인호;전소혜;배윤형;김남현
    • 재활복지공학회논문지
    • /
    • 제5권1호
    • /
    • pp.27-33
    • /
    • 2011
  • 3축 가속도 동작감지기를 이용하여 x, y, z축에 대한 가속도 합인 SVM(Signal Vector Magnitude)를 적용한 신체활동 에너지 소비량과 신체활동 강도 예측 알고리즘을 구현하였다. 신체 건강한 20~30대 성인 남성 5명, 여성 5명을 대상으로 골반 장골능에 엑티그라프(LLC, USA)와 피트미터(Fit.life. korea)를 착용하고 트레드밀위에서 3단계 신체활동(걷기: 3km/h, 빨리 걷기: 5km/h, 러닝: 8km/h)을 수행하였다. 각 신체활동 단계별로 7분간 신체활동을 수행하고 5분간 휴식을 통하여 각 신체활동 단계별로 안정화된 상태에서 실험하였다. 이러한 실험을 1주 간격으로 4주간 반복 실험을 진행하였다. 실험결과 얻어진 엑티그라프와 피트미터의 600여개 데이터 상관관계를 분석하여 METs와 kcal 그리고 신체활동 강도를 구분하는 알고리즘을 구현하였다.

병렬 및 분산 시스템에서의 최적 고장 허용 자원 배치 (Optimal Fault-Tolerant Resource Placement in Parallel and Distributed Systems)

  • 김종훈;이철훈
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제27권6호
    • /
    • pp.608-618
    • /
    • 2000
  • 본 논문에서는 병렬 및 분산 시스템에서 자원을 배치함에 있어서 최소한의 자원 복사(copy)만을 사용하면서 임의의 노드 및 링크 상에서 고장이 발생하더라도 주어진 성능 요건을 만족하게 하는 자원의 최적 배치 방법을 모색하고자 한다. 이러한 성능 요건의 만족과 시스템의 고가용성을 위하여, 모든 노드들에 대하여 최소한의 자원 복사를 사용하여 그 노드나 혹은 인접한 노드 중 적어도 두 개 이상에 자원 복사가 존재해야 하는데, 이것을 본 논문에서는 고장 허용 자원 배치 문제라고 부른다. 병렬 및 분산 시스템은 그래프로 표현할 수가 있다. 여기에서 고장 허용 자원 배치 문제는 그래프 상에서 가장 작은 고장 허용 dominating set을 찾는 문제로 변환이 된다. Dominating set 문제는 NP-complete로 증명이 되어 있으며, 본 논문에서는 A* 알고리즘을 사용하여 상태 공간 탐색 방법으로 최적 배치를 구한다. 또한, 최적 배치를 찾는 데에 걸리는 시간을 단축시키기 위하여, 고장 허용 dominating set의 특성들을 분석하여 유용한 휴리스틱 정보들을 도출한다. 또한 여러가지 정형 그래프와 임의 그래프 상에서의 실험을 통하여, 이들 휴리스틱 정보들을 사용하여 최적 고장 허용 자원 배치를 찾는 데에 걸리는 시간을 상당히 줄일 수 있음을 보인다.

  • PDF

OR 모델 기반의 분산 교착상태 발견 및 복구 기법 (A Distributed Deadlock Detection and Resolution Algorithm for the OR Model)

  • 이수정
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제29권10호
    • /
    • pp.561-572
    • /
    • 2002
  • 분산시스템에서는 어느 한 사이트가 전체 시스템의 상태 정보를 알 수 없기 때문에 분산 교착상태의 발견은 어려운 문제로 알려져 왔다. 본 논문은 분산 교착상태의 발견 및 해결을 위한 시간 효율적인 알고리즘을 제안한다. 알고리즘의 시작노드는 교착상태 발견을 위한 메시지를 전파하고 이에 대한 응답 정보로부터 wait-for graph를 구축한다. 제시한 알고리즘은 기존에 비해 교착상태를 발견하는데 걸리는 시간을 반으로 단축시키는 장점이 있다. 또한 대부분의 연구결과가 단지 알고리즘의 시작노드가 교착상태에 속하였는지의 여부를 판단할 수 있는 것과는 달리 본 알고리즘은 알고리즘을 수행하는 모든 노드들에 대해 그같은 결과를 말해준다. 이러한 특성으로 인해 교착상태는 보다 신속히 발견될 수 있다. 더우기 이제까지 교착상태의 해결에 대해 무관심하였거나 알고리즘의 시작노드를 중지시킴으로써 해결하였던 것에 반해 본 알고리즘은 효율적이고 상세한 교착상태 해결방법을 제시하였다.

로버스트 기대손실 관리도의 설계 (Design of Robust Expected Loss Control Chart)

  • 이형준;정영배
    • 산업경영시스템학회지
    • /
    • 제39권3호
    • /
    • pp.10-17
    • /
    • 2016
  • Control Chart is a graph which dots the characteristic values of a process. It is the tool of statistical technique to keep a process in controlled condition. It is also used for investigating the state of a process. Therefore many companies have used Control Chart as the tool of statistical process control (SPC). Products from a production process represent accidental dispersion values around a certain reference value. Fluctuations cause of quality dispersion is classified as a chance cause and a assignable cause. Chance cause refers unmanageable practical cause such as operator proficiency differences, differences in work environment, etc. Assignable cause refers manageable cause which is possible to take actions to remove such as operator inattention, error of production equipment, etc. Traditionally ${\bar{x}}-R$ control chart or ${\bar{x}}-s$ control chart is used to find and remove the error cause. Traditional control chart is to determine whether the measured data are in control or not, and lets us to take action. On the other hand, RNELCC (Reflected Normal Expected Loss Control Chart) is a control chart which, even in controlled state, indicates the information of economic loss if a product is in inconsistent state with process target value. However, contaminated process can cause control line sensitive and cause problems with the detection capabilities of chart. Many studies on robust estimation using trimmed parameters have been conducted. We suggest robust RNELCC which used the idea of trimmed parameters with RNEL control chart. And we demonstrate effectiveness of new control chart by comparing with ARL value among traditional control chart, RNELCC and robust RNELCC.

제품 설계 정보 재사용을 위한 그래프 기반의 부품 영상 정보와 설계 정보의 병합 (Integration of Component Image Information and Design Information by Graph to Support Product Design Information Reuse)

  • 이형재;양형정;김경윤;김수형;김선희
    • 정보처리학회논문지D
    • /
    • 제13D권7호
    • /
    • pp.1017-1026
    • /
    • 2006
  • 최근에는 제품 개발의 효율성 증대를 위해서 다양한 분야의 전문가들이 참여하는 분산된 협업적 개발 환경이 필수적으로 인식되고 있으며 이에 따른 제품 설계 정보의 재사용 문제가 새롭게 부각되고 있다. 본 논문에서는 제품 설계 정보의 재사용을 위해 멀티미디어 기기에서 획득된 제품 영상을 부품 단위로 분할하여 속성 관계 그래프를 생성하고 이를 통해 제품 설계 정보를 검색하는 시스템을 제안한다. 본 논문에서 제안한 시스템은 라벨링 방법으로 제품 영상을 분할하고, 각 분할 영역의 속성과 영역간의 관계를 표현하는 속성 관계 그래프를 생성한다. 속성 관계 그래프는 제품 설계 정보를 추가하여 확장함으로써 영상 검색을 통한 제품 설계 정보의 재사용이 가능하다. 본 시스템의 주요 이점은 다음과 같다. 첫째, 주변 장치로부터 쉽게 획득할 수 있는 멀티미디어 영상을 이용하므로 특정 설계 툴에 종속적이지 않다. 둘째, 비율을 이용한 특징 벡터에 의해 다양한 크기의 유사 부품을 포함하는 영상의 검색이 가능하다. 셋째, 분할된 각 부품의 영역에 대한 다양한 영상 정보와 그들의 관계를 적용하기 때문에 검색 능력이 뛰어나다.