• Journal of Information Processing Systems
• /
• 제12권2호
• /
• pp.263-274
• /
• 2016

The exceptional development of electronic device technology, the miniaturization of mobile devices, and the development of telecommunication technology has made it possible to monitor human biometric data anywhere and anytime by using different types of wearable or embedded sensors. In daily life, mobile devices can collect wireless body area network (WBAN) data, and the co-collected location data is also important for disease analysis. In order to efficiently analyze WBAN data, including location information and support medical analysis services, we propose a geohash-based spatial index method for a location-aware WBAN data monitoring system on the NoSQL database system, which uses an R-tree-based global tree to organize the real-time location data of a patient and a B-tree-based local tree to manage historical data. This type of spatial index method is a support cloud-based location-aware WBAN data monitoring system. In order to evaluate the proposed method, we built a system that can support a JavaScript Object Notation (JSON) and Binary JSON (BSON) document data on mobile gateway devices. The proposed spatial index method can efficiently process location-based queries for medical signal monitoring. In order to evaluate our index method, we simulated a small system on MongoDB with our proposed index method, which is a document-based NoSQL database system, and evaluated its performance.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (C)
• /
• pp.1-5
• /
• 2006

과거에 비해 최근에 비즈니스 프로세스가 다양해지고 복잡해짐에 따라 비즈니스 프로세스를 디자인할 때 발생할 수 있는 문제점이 점차 증가하고 있다. 그로인해 비즈니스 프로세스 검증의 중요성이 높아지고 있지만 많은 검증 방법이 제안되고 있지 않은 실정이다. 한편, 최근 BPMI에서 주도하는 BPMN(Business Process Modeling Notation)은 비즈니스 프로세스를 위한 표준화된 그래픽 표기법으로써 BPMN을 지원하는 디자인 툴을 이용하면 다양하고 복잡한 프로세스 환경을 일반화된 형태로 디자인하고 분석할 수 있다. 이 논문에서는 이러한 BPMN으로 디자인할 때 발생할 수 있는 문제점들을 효율적으로 검증할 수 있는 몇 가지 검증기법을 제시한다. 이로 인해 비즈니스 프로세스 실행 시 발생할 수 있 문제점들을 효율적으로 검증할 수 있는 몇 가지 검증기법을 제시한다. 이로 인해 비즈니스 프로세스 실행시 발생할 수 있는 에러들을 사전에 검증하여 예기치 못한 큰 비용을 줄일 수 있다.

• 한국멀티미디어학회논문지
• /
• 제6권4호
• /
• pp.676-684
• /
• 2003

eLearning can be defined as an approach to teaching and teaming that utilises Internet technologies to communicate and collaborate in an educational context. This includes technology that supplements traditional classroom training with web-based components and learning environments where the educational process is experienced online. The use of hypertext as an educational tool has a very rich history. The advent of the internet and one of its major application, the world wide web (WWW), has given a tremendous boost to the theory and practice of hypermedia systems for educational purposes. However, the web suffers from an inability to satisfy the heterogeneous needs of a large number of users. For example, web-based courses present the same static teaming material to students with widely differing knowledge of the subject. Adaptive hypermedia techniques can be used to improve the adaptability of eLearning. In this paper we report an approach to the design a unified implementation framework suitable for web-based eLearning that accommodates the three main dimensions of hypermedia adaptation: content, navigation, and presentation. The framework externalises the adaptation strategies using XML notation. The separation of the adaptation strategies from the source code of the eLearning software enables a system using the framework to quickly implement a variety of adaptation strategies. This work is a part of our more general ongoing work on the design of a framework for adaptive content delivery. parts of the framework discussed in this paper have been imulemented in a commercial eLearning engine.

• 한국통신학회논문지
• /
• 제32권5B호
• /
• pp.257-269
• /
• 2007

네트워크 계층의 MANET 라우팅 프로토콜이 개발될 때 가장 주요한 관심사는 라우팅 오버헤드 (Overhead)의 축소이다. 본 논문에서는 MANET 에서 단일 노드가 자동 네크워킹 프로토콜에 의해 IP 주소를 획득할 때의 라우팅 오버헤드 (메시지 복잡도)를 정량적으로 분석하는 수학적 방법을 제안한다. MANET에서 자동 네크워킹 프로토콜은 IP 주소 할당시 IP 주소 충돌회피에 사용된다. 메시지 복잡도는 Upper Bound에 의해 수학적으로 정량화 되고, 실제 주소 할당을 컴퓨터 시뮬레이터로 구현하여, 제안된 Upper Bound와 시뮬레이션 결과를 비교, 분석한다. 메시지 복잡도의 Upper Bound는 Worst Case 시나리오 분석에 의해 유도된다.

• 한국콘텐츠학회논문지
• /
• 제6권2호
• /
• pp.51-58
• /
• 2006

안테나 복사 특성을 효과적으로 측정하는 방법 중 하나인 안테나 근역장 측정 알고리즘의 개선을 논한다. 로렌츠 상호작용 원리와 상호작용 표기법을 이용하여 근역장-원역장 변환공식의 핵심인 프로브 교정 알고리즘을 간략히 유도한다. 제안된 일반적인 프로브 교정 방정식과 제작된 시스템을 사각 혼안테나에 대한 평면주사법에 적용하여 근역장 복사 패턴을 얻고 이를 원역장 복사 패턴과 비교하여 복사 특성이 유사한 것을 보인다. 이를 통해 본 논문의 접근법이 매우 간단하면서도 대부분의 안테나 측정에 유용하게 쓰일 수 있는 것을 보인다.

• 스마트미디어저널
• /
• 제7권2호
• /
• pp.23-33
• /
• 2018

A musical sheet is read by optical music recognition (OMR) systems that automatically recognize and reconstruct the read data to convert them into a machine-readable format such as XML so that the music can be played. This process, however, is very challenging due to the large variety of musical styles, symbol notation, and other distortions. In this paper, we present a model for the recognition of musical symbols through the use of a mobile application, whereby a camera is used to capture the input image; therefore, additional difficulties arise due to variations of the illumination and distortions. For our proposed model, we first generate a line adjacency graph (LAG) to remove the staff lines and to perform primitive detection. After symbol segmentation using the primitive information, we use a covariance-matching method to estimate the similarity between every symbol and pre-defined templates. This method generates the three hypotheses with the highest scores for likelihood measurement. We also add a global consistency (time measurements) to verify the three hypotheses in accordance with the structure of the musical sheets; one of the three hypotheses is chosen through a final decision. The results of the experiment show that our proposed method leads to promising results.

• 한국군사과학기술학회지
• /
• 제15권6호
• /
• pp.786-801
• /
• 2012

The most essential ROC(requirement operational capability) in order to assure the effectiveness of the C4I Systems in NCW Environments is the seamless and stable interoperability between systems. The U.S. Armed Forces that perceived the importance of interoperability, prepared the framework to apply from the proposal of requirement to every step of acquisition process. The Korea Joint Chiefs of Staff is also developing a similar system in order to assure the interoperability between command control(C4I) systems. In the paper, we specify the needs of standardization of test systems and international trends on the technology, and propose an interoperability test & evaluation system based on a standardization conformity method to improve the interoperability test & evaluation for the C4I systems in NCW environments. Finally we show an example of the implementation of the test system and its application to C4I systems to verify the proposed test system.

• 방송공학회논문지
• /
• 제26권7호
• /
• pp.838-843
• /
• 2021

This paper presents an algorithm for effective retrieval of score information to an input score image. The originality of the proposed algorithm is that it is designed to be robust to recognition errors by an OMR (Optical Music Recognition), while existing methods such as pitch histogram requires error induced OMR result be corrected before retrieval process. This approach helps people to retrieve score without training on music score for error correction. OMR takes a score image as input, recognizes musical symbols, and produces structural symbolic notation of the score as output, for example, in MusicXML format. Among the musical symbols on a score, it is observed that filled noteheads are rarely detected with errors with its simple black filled round shape for OMR processing. Barlines that separate measures also strong to OMR errors with its long uniform length vertical line characteristic. The proposed algorithm consists of a descriptor for a score and a similarity measure between a query score and a reference score. The descriptor is based on note-count, the number of filled noteheads in a measure. Each part of a score is represented by a sequence of note-count numbers. The descriptor is an n-gram sequence of the note-count sequence. Simulation results show that the proposed algorithm works successfully to a certain degree in score image-based retrieval for an erroneous OMR output.

• Bulletin of the Korean Chemical Society
• /
• 제7권4호
• /
• pp.257-262
• /
• 1986

Thixotropy is a time-dependent shear-thinning phenomenon. We derived a new thixotropic formula which is based on the generalized viscosity formula of Ree and Eyring, $f={\Sigma}\frac{X_i}{{\alpha}_i}sinh^{-1}$ () (Refer to the text concerning the notation.) The following is postulated: (1) thixotropy occurs when small flow units attached to a large flow unit separate from the latter under stress (2) elastic energy(${\omega}$) is stored on the large flow unit during the flow process, and (3) the stored energy contributes to decrease the activation energy for flow. A new thixotropic formula was derived by using these postulations, $f={\frac}{X_0{\beta}_0}{\alpha_0}{\dot{s}}+{\frac}{X_1{\beta}_1}{{\alpha}_1}{\dot{s}}+{\frac}{X_2}{{\alpha_x}}sinh^{-1}$[$({\beta}_0)_2$ exp $(-C_2{\dot{s}}^2/RT){\cdot}{\dot{s}}$] f is the shear stress, and s is the rate of shear. In case of concentrated solutions where the Newtonian flow units have little contribution to the viscosity of the system, the above equation becomes, $f=\frac{X_2}{\alpha_2}sinh^{-1}$[$({\beta}_0)_2$ exp $(-C_2{\dot{s}}^2/RT){\cdot}{\dot{s}}$]. In order to confirm these formulas, we applied to TiO2(anatase and rutile)-water, printing ink and mayonnaise systems. Good agreements between the experiment and theory were observed.

• 한국산학기술학회논문지
• /
• 제17권1호
• /
• pp.733-744
• /
• 2016

BPMN 모델로부터 휘처(Feature) 모델로 변환하는 기존 방법들이 도메인 분석가의 직관에 의존하여 자동화된 변환이 어려운바, 비즈니스 모델링 연계의 휘처 지향 개발의 활성화에 저해가 되고 있다. 본 고는 구조 기반의 BPMN 비지니스 모델을 휘처 도메인 모델로 변환하는 방법을 제시한다. 상호 이질적인 BPMN(Business Process Modeling Notation)과 FM(Feature Model) 모델간의 변환을 위해서, 액티비티의 구조에 기반한 그룹핑 기법을 정의하고, 이들 모델의 공통 구조물인 요소(비지니스 기능을 표현)와 구조(요소간 관계 및 프로세스)에 기반해서 모델간 변환 규칙과 방법을 정립한다. 온라인쇼핑몰 시스템을 대상으로 적용 사례를 보인다. 이로서, BPMN 모델로부터 휘처 모델로의 기계적인 혹은 자동화된 구조 변환을 도모할 수 있다.