• 한국컴퓨터그래픽스학회논문지
• /
• 제5권1호
• /
• pp.27-33
• /
• 1999

본 논문은 유연한 비정형 물체의 애니메이션을 위한 효율적인 기법을 제안한다. 비정형 물체를 표현하기 위해 질량-스프링 모텔이 사용되었다. 지금까지 많은 기법들이 부드러운 객체의 사실적인 애니메이션을 생성하기 위해 질량-스프링 모델을 사용하였다. 질량-스프링 모텔의 애니메이션을 수행하기 위한 가장 손쉬운 접근법은 명시적 오일러 방법 (explicit Euler method)인데, 이 방법은 '불안정성 문제'라는 잘 알려진 문제가 발생한다는 단점을 가지고 있다. 이 불안정성 문제를 해결하기 위한 해법으로 암시적 적분법이 사용될 수 있다. 그러나, 이 암시적 방법의 가장 결정적인 약점은 대규모의 선행 시스템을 풀어야 한다는 것이다. 본 논문은 암시적 방법의 근사(approximation)를 이용하여 질량-스프링 모델을 빠른 시간에 애니메이션 할 수 있는 기법을 제시한다. 제안된 기법은 n 개의 질점이 O(n) 개의 스프링으로 연결되어 있을 때, 각 질점의 상태를 O(n) 시간에 안정적으로 갱신할 수 있다. 본 논문은 사실적인 결과를 위해 비정형 물체와 공기와의 상호 작용도 고려하였다.

• 정보처리학회논문지C
• /
• 제9C권1호
• /
• pp.31-38
• /
• 2002

교환기 시스템(Switching System)과 같은 통신 시스템에서는 제안된 이벤트들이 반드시 명시된 시간 제약 내에 완료되어야 한다. 따라서, 시스템에 유지되는 응용 데이터들은 빠른 접근이 가능해야 하며, 동시에 제한된 시간 내에 이벤트의 완료가 보장되어야 한다. 현재, 많은 데이터 시스템들이 사용되고 있지만, 이들은 정형화된 구조와 이에 대한 기본적인 연산들만을 제공하고 있다. 최근 통신 응용에서 데이터의 복잡성이 증가함으로서, 기존의 방식과는 달리, 비정형화된 구조의 표현이 가능하며, 이들에 대해 쉽게 접근 가능한 체계가 요구되고 있다. 이를 위해, 본 논문에서는 비정형화된 다중 응용 환경의 모델링에 적합한 데이터 모델을 소개한다. 모델은 데이터세트에 대한 빠른 접근과 필요한 데이터를 쉽게 추출할 수 있는 체계를 제공한다 추가로, 모델의 특징을 명확히 하기 위해 몇몇 세부 알고리즘을 함께 설명한다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제5권11호
• /
• pp.521-526
• /
• 2016

온라인상에서 다루어지는 비정형 텍스트 데이터는 대용량이면서 비구조적 형태의 특성을 가지고 있기 때문에, 기존 관계형 데이터 모델의 저장 방식과 분석 방법만으로는 한계가 있다. 더군다나, 동적으로 발생하는 대량의 소셜 데이터를 활용하여 이용자의 반응을 실시간으로 분석하기란 어려운 상황이다. 이에 본 논문에서는 대용량 비정형 데이터(문서)의 의미를 빠르고, 용이하게 파악하기 위하여 데이터 셋에 대한 사전학습 없이, 문서 내 단어 비중에 따라 자동으로 토픽(주제)이 추출되는 시스템을 설계 및 구현하였다. 제안된 시스템의 토픽 모델링에 사용될 입력 단어는 N-gram 알고리즘에 의하여 도출되어 복수 개의 단어도 묶음 처리할 수 있게 했으며, 또한, 대용량 비정형 데이터 저장 및 연산을 위하여 Hadoop과 분산 인메모리 처리 프레임워크인 Spark 기반 클러스터를 구성하여, 토픽 모델 연산을 수행하였다. 성능 실험에서는 TB급의 소셜 댓글 데이터를 읽어 들여, 전체 데이터에 대한 전처리 과정과 특정 항목의 토픽 추출 작업을 수행하였으며, 대용량 데이터를 클러스터의 디스크가 아닌 메모리에 바로 적재 후, 처리함으로써 토픽 추출 성능의 우수성을 확인할 수 있었다.

• 정보처리학회논문지D
• /
• 제18D권6호
• /
• pp.443-450
• /
• 2011

모델 중심 컴포넌트 기반 개발 방법은 개발 대상 시스템을 하나의 추상컴포넌트로 보고, 재귀적인 컴포넌트의 분화(decomposition)와 정제(refinement) 과정을 통하여 물리적인 컴포넌트를 도출해내는 하향식 개발방식이다. 본 연구에서는 모델 기반 컴포넌트 개발기법을 근간으로 한 컴포넌트 정제 과정에서 정제 전 후의 추상컴포넌트들 간의 행위 일관성을 정형분석하기 위한 모델 변환기를 개발하였다. 이 모델변환기는 컴포넌트의 분화와 정제 전 과정에 걸쳐 사용되어 정제 전 후 컴포넌트 간의 상호작용 오류로 인한 잠재적인 결함을 조기에 발견하고 해결하는데 기여할 수 있다. 본 논문은 추상컴포넌트의 각 구성요소들을 정형검증기 SPIN의 구성요소로 변환하기 위해 사용된 변환방법들과 변환기의 구성요소들을 소개한다. 개발된 변환기는 자동차 거울조종시스템, 무선센서네트워크를 위한 운영체제 등의 사례연구에 적용되어 그 효용성을 입증하였다.

• 한국인터넷방송통신학회논문지
• /
• 제13권5호
• /
• pp.37-47
• /
• 2013

텍스트 마이닝은 비정형화된 텍스트를 분석하여 그 안에 내재된 패턴, 추세, 분포 등의 고급정보들을 추출하는 분야이다. 텍스트 마이닝은 기본적으로 비정형 데이터를 가정하므로 텍스트를 단순화된 모델로 표현하는 것이 필요하다. 현재까지 가장 많이 사용되고 있는 모델은 텍스트를 단순한 단어들의 집합으로 표현한 벡터공간 모델이다. 그러나 최근 들어 단어들의 의미적 관계까지 표현하기 위해 그래프를 이용한 텍스트 표현 모델을 많이 사용하고 있다. 본 논문에서는 텍스트 마이닝을 위한 기존의 연구 중에서 그래프에 기반한 텍스트 표현 모델의 방법들과 그들의 특징들을 기술한다. 또한 그래프 기반 텍스트 마이닝의 향후 발전방향에 대해서도 논한다.

• Agribusiness and Information Management
• /
• 제1권2호
• /
• pp.3-21
• /
• 2009

얼마나 빠른 환경의 변화에 잘 적응하느냐에 따라서 개인과 조직의 성패는 좌우된다. 이러한 환경의 변화에 잘 적응하기 위해서는 정보의 활용이 필수적이다. 본 연구에서는 농장경영체의 정보 활용도 향상을 위한 구체적인 방안을 제시하는데 있다. 이를 위해 설문과 인터뷰조사, 선행사례 조사 등을 실시하고 농장경영에 필요한 의사결정 단계별 정보를 도출하고 이를 제공하기 위한 데이터베이스와 모델 베이스를 제안하였다. 또한 구축된 정보를 잘 활용하는 정보 접근 방법을 병목정보 해결의 시각에서 정형검색과 비정형검색방법을 제시하였다. 이러한 가치사슬적 접근 방법은, 아직 농업분야에서는 보편적인 내용은 아니지만 여타 첨단정보산업과 서비스업에서는 경영체별로 구체화하여 비교적 유용하게 활용하고 있는 방법이다. 본 연구를 바탕으로 품목별로 의사결정 단계별 데이터베이스와 모델베이스가 구축되어 농장경영체가 잘 활용함으로서 불확실성 요인과 변동요인에 잘 대응하여 농업 생산성 향상에 기여할 수 있도록 국가 차원에서 구체적인 시스템적 접근이 필요하다고 본다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2017년도 추계학술발표대회
• /
• pp.428-431
• /
• 2017

기업의 성장성과 기업 주식가치를 매출, 매출원가, 영업이익율 등의 정형데이터와 경제, 경영관련 뉴스 등 비정형 데이터를 토대로 다양한 알고리즘을 활용해 분석하고, 그 결과의 유의성을 검증한다. 주성분회귀분석, 인공신경망, 나이브 베이지안 분류자, 긍/부정 사전분석 모델을 통해 분석된 결과를 검토하여 각 분석모델 별 성능을 확인하고, 기업 성장성 예측을 위해 활용 가능한 모델과 필요한 데이터를 제시한다.

• 컴퓨터교육학회논문지
• /
• 제7권6호
• /
• pp.129-139
• /
• 2004

C4I 시스템과 같이 신뢰성이 강조되는 시스템의 개발에 있어 정형기법의 도입은 개발 과정에서 나타나는 결과물에 대한 검증을 가능케 함으로서 올바른 시스템을 개발하고 있다는 확신을 개발자와 의뢰자 모두에게 기공해준다. 본 논문은 엄밀한 검증이 필요한 컴포넌트를 설계할 때 사용될 수 있는 컴포넌트의 정형명세 기법과 이에 기반한 테스트 방법을 논한다. 특히 상태기반의 기능명세에 대해 미약선조건을 이용하여 분해하는 방법과 이 과정을 통해 생성된 하위명세에 대한 블랙박스 테스트케이스를 생성시키는 방법을 제시한다.

• 한국지진공학회논문집
• /
• 제5권1호
• /
• pp.37-44
• /
• 2001

면진기술은 주로 저층 구조물의 내진설계에서 적용되는 방법으로 건물과 기초사이에 면진장치를 설치하여 상부로 전달되는 지진하중을 효과적으로 감소시킨다. 그러나 이 방법은 중.고층 구조물에 그대로 적용하기에는 여러 가지 기술적 문제가 따르므로, 구보물의 중간층 일부를 분리시켜 상부로 전달되는 지진력을 감소시킬 수 있을 것이다. 본 노문에서는 저층 뿐만 아니라, 중.고층 정형구조물의 주상복합건물과 같은 비정형 구조물에 대하여 구조물의 중간층 일부를 비선형 면진장치로 면진시키고 그 효과를 분석하였다. 이러한 중간층 면진 구조물의 경우, 고정기초 구조물에 비하여 적은 층간변위나 층전단력이 발생하였으며, 특히 주상복합건물에서 상당한 효과를 볼 수 있었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (B)
• /
• pp.427-429
• /
• 2005

원자력 발전소의 제어 시스템은 safety-critical 소프트웨어로서 안정성이 중요시되는 시스템이다. 최근 기존의 시스템이 PLC 기반의 디지털 제어장치로 대체되면서 이에 사용되는 소프트웨어의 안정성과 품질을 보장하기 위한 정형검증 기법이 요구되고 있다. 특히 PLC 프로그램의 설계에 사용되는 FBD의 모델체킹을 통한 정형검증에 대한 연구는 미비한 수준이다. VIS 검증기는 위의 요구에 부합하는 도구로서 이를 사용하면 여러 종류의 정형 검증이 가능하다. 본 논문에서는 VIS를 이용한 FBD의 검증을 위해서 FBD를 Verilog로 변환 하는 기법을 제안한다. 제안하는 방법의 효율성을 검증하기 위해서 현재 KNICS 사업단에서 개발중인 APR-1400용 원자로 보호 시스템의 운전정지회로를 예로 사용하였다.