• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.1
• /
• pp.449-459
• /
• 2014

The proposed 2+1 view integrated metamodel defined formerly with a graphical class model can not be guaranteed the syntactic clarity and accuracy precisely for the metamodel due to the informal specification. This paper specifies the syntactic semantics formally for the 2+1 view integrated metamodel using Z and Object-Z and checks the accuracy of the metamodel with Z/Eves tool. The formal specification is expressed in Z and Object-Z schema separately for syntax and statics semantics of the 2+1 view integrated metamodel, which applying the converting rule between class model and Z/Object-Z. The accuracy of the Z specification for the metamodel is verified using Z/Eves tool, which can check the syntax, type, and domain of the Z specification. The transformation specification and checking of the 2+1 view integrated metamodel can help establish more accurate the syntactic semantics of its construct and check the accuracy of the metamodel.

• The Journal of the Korea Contents Association
• /
• v.10 no.10
• /
• pp.479-493
• /
• 2010

Along with the transformation of the knowledge-based environment, e-learning has become a main teaching and learning method, prompting various research efforts to be conducted in this field. One major research area in e-learning involves adaptive learning systems that provide personalized learning content according to each learner's characteristics by taking into consideration a variety of learning circumstances. Active research on ontology-based adaptive learning systems has recently been conducted to provide more efficient and adaptive learning content. In this paper, we design and propose an adaptive learning system based on the concept lattice of Formal Concept Analysis (FCA) with the same objectives as those of ontology approaches. However, we are in pursuit of a system that is suitable for learning of specific domains and one that allows users to more freely and easily build their own adaptive learning systems. The proposed system automatically classifies the learning objects and concepts of an evolved domain in the structure of a concept lattice based on the relationships between the objects and concepts. In addition, the system adaptively constructs and presents the learning structure of the concept lattice according to each student's level of knowledge, learning style, learning preference and the learning state of each concept.

• Journal of Korea Technology Innovation Society
• /
• v.19 no.3
• /
• pp.483-510
• /
• 2016

Disruptive technology is increasingly gaining attention by industries, standards development organizations (SDOs), academia, government and regulatory bodies due to its massive scope of impact on the incumbents and consumers. Companies that take a lead in new technologies intend to dominate the global market by making their technologies into an international standard. However, they tend to seek ways of by-passing the slow procedures of formal SDOs that often hinder prompt action in response to rapid changes in technology and market situations. In the area of disruptive technologies, there is a need to harmonize standardization efforts in formal SDOs for various companies and stakeholders to reap the benefits of technological development and diffusion of innovation. This paper examines the reasons why standardization is more active using market-based mechanisms than through formal SDOs for disruptive technologies. We conducted a Delphi study to investigate standardization strategies in the area of disruptive technologies. This research found that experts understood the core element of disruptive technologies as creating new markets and changing the competition basis in existing industries through the transformation of consumers' behavior. Based on these core characteristics, experts agreed that flexibility and speed are the most important factors for standardization. Results also show that the perception that standardization activities are not directly connected to companies' profit-making is the key barrier to links between research and companies' participation in standardization. This research provides implications for formal SDOs and policymakers.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.14 no.6
• /
• pp.650-662
• /
• 1989

In this paper, a new algorithm for feature extraction and classification of recognizing Hanguel patterns is proposed. Inputed patterns classify into six basic formal patterns and divided into subregion of Hanguel phoneme and extract the crook feature from position information of the each subregion. Hanguel patterns are defined and are made of the indexed-sequence file using these crook features points. Hanguel patterns are recognized by retrievignt ehses two files such as feature indexed-sequence file and standard dictionary file. Thi paper show that the algorithm is very simple and easily construct the software system. Experimental result presents the output of feature extraction and grouping of input patterns. Proposed algorithm extract the crooked feature using distance transformation method within the rectangle of enclosure the characters. That uses the informationof relative position feature. It represents the 97% of recognition ratio.

• Asia pacific journal of information systems
• /
• v.30 no.4
• /
• pp.808-831
• /
• 2020

The business world has been undergoing a digital transformation. The adoption of multi-sided digital platform across the world has sped up this transformation. Multi-sided digital platforms create value by mediating interactions and transactions of distinct groups of users. A platform and its stakeholders need to be considered as a business ecosystem. Elements or components in the ecosystem exchange values and together form a network of exchange values. The objective of this paper is to construct a framework for crafting and observing digital business ecosystems. The foundation theories used to construct the framework are transaction cost economy (TCE), multi-sided markets, and value network. This paper uses Go-Jek, a growing ride-hailing platform from Indonesia, as a case to discuss how the framework works in mapping Go-Jek's digital business ecosystem, and then explain its expansion strategy. This paper has both theoretical and managerial contributions. It provides a formal definition of digital business ecosystems as a network of exchange values. The framework does not only help studies the existing business ecosystems but also can be used to craft a new business ecosystem. It can also be used to study value exchanges within the ecosystem, assessing or crafting ecosystem expansion strategies.

• The Journal of the Convergence on Culture Technology
• /
• v.9 no.4
• /
• pp.161-170
• /
• 2023

In this study, our primary focus was on preserving the unique characteristics inherent to the medium of printmaking art, such as cultural implications and formal features, during the digital transformation of traditional printmaking. We investigated methods to incorporate augmented reality (AR) technology into the creation process of traditional printmaking. To help understand the intended fusion of traditional printmaking art and AR technology in this digital transition era, we categorized AR artworks into four types and conducted an analysis of various AR artwork examples from across the globe. From this analysis, we derived the methodologies and design directions for combining AR technology with traditional printmaking. Moreover, we created an AR printmaking piece based on the author's artwork "Spring, Summer, Fall, Winter," thereby demonstrating the significant role AR technology can play in the evolution of printmaking. Through this research, we were able to verify the potential and value of AR printmaking as an immersive art form capable of providing a more expansive narrative.

• Journal of the Korean Society of Costume
• /
• v.39
• /
• pp.39-58
• /
• 1998

In this research, first of all, the special feat-ures of Haute Couture design world (1990∼1996) prevailed in Paris and Rome are investigated, and additionally the understanding of collection concept and design structure analysis are performed to show the various method-ology of creative design. Expression method and design method are the main criteria in analyzing, and the main results of this research are summarized as follows : 1. Most of designers in Paris and Rome ex-press the traditional costume style. Paris designers are focusing on the expression of design morphology through the abstraction and re-appearance without being confined to theme expression ; Rome designers are expressing their main ideas utilizing the fashion image as their theme in lieu of expressing the design morphology. 2. Most of the designers in Paris and Rome are using simple lines for their design. Paris designers prefer the plastic design based upon formal and symmetrical balance of informal and asymmetrical balance to the partial trans-formation design ; Rome designers are enjoy-ing rather the partial transformation using the detail and trimming than the plastic design.

• Journal of architectural history
• /
• v.8 no.1 s.18
• /
• pp.29-40
• /
• 1999

This paper discusses the change of land ownership in the urban historical core of Kyungju city in the Period of Japanese occupancy(1910-45) based on the analysis of land register records. Kyungju city was not designated for the cities controlled by urban planning law which was set up in 1912 and 1934. The major purpose of this paper is to clarify the urbanization process of a Korean local city where the formal urban planning projects were not carried out. The focus of the study is the increase of the Japanese landowners and Japanization of the landscape. In the very beginning of occupation, Japanese already owned about 8% of the total land of the city centre where the old Kyungju castle had been located. The ratio of the land owned by Japanese went up to more or less 70% at the end of World war II. The process which the urban core had been replaced for the Japanese is very clearly traced from the analysis of a land register records.

• Structural Engineering and Mechanics
• /
• v.14 no.2
• /
• pp.223-236
• /
• 2002

The main objective of the present paper is to address a formal procedure for orthotropic steel plates design. The theme of the proposed approach is to recast the design procedure into a mathematical programming model. The objective function to be optimized is the total weight of the structure. The total weight is function of its layout parameters and structural element design variables. Mean while the proposed approach takes into consideration the strength and rigidity criteria in addition to other dimensional constraints. A nonlinear programming model is developed which consists of a nonlinear objective function and a set of implicit/explicit nonlinear constraints. A transformation method is adopted for minimization strategy, where the primal model constrained problem is transformed into a sequence of unconstrained minimization models. The search strategy is based on the well-known Fletcher/Powell algorithm. The finite element technique is adopted for discretization and analysis strategies. Mindlin theory is selected to simulate the finite element model and a selective reduced integration scheme is exploited to avoid a shear lock problem.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.22 no.52
• /
• pp.229-239
• /
• 1999

Enterprise integration, which aims to enhance an enterprise's competitive edge, requires a highly structured product information model as a common product database. Previous research works on this issue have been narrowly focused on the transformation of product information between various operation areas, leading to a situation where enterprise integration lacks a formal method of information modeling. In this paper, research works and issues surrounding product information modeling for enterprise integration are reviewed, and the requirements for a product information model are identified. A product information model called L3DPIM (Layered Three Dimentional Product Information Model) is proposed, which is based on a feature-based design process. This model is expected to serve as a modeling paradigm for enterprise integration.