• Proceedings of the Korea Air Pollution Research Association Conference
• /
• 2002.11a
• /
• pp.282-283
• /
• 2002

대기 중에 존재하는 오염물질을 효과적으로 관리 및 규제하기 위해서는 해당 오염물질의 농도를 정확하게 파악하는 것이 기본적인 단계이며 반드시 정확성과 정밀성을 확보해야 한다. 농도의 정확성은 크게 분석 방법과 시료를 채취하는 과정 및 채칠 후 보관상태에 따라 달라질 수 있다. 대기 중 휘발성 유기화합물(VOCs)의 경우 존재하는 농도가 매우 낮아 채취 시 많은 주의를 요구할 뿐만 아니라 이들은 화학적으로 불안정하여 보관 시에도 많은 주의를 기울여야 한다. (중략)

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.31-33
• /
• 2003

기능 검사(function simulation)란 하드웨어 시스템의 설계시 모델의 기능, 성능, 표준 준수 여부, 그리고 다른 상위 수준 조건의 관점에서 그 설계를 분석하는 중요한 설계 흐름이다. 하지만 복잡한 기존의 기능 검사의 절차는 사용자의 요구에 의해 하드웨어 시스템이 점점 복잡해지고 정보산업의 발전에 따라 개발 주기가 점점 빨라지는 시장의 특성으로 인해 설계자에게 많은 시간적 경제적인 부담감을 준다. 본 논문에서는 설계자에게 가중되는 부담을 극복하고 보다 효율적인 하드웨어 시스템의 모델링 및 기능 검사를 위해 오토마타 동치성 검사를 통한 하드웨어 시스템의 논리적 정확성 확인 방법론을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.05a
• /
• pp.195-198
• /
• 2006

실시간 프로그램은 항공기, 선박, 철도 예매 시스템 등 다양한 분야에서 사용되고 있으며, 그 개발자는 논리적, 시간적 정확성을 고려해야 한다. 시간적 정확성은 실시간 프로그램에서 가장 중요한 부분이며, 이를 위한 데드라인은 개발자에 의해 정의된다. 따라서 개발자는 데드라인의 정의를 위하여 기준점을 제시할 수 있는 정적 실행시간 분석이 필요하다. 정적 실행시간 분석에서 프로그램의 반복횟수의 분석은 큰 비중을 차지한다. 기존 연구에서 반복횟수의 분석은 사용자 입력에 의존하였고 현재 반복횟수 분석을 자동화하는 연구가 진행 중이다. 하지만 반복횟수의 분석은 반복횟수에 영향을 주는 제어변수의 결정정책에 따라 결과가 달라진다. 따라서 본 논문에서는 PS-Block구조를 기반으로 반복 횟수에 영향을 주는 제어변수들을 종합적으로 분석하여 보다 정밀하고 사용자의 입력을 자동화하는 반복횟수의 분석이 가능한 방법을 제시한다. 이로써 정적 실행시간 분석은 반복횟수의 정밀한 분석을 통하여 분석 결과의 정확도를 높이고 신뢰성을 향상시킬 수 있다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2014.10a
• /
• pp.122-124
• /
• 2014

Currently mobile game market has expanded rapidly due to the development of smart phone. In addition, mobile web board game has been developed consistently. However, several problems appear in users' usability. That is why the user who plays game do not satisfy in aspect with usability. The objective of this research analyses the factors to investigate the efficiency and the accuracy among usability those in web board game based on smart phone. We conduct to research the efficiency and the accuracy in traditional usability literatures and derive the proper usability factors based on smart phone. We expect to provide the guideline related on usability in mobile board game in the future.

• Proceedings of the KIPE Conference
• /
• 2020.08a
• /
• pp.421-422
• /
• 2020

Hardware In-the-Loop simulation(HIL)은 실제 하드웨어 시스템을 실시간 모사할 수 있는 시뮬레이션 장비로 연구 및 개발 기간의 단축, 비용저감 등의 장점을 앞세워 다양한 전력전자 분야에 사용되고 있다. 실제 하드웨어를 그대로 모사하는 것이 HIL의 목적이기 때문에 HIL 장비는 검증의 실시간성과 출력된 결과의 정확성이 무엇보다도 중요하다고 할 수 있다. 하지만 코어간의 데이터를 주고받는 과정에서 HIL의 연산 속도 및 정확성을 저해하는 요인들이 발생하게 된다. 본 연구에서는 HIL 장비를 이용해 복잡한 시스템을 구현함에 있어서 연산속도 및 정확성을 저해하는 요인들을 찾아내고 이를 해결하기 위한 방법을 제안한다. 제안된 연산속도 개선 및 정확성 개선 방법의 타당성은 프로세서의 연산 속도 변화량, HIL 및 시험 결과 파형의 비교 분석을 통해 검증되었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06c
• /
• pp.133-135
• /
• 2006

실시간 프로그램은 다양한 분야에서 사용되고 있으며, 그 개발자는 논리적, 시간적 정확성을 고려해야 한다. 시간적 정확성은 실시간 프로그램에서 가장 중요한 부분이며, 이를 위한 데드라인은 개발자에 의해 정의된다. 따라서 개발자는 데드라인의 정의를 위하여 기준점을 제시할 수 있는 정적 실행시간 분석이 필요하다. 정적 실행시간 분석에서 프로그램의 반복횟수 분석은 큰 비중을 차지한다. 현재 이러한 반복횟수 분석을 자동화하는 연구가 진행 중이다. 하지만 반복횟수 분석은 반복횟수에 영향을 주는 제어변수의 결정정책에 따라 결과가 달라지고, 자동화를 위한 반복횟수 계산 수식의 적용 범위가 제한되어 있다. 본 논문에서는 이러한 제어변수를 결정 및 탐색하고, 수집된 정보를 개선된 수식을 사용하여 반복횟수 분석을 수행할 수 있도록 PS-Block 구조를 기반으로 반복횟수 분석기를 설계 및 구현하였다. 반복횟수 분석기는 제어변수의 탐색 및 결정 분석 과정을 자동화하고, 수식의 개선으로 자동화 범위를 확대하며, 개별 반복 문 단위의 정밀한 반복횟수 분석을 통해 정확도를 높이고, 신뢰성을 향상시킬 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.442-444
• /
• 2001

프로토콜은 서로 다른 원격 시스템간의 정보 교환을 원활하게 하기 위한 통신 규약이다. 일반적으로 프로토콜은 그 역할상 기능적 정확성이 절대적으로 필요한 대상이지만, 프로토콜 규격은 비형식적 텍스트 서술에 의존하기 때문에 소프트웨어의 설계에서 풀어야할 프로토콜 행위의 모호성과 불완전성을 낳게된다. 따라서, 프로토콜이 구현되기 이전에 프로토콜 규격에 대한 정확성, 완전성, 일관성 등을 조사, 분석하는 프로토콜 검증이 반드시 수반되어야 한다. 본 논문에서는 Telelogic사의 통신 시스템 통합 개발 도구인 SDT를 이용하여 현재 3GPP 진영에서 개발중인 IMT-2000/비동기식 무선 인터페이스 중 RRC 프로토콜을 SDL로 설계하고 정확성을 검증한다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2015.05a
• /
• pp.465-465
• /
• 2015

강우/무강우 정보는 재해의 관점에서는 중요성이 덜하지만 농업, 건설 등의 산업분야나 우리의 일상생활에 큰 영향을 미치는 인자이다. 본 연구에서는 레이더 자료를 이용하여 강우발생을 판단하는데 있어 그 정확성을 살펴보고, 아울러 이를 높이기 위한 방법으로 가강수량의 역할을 평가하였다. 본 연구에서는 관악산 레이더 자료, 관악산 레이더 반경 내 위치한 30개 AWS지점의 강우 자료를 분석하였다. 30개 AWS지점은 관악산 레이더 반경을 전체적으로 포괄할 수 있도록 임의로 선정하였다. 또한, 오산과 백령도 고층기상관측자료를 이용하여 산정한 가강수량을 레이더 강우발생 판단에 적용하여 정확성 개선을 검토하였다. 아울러 본 연구의 결과를 2차원 평면에 나타내어 공간적인 변화를 비교하였다.

• Proceedings of the Korean Society for Information Management Conference
• /
• 2018.08a
• /
• pp.79-82
• /
• 2018

본 연구는 인터넷에서 이용할 수 있는 다양한 종류의 온라인 정보원마다 대학생들이 가지고 있는 인지적 권위가 과제정보 평가에 미치는 영향에 대해 연구하였다. 선행연구를 기반으로 도출된 변인에 따라, 온라인 학술논문, 온라인 사전, 소셜 Q&A, 온라인 사전에 대해 대학생들이 가지고 있는 각각의 인지적 권위가 과제정보의 정확성, 포괄성, 객관성 평가에 미치는 영향을 알아보았다. 분석결과, 온라인 사전, 소셜 Q&A, 온라인 사전의 인지적 권위는 과제정보의 정확성, 포괄성, 객관성 평가에 유의한 영향을 미치는 것으로 나타났으며, 온라인 학술논문의 인지적 권위는 과제정보의 정확성, 포괄성 평가에 유의한 영향을 미치는 것으로 나타났다.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.14 no.4
• /
• pp.775-780
• /
• 2019

Techniques for predicting the future can be categorized into statistics-based and deep-run-based techniques. Among them, statistic-based techniques are widely used because simple and highly accurate. However, working-level officials have difficulty using many analytical techniques correctly. In this study, we compared the accuracy of prediction by applying multinomial logistic regression, decision tree, random forest, support vector machine, and Bayesian inference to marketing related data. The same marketing data was used, and analysis was conducted by using R. The prediction results of various techniques reflecting the data characteristics of the marketing field will be a good reference for practitioners.