• The Transactions of the Korea Information Processing Society
• /
• v.13 no.6
• /
• pp.243-250
• /
• 2024

Biomimetic robots, which emulate characteristics of biological entities such as birds or insects, have the potential to offer a tactical advantage in surveillance and reconnaissance in future battlefields. To effectively utilize these robots, it is essential to develop technologies that emulate the wing flapping of birds or the movements of cockroaches. However, this effort is complicated by the challenges associated with securing the necessary hardware and the complexities involved in software development and validation processes. In this paper, we presents the design and implementation of a multi-HILS based biomimic robot software validation testbed using modeling and simulation (M&S). By employing this testbed, developers can overcome the absence of hardware, simulate future battlefield scenarios, and conduct software development and testing. However, the multi-HILS based testbed may experience inter-device communication delays as the number of test robots increases, significantly affecting the reliability of simulation results. To address this issue, we propose the data distribution service priority (DDSP), a priority-based middleware. DDSP demonstrates an average delay reduction of 1.95 ms compared to the existing DDS, ensuring the required data transmission quality for the testbed.

• Journal of the Korea Society for Simulation
• /
• v.27 no.2
• /
• pp.101-114
• /
• 2018

Several different approaches and mechanisms are introduced to solve the UAV path planning problem. In this paper, we designed and implemented an agent-based simulation software using the Repast platform and Java Genetic Algorithm Package to examine an evolutionary path planning method by implementing and testing within the Repast environment. The paper demonstrates the life-cycle of an agent-based simulation software engineering project while providing a documentation strategy that allows specifying autonomous, adaptive, and interactive software entities in a Multi-Agent System. The study demonstrates how evolutionary path planning can be introduced to improve cognitive agent capabilities within an agent-based simulation environment.

• Proceedings of the Korean Society for Bioinformatics Conference
• /
• 2004.11a
• /
• pp.296-306
• /
• 2004

LC/MS를 이용하여 펩타이드 혹은 단백질 같은 물질을 분석하는 실험이 급격히 늘어남에 따라 LC/MS 데이터를 자동으로 처리하는 기술에 대한 요구가 커지고 있다. 이러한 LC/MS 데이터의 자동 분석 기술에 대한 연구는 현재 활발히 진행되어 왔고, 이를 직접 구현한 여러 상용 소프트웨어들이 개발되어 있는 상태이다. LC/MS 데이터는 noise 제거, background 데이터 제거, deconvolution 알고리즘을 적용한 분자량(molecular weight) 할당 등의 작업을 거쳐 분석하게 된다. 이러한 과정을 거쳐 얻어진 분자량에 대한 데이터가 올바른 값인지 검증하는 작업이 필요하다. 본 논문에서는 이러한 검증 작업과 관련하여 Peak Clustering and Fitting(이하 PC&F)에 대한 알고리즘을 제안한다. PC&F은 peak 데이터들이 지니고 있는 속성에 대한 Mahalanobis distance를 이용하여 peak 데이터를 각 retention time에 따라 clustering 분석을 하는 작업이다. 본 논문에서 제안하는 PC&F 알고리즘을 Microsoft Visual C++ 6.0 MFC 환경에서 직접 개발한 소프트웨어(PeakClusterFitLCMS)로 실험하였다. 실험결과 PC&F 작업을 통해 동일한 구성물질로부터 발생한 peak 데이터를 모아서 보다 신뢰할 수 있는 분자량을 구할 수 있었고, 구성물질에 의해 발생되지 않은 noise peak 데이터를 찾아 제거시킬 수 있음을 확인할 수 있었다.

• Journal of Korean Society of Steel Construction
• /
• v.23 no.1
• /
• pp.113-124
• /
• 2011

This study concerned the interoperability between the structural-analysis model and the default detail model in steel structures available for the structural-design process based on BIM. The purpose of the study was to develop an interface module that can perform data conversion between the analysis and design applications and the BIM applications, through the dotnet frame work development environment using OpenAPI provided by the BIM application vendor. The direct-link method was applied for BIM interoperability. A basic-frame model for detail design and modeling was created from the structural-analysis model to verify if the application was developed. Finally, the proposed process was compared with the existing process to verify the efficiency of the former.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2005.11a
• /
• pp.261-264
• /
• 2005

방송의 디지털화는 고품질 A/V 서비스 뿐만 아니라 데이터 방송과 같은 새로운 서비스를 제공한다. 지상파 및 케이블 방송에서는 A/V, 데이터 정보와 함께 서비스 제공을 위해 필요한 프로그램 관련 정보를 제공하는 방송 정보를 검증하기 위해 PSIP 분석기를 사용한다. 그러나 현재의 PSIP 분석기는 고가의 하드웨어장비가 대부분으로 설치 및 사용이 어렵고, 방송 매체에 종속적이며, 제약사항이 많아 관련 연구에 많은 어려움을 주고 있다. 이와 같은 문제를 해결하기 위해서는 설치 및 사용이 편리하고, 매체 비종속적이며, 기능의 확장 및 다양한 응용성을 가지는 소프트웨어기반 분석기가 요구되고 있다. 또한 매체별로 존재하는 PSIP 분석기 구매에 대한 비용 부담이 커지면서 다양한 매체를 동시에 지원할 수 있는 통합형 분석기가 요구되고 있다. 본 논문에서는 하드웨어 기반의 PSIP 분석기가 가지고 있는 기존의 문제점을 해결하고, 지상파 및 케이블 방송 매체의 구분 없이 방송 정보를 실시간으로 분석 및 검증할 수 있는 소프트웨어 기반의 통합형 PSIP분석기의 개발에 관하여 기술한다.

• Proceedings of the KIEE Conference
• /
• 2007.10a
• /
• pp.305-306
• /
• 2007

본 논문은 차세대 원전 신고리 #3, 4호기 NSSS(Nuclear Steam Supply System) 제어계통의 검증시스템을 개발하기 위한 설계개념에 관한 것이다. 차세대 원전 신고리 #3, 4호기는 KHNP(Korea Hydro & Nuclear Power Co., Ltd.)가 개발한 APR1400(Advanced Power Reactor 1400 [MWe])을 적용하는 최초의 원자력 발전소이다. APR1400은 3세대 원자력발전소로 인정받고 있으며, APR1400 원자력발전소의 안전한 운영을 위하여 I&C(Instrumentation and Control)시스템이 디지털 표준 플랫폼으로 설계되었다[2]. 특히, 차세대 원전 신고리 #3, 4호기의 비안전계통(제어 감시 및 경보계통)은 WEC (Westinghouse Electric Company)의 DCS(Distributed Control System) 상용 단일 플랫폼으로 구성될 예정이다. 우리는 신고리 #3, 4호기의 제어계통 중에서 NSSS(Nuclear Steam Supply System) 제어계통의 검증시스템을 개발하기 위하여 Stimulated Simulator의 방법론을 적용하여 "Simulator"라는 설계 개념을 정립하였다. 현재 원자력발전소 NSSS 제어계통의 DCS Stimulator 개발을 위하여 차세대 원전 신고리 #3, 4호기에 시설될 WEC의 DCS와 Simulation 서버 그리고 I/O 설비를 구축 중에 있으며, 원자력발전소 현장 기기 모델링 소프트웨어와 I/O 설비간의 인터페이스를 위한 동신 소프트웨어도 개발하고 있다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2019.01a
• /
• pp.5-6
• /
• 2019

Edge Computing에서 발생하는 데이터 분석에 대한 알고리즘의 성능 평가나 검증은 필수적이다. 이러한 평가 및 검증을 위해서는 비교 가능한 데이터가 필요하다. 본 논문에서는 Edge Computing에서 발생하는 데이터에 대한 분석 결과 및 Computing Resource에 대한 성능평가를 위해 Cloud 기반의 빅 데이터 분석시스템을 구축한다. Edge Computing 비교분석 빅 데이터 시스템은 실제 IoT 노드에서 Edge Computing을 수행할 때와 유사한 환경을 Cloud 상에 구축하고 연구되는 Edge Computing 알고리즘을 Data Analysis Cluster Container에 탑재해 분석을 시행한다. 그리고 분석 결과와 Computing Resource 사용률 데이터를 기존 IoT 노드 Edge Computing 데이터와 비교하여 개선점을 도출하는 것이 본 논문의 목표이다.

• Annual Conference of KIPS
• /
• 2010.11a
• /
• pp.1595-1598
• /
• 2010

임베디드 시스템의 설계 복잡도가 높아지고, 설계 확인 및 수정 비용이 증가하면서 목표 아키텍처가 결정되기 전, 즉 시스템의 설계 초기 단계에서의 적절한 소프트웨어 검증이 더욱 더 중요해지고 있다. 이러한 초기 단계의 시뮬레이션은 높은 성능을 보이면서도 기능과 타이밍, 하드웨어 아키텍처, 태스크 할당, 그리고 스케줄링 정책 등을 잘 반영해야 한다. 특히 외부와의 시간 의존적인 상호 작용이 있는 경우 이를 반영하는 것은 어려운 문제인데 기존 연구[1]에서는 반복 시뮬레이션을 통해 이를 반영할 수 있도록 하였으나, 시뮬레이션 결과의 수렴 속도에 따라 총 시뮬레이션 시간이 증가한다는 약점이 있었다. 본 연구에서는 시스템의 명세 조건에 따라, 가능한 경우 반복 시뮬레이션을 피하고 단일 시뮬레이션만으로 시뮬레이션 결과를 얻음으로써 시뮬레이션 시간을 크게 단축할 수 있는 방법을 제시하였다. 연구의 결과는 반복 시뮬레이션 예제, 로봇 예제, 센서 네트워크 예제 등의 예제를 통해 검증되었으며 시뮬레이션 성능은 평균적으로 약 2.31 배 향상되었다.

• Journal of Broadcast Engineering
• /
• v.11 no.1 s.30
• /
• pp.66-79
• /
• 2006

As constant development of digital broadcasting and data broadcasting system, new technology will be introduced to digital broadcasting and new broadcasting service will be appeared. These services need to be changed and processed to suit each services and the software of the receiver need to be upgraded. Though, generally the digital broadcasting receivers are not getting updated once it's delivered to home for long time and it need to be done by hand or collected each one of them with trouble. Therefore this paper suggests a way to overcome these difficulties via broadcasting stream. This research is to describe how three modules-namely (1) Downloader, downloads new software from data carrousel stream, (2) Update Loader, installs the software received by downloader; and (3) Recoverer, recovers the former version of the software if some serious problem has been occurred during downloading and installing the software. This paper tries to realize the accommodation of terrestrial STB based on the new technique and service following ATSC A-97 agreement.

• Journal of Venture Innovation
• /
• v.7 no.2
• /
• pp.143-152
• /
• 2024

Recently, as a lot of software with AI functions has been developed, the number of software products with various prediction functions is increasing, and as a result, the importance of software quality has increased. In particular, as consideration for functional safety of products with AI functions increases, software quality management is being conducted at a national level. In particular, the GS Quality Certification System is a quality certification system for software products that is being implemented at the national level, and the GS Certification System is also researching quality evaluation methods for AI products. In this study, we attempt to present an evaluation model that satisfies the basic conditions of software quality based on international standards among the various quality evaluation models presented to verify software reliability. Considering the software quality characteristics of the artificial intelligence sector, we study quality evaluation models, diagnose quality, and predict failures. .In this study, we propose an international standard model for artificial intelligence based on the software reliability growth model, present an evaluation model, and present a method for quality diagnosis through the model. In this respect, this study is considered to be important in that it can predict failures in advance and find failures in advance to prevent risks by predicting the failure time that will occur in software in the future. In particular, it is believed that predicting failures will be important in various safety-related software.