• Communications of the Korean Mathematical Society
• /
• v.31 no.2
• /
• pp.395-414
• /
• 2016

In this work, we study on subdivision schemes reproducing polynomials and build a symmetric subdivision scheme reproducing polynomials of a certain predetermined degree, which is a slight variant of the family of Deslauries-Dubic interpolatory ones. Related to polynomial reproduction, a necessary and sufficient condition for a subdivision scheme to reproduce polynomials of degree L was recently established under the assumption of non-singularity of subdivision schemes. In case of stepwise polynomial reproduction, we give a characterization for a subdivision scheme to reproduce stepwise all polynomials of degree ${\leq}L$ without the assumption of non-singularity. This characterization shows that we can investigate the polynomial reproduction property only by checking the odd and even masks of the subdivision scheme. The minimal-support condition being relaxed, we present explicitly a general formula for the mask of (2n + 4)-point symmetric subdivision scheme with two parameters that reproduces all polynomials of degree ${\leq}2n+1$. The uniqueness of such a symmetric subdivision scheme is proved, provided the two parameters are given arbitrarily. By varying the values of the parameters, this scheme is shown to become various other well known subdivision schemes, ranging from interpolatory to approximating.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 2004.05a
• /
• pp.233-236
• /
• 2004

The major objective of this paper is to clarify the effect of constitutive laws on bulk forming design based on the ideal flow theory. The latter theory is in general applicable for perfectly/plastic materials. However, its kinematics equations constitute a closed-form system, which are valid for any incompressible materials, therefore enabling us to extend design solutions based on the perfectly/plastic constitutive law to more realistic laws with rate sensitive hardening behavior. In the present paper, several constitutive laws commonly accepted for the modeling of cold and hot metal forming processes are considered and the effect of these laws on one particular plane-strain design is demonstrated. The closed form solution obtained describes a non-trivial nonsteady ideal process. The design solutions based on the ideal flow theory are not unique. To achieve the uniqueness, the criterion that the plastic work required to deform the initial shape of a given class of shapes into a prescribed final shape attains its minimum is adopted. Comparison with a non-ideal process is also made.

• Journal of the Korean housing association
• /
• v.17 no.2
• /
• pp.1-10
• /
• 2006

In the resultant period of architectural transition and a tendency towards unthinking formalism, it is all the more important for designers to question the meaning of their actions and their role in society. Modern architects were convinced that their visions were reality, their ideas truth. Yet this assumption is was the fundamental issue, for what reality and how is it perceived? Harries argues a rediscovery of a language of natural symbols, which might help create buildings that are experienced as necessary rather than arbitrary. These symbols are said to express the essential patterns of human existence in the world. In the Frank Lloyd Wright's works, the uniqueness of his architecture lies in its expression and interpretation of nature and people's existence in the world. This study is intended to be an investigation of the nature of physical expression and perception of the reality known, and to seek to present Wright's philosophy of house design in relation to nature and non-arbitrary architecture. Finally this paper concludes that the architectural expression of expressions of Wright's houses are timeless and full of lift, and these built qualities are necessary and could not readily be otherwise.

• Korean Journal of Computational Design and Engineering
• /
• v.7 no.4
• /
• pp.219-232
• /
• 2002

In numerically controlled(NC) machining simulation, a Z-map has been used frequently for representing a workpiece. Since the Z-map is usually represented by a set of Z-axis aligned vectors, the machining process can be simulated through calculating the intersection points between the vectors and the surface swept by a machining tool. In this paper, we present an efficient method to calculate those intersection points when an APT-type tool moves along a linear tool path. Each of the intersection points can be expressed as the solution of a system of non-linear equations. We transform this system of equations into a single-variable equation, and calculate the candidate interval in which the unique solution exists. We prove the existence of a solution and its uniqueness in this candidate interval. Based on these characteristics, we can effectively apply numerical methods to finally calculate the solution of the non-linear equations within a given precision. The whole process of NC simulation can be achieved by updating the Z-map properly. Our method can provide more accurate results with a little more processing time, in comparison with the previous closed-form solution.

• Korean Institute of Interior Design Journal
• /
• v.19 no.1
• /
• pp.27-36
• /
• 2010

The purpose of this study is to define concept and characteristics of "Unphenomenon", the design concept conceived by Shiro Kuramata who is a world renowned Japanese interior designer and to explore how his ideas were materialized in his works. This study 1) examines his experience during his childhood reflected in his essay The scenery of the Unphenomenon' and training in Kuwazawa Design Institute that made Shiro Kuramata a true interior designer, and also considers how his design philosophy had been built up and realized under the unique social situation at the time. 2) defines the concept and characteristics of "Unphenomenon" as substance of his design philosophy by surveying remarks in his books and comments made by people around him in press interviews. 3) concludes his own design method and uniqueness by analyzing his works based on them. As a result, the study has founded that 1) transparency as recognitive realization of existence and non-existence: non-existence of physical property, connotation, ambiguity 2) expression of uncommonness by correcting and reinterpreting common prejudices: flotation, distortion of scale and shape 3) realization of insubstantiality by removing and replacing material and shape: replacement into light, removal of the structure, multiple layers of meaning.

• Structural Monitoring and Maintenance
• /
• v.7 no.4
• /
• pp.319-344
• /
• 2020

Inverse analysis of non-linear reinforced concrete bridge pier using recursive Gaussian filtering for in-situ condition assessment is the main theme of this work. For this purpose, minimum variance unbiased estimation using unscented sigma points is adopted here. The uniqueness of this inverse analysis lies in its approach for strain based updating of engineering demand parameters, where appropriate bound and constrained conditions are introduced to ensure numerical stability and convergence. In this analysis, seismic input is also identified, which is an added advantage for the structures having no dedicated sensors for earthquake measurement. First, the proposed strategy is tested with a simulated example whose hysteretic properties are obtained from the slow-cyclic test of a frame to investigate its efficiency and accuracy. Finally, the experimental test data of a full-scale bridge pier is used to study its in-situ condition in terms of Park & Ang damage index. Overall the study shows the ability of the augmented minimum variance unbiased estimation based recursive time-marching algorithm for non-linear system identification with the aim to estimate the engineering damage parameters that are the fundamental information necessary for any future decision making for retrofitting/rehabilitation.

• Transactions on Control, Automation and Systems Engineering
• /
• v.4 no.2
• /
• pp.130-139
• /
• 2002

In this paper, at first, we investigate existing algorithms for finding the minimum infinity-norm solution of consistent linear equations and then propose a new algorithm. The proposed algorithm is intended to includes the advantages of computational efficiency as well as geometric explicitness. As a practical application example, optimum trajectory planning for redundant robot manipulators is considered. Also, an efficient approach avoiding discontinuity in trajectory is proposed by resolving the non-uniqueness problem of minimum infinity-norm solution. To be specific, the proposed method for checking possible discontinuity does not need any other algorithms in checking the possibility of discontinuity while previous work needs specially designed checking courses. To show the usefulness of the proposed techniques, an example calculating minimum infinity-norm solution for comparing the computational efficiency as well as the trajectory planning for a redundant robot manipulator are included.

• Journal of Korean Institute of Industrial Engineers
• /
• v.20 no.1
• /
• pp.99-112
• /
• 1994

This paper describe the development of a systematic method of slicing solid parts based on a data structure called Sliced Profile Data Structure(SPDS). SPDS is an augmented polygon data structure that allows multiple layers of sliced profiles to be connected together. The method consists of five steps: (1) Selection of slicing directions, (2) Determination of slicing levels, (3) Creation of sliced profiles, (4) Connection of sliced profiles, and (5) Refinement. The presented method is aimed at enhancing the applicability of CSG for manufacturing by overcoming the problem of non-uniqueness and global nature. The SPDS-based method of feature extraction is suitable for recognizing broad scope of features with detailed information. The method is also suitable for identifying the global relationships among features and is capable of incorporating the context dependency of feature extraction.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.6
• /
• pp.1079-1089
• /
• 2009

In this paper, we shall show that for any entire function f, the function of the form $f^m(f^n$ - 1)f' has no non-zero finite Picard value for all positive integers m, n ${\in}\;{\mathbb{N}}$ possibly except for the special case m = n = 1. Furthermore, we shall also show that for any two nonconstant meromorphic functions f and g, if $f^m(f^n$-1)f' and $g^m(g^n$-1)g' share the value 1 weakly, then f $\equiv$ g provided that m and n satisfy some conditions. In particular, if f and g are entire, then the restrictions on m and n could be greatly reduced.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.31B no.5
• /
• pp.26-33
• /
• 1994

Phase retrieval is concerned with the reconstruction of a signal from its Fourier transform magnitude (or intensity), which arises in many areas such as X-ray crystallography, optics, astronomy, or digital signal processing. In such areas, the Fourier transform phase of the desired signal is lost while measuring Fourier transform magnitude (F.T.M.). However, if a reference 'signal is added to the desired signal, then, in the Fourier trans form magnitude of the added signal, the Fourier transform phase of the desired signal is encoded. This paper addresses uniqueness and retrieval of the encoded Fourier phase of a multidimensional signal from the Fourier transform magnitude of the added signal along with the Fourier transform magnitude of the desired signal and the information of the additive reference signal. In Part I, several conditions under which the desired signal can be uniquely specified from the two Fourier transform magnitudes and the additive reference signal are presented. In Part II, the development of non-iterative algorithms and an iterative algorithm that may be used to reconstruct the desired signal(s) is considered.