• 제목/요약/키워드: SAT Algorithm

검색결과 31건 처리시간 0.032초

상호영향형 SAT의 우선순위선정 알고리즘의 설계 (Design of a Priority Setting Algorithm in the CI-SAT)

  • 권철신;강일중
    • 한국경영과학회:학술대회논문집
    • /
    • 한국경영과학회 2001년도 추계학술대회 논문집
    • /
    • pp.242-245
    • /
    • 2001
  • This study is aimed to design a priority setting algorithm necessary for evaluating and selecting interdependent R&D planning system alternatives. In case that the relationship of technology alternatives is interdependent, a relative importance as occurrence or nonoccurrence of the technology alternatives viewed from the future time varies. So, we are subject to design the evaluation process considering a cross- impact of future technology alternatives. Thus, we apply the cross impact analysis (CIA) model to consider the cross-impact among interdependent system alternatives. Also, the analytic hierarchy process(AHP) model is applied to determine the priority of alternatives by taking the pair-wise comparison among factors.

  • PDF

AdaBoost 알고리즘을 이용한 실시간 얼굴 검출 및 추적 (Real-Time Face Detection and Tracking Using the AdaBoost Algorithm)

  • 이우주;김진철;이배호
    • 한국멀티미디어학회논문지
    • /
    • 제9권10호
    • /
    • pp.1266-1275
    • /
    • 2006
  • 본 논문은 AdaBoost(Adaptive Boosting)알고리즘을 이용한 실시간 얼굴 검출 및 추적에 패한 기법을 제안한다. 얼굴 검출은 8종류의 간단한 웨이블릿 특징 모형을 이용한다. 각각의 특징들은 $20{\times}20$의 훈련 영상에서 다양한 크기와 위치로 배치되어 초기의 특징 집합을 구성한다. 초기의 특징 집합과 훈련 영상은 AdaBoost알고리즘의 입력으로 사용된다. AdaBoost알고리즘의 기본원리는 약한 분류기를 선형적으로 결합하여 최종적으로는 계층적 구조를 갖는 강한 분류기론 생성하는 것이다. 본 논문에서는 AdaBoost알고리즘에서 훈련 영상과 초기의 특징 집합 간에 이루어지는 반복적 계산량을 줄이기 위해 SAT(Summed-Area Table) 기법을 이용하였다. 얼굴 추적은 Pan-Tilt카메라를 통해 동적으로 가시 영역을 확장해 가면서 검출된 영역의 위치와 크기정보를 이용하여 실시간으로 이루어진다. 검출된 얼굴 영역의 중심을 전체 영상의 중심으로 이동하는 방법을 사용하였다. 실험결과 92.5%의 얼굴 검출율과 평균 12프레임의 얼굴 추적속도를 얻었다.

  • PDF

댐·보 방류량 자료를 활용한 분포형 수문모형 기반 하천 갈수량 추적 알고리즘 개발 (Development of stream low flow routing algorithm using a grid-based continuous hydrological model considering dam and weir operation data)

  • 이용관;정충길;김원진;김성준
    • 한국수자원학회:학술대회논문집
    • /
    • 한국수자원학회 2019년도 학술발표회
    • /
    • pp.29-29
    • /
    • 2019
  • 급격한 도시화와 기후변화로 인한 자연적인 물순환 구조의 변화는 기존 수자원 이용 경향을 변화시키며 하천건천화 현상을 유발하고 있다. 이를 관리하기 위해 하천건천화 평가 및 예측이 가능한 영향 평가 기술이 필요하며, 국내에서는 GIS 기반의 분포형 수문 모형인 Drying Stream Assessment Tool and Water Flow Tracking (DrySAT-WFT)이 개발되어 활용되고 있다. 그러나 격자기반의 물수지 모형은 단위 cell 안의 수직적인 물의 거동은 파악하기 용이하나, 모형의 특성상 저수지, 댐, 보와 같은 수리 시설물의 방류량에 따른 하도의 흐름 추적에는 어려움이 있다. 본 연구의 목적은 DrySAT-WFT 모형에 댐?보 방류량 자료와 연계한 하도추적 알고리즘을 개발하여 모형의 유출 모의 성능을 개선하고, 1976년부터 2015년까지의 유출 모의를 통해 전국 표준유역을 대상으로 각 유역에 대한 하천건천화 원인 추적 및 평가를 수행하고자 한다. 하천건천화영향요소를 고려하기 위한 모형의 입력 자료로 산림높이, 도로망, 지하수 이용량, 토지이용, 토심, 기상 변화에 대해 1976년부터 2015년까지 구축한 시계열 전국 자료를 활용하였으며, 일별 강우량, 상대습도, 평균풍속, 평균 및 최고, 최저 기온, 일조시간의 기상자료를 구축하였다. 개선된 DrySAT-WFT 유출 모의 결과는 선행 연구와의 비교를 통해 모의 개선점을 정량적으로 제시하고자 한다.

  • PDF

Fast Recovery Routing Algorithm for Software Defined Network based Operationally Responsive Space Satellite Networks

  • Jiang, Lei;Feng, Jing;Shen, Ye;Xiong, Xinli
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • 제10권7호
    • /
    • pp.2936-2951
    • /
    • 2016
  • An emerging satellite technology, Operationally Responsive Space (ORS) is expected to provide a fast and flexible solution for emergency response, such as target tracking, dense earth observation, communicate relaying and so on. To realize large distance transmission, we propose the use of available relay satellites as relay nodes. Accordingly, we apply software defined network (SDN) technology to ORS networks. We additionally propose a satellite network architecture refered to as the SDN-based ORS-Satellite (Sat) networking scheme (SDOS). To overcome the issures of node failures and dynamic topology changes of satellite networks, we combine centralized and distributed routing mechanisms and propose a fast recovery routing algorithm (FRA) for SDOS. In this routing method, we use centralized routing as the base mode.The distributed opportunistic routing starts when node failures or congestion occur. The performance of the proposed routing method was validated through extensive computer simulations.The results demonstrate that the method is effective in terms of resoving low end-to-end delay, jitter and packet drops.

Formation CubeSat Constellation, SNIPE mission

  • Lee, Jaejin
    • 천문학회보
    • /
    • 제46권1호
    • /
    • pp.58.4-59
    • /
    • 2021
  • This presentation introduces Korea's SNIPE (Small scale magNespheric and Ionospheric Plasma Experiment) mission, formation flying CubeSat constellation. Observing particles and waves on a single satellite suffers from inherent space-time ambiguity. To observe spatial and temporal variations of the micro-scale plasma structures on the topside ionosphere, four 6U CubeSats (~ 10 kg) will be launched into a polar orbit of the altitude of ~500 km in 2021. The distances of each satellite will be controlled from 10 km to more than 100 km by formation flying algorithm. The SNIPE mission is equipped with identical scientific instruments, solid-state telescope, magnetometer, and Langmuir probe. All the payloads have a high temporal resolution (sampling rates of about 10 Hz). Iridium modules provide an opportunity to upload changes in operational modes when geomagnetic storms occur. SNIPE's observations of the dimensions, occurrence rates, amplitudes, and spatiotemporal evolution of polar cap patches, field-aligned currents (FAC), radiation belt microbursts, and equatorial and mid-latitude plasma blobs and bubbles will determine their significance to the solar wind-magnetosphere-ionosphere interaction and quantify their impact on space weather.

  • PDF

An Algorithm Solving SAT Problem Based on Splitting Rule and Extension Rule

  • Xu, Youjun
    • Journal of Information Processing Systems
    • /
    • 제13권5호
    • /
    • pp.1149-1157
    • /
    • 2017
  • The satisfiability problem is always a core problem in artificial intelligence (AI). And how to improve the efficiency of algorithms solving the satisfiability problem is widely concerned. Algorithm IER (Improved Extension Rule) is based on extension rule. The number of atoms and the number of clauses affect the efficiency of the algorithm IER. DPLL rules are helpful to reduce these numbers. Then a complete algorithm CIER based on splitting rule and extension rule is proposed in this paper in order to improve the efficiency. At first, the algorithm CIER (Complete Improved Extension Rule) reduces the scale of a clause set with DPLL rules. Then, the clause set is split into a group of small clause sets. In the end, the satisfiability of the clause set is got from these small clause sets'. A strategy MOAMD (maximum occurrences and maximum difference) for the algorithm CIER is given. With this strategy, a better arrangement of atoms could be got. This arrangement could make the number of small clause sets fewer and the scale of these sets smaller. So, the algorithm CIER will be more efficient.

반도체 패키지 내부결함 평가 알고리즘의 성능 향상 (Performance Advancement of Evaluation Algorithm for Inner Defects in Semiconductor Packages)

  • 김창현;홍성훈;김재열
    • 한국공작기계학회논문집
    • /
    • 제15권6호
    • /
    • pp.82-87
    • /
    • 2006
  • Availability of defect test algorithm that recognizes exact and standardized defect information in order to fundamentally resolve generated defects in industrial sites by giving artificial intelligence to SAT(Scanning Acoustic Tomograph), which previously depended on operator's decision, to find various defect information in a semiconductor package, to decide defect pattern, to reduce personal errors and then to standardize the test process was verified. In order to apply the algorithm to the lately emerging Neural Network theory, various weights were used to derive results for performance advancement plans of the defect test algorithm that promises excellent field applicability.

토양수분을 이용한 가뭄평가기법 개발 (Development of Drought Assessment Scheme using Root Zone Soil Moisture)

  • 신용철;박경원;윤선권;정영훈
    • 한국수자원학회:학술대회논문집
    • /
    • 한국수자원학회 2015년도 학술발표회
    • /
    • pp.24-24
    • /
    • 2015
  • 최근 원격탐사기법을 이용한 많은 가뭄평가기법들이 개발되었으나 산림과 함께 산악지형이 우세한 우리나라의 경우 지형특성으로 인하여 가뭄평가시 불확실성이 증가하게 된다. 특히, 농업가뭄은 기후와 지표특성에 큰 영향을 받기 때문에 기후특성만을 고려한 가뭄지수는 실제 필요한 농업가뭄의 특성을 반영하는데 있어서 한계가 있다. 따라서 본 연구에서는 기후와 지표특성을 함께 고려할 수 있는 토양수분을 이용한 가뭄평가기법(Drought Assessment Scheme)을 개발하였다. 가뭄평가기법을 위하여 역추적기법(Inverse Modeling-IM) 기반의 자료동화기법(Data Assimilation, DA)을 이용하였다. 자료동화기법은 1-Dimensional (1-D) 기반의 토양의 물리적 특성을 고려하는 SWMI_ST 모형과 최적화 알고리즘(유전자 알고리즘, Genetic Algorithm-GA)을 연계하여 실측 및 위성기반의 토양수분자료로부터 토양의 수리학적 매개변수(${\alpha}$, n, ${\Theta}_{res}$, ${\Theta}_{sat}$, $K_{sat}$)를 추출한다. 본 연구에서는 LANDSAT(30 m X 30 m) 및 MODerate Resolution Imaging Spectroradiometer(MODIS, 500 m X 500 m) 이미지자료를 이용하여 시 공간적으로 분포되어 있는 토양수분을 산정하였으며, 이후 자료동화기법을 이용하여 LANDSAT/MODIS 토양수분자료로 부터 공간적으로 분포되어 있는 토양의 매개변수를 추출하였다. 추출된 매개변수, GIS 기반의 지표피복 및 기상자료를 이용하여 장기간의 토양수분을 산정 및 예측 할 수 있다. 고해상도의 이미지 자료를 사용하는 가뭄평가기법은 필지~시 군 단위까지 실제 우리나라 지형특성을 고려하여 효율적으로 가뭄을 모니터링 및 예측 할 수 있다.

  • PDF

매립물 특성 조사를 위한 다변량 통계분석 기법의 응용 (Application of Multivariate Statistical Analysis Technique in Landfill Investigation)

  • 권병두;김차섭
    • 한국지구과학회지
    • /
    • 제18권6호
    • /
    • pp.515-521
    • /
    • 1997
  • 난지도 매립장 매립물의 특성을 조사하기 위해서 중력, 자력, LandSat TM 열적외선 밴드 자료, 매립장의 표면에서 측정한 침하량 자료 등을 다변량 통계분석기법을 응용하여 분석하였다. 분석에 이용한 자료들은 각기 상이한 깊이에 관한 정보를 제공하기 때문에 측정된 총 자력자료와 중력자료는 자극화변환된 자력이상과 매립장의 3차원 밀도분포로 각기 전환하였으며, 본 연구에서는 이 중 매립장의 상부층에 관한 정보를 이용하였다. 통계분석은 침하량 측정 지점들을 대상으로 수행하였으며, 이들 지점에서의 자극화변환 자력이상, 매립물의 밀도, LandSat TM 열적외선 밴드 값들은 내삽방법을 이용하여 구하였다. 자료분석에 사용한 다변량 통계분석 기법은 개체간의 기하학적인 거리를 이용하여 군집화하는 집락분석으로, 개체간의 거리 계산시 각 자료간의 상이한 측정단위가 주는 효과를 제거하기 위해서 사전에 표준화를 실시하였다. 군집화는 체계적 군집화 방법을 이용하여 수행하였다. 물리적 특성을 바탕으로 분류된 최적의 군집수는 수상도에서 나타난 결과에 따르면 총 6개의 군집으로 나타났다. 본 연구의 결과는 통합된 지구물리자료에 다변량 통계분석 기법을 적용함으로써 복합적 인 쓰레기 매립장의 특성 규명이 가능함을 시사한다.

  • PDF

박판금속 성형공정 해석시스템 개발 (Development of Analysis System for Sheet Metal Forming)

  • 정완진;조진우
    • 소성∙가공
    • /
    • 제8권1호
    • /
    • pp.29-37
    • /
    • 1999
  • An analysis system for sheet metal forming(SAT_STAMP) has been developed to improve the design and tryout process by predicting the deformation behavior more precisely. This analysis system consists of forming analysis, springback analysis and post processor modules. The more accurate prediction of stress history can be achieved due to the improved contact algorithm. Continuous simulation of sequential processes can be carried out conveniently without interruption by the improved data management of the developed system. The error of data transfer between forming analysis and springback analysis is minimized using the proper shell element. Several benchmark test results and practical results are presented to show the effectiveness and reliability of this program.

  • PDF