• Korea Trade Review
• /
• v.42 no.1
• /
• pp.47-67
• /
• 2017

This paper analyzes industries of the Daegu-Gyeongbuk province of the Republic of Korea using the product space model that was developed mid 2000s on the basis of a network analysis framework. The study examines the structure of the product space for the 421 export items at HS 4-digit level after grouping them into 4 categories; classics, emerging champions, marginals and the disappearing products. The results suggest a significant structural transformation in the product space for the local industries and the scope and magnitude of such transformation was rather large. We were also able to confirm that the structural transformation of the product space differs from industry to industry and from group to group. While the approach used is not without shortcomings, our findings also indicate that information extracted from the world merchandise trade by way of product space indicators can be quite useful in identifying structural transformation of industries.

• Journal of applied mathematics & informatics
• /
• v.20 no.1_2
• /
• pp.327-343
• /
• 2006

A general methodology is suggested to solve shelf-space allocation problem of retailers. A multi-item inventory model of breakable items is developed, where items are either complementary or substitute. Demands of the items depend on the amount of stock on the showroom and unit price of the respective items. Also demand of one item decreases (increases) due to the presence of others in case of substitute (complementary) product. For such a model, a Contractive Mapping Genetic Algorithm (CMGA) has been developed and implemented to find the values of different decision variables. These are evaluated to have maximum possible profit out of the proposed system. The system has been illustrated numerically and results for some particular cases are derived. The results are compared with some other heuristic approaches- Simulated Annealing (SA), simple Genetic Algorithm (GA) and Greedy Search Approach (GSA) developed for the present model.

• Korea Science and Art Forum
• /
• v.19
• /
• pp.259-267
• /
• 2015

Product-Service Systems (PSS) has drawn significant attention since it can effectively address diverse values of consumers by integrating products and services. PSS has been defined as a system of products, services, supporting networks and infrastructure that is designed to satisfy customer needs and to generate values. Manufacturing companies can accomplish business innovation by devising new service elements and providing PSSs starting from their products. Such new efforts are called manufacturing servitization. With analysis of the company's business contexts, diverse strategies could be set for servitization. Services could be developed so that their product functions can be supported. On the other hand, new services could be devised to drive active emotional values of their customers in a broadly related manner with their products. In this way, different servitization strategies in service space could be employed. In this paper, the product-service integration spaces for comparison of product-service systems in manufacturing servitization is briefly sketched. Various issue spaces, termed dimensions, would be used including service space, customer space, value space and business model space. Diverse PSS cases, including well-known PSSs and brand new PSSs, will be classified and compared to demonstrate the product-service integration spaces.

• Journal of the Korean Mathematical Society
• /
• v.46 no.5
• /
• pp.979-995
• /
• 2009

As warped product manifolds provide an excellent setting to model space time near black holes or bodies with large gravitational field, the study of these manifolds assumes significance in general. B. Y. Chen [4] initiated the study of CR-warped product submanifolds in a Kaehler manifold. He obtained a characterization for a CR-submanifold to be locally a CR-warped product and an estimate for the squared norm of the second fundamental form of CR-warped products in a complex space form (cf [6]). In the present paper, we have obtained a necessary and sufficient conditions in terms of the canonical structures P and F on a CR-submanifold of a nearly Kaehler manifold under which the submanifold reduces to a locally CR-warped product submanifold. Moreover, an estimate for the second fundamental form of the submanifold in a generalized complex space is obtained and thus extend the results of Chen to a more general setting.

• Korean Journal of Child Studies
• /
• v.33 no.5
• /
• pp.53-70
• /
• 2012

The purpose of this study was to investigate the effects of task conditions (physical similarity between the spatial product and the reference space, presentation place of the spatial product) on children's spatial representation. The participants consisted of 40 3-year-olds and 40 4-year-olds. The results of this study are as follows. Both 3-year-olds and 4-year-olds were capable of a greater degree of spatial representation when there was a high level of physical similarity between the spatial product and the reference space, and when the presentation place of the spatial product was in the reference space. 4-year-olds were capable of more accurate spatial representation than 3-year-olds. There was no significant difference in the children's spatial representation depending on the type of spatial product (scale model, map). The results revealed that the physical similarity between the spatial product and the reference space and the presentation place of the spatial product are essential in young children's spatial representation. Additionally, the results indicated that spatial representation of children develops gradually from when they are three to when they turn four.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2002.10a
• /
• pp.211-218
• /
• 2002

An entity-based integrated design product and process model uses product and process entities to describe design information and design activities, respectively. The concepts and notation for product and process entities in the entity-based integrated design model are similar to the concepts of object-oriented programming languages such as C++ and Smalltalk. This paper uses C++ to program an entity-based integrated design model for building frames structures. The design information and activities involved in the three dimensional building space, the locations of frames, and the grouping of frames represented as entities in the entity-based integrated design model are transformed to C++ codes. Each product or process entity can be basically transformed to an class. The attributes of an entity can be defined as variables and member functions of a class.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.24 no.1
• /
• pp.13-25
• /
• 1999

This paper presents a model of competitive positioning and pricing of new products in a multi-segmented market. The segments in the market are located on a multi-dimensional discrete attribute space with fixed demands. Firms launch products sequentially on the attribute space, incurring fixed and variable costs, and then decide on their product prices. Each firm acts to maximize its profit. Market share of a firm is determined by the position and price of Its product. We provide sufficient conditions for the existence and uniqueness of Nash equilibrium Another equilibrium concept is Introduced and related to the Nash equilibrium. A heuristic algorithm based on genetic algorithms is designed to obtain the Nash equilibrium.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2006.05a
• /
• pp.1223-1228
• /
• 2006

This paper presents an experimental investigation of a recently developed Kronecker Product (KP) method to determine the type, location, and intensity of structural damage from an identified state-space model of the system. Although this inverse problem appears to be highly nonlinear, the system mass, stiffness, and damping matrices are identified through a series of transformations, and with the aid of the Kronecker product, only linear operations are involved in the process. Since a state-space model can be identified directly from input-output data, an initial finite element model and/or model updating are not required. The test structure is a two-degree-of-freedom torsional system in which mass and stiffness are arbitrarily adjustable to simulate various conditions of structural damage. This simple apparatus demonstrates the capability of the damage detection method by not only identifying the location and the extent of the damage, but also differentiating the nature of the damage. The potential applicability of the KP method for structural damage identification is confirmed by laboratory test.

• Bulletin of the Korean Mathematical Society
• /
• v.42 no.3
• /
• pp.521-525
• /
• 2005

We give a necessary and sufficient condition of a rationally elliptic space X such that the Dold-Lashof classifying space Baut1X for fibrations with the fiber X is rank one. It is only when X has the rational homotopy type of a sphere or the total space of a spherical fibration over a product of spheres.

• Journal of Korea Multimedia Society
• /
• v.3 no.1
• /
• pp.77-90
• /
• 2000

Real-Time verification is a procedure that verifies the correctness of specification related to requirement in time as well as in logic. One serious problem encountered in the verification task is that the state space grows exponentially owing to the unboundedness of time, which is termed the state space explosion problem. In this paper, we propose a real-time verification technique checking the correctness of specification by showing that a system model described in timed automata is equivalent to the characteristic of system property specified in timed modal-mu calculus. For this, we propose a local model checking method based on the value of the formula in initial state with constructing product graph concerned to only the nodes needed for verification process. Since this method does not search for every state of system model, the state space is reduced drastically so that the proposed method can be applied effectively to real-time system verification.