• 정보관리학회지
• /
• 제30권3호
• /
• pp.23-48
• /
• 2013

본 연구는 웹에서 접근 가능한 내용기반 음악검색(CBMR) 시스템들을 조사하여, 탐색질의의 종류, 접근점, 입출력, 탐색기능, 데이터베이스 성격과 크기 등의 관점에서 특성을 비교 분석하고자 하였다. 비교 분석에 사용된 특성을 추출하기 위해 내용기반 음악정보의 특성과 시스템 구축에 필요한 파일의 변환, 멜로디 추출 및 분할, 색인자질 추출과 색인, 매칭에 사용되는 기술들을 선행연구로 리뷰하였다. 15개의 시스템을 분석한 결과 다음과 같은 특성과 문제점이 분석되었다. 첫째, 도치색인, N-gram 색인, 불리언 탐색, 용어절단검색, 키워드 및 어구 탐색, 음길이 정규화, 필터링, 브라우징, 편집거리, 정렬과 같은 텍스트 정보 검색 기법이 CBMR에서도 검색성능을 향상시키는 도구로 사용되고 있었다. 둘째, 시스템들은 웹에서 크롤링하거나 탐색질의를 DB에 추가하는 등으로 DB의 성장과 실용성을 위한 노력을 하고 있었다. 셋째, 개선되어야 할 문제점으로 선율이나 주선율을 추출하는데 부정확성, 색인자질을 추출할 때 사용되는 불용음(stop notes)을 탐색질의에서도 자동 제거할 필요성, 옥타브를 무시한 solfege 검색의 문제점 등이 분석되었다.

• 한국산학기술학회논문지
• /
• 제10권5호
• /
• pp.979-984
• /
• 2009

본 논문에서는 2차원 인쇄물의 고유정보 즉, 텍스트, 도형 및 기호 등에 대응하는 음성, 영상 및 기타정보를 출력시킬 수 있도록 하기 위한 새로운 방법의 도트형 프린트 워터마크 생성 방법 및 부호화 기법을 제안하였다. 프린트 워터마크는 인쇄물의 고유정보에 대응하여 고유정보위에 다시 인쇄되는 특정마크로서 고유정보의 특성을 훼손하지 않으면서 음성, 또는 영상정보와 연결시키는 중간 매개 역할을 한다. 제안한 도트형 프린트 워터마크 패턴은 $0.4mm^2$의 면적 내에 $16{\times}16$의 행렬구조를 가지며, 256개의 원소(element) 중 23개의 위치에 도트가 인쇄된다. 인쇄되는 도트의 크기는 0.02mm고 매우 작아 가시화되지 않는다. 23개의 위치는 2진수 비트 위치와 매핑 되어 800만개 정도의 인쇄물 고유정보를 표현할 수 있으며, 도트가 인쇄되는 위치에 따라 쉽게 2진수로 부호화할 수 있다는 특징을 갖는다. 또한 실험을 통해 제안한 프린트 워터마크 패턴이 자체 제작된 인식장치에 의해 쉽게 인식됨을 보였다.

• 한국정보통신학회논문지
• /
• 제21권3호
• /
• pp.568-577
• /
• 2017

WAVE 시스템에서는 통신 보안 기능을 지원하기 위해 IEEE Std 1609.2 규격이 정의되었다. IEEE Std 1609.2에서는 자동차 통신에서의 보안 서비스 및 관리 메시지의 구조를 ASN.1으로 정의하였다. 또한 이 메시지 구조를 COER 방식으로 인코딩하도록 하고 있다. 본 논문에서는 IEEE Std 1609.2에 정의된 보안 메시지를 처리하는 IEEE Std 1609.2 메시지 인코더/디코더를 설계 및 구현하였다. 설계된 인코더/디코더는 IEEE Std 1609.2 메시지 구조에 부합하는 C 언어 데이터 구조의 메시지를 생성하는 모듈, 메시지 인코더 모듈, 메시지 디코더 모듈로 구성되며, 리눅스 환경에서 구현되었다. 또한 구현된 인코더/디코더의 수행 속도를 측정하여 그 성능을 분석하였다.

• Journal of Communications and Networks
• /
• 제1권2호
• /
• pp.89-98
• /
• 1999

In a synchronization (sync) $network^1$containing N nodes, it is shown (Theorem 1c) that an arbitrarily connected sync network & is the union of a countable set of isolated connecting sync networks${&_i,i= 1,2,.., L}, I.E., & = \bigcup_{I=1}^L&_i$ It is shown(Theorem 2e) that aconnecting sync network is the union of a set of disjoint irreducible subnetworks having one or more nodes. It is further shown(Theorem 3a) that there exists at least one closed irreducible subnetwork in $&_i$. It is further demonstrated that a con-necting sync network is the union of both a master group and a slave group of nodes. The master group is the union of closed irreducible subnetworks in $&_i$. The slave group is the union of non-colsed irre-ducible subnetworks in $&_i$. The relationships between master-slave(MS), mutual synchronous (MUS) and hierarchical MS/MUS ent-works are clearly manifested [1]. Additionally, Theorem 5 shows that each node in the slave group is accessible by at least on node in the master group. This allows one to conclude that the synchro-nization information avilable in the master group can be reliably transported to each node in the slave group. Counting and combinatorial arguments are used to develop a recursive algorithm which counts the number $A_N$ of arbitrarily connected sync network architectures in an N-nodal sync network and the number $C_N$ of isolated connecting sync network in &. EXamples for N=2,3,4,5 and 6 are provided. Finally, network examples are presented which illustrate the results offered by the theorems. The notation used and symbol definitions are listed in Appendix A.

• Journal of Communications and Networks
• /
• 제11권1호
• /
• pp.84-93
• /
• 2009

This paper focuses on message complexity performance analysis of mobile ad hoc network (MANET) address autoconfiguration protocols (AAPs) in reference to link errors generated by mobile wireless nodes. An enhancement was made using a proposed retransmission limit, S, to be computed for error recovery (based on the link error probability), to measure message complexity of AAPs in reference to the link error probability, $P_e$. The control procedures for the retransmission limit have been included for each of the AAPs. Retransmission limit control is critical for efficient energy consumption of MANET nodes operating on limited portable energy. O-notation has been applied to analyze the upper bound of the number of messages generated by a MANET group of nodes. The AAPs investigated in this paper are strong duplicate address detection (DAD), weak DAD with proactive routing protocol (WDP), weak DAD with on-demand routing protocol (WDO), and MANETConf. Each AAP reacts different to link errors, as each AAP has different operational procedures. The required number of broadcasting, unicasting, relaying, and received messages of the nodes participating in a single-node joining procedure is investigated to asymptotically calculate the message complexity of each AAP. Computer simulation was conducted and the results have been analyzed to verify the theoretical message complexity bounds derived. The message complexity of WDP was lowest, closely followed byWDO, based on the simulation results and analysis of the message complexity under nominal situations. The message complexity of MANETConf was higher than WDO, and strong DAD resulted to be most complex among the four AAPs.

• 전자공학회논문지CI
• /
• 제38권5호
• /
• pp.1-15
• /
• 2001

객체지향 데이터베이스를 위한 시각적 질의어(visual query language)의 설계에서 복잡한 질의 조건을 간단하고도 직관적으로 표현할 수 있도록 지원하는 것이 중요한 연구과제가 되고 있다. 본 논문에서는 시각적 객체지향 질의어인 VOQL(Visual Object Query Language)을 제안한다. VOQL은 그래프와 밴다이어그램(Venn Diagram)을 결합한 시각적 표현 기법을 사용하여 객체지향 데이터베이스의 스키마(schema)와 질의어를 하나의 통일된 시각적 표시법으로 표현하며, 객체지향 질의어에 포함된 한정된 경로식(quantified path expression), 집합 연산자, 상속 등의 객체지향 특성도 간단한 시각적 표시법을 이용하여 표현한다. VOQL의 가장 큰 특징은 기존의 시각적 개체지향 질의어들에 비하여 간단하고 직관적인 구문과 의미를 가지며, 뛰어난 질의 표현력을 가진다는 점이다.

• 한국컴퓨터정보학회논문지
• /
• 제11권6호
• /
• pp.49-57
• /
• 2006

사용자와 상호작용을 하는 복잡한 기능을 가진 소프트웨어 시스템을 구현하는데 있어서, 사용자의 요구를 분석하고 이를 개발되는 시스템에 제대로 반영하는 매우 중요한 일이다. 따라서 사용자의 필요를 빠르고 정확하게 이해하는 것이 성공적인 소프트웨어 시스템을 개발하는 중요한 열쇠가 된다. 여러 가지의 요구 명세 언어 중에서도 UML의 Sequence Diagram으로 알려져 있는 Message Sequence Charts (MSC)는 시나리오 개념을 가장 잘 표현하고 있는 언어라고 할 수 있다. Live Sequence Charts (LSC)는 MSC의 확장된 형태로 메시지 추상화와 시나리오의 모드 설정이 가능하다는 특징을 가지고 있다. 본 논문에서는 기존의 연구에서는 다루어지지 않았던 LSC 명세언어의 주요 생성자들을 모두 포괄할 수 있는 LSC 명세언어의 의미론을 새롭게 정의하고 논의하였다. 본 논문에서 정의된 의미론은 기존의 방법들과 비교했을 때 훨씬 넓은 범위의 LSC 명세언어를 포괄하고 있으며, 그동안 정형화되지 않았던 기존의 LSC 명세언어의 내용을 가장 정확하게 표현하고 있다는 장점을 가지고 있다.

• 한국정보처리학회논문지
• /
• 제3권5호
• /
• pp.1082-1092
• /
• 1996

현재, 과학, 기술 문서 등에 많은 사용되는 수식의 표기법이 TeX, EQN등과 같이 가특정 시스템에 의존하여 시스템간의 상호교환이 안되고 있다. 따라서 본 논문에서는 워드프로세서나 전자출판등에서 작성되는 수식 정보의 공유 및 시스템간 상호 교환성 을 확보하기 위하여, 국제 표준 SGML 표기법으로 수식을 표현할 수 있고, 또한 수식용 문서형 정의(Document Type Definition)에 따라 수식 구조의 오류 검사 기능을 갖는 대화형 수식 편집기의 설계 및 구원을 한다. 사용자 접속으로는 수식 심볼 아이콘에 대한 마우스 입력과 키보드 입력 등의 직접 조작 방식을 구현하였다. 구현 환경으로는 워크스테이션 상에서 UNIX를 운영 체제로 하는 X 윈도우 시스템과 그래픽컬 사용자 접속인 OSF Motif를 사용하였고 메뉴 및 화면 구성을 위하여 OSF UIL(User Interface Language)을 사용하였다.

• ETRI Journal
• /
• 제21권4호
• /
• pp.52-64
• /
• 1999

QoS monitoring is a kind of real-time systems which allows each level of the system to track the ongoing QoS levels achieved by the lower network layers. For these systems, real-time communications between corresponding transport protocol objects is essential for their correct behavior. When two or more entities are employed to perform a certain task as in the case of communication protocols, the capability to do so is called interoperability and considered as the essential aspect of correctness of communication systems. This paper describes a formal approach on modeling and interoperability test case generation of a real-time QoS monitoring protocol. For this, we specify the behavior of flow monitoring of transport layer QoS protocol, i.e., METS protocol, which is proposed to address QoS from an end-to-end's point of view, based on QoS architecture model which includes ATM net work in lower layers. We use a real-time Input/Output finite State Machine to model the behavior of real-time flow monitoring over time. From the modeled real-time I/OFSM, we generate interoperability test cases to check the correctness of METS protocol's flow monitoring behaviors for two end systems. A new approach to efficient interoperability testing is described and the method of interoperability test cases generation is shown with the example of METS protocol's flow monitoring. The current TTCN is not appropriate for testing real-time and multimedia systems. Because test events in TTCN are for message-based system and not for stream-based systems, the real-time in TTCN can only be approximated. This paper also proposes the notation of real-time Abstract Test Suite by means of real-time extension of TTCN. This approach gives the advantages that only a few syntactical changes are necessary, and TTCN and real-time TTCN are compatible. This formal approach on interoperability testing can be applied to the real-time protocols related to IMT-2000, B-ISDN and real-time systems.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제51권1호
• /
• pp.1-19
• /
• 2012

In this study, contents of 'the 2007 revised curriculum handbook' and 16 kinds of mathematics textbooks were analyzed first. The purpose of this study is to examine the understanding state of students at general high schools by making questionnaires to survey the understanding state on contents of chapter of complex number based on above analysis. Results of research can be summarized as follows. First, the content of chapter of complex number in textbook was not logically organized. In the introduction of imaginary number unit, two kinds of marks were presented without any reason and it has led to two kinds of notation of negative square root. There was no explanation of difference between delimiter symbol and operator symbol at all. The concepts were presented as definition without logical explanations. Second, students who learned with textbook in which problems were pointed out above did not have concept of complex number for granted, and recognized it as expansion of operation of set of real numbers. It meant that they were confused of operation of complex numbers and did not form the image about number system itself of complex number. Implications from this study can be obtained as follows. First, as we came over to the 7th curriculum, the contents of chapter of complex number were too abbreviated to have the logical configuration of chapter in order to remove the burden for learning. Therefore, the quantitative expansion and logical configuration fit to the level for high school students corresponding to the formal operating stage are required for correct configuration of contents of chapter. Second, teachers realize the importance of chapter of complex number and reconstruct the contents of chapter to let students think conceptually and logically.