• Title/Summary/Keyword: Verification Algorithm

검색결과 1,143건 처리시간 0.028초

Design of Integrated Management System for Electronic Library Based on SaaS and Web Standard

  • Lee, Jong-Hoon;Min, Byung-Won;Oh, Yong-Sun
    • International Journal of Contents
    • /
    • 제11권1호
    • /
    • pp.41-51
    • /
    • 2015
  • Management systems for electronic library have been developed on the basis of Client/Server or ASP framework in domestic market for a long time. Therefore, both service provider and user suffer from their high cost and effort in management, maintenance, and repairing of software as well as hardware. Recently in addition, mobile devices like smartphone and tablet PC are frequently used as terminal devices to access computers through the Internet or other networks, sophisticatedly customized or personalized interface for n-screen service became more important issue these days. In this paper, we propose a new scheme of integrated management system for electronic library based on SaaS and Web Standard. We design and implement the proposed scheme applying Electronic Cabinet Guidelines for Web Standard and Universal Code System. Hosted application management style and software on demand style service models based on SaaS are basically applied to develop the management system. Moreover, a newly improved concept of duplication check algorithm in a hierarchical evaluation process is presented and a personalized interface based on web standard is applied to implement the system. Algorithms of duplication check for journal, volume/number, and paper are hierarchically presented with their logic flows. Total framework of our development obeys the standard feature of Electronic Cabinet Guidelines offered by Korea government so that we can accomplish standard of application software, quality improvement of total software, and reusability extension. Scope of our development includes core services of library automation system such as acquisition, list-up, loan-and-return, and their related services. We focus on interoperation compatibility between elementary sub-systems throughout complex network and structural features. Reanalyzing and standardizing each part of the system under the concept on the cloud of service, we construct an integrated development environment for generating, test, operation, and maintenance. Finally, performance analyses are performed about resource usability of server, memory amount used, and response time of server etc. As a result of measurements fulfilled over 5 times at different test points and using different data, the average response time is about 62.9 seconds for 100 clients, which takes about 0.629 seconds per client on the average. We can expect this result makes it possible to operate the system in real-time level proof. Resource usability and memory occupation are also good and moderate comparing to the conventional systems. As total verification tests, we present a simple proof to obey Electronic Cabinet Guidelines and a record of TTA authentication test for topics about SaaS maturity, performance, and application program features.

증류탑을 위한 머신러닝 기반 플랫폼 개발 (Development of Machine Learning-Based Platform for Distillation Column)

  • 오광철;권혁원;노지원;최영렬;박현도;조형태;김정환
    • Korean Chemical Engineering Research
    • /
    • 제58권4호
    • /
    • pp.565-572
    • /
    • 2020
  • 본 연구는 증류탑 분리공정 시스템 최적화를 위하여 인공지능 머신러닝이 적용된 소프트웨어 플랫폼을 개발하였다. 증류탑 분리공정은 석유화학 산업의 대표적이고 핵심적인 공정이다. 하지만 다양한 운전조건과 연속식공정 특성으로 인하여 안정적인 운전이 어려우며 운전자 숙련도에 의하여 공정효율에 차이가 발생된다. 이를 해결하기 위하여 이론적 시뮬레이션을 활용한 제어방법이 개발되어 사용되고 있지만 특수하거나 복잡한 반응이 포함된 공정에는 적용이 어려우며, 거대한 시스템에 대하여 분석이 이루어질 경우 계산비용 증대로 인하여 실시간 제어와 연동이 어려운 한계점을 지니고 있다. 따라서 본 연구에서는 이러한 문제점을 해결하기 위하여 머신러닝을 기반으로 한 경험적 시뮬레이션 모델을 개발하고 이를 통하여 최적의 공정운영방법을 제시하고자 한다. 경험적 시뮬레이션 개발은 실제 공정에서 수집된 빅 데이터, 데이터마이닝을 통한 특성추출, 공정을 대표하는 데이터 선별, 화학공정 특성에 맞는 모델 선정으로 이루어졌으며, 현장검증 및 테스트를 통하여 증류탑 분리공정 플랫폼이 개발되었다. 최종적으로 개발된 플랫폼을 통하여 운전 조작변수의 예측이 가능하며, 최적화된 운전조건을 제공하여 효율적인 공정운영을 달성할 수 있다. 본 논문은 머신러닝 기법을 화학공정에 적용한 기초연구로서 이후 다양한 공정에 적용하여 4차 산업의 스마트 팩토리의 초석이 되어 널리 활용될 수 있을 것이라 판단된다.

무인이송로봇기반 자동 소사료 공급 시스템 개발 및 검증 (Development and Verification of the Automated Cow-Feeding System Driven by AGV)

  • 안성수;이용찬;유지훈;이연정
    • 한국산학기술학회논문지
    • /
    • 제18권3호
    • /
    • pp.232-241
    • /
    • 2017
  • 본 논문에서는 대형화되고 기업화되어가고 있는 국내 축산농가를 위한 AGV와 스크류컨베이어 기반의 자동 소사료 공급시스템에 대해 소개한다. 제안된 자동 소사료 공급시스템은 최상단에 펠렛형 혼합 사료가 적재되는 호퍼부, 호퍼부에서 펠렛형 혼합사료를 배출부로 이송시키는 스크류컨베이어를 장착한 이송부, 벨트컨베이어로 구성된 배출부 및 시스템 이동을 위한 전자 유도선 주행방식의 AGV로 구성되어있다. 적재된 사료 무게는 이송부의 하부에 위치한 로드셀에 의해 측정된다. 개별 우사 셀에 설치되는 RFID TAG에 미리 저장된 사료 배출정보를 시스템이 읽어 정해진 양만큼의 사료를 시스템이 주행하면서 배출하게된다. 공급 배출 테스트시스템을 제작하여 사료의 공급 능력을 결정짓는 사료 이송부의 스크류 외경, 스크류 샤프트 외경, 스크류 피치 간격 등을 포함하는 스크류컨베이어 설계인자 도출을 하였으며 도출된 설계인자들을 최종 공급시스템 제작 시에 적용하였다. 사료 급이시스템을 제어하기 위해 DSP기반의 주제어기 및 공급시나리오에 따른 급이알고리듬도 함께 개발되었다. 실험을 통해 국내 우사에 사료공급조건을 만족시키기 위해 설정된 목표인 5 m의 거리를 0.1 m/sec의 속도로 주행하면서 7 마리가 수용되는 한 개의 우사에 필요한 총 21 kg의 사료를 초당 420 g으로 균일하게 공급이 가능함을 확인하여 개발된 축우용 무인사료공급시스템이 규격화된 국내 축산농가에 적용될 수 있는 가능성을 확인하였다.

유역유출 및 수질모의에 관한 SWMM의 자동 보정 모듈 개발 (Development on an Automatic Calibration Module of the SWMM for Watershed Runoff Simulation and Water Quality Simulation)

  • 강태욱;이상호
    • 한국수자원학회논문집
    • /
    • 제47권4호
    • /
    • pp.343-356
    • /
    • 2014
  • SWMM은 홍수유출 해석, 유역유출 연속모의, 수질모의가 가능한 모형으로서 전세계적으로 널리 사용되고 있는 모형이다. 하지만 유역유출 연속모의와 수질모의에는 다수의 불명확한 매개변수가 포함되어 있으므로 이는 SWMM의 사용에 제약이 되고 있다. 본 연구의 목적은 SWMM을 이용한 유역유출 연속모의와 수질모의의 정확도를 높이고 효율성을 향상시킬 수 있도록 자동 보정 모듈을 개발하는 것이다. SWMM의 자동 보정 모듈은 전역최적화 알고리즘인 집합체 혼합진화 알고리즘과 SWMM을 연계하고, SWMM 내 추정대상 매개변수의 선정 및 적절한 탐색 범위를 설정함으로써 개발되었다. 개발된 자동 보정 모듈의 적절성은 동향 수위관측소 유역에 대하여 구성된 유역유출 및 수질모의 모형의 보정 및 검증을 통해 검토되었다. 그 결과, 자동 보정 모듈을 통해 보정된 모형은 유역의 유출현상을 매우 잘 모사하였고, 수질의 경우에도 비교적 양호한 결과를 도출하였다. 개발된 자동 보정 모듈은 향후 유역유출 모의와 수질해석에 관한 다양한 연구와 설계 등에 활용될 수 있을 것이다.

일반국도의 지점 및 구간검지기 자료의 융합을 통한 통행시간 추정 알고리즘 개발 (A Link Travel Time Estimation Algorithm Based on Point and Interval Detection Data over the National Highway Section)

  • 김성현;임강원;이영인
    • 대한교통학회지
    • /
    • 제23권5호
    • /
    • pp.135-146
    • /
    • 2005
  • 현재까지 다양한 검지기로부터 추정되는 통행시간의 융합에 관한 연구는 주로 GPS, Probe 자료 등 간헐적인 자료에 기반하여 이루어져 왔다. 이러한 간헐적 자료의 분산비에 기초한 융합모형은 번호판 인식 AVI와 같이 다량의 자료 구득이 용이한 시스템에는 적합하지 않다. 따라서, 본 연구는 지점검지기와 번호판 인식 AVI를 기반으로 각각 산출한 통행시간의 융합모형을 개발하고자 수행되었다. 본 연구에서는 지점검지기와 번호판인식 AVI 통행시간의 융합을 위해 최적화 융합모형과 비례화 융합모형을 각각 개발하였다. 검증 결과, 최적화 융합모형이 가장 우수한 추정력을 보여주었다. 최적화 융합모형은 실시간 이력자료를 기반으로 융합 가중치를 산정하여 현재 시간대에 적용하는 실시간 차원의 동적 융합비 예측 모형이다. 본 연구결과는 향후 국도교통관리 및 정보제공시스템에 유용하게 적용될 것으로 기대된다. 그러나, 향후 AVI의 적정설치간격과 설치차로에 따른 매칭율을 고려한 보다 심도있는 연구를 필요로 한다.

ASIC 설계의 효과적인 검증을 위한 에뮬레이션 시스템 (An Emulation System for Efficient Verification of ASIC Design)

  • 유광기;정정화
    • 전자공학회논문지C
    • /
    • 제36C권10호
    • /
    • pp.17-28
    • /
    • 1999
  • 본 논문에서는 ASIC 설계 회로를 빠른 시간 내에 구현 및 검증할 수 있는 에뮬레이션 시스템 ACE(ASIC Emulator)를 제안한다 ACE는 EDIF 번역기, 라이브러리 변환기, 기술 맵퍼, 회로 분할기, LDF 생성기를 포함하는 에뮬레이션 소프트웨어와 에뮬레이션 보드, 논리 분석기를 포함하는 에뮬레이션 하드웨어로 구성된다. 기술 맵퍼는 회로 분할과 논리 함수식 추출, 논리 함수의 최소화, 논리 함수식의 그룹핑의 세 과정으로 이루어지며, 같은 기본 논리 블록에 할당되는 출력의 적항과 변수들을 많이 공유하게 하여 기본 논리 블록 수와 최대 레벨 수를 최소화한다. 에뮬레이션 보드의 배선 구조와 FPGA 칩이 갖는 제한 조건들을 만족시키면서 서로 다른 칩 사이에 연결된 신호선 뿐만 아니라 서로 다른 그룹 사이에 연결된 신호선 수의 최소화를 목적 함수로 하는 새로운 회로 분할 알고리듬을 제안한다 여러 FPGA 칩으로 구성된 에뮬레이션 보드는 완전 그래프와 부분 그래프를 결합한 새로운 배선 구조로 회로의 크기에 관계없이 칩 사이의 지연 시간을 최소화하도록 설계하였다. 논리 분석기를 이용하여 구현된 회로에서 검증을 원하는 내부신호에 대한 파형을 PC의 모니터로부터 관측할 수 있다. 제안한 에뮬레이션 시스템의 성능을 평가하기 위하여 상용 회로중 하나인 화면4분할기 회로를 에뮬레이션 보드상에 설계하여 동작 시간과 기능을 확인한 결과, 14.3MHz의 실시간 동작과 함께 기능이 완전함을 확인할 수 있었다.

  • PDF

멀티채널 비음수 행렬분해와 정규화된 공간 공분산 행렬을 이용한 미결정 블라인드 소스 분리 (Underdetermined blind source separation using normalized spatial covariance matrix and multichannel nonnegative matrix factorization)

  • 오순묵;김정한
    • 한국음향학회지
    • /
    • 제39권2호
    • /
    • pp.120-130
    • /
    • 2020
  • 본 논문은 블라인드 소스 분리 분야에서 널리 사용되는 멀티채널 비음수 행렬 분해 기법의 단점을 개선하여 미결정 복잡한 혼합 환경에서 문제를 해결한다. 공간 공분산 행렬에 기반을 둔 기존의 연구들에서, 단일 채널의 파워게인 및 상관관계와 같은 값으로 구성된 행렬의 각 요소는 높은 분산으로 인해 분리된 소스의 품질을 저하시키는 경향이 있다. 이 논문에서는 추정된 소스들을 효과적으로 클러스터링하기 위해 레벨 및 주파수 정규화를 수행한다. 따라서 새로운 공간 공분산 행렬 및 효과적인 클러스터 쌍별 거리함수를 제안한다. 본 논문에서는 제안된 행렬을 공간 모델의 초기화에 활용하여 공간 모델의 향상된 추정과 이를 바탕으로 상향식 접근법에서의 계층적 응집 클러스터링에 활용함으로써 분리된 음원의 품질을 향상시켰다. 제안된 알고리즘은 'Signal Separation Evaluation Campaign 2008 development dataset'을 활용하여 실험을 하였다. 그 결과 객관적인 소스 분리 품질 검증 도구인 'Blind Source Separation Eval toolbox'를 활용하여 대부분의 성능향상지표에서의 향상을 확인하였으며, 특히 대표적인 수치인 SDR의 1 dB ~ 3.5 dB 정도의 성능우위를 검증하였다.

스펙트럼분석 기반의 미기상해석모듈 평가알고리즘 제안 및 시계열 군집분석에의 응용 (A spectrum based evaluation algorithm for micro scale weather analysis module with application to time series cluster analysis)

  • 김혜중;곽화륜;김유나;최영진
    • Journal of the Korean Data and Information Science Society
    • /
    • 제26권1호
    • /
    • pp.41-53
    • /
    • 2015
  • 기상분야에서는 다양한 미기상해석모듈 (micro scale weather analysis module)을 개발하여 초고분해능의 기상정보서비스를 실시간으로 제공하고자 노력하고 있다. 이와 같은 연구들은 최근 대도시의 양적인 팽창으로 인해 발생되는 도시 미기상 (micro meteorology)의 급격한 변화에 효과적으로 대처할 수 있는 경제적 사회적 활동을 가능케 한다. 따라서 미기상해석모듈의 정확성은 도시 미기상정보서비스의 품질 및 효용성에 직결된다. 본 논문은 미기상해석모듈이 생성하는 시-공간적인 특성을 가진 양적인 결과물의 정확성에 대한 평가체계를 설계하였다. 이와 더불어 평가체계의 구성에 사용될 평가도구로써 시계열평균의 동일성검정 알고리즘을 스펙트럼 분석기법으로 구축하였으며, 동일성 검정통계의 함수를 거리측도로 사용하는 시계열 군집분석법도 함께 개발하였다. 또한, 사례연구를 통해 제안된 군집분석법과 평가알고리즘의 유용성을 보였다.

장르 판별 알고리즘을 이용한 책 장르 시각화 (Book Genre Visualization based on Genre Identification Algorithm)

  • 김효영;박진완
    • 한국콘텐츠학회논문지
    • /
    • 제12권5호
    • /
    • pp.52-61
    • /
    • 2012
  • 텍스트 시각화는 데이터 시각화의 한 분야로, 방대한 텍스트 데이터에 대한 다양한 분석 기법을 바탕으로 텍스트의 내용적 측면은 물론 구조적, 형식적 측면을 시각적으로 재현(represent)해내는 방법에 관한 연구이다. 본 연구에서는 이러한 텍스트 시각화 연구의 일환으로, 서적이 갖는 장르적 특성을 서적 본문에 직접 사용된 단어들을 바탕으로 파악해낼 수 있는 방법에 대해 고찰하고, 실험을 통한 검증을 바탕으로 서적 장르 시각화의 요소를 도출한 후, 이를 직관적이고 효율적으로 시각화하는 방법에 대해 서술하였다. 본 연구에서 제안하는 시각화는 첫째, 책에 직접 사용된 단어를 토대로 책의 실질적 장르를 파악할 수 있으며, 둘째, 시각화 결과 이미지를 통해 해당 서적이 어떤 장르와 가장 가까운지 한 눈에 파악할 수 있을 뿐 아니라, 한 책이 갖는 복합 장르적 특성을 알 수 있도록 해주고, 이미지 내의 점(dot)의 개수와 곡선의 곡률, 밝기 등을 통해 대표 장르로 파악된 장르의 근접도(유사도)를 짐작할 수 있다는 점에서 그 의의를 갖는다. 나아가 개별 소비자 자신이 선호하는 서적들에 대한 적용을 통해 개인별 선호 서적(또는 장르) 이미지를 제공하는 등 서적 추천 시스템과 같은 북 커스터마이징(book customizing)과 같은 분야에도 다양하게 활용될 수 있다.

Practical Virtual Compensator Design with Dynamic Multi-Leaf Collimator(dMLC) from Iso-Dose Distribution

  • Song, Ju-Young;Suh, Tae-Suk;Lee, Hyung-Koo;Choe, Bo-Young;Ahn, Seung-Do;Park, Eun-Kyung;Kim, Jong-Hoon;Lee, Sang-Wook;Yi, Byong-Yong
    • 한국의학물리학회:학술대회논문집
    • /
    • 한국의학물리학회 2002년도 Proceedings
    • /
    • pp.129-132
    • /
    • 2002
  • The practical virtual compensator, which uses a dynamic multi-leaf collimator (dMLC) and three-dimensional radiation therapy planning (3D RTP) system, was designed. And the feasibility study of the virtual compensator was done to verify that the virtual compensator acts a role as the replacement of the physical compensator. Design procedure consists of three steps. The first step is to generate the isodose distributions from the 3D RTP system (Render Plan, Elekta). Then isodose line pattern was used as the compensator pattern. Pre-determined compensating ratio was applied to generate the fluence map for the compensator design. The second step is to generate the leaf sequence file with Ma's algorithm in the respect of optimum MU-efficiency. All the procedure was done with home-made software. The last step is the QA procedure which performs the comparison of the dose distributions which are produced from the irradiation with the virtual compensator and from the calculation by 3D RTP. In this study, a phantom was fabricated for the verification of properness of the designed compensator. It is consisted of the styrofoam part which mimics irregular shaped contour or the missing tissues and the mini water phantom. Inhomogeneous dose distribution due to the styrofoam missing tissue could be calculated with the RTP system. The film dosimetry in the phantom with and without the compensator showed significant improvement of the dose distributions. The virtual compensator designed in this study was proved to be a replacement of the physical compensator in the practical point of view.

  • PDF