• Title/Summary/Keyword: SAT Algorithm

Search Result 31, Processing Time 0.031 seconds

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

  • 권철신;강일중
    • Proceedings of the Korean Operations and Management Science Society Conference
    • /
    • 2001.10a
    • /
    • 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

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

  • Lee, Wu-Ju;Kim, Jin-Chul;Lee, Bae-Ho
    • Journal of Korea Multimedia Society
    • /
    • v.9 no.10
    • /
    • pp.1266-1275
    • /
    • 2006
  • In this paper, we propose a real-lime face detection and tracking algorithm using AdaBoost(Adaptive Boosting) algorithm. The proposed algorithm consists of two levels such as the face detection and the face tracking. First, the face detection used the eight-wavelet feature models which ate very simple. Each feature model applied to variable size and position, and then create initial feature set. The intial feature set and the training images which were consisted of face images, non-face images used the AdaBoost algorithm. The basic principal of the AdaBoost algorithm is to create final strong classifier joining linearly weak classifiers. In the training of the AdaBoost algorithm, we propose SAT(Summed-Area Table) method. Face tracking becomes accomplished at real-time using the position information and the size information of detected face, and it is extended view region dynamically using the fan-Tilt camera. We are setting to move center of the detected face to center of the Image. The experiment results were amply satisfied with the computational efficiency and the detection rates. In real-time application using Pan-Tilt camera, the detecter runs at about 12 frames per second.

  • PDF

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

  • Lee, Yong Gwan;Jung, Chung Gil;Kim, Won Jin;Kim, Seong Joon
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2019.05a
    • /
    • 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)
    • /
    • v.10 no.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
    • The Bulletin of The Korean Astronomical Society
    • /
    • v.46 no.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
    • /
    • v.13 no.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 (반도체 패키지 내부결함 평가 알고리즘의 성능 향상)

  • Kim, Chang-Hyun;Hong, Sung-Hun;Kim, Jae-Yeol
    • Transactions of the Korean Society of Machine Tool Engineers
    • /
    • v.15 no.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 (토양수분을 이용한 가뭄평가기법 개발)

  • Shin, Yongchul;Park, KyungWon;Yoon, Sunkwon;Jung, Younghun
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2015.05a
    • /
    • 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 (매립물 특성 조사를 위한 다변량 통계분석 기법의 응용)

  • Kwon, Byung-Doo;Kim, Cha-Soup
    • Journal of the Korean earth science society
    • /
    • v.18 no.6
    • /
    • pp.515-521
    • /
    • 1997
  • To investigate the nature of the waste materials in the Nanjido Landfill, we have conducted multivariate statistical analysis of geophysical data set comprised of magnetic, gravity, LandSat TM thermal band and surface depression measurement data. Because these data sets show different responses to the depth, we have transformed the observed total field magnetic data and gravity data to the residual reduced-to-pole(RTP) magnetic anomalies and the three dimensional density anomalies, respectively, and utilized the informations about the upper shallow part of the landfills only in the following process. For the statistical analysis at the points of depression measurement, the magnetic, density and LandSat data values at these points are determined by interpolation process. Since the multivarite statistical analysis technique utilizes a clustering algorithm for classification of data set and we have measured the dissimilarity between objects by using Euclidean distance, standardization was applied prior to distance calculation in order to eliminate any scaling effects due to different measurement unit of each data set. The hierarchial grouping technique was used to construct the dendrogram. The optimum number of statistical groups(clusters), which are classified on the basis of geophysical and geotechnical characteristics, appeared to be six on the resulting dendrogram. The result of this study suggests that the dimension and nature of the multicomponent waste landfills can be identified by application of the multivarite statistical analysis technique to integrated geophysical data sets.

  • PDF

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

  • 정완진;조진우
    • Transactions of Materials Processing
    • /
    • v.8 no.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