• Journal of Internet Computing and Services
• /
• v.22 no.1
• /
• pp.31-39
• /
• 2021

Obtaining delivery addresses from calls is one of the most important processes in TV home shopping business. By automating this process, the operational efficiency of TV home shopping can be increased. In this paper, a method of recognizing and validating road name address, which is the address system of South Korea, from speech oriented text is proposed. The speech oriented text has three challenges. The first is that the numbers are represented in the form of pronunciation. The second is that the recorded address has noises that are made from repeated pronunciation of the same address, or unordered address. The third is that the readability of the resulted address. For resolving these problems, the proposed method enhances the existing address databases provided by the Korea Post and Ministry of the Interior and Safety. Various types of pronouncing address are added, and heuristic rules for dividing ambiguous pronunciations are employed. And the processed address is validated by checking the existence in the official address database. Even though, this proposed method is for the STT result of the address pronunciation, this also can be used for any 3^rd party services that need to validate road name address. The proposed method works robustly on noises such as positions change or omission of elements.

• 한국정보통신설비학회:학술대회논문집
• /
• 2006.08a
• /
• pp.134-140
• /
• 2006

홈 게이트웨이가 가져야 하는 기능에 대한 요구사항을 분석하고 통신사업자의 관점에서, QoS 기능과 IP 주소변환 기능을 중심으로 세부적인 스위칭 칩의 기능과 성능을 규정하였다. QoS 기능, 패킷 필터링 기능, 그리고 IPv6 주소체계 도입 등과 같이 급변하는 네트워크의 요구사항을 유연하게 수용하여, 칩의 기능과 성능을 수정하거나 추가할 수 있도록 패킷프로세서 기반으로 스위칭 칩을 설계하였으며, 홈 게이트웨이의 구성을 단순화하기 위해 스위칭 칩의 패킷 메모리와 룩업 메모리를 칩 내부에 내장하였다. 그리고 칩의 설계를 검증하기 위해 FPGA를 이용하여 6포트 스위칭 칩으로 구현하여 기능 및 성능시험을 수행하였다. NAT, Flow에 따른 패킷 분류 및 패킷 변경, SPQ, DWRR과 같은 스케줄링 등의 시험을 통하여 설계한 칩의 기능과 성능을 확인하였다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.20 no.6
• /
• pp.421-429
• /
• 2019

This study seeks to discuss the effects of social support, acceptance of disability, and the sense of economic stability on the part of parents of children with developmental disabilities who are receiving treatment and training at a child development center has on family function. A survey was given to 252 parents of children who were using the child development center in S city. In the relationship between social support and family function, the mediating effects of the disability acceptance and the social support, the disability acceptance and the family function were used to verify the adjustment effect of the economic stability. The results of this study are as follows. First, as a result of checking the moderating effect of economic stabilization, social support, family function, disability acceptance and family function did not show any effect on economic stability. Second, as a result of verifying whether the relationship between social support and family function is mediated by disability acceptance, disability acceptance partially mediated the relationship between social support and family function. This study is significant in that it provided basic data for the development of a program to help children with developmental disabilities function properly.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2012.07a
• /
• pp.111-112
• /
• 2012

게임의 순기능을 이용해 교육, 훈련, 치료 등의 목적으로 개발된 기능성 게임은 이용자들의 게임 선택을 위해 게임의 품질과 관련된 정확한 정보가 제공되는 것이 중요하다. 기능성게임의 품질을 평가하기 위한 기술적, 비기술적 영역 가운데 비기술적 영역은 기능성게임의 종류를 반영한 요소들로 구성된다. 본 연구는 교육용 기능성 게임의 비기술적 품질 평가 영역을 추출하고 이를 검증하였다. 본 연구를 위해 사용된 방법론은 다른 종류의 기능성 게임의 품질평가 요소 추출을 위한 가이드 역할을 할 것으로 기대된다. 향 후 본 연구의 결과를 이용하여 교육용 기능성 게임의 품질 평가 메트릭을 개발할 예정이다.

• The Bulletin of The Korean Astronomical Society
• /
• v.37 no.2
• /
• pp.228.2-228.2
• /
• 2012

본 논문에서는 탑재체자료전송장치의 시험검증을 위한 장비 개발에 관하여 소개 한다. 원격탐사위성에 탑재되는 고성능원격측정센서는 대용량 데이터를 생성하며 탑재체자료전송장치를 통하여 고주파통신에 의해 지상으로 전송된다. 따라서 탑재체자료전송장치의 검증은 전체 인공위성 개발에 있어서 매우 중요하다. 시험검증장비는 송신되는 수신자료를 수신하여 여러 장비로 분배해주는 고주파신호분배모듈, 계측기 및 복조기 등 다양한 장비로 구성된다. 시험검증장비는 고성능 고주파신호 부품, 다양한 전자장비와 이를 통합, 제어 운영하는 다양한 복잡한 소프트웨어가 필요하여 개발이 어렵다. 본 논문에서는 초기 제작 시험검증장비와 최종 제작 시험검증장비 사이의 차이와 성능, 기능의 향상을 위한 설계변경 등을 통하여 이에 대한 어려움을 극복한 과정과 설계 근거와 장비 선택 등 제반사항에 대하여 기술하여 이후 관련 유사장비의 개발에 있어 도움이 되고자 한다.

• Annual Conference of KIPS
• /
• 2014.11a
• /
• pp.423-426
• /
• 2014

본 논문에서는 MTM(Mobile Trusted Module)과 커널상에 저장된 무결성 검증 파일을 이용하여 스마트폰의 부트로더 이미지 및 커널 이미지, 커널이 로딩되며 실행되는 실행파일, 라이브러리 파일 등의 무결성을 안전하고 효율적으로 검증하는 방법을 제안한다. 부트로더 이미지와 커널 이미지, 외부로부터 악의적으로 변경되거나 수정될 경우 심각한 문제를 일으킬 수 있는 실행 파일이나 라이브러리 파일 등의 무결성 검증은 MTM 을 이용하여 안전하게 처리하고, 그 외 파일들의 무결성 검증은 커널상에 저장된 무결성 검증 파일을 이용하여 처리함으로써 MTM 기반 무결성 검증 기능을 모든 파일에 적용하는 경우에 발생될 수 있는 처리 시간 지연, 성능 저하 등의 문제점을 방지할 수 있다.

• Journal of Applied Biological Chemistry
• /
• v.65 no.4
• /
• pp.343-348
• /
• 2022

This study was performed to establish an analytical method for the standardization of Angelicae Dahuricae Radix as a functional ingredient. We established six compounds including oxypeucedanin hydrate (1), byakangelcol (2), oxypeucedanin (3), imperatorin (4), phellopterin (5) and isoimperatorin (6) as marker compounds of Angelicae Dahuricae Radix. An analytical method using Ultra Performance Liquid Chromatography (UPLC) was established and validated for marker compounds of Angelicae Dahuricae Radix. The specificity was confirmed by the chromatogram from UPLC and the value of coefficient determination was also higher than 0.999, indicating high linearity. The relative standard deviation (RSD) and recovery of marker compounds were less than 5% and in the range of 90- 110%, respectively, which means that this method has high accuracy and precision. Therefore, this analytical method could be used as basic data for the development of functional ingredients for health functional food of Angelicae Dahuricae Radix.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.3
• /
• pp.211-215
• /
• 2009

As Programmable Logic Controllers (PLCs) are increasingly used to implement safety critical systems such as nuclear instrumentation & control system, formal verification for PLC based programs is becoming essential. This paper proposes a formal verification technique for PLC program implemented with function block diagram (FBD). In order to verify an FBD program, we translate an FBD program into a Verilog model and perform model checking using SMV model checker We developed a tool, FBD Verifier, which translates FBD programs into Verilog models automatically and supports efficient and intuitive visual analysis of a counterexample. With the proposed approach and the tool, we verified large FBD programs implementing reactor protection system of Korea Nuclear Instrumentation and Control System R&D Center (KNICS) successfully.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.20 no.6
• /
• pp.331-345
• /
• 2021

Virtual testing is considered a major requirement for the safety verification of autonomous driving functions. For virtual testing, both the autonomous vehicle and the driving environment should be modeled appropriately. In particular, a realistic modeling of the perception sensor system such as the one having a camera and radar is important. However, research on modeling to consistently generate realistic perception results is lacking. Therefore, this paper presents a sensor modeling method to provide realistic object detection results in a MILS (Model in the Loop Simulation) environment. First, the key parameters for modeling are defined, and the object detection characteristics of actual cameras and radar sensors are analyzed. Then, the detection characteristics of a sensor modeled in a simulation environment, based on the analysis results, are validated through a correlation coefficient analysis that considers an actual sensor.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2019.11a
• /
• pp.87-88
• /
• 2019

최근 기계학습 기술의 급속한 발전에 힘입어 자율주행을 위한 객체 인식 및 처리 기술 역시 비약적으로 발전하고 있다. 그러나 이러한 기계학습의 성능은 모델의 구조와 학습용 데이터의 품질에 영향을 받는다. 특히 주행환경을 잘 표현하는 학습데이터가 중요한데 전혀 새로운 도로, 주행환경, 장애물, 정적 혹은 동적 객체 등을 마주하면 정확도와 안정성에서 부정적인 영향을 받을 수 있는 것이다. 해외의 주행 데이터들에 크게 의존하고 있는 우리나라의 현실에 비춰 볼 때 국내 환경에 맞는 학습데이터를 쉽고 효율적으로 확보/관리/분석할 수 있게 하는 환경의 구축이 시급하다. 따라서 본 논문에서는 자율주행을 위한 기계학습 데이터를 효과적으로 관리하고 분석하기 위한 소프트웨어를 설계하고 개발하였다. 구체적으로는 수집된 영상들을 관리하는 기능, 영상에 존재하는 노이즈 제거 및 화질 개선 처리 기능, 학습 및 검증을 위한 메타 정보 태깅 기능, 태깅 정보의 통계적 분석 기능들을 포함한다. 개발한 소프트웨어는 우리나라에서 자체 촬영한 자율주행 학습 영상들에 대해 딥러닝 모델들을 학습하고 검증하는데 활용할 예정이다.