• Journal of Computing Science and Engineering
• /
• v.1 no.2
• /
• pp.125-160
• /
• 2007

Data Warehousing and OLAP (On-Line Analytical Processing) have turned into the key technology for comprehensive data analysis. Originally developed for the needs of decision support in business, data warehouses have proven to be an adequate solution for a variety of non-business applications and domains, such as government, research, and medicine. Analytical power of the OLAP technology comes from its underlying multidimensional data model, which allows users to see data from different perspectives. However, this model displays a number of deficiencies when applied to non-conventional scenarios and analysis tasks. This paper presents an attempt to systematically summarize various extensions of the original multidimensional data model that have been proposed by researchers and practitioners in the recent years. Presented concepts are arranged into a formal classification consisting of fact types, factual and fact-dimensional relationships, and dimension types, supplied with explanatory examples from real-world usage scenarios. Both the static elements of the model, such as types of fact and dimension hierarchy schemes, and dynamic features, such as support for advanced operators and derived elements. We also propose a semantically rich graphical notation called X-DFM that extends the popular Dimensional Fact Model by refining and modifying the set of constructs as to make it coherent with the formal model. An evaluation of our framework against a set of common modeling requirements summarizes the contribution.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.11a
• /
• pp.1068-1072
• /
• 2014

We propose a collaborative social tagging for eBook using external DSL approach. The goal of this paper is (1) to provide DSL by which authors can write HTML5 rich contents ebook and tag resources, (2) to make users enhance book by tagging resources easily, (3) to make readers read rich book easily regardless of their devices types, (4) to provide ebook resources of RESTful address style by which other system can identify self-descriptive resources of book. To achieve the goal, we provide Bukle DSL language by which author and users can author and enhance ebook with ease. As a domainspecific language Bukle provides a simple yet expressive language for authoring and tagging books that would otherwise be more difficult to express with a general purpose language. Further work includes visual DSL approach and tools by using that the unskilled users could tag book easily. In order that future work also includes text-to-visual DSL transform engine. UX research is also required to tag and to author book. To tackle the above questions we are looking at using visual notation focusing visual syntax.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.2
• /
• pp.307-314
• /
• 1999

In this paper, we study on the transformation technique of sequential programs for the purpose of 'exploiting parallelism' and 'improving locality'. Based on the analysis of loop procedures of sequential programs with the factor of dependency and locality, two transformation techniques of loop distribution and loop fusion are applied to them. Transformed programs can be easily expressed as a parallel program wit thread notation, having coarse-grain parallelism and improved locality. This means that those transformations can be useful tools for optimizing and automatic-parallelizing compiler construction. Application of those techniques to SPEC95 on a solaris machine with four SPARC processors show an improvement of execution time.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.12
• /
• pp.3523-3529
• /
• 1999

In this paper, we propose an improved regression testing method, which use method as the basic unit of changing. The testing method consists of three steps. We represent the relationship of classes using the notation of UML(Unified Modeling Language), find the nodes of the modified methods and affected methods by node analysis, and then select changed test cases from the original test cases. The proposed object-oriented regression testing method can reduce the number of test cases, testing time and cost through reuse of test cases.

• The Mathematical Education
• /
• v.49 no.4
• /
• pp.523-540
• /
• 2010

The purpose of the study were to analyze MathThematics textbooks and Korean middle school mathematics and to investigate the difference among the textbooks in the view of mathematical communication. According to the results, the textbook developers made a variety of efforts to develope students' mathematical communication ability. Students were encouraged to communicate with others about their mathematical ideas or problem solving processes in words or writing by means of discussion, oral report, presentation, journal, etc. MathThematics textbooks provided student self-assessment opportunity to improve student performance in problem solving, reasoning, and communication. In communication assessment, students can assess their use of mathematical vocabulary, notation, and symbols, the use of graphs, tables, models, diagrams and equation to solve problem and their presentation skills. The assessment activities would make a positive impact on the development of students' mathematical communication ability. MathThematics textbooks provided a variety of problem situation including history, science, sports, culture, art, and real world as a topic for communication, however, the researcher found that some of Korean textbooks depends heavily on mathematical problem situations.

• Journal of Internet Computing and Services
• /
• v.5 no.6
• /
• pp.111-120
• /
• 2004

In order to increase the productivity of software, the research to reduce the total cost in software development environments is working, Considerable time is wasted waiting for a changed program in program development, however smell the change, to be edited and compiled and executed. In case of partial change, we need incremental interpreter for reexecuting the changed parts and its affected parts, In this paper, we implement the incremental interpreter by using analyzing dynamic semantics at execution time, We define a new IMPLO(IMPerative Language with Object) language using EBNF(Extended Backus Naur Form) notation and then, design and implement the incremental interpreter of this language by using action equations to describe the dynamic semantics.

• Structural Engineering and Mechanics
• /
• v.76 no.3
• /
• pp.395-412
• /
• 2020

In this article, the values of internal force and deformation of a curved beam under any action with the firm or elastic supports are determined by using structural matrices. The article presents the general differential formulation of a curved beam in global coordinates, which is solved in an orderly manner using simple integrals, thus obtaining the transfer matrix expression. The matrix expression of rigidity is obtained through reordering operations on the transfer notation. The support conditions, firm or elastic, provide twelve equations. The objective of this article is the construction of the algebraic system of order twenty-four, twelve transfer equations and twelve support equations, which relates the values of internal force and deformation associated with the two ends of the directrix of the curved beam. This final algebraic system, expressed in matrix form, is divided into two subsystems: twelve algebraic equations of internal force and twelve algebraic equations of deformation. The internal force and deformation values for any point in the curved beam directrix are determined from these values in the initial position. The five examples presented show how to apply the matrix procedures developed in this article, whether they are curved beams with the firm or elastic support.

• Journal of the Korea Society of Computer and Information
• /
• v.6 no.4
• /
• pp.6-11
• /
• 2001

After automatic translation system for hangul's romanization based on the World Wide Web converting korean-word. sentence, document to Transliteration letters by applying algorithm based phonological principles. even though a user do not know the basic principles of the usage of Korean-to-Romanization notations. It refers to corresponding character table that has been currently adopted the authority's standard proposition for Korean-to-Romanization notation rule concurrently, add to make possible to convert a machinized code as well. It Provides font for toggling Korean-English mode, insert-edit mode by assigning ASCII codes are hardly used to them. This program could be made in C++ programming language and Unified Modeling Language to implement various font. font-expanding and condensing, alternative printing.

• Journal of Broadcast Engineering
• /
• v.26 no.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.

• Journal of IKEEE
• /
• v.23 no.3
• /
• pp.978-983
• /
• 2019

Under the influence of Autonomous Driving and AI, it is important to accurately recognize and judge objects through cameras. In particular, since a method of recognizing an object using a camera can obtain a large amount of information visually compared to other methods, many image signal processing methods have been studied to extract an accurate image. In addition, a lot of research is being carried out to implementation about hardware. In this work, we compare the principles and characteristics of the sorting algorithms that are frequently used in image signal processing and summarize the performance evaluation. Based on this, we define an efficient algorithm when implemented in hardware among efficient sorting algorithms.