• Title/Summary/Keyword: 검증 소프트웨어

Search Result 2,336, Processing Time 0.054 seconds

Pattern Classification of Multi-Spectral Satellite Images based on Fusion of Fuzzy Algorithms (퍼지 알고리즘의 융합에 의한 다중분광 영상의 패턴분류)

  • Jeon, Young-Joon;Kim, Jin-Il
    • Journal of KIISE:Software and Applications
    • /
    • v.32 no.7
    • /
    • pp.674-682
    • /
    • 2005
  • This paper proposes classification of multi-spectral satellite image based on fusion of fuzzy G-K (Gustafson-Kessel) algorithm and PCM algorithm. The suggested algorithm establishes the initial cluster centers by selecting training data from each category, and then executes the fuzzy G-K algorithm. PCM algorithm perform using classification result of the fuzzy G-K algorithm. The classification categories are allocated to the corresponding category when the results of classification by fuzzy G-K algorithm and PCM algorithm belong to the same category. If the classification result of two algorithms belongs to the different category, the pixels are allocated by Bayesian maximum likelihood algorithm. Bayesian maximum likelihood algorithm uses the data from the interior of the average intracluster distance. The information of the pixels within the average intracluster distance has a positive normal distribution. It improves classification result by giving a positive effect in Bayesian maximum likelihood algorithm. The proposed method is applied to IKONOS and Landsat TM remote sensing satellite image for the test. As a result, the overall accuracy showed a better outcome than individual Fuzzy G-K algorithm and PCM algorithm or the conventional maximum likelihood classification algorithm.

Assigning Activity Deadlines based on the Sojourn Time for Efficient Workflow Processing (효율적인 워크플로우 처리를 위한 체재 시간 기반의 액티비티 마감 시간 할당)

  • Kim, Jeong-Hun;Son, Jin-Hyeon;Kim, Myeong-Ho
    • Journal of KIISE:Software and Applications
    • /
    • v.26 no.11
    • /
    • pp.1288-1297
    • /
    • 1999
  • 오늘날 많은 워크플로우 응용들은 마감 시간과 같은 시간 제약 조건들의 효율적인 관리를 요구하고 있다. 이러한 시간 제약성 워크플로우의 가장 중요한 목적들 중의 하나는 마감 시간을 만족하는 워크플로우 인스턴스의 수를 최대화하는 것이다. 시간 제약성 워크플로우 처리의 성능을 개선하기 위해서는 효과적인 액티비티들의 마감 시간 할당 방법이 요구된다. 이에 본 논문에서는 액티비티의 체재 시간과 워크플로우 제어 구조들의 특성을 고려하여 효과적인 마감 시간 할당 방법인 PST를 제안한다. PST는 기존의 방법들과 달리 워크플로우 제어 흐름을 분석하여 액티비티의 마감 시간을 할당하기 때문에 과부하에서도 높은 성능을 지원할 수 있다. 부가적으로 기존의 방법들과 성능 평가를 통해 본 논문에서 제안된 방법의 효용성을 검증한다.Abstract Nowadays, many workflow applications are requiring efficient time management such as deadline. With time-constrained workflows, one of the most important goals is to maximize the number of workflow instances that satisfy the deadline. In this regard, effective deadline assignment mechanisms should be developed to achieve high performance of time-constrained workflow processing. We propose in this paper our novel deadline assignment method called PST based on both an activity's sojourn time and the characteristics of workflow control structures. Because the method allocates the deadline to activities from analyzing the control flow of workflow, it can support good and stable workflow performance even under the high workload. In addition, we validate the usefulness of our proposed method through various experiments.

A Temporal Logic for Specification of Dynamic Systems and Its Verification (동적 시스템 명세를 위한 시제논리언어와 그 검증)

  • Cho, Seung-Mo;Kim, Hyung-ho;Cha, Sung-Deok;Bae, Doo-Hwan
    • Journal of KIISE:Software and Applications
    • /
    • v.29 no.7
    • /
    • pp.450-464
    • /
    • 2002
  • Many modern complex systems, including most object-oriented systems, have dynamic characteristics that their components are dynamical]y configured during run-time. However, few analysis techniques are available that consider the dynamic nature of systems explicitly. We propose a specification and analysis method for these dynamic systems. We design a new temporal logic, called HDTL, to specify the properties of dynamically evolving systems, and tune up the tableau method for this logic. HDTL incorporates variables and quantifiers that enable the automatic analysis. Using HDTL and the analysis method, we can specify the correctness requirements of systems and check whether the system actually agree with the requirements or not. An experiment shows that HDTL is suitable for specifying dynamic properties and the analysis technique works well.

Design and Implementation of a Distributed Audio/Video Stream Service Framework based on CORBA (CORBA 기반의 분산 오디오/비디오 스트림 서비스 프레임워크의 설계 및 구현)

  • Kim, Jong-Hyeon;No, Yeong-Uk;Jeong, Gi-Dong
    • The KIPS Transactions:PartA
    • /
    • v.9A no.2
    • /
    • pp.207-216
    • /
    • 2002
  • This paper present a design and implementation of a distributed audio, Video stream service framework based on CORBA for efficient processing and control of audio/video stream. We design software components which support processing, control and transmission of audio/video streams as distributed objects. For optimization of stream transmission performance, we separate the transmission path of control data and media data. Distributed objects are defined by IDL and implemented using JAVA. And device dependent facilities like media capturing, playing and communication channels are implemented using JMF (Java Media Framework) components. We show a connection establishment and control procedure of streams communication. And for evaluation, we implement a test system and experiment a system performance. Our experiments show that test system has somewhat longer connection latency time compared to TCP connection establishment, but has optimized media transmission time compared to CORBA IIOP. Also test system show acceptable service quality of media transmission.

Detection of Artificial Caption using Temporal and Spatial Information in Video (시·공간 정보를 이용한 동영상의 인공 캡션 검출)

  • Joo, SungIl;Weon, SunHee;Choi, HyungIl
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.1 no.2
    • /
    • pp.115-126
    • /
    • 2012
  • The artificial captions appearing in videos include information that relates to the videos. In order to obtain the information carried by captions, many methods for caption extraction from videos have been studied. Most traditional methods of detecting caption region have used one frame. However video include not only spatial information but also temporal information. So we propose a method of detection caption region using temporal and spatial information. First, we make improved Text-Appearance-Map and detect continuous candidate regions through matching between candidate-regions. Second, we detect disappearing captions using disappearance test in candidate regions. In case of captions disappear, the caption regions are decided by a merging process which use temporal and spatial information. Final, we decide final caption regions through ANNs using edge direction histograms for verification. Our proposed method was experienced on many kinds of captions with a variety of sizes, shapes, positions and the experiment result was evaluated through Recall and Precision.

Korean Learning Assistant System with Automatically Extracted Knowledge (자동 추출된 지식에 기반한 한국어 학습 지원 시스템)

  • Park, Gi-Tae;Lee, Tae-Hoon;Hwang, So-Hyun;Kim, Byeong Man;Lee, Hyun Ah;Shin, Yoon Sik
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.1 no.2
    • /
    • pp.91-102
    • /
    • 2012
  • Computer aided language learning has become popular. But the level of automation of constructing a Korean learning assistant system is not so high because a practical language learning system needs large scale knowledge resources, which is very hard to acquire. In this paper, we propose a Korean learning assistant system that utilizes easily obtainable knowledge resources like a corpus, web documents and a lexicon. Our system has three modules - problem solving, pronunciation marker and writing assistant. Automatic problem generator uses a corpus and a lexicon to make problems with one correct answer and three distracters, then verifies their suitability by utilizing frequency information from web documents. We analyze pronunciation rules for a pronunciation marker and recommend appropriate words and sentences in real-time by using data extracted from a corpus. In experiment, we evaluate 400 automatically generated problems, which show 89.9% problem suitability and 64.9% example suitability.

Image Segmentation of Adjoining Pigs Using Spatio-Temporal Information (시공간 정보를 이용한 근접 돼지의 영상 분할)

  • Sa, Jaewon;Han, Seoungyup;Lee, Sangjin;Kim, Heegon;Lee, Sungju;Chung, Yongwha;Park, Daihee
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.4 no.10
    • /
    • pp.473-478
    • /
    • 2015
  • Recently, automatic video monitoring of individual pigs is emerging as an important issue in the management of group-housed pigs. Although a rich variety of studies have been reported on video monitoring techniques in intensive pig farming, it still requires further elaboration. In particular, when there exist adjoining pigs in a crowd pig room, it is necessary to have a way of separating adjoining pigs from the perspective of an image processing technique. In this paper, we propose an efficient image segmentation solution using both spatio-temporal information and region growing method for the identification of individual pigs in video surveillance systems. The experimental results with the videos obtained from a pig farm located in Sejong illustrated the efficiency of the proposed method.

A GIS-Based Method for Bicycle Route Network Determination Using AHP Analysis in Busan (GIS기반의 계층분석기법(AHP)을 활용한 부산시 자전거도로망 선정에 관한 연구)

  • Son, Eugene;Hwang, In-Sik
    • Journal of the Korean Association of Geographic Information Studies
    • /
    • v.12 no.4
    • /
    • pp.182-190
    • /
    • 2009
  • To solve the problems of traffic congestion, air pollution and energy derived from increased car consumption, people are in recognition of the importance of green mode, bicycle. Bicycle use rate in Busan is lower due to the terrain and limited public transportation accessibility. Therefore, geographical conditions and use activation should be initially considered in the bicycle route planning. We calculated a weight using AHP(Analytic Hierarchy Process), make a database using GIS tool and deduced the routes applying calculated weight in this study. The result of this study, We could get reliable data as inspecting consistency of the research. Routes are deducted in the place where using demand is higher than arbitrarily chosen routes. Therefore, the route planning through AHP is expected to be utilized in area-specialty-reflected route planning or bicycle road alternatives testing.

  • PDF

Effect of Sinuosity on Vertical Distribution of Streamwise Velocity in Open Channel Flow (개수로 흐름에서 사행도가 흐름방향 유속의 연직분포에 미치는 영향)

  • Seo, Il Won;Baek, Donghae
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2015.05a
    • /
    • pp.168-168
    • /
    • 2015
  • 자연하천의 주요한 특징 중 하나인 하천의 사행은 직선수로에서 예측되는 유속분포를 왜곡시키며 매우 복잡한 흐름구조를 형성한다. 이는 하상 경계면에서 발생하는 전단응력 분포의 변화를 야기하는데 하상 경계면에서의 전단응력은 다양한 경험적 관계에 의존하는 유사이동의 한계 소류력 산정 및 오염물질 거동해석의 분산계수 산정에 많은 영향을 미치게 된다. 물리적인 관측을 통한 하상 경계면에서의 전단응력의 관측은 다소 제한적이며 많은 비용을 요구한다. 따라서 하상 경계면에서 발생하는 전단응력의 경우 수심의 20% 이하의 연직 유속분포를 벽법칙에 적용하여 추정하는 방법이 주로 이루어지고 있다. 벽법칙을 이용한 하상 경계면의 전단응력을 계산하는 경우 대수중복층의 유속 분포 $u/u^*=(1/{\kappa})ln(zu^*/{\nu})+B$에서 무차원상수 ${\kappa}$와 B의 적절한 추정이 요구되어 진다. 일반적으로 무차원상수 ${\kappa}$와 B는 수리학적으로 매끄러운 벽면에서 대략 ${\kappa}=0.4$, B=5.5로서 경험적으로 이용되고 있다. 본 연구에서는 직선수로 및 다양한 사행수로의 3차원 흐름장 모의를 수행하여 벽법칙의 대수 중복층을 따르는 주흐름 방향 유속의 연직분포를 비교하였다. 수치모의 소프트웨어로서 Linux 기반의 OpenFOAM이 사용되었으며 모델의 검증을 위해 Chang(1971)에 의해 수행 된 사행수로에서의 유속장 관측 결과와 비교하였고 수치모의 결과가 실험 관측치와 잘 일치하는 것으로 판단되었다. 수치모의에 적용 된 사행수로의 형상은 Hey(1976)에 의해 제안 된 사행하천의 지형학적 인자들 간에 관계를 이용하여 사행도 1.03에서 2.42까지 총 7개의 사행수로 지형을 생성하였다. 사행도의 변화에 따라 만곡부 정점에서 대수중복층 구간의 주흐름 방향 유속의 연직분포를 비교한 결과, 본 연구에서 생성 된 모든 사행수로에서 대수중복층 구간의 무차원 유속 $u^+$와 무차원 거리 $z^+$가 로그 분포를 따르는 것으로 나타났으나 경험적으로 사용되었던 무차원상수 B의 경우 사행도가 증가 할수록 대수적으로 감소하는 경향이 나타났다. 본 연구에서는 이러한 관계가 무차원 상수 B값에 미치는 영향을 반영하여 수리학적으로 매끄러운 벽면에서 적용이 가능한 수정된 대수중복층 식을 제시하고자 한다.

  • PDF

Development and Application of Real-Time Automatic Discharge Measurement System in Small Stream (실시간 소하천 자동유량계측 시스템 개발 및 적용)

  • Kim, Seojun;Yoon, Byungman;Cheong, Taesung;Im, Yunseong
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2019.05a
    • /
    • pp.82-82
    • /
    • 2019
  • 최근 사물인터넷 등의 IT기술의 발전과 함께 수리 계측 분야에서도 자동 유속 및 유량 측정장비들에 대한 연구와 적용이 활발하게 진행되고 있다. 하지만 최근 개발된 자동 유속 측정 장비들은 설치가 어려울 뿐만 아니라 비용이 많이 들기 때문에 쉽게 적용하기가 어려워 극히 소수의 지점에서만 운영 중에 있으며 전국 2만2,823개소에 달하는 소하천에 적용하기에는 무리가 있다. 이와 같은 문제점들을 해결하기 위해 보다 간편하고 경제적인 유속 측정 방법으로 주목을 받고 있는 방법이 표면영상유속계이다. 표면영상유속계는 일반 동영상 촬영 장비와 분석 소프트웨어만 있으면 유속을 측정할 수 있기 때문에 매우 경제적이고, 비접촉식으로 유속을 측정하기 때문에 흐름에 방해를 주지 않을뿐만 아니라 홍수 시 유속 측정의 위험성을 최소화 할 수 있다는 장점이 있어, 유량과 수위가 급격하게 변하는 국내 소하천의 유량측정에 적절하게 대응할 수 있다는 장점이 있다. 이에 본 연구에서는 기존의 표면영상유속계를 실시간 자동유량계측이 가능하도록 시스템화 하여 개선하였다. CCTV 기반의 실시간 소하천 자동유량계측 시스템의 구성은 CCTV, 초음파수위계, 현장제어함체 및 조명으로 구성되어 있고, 현장제어함체에는 CCTV 영상분석 S/W가 설치되어 있으며, 실시간으로 산정한 유속자료와 초음파수위계로 측정한 수위자료를 이용하여 유량을 자동으로 산정하도록 개발하였다. 또한 울주군에 위치한 중선필천에 설치하여 적용성 여부 및 현장검증을 실시하였으며, 2018년 홍수사상에 대한 유량계측을 실시한 결과 표면영상만으로 소하천의 유속을 매우 짧은 시간에 계측할 수 있어 소하천의 급격한 유량 변화를 매우 안정적으로 계측하여 온전한 홍수 사상을 확보 할 수 있었다. 또한, 현장 계측 인력 없이도 CCTV 영상으로 현장상황을 파악할 수 있어 홍수대응 지원도 가능한 장점이 있음을 확인하였다.

  • PDF