• Kyungpook Mathematical Journal
• /
• v.28 no.2
• /
• pp.147-154
• /
• 1988

For a positive integer p, $A_p$ will denote the class of functions $f(z)=z^p+\sum\limits^{\infty}_{n=p+1}a_nz^n$ which are analytic in the unit disc U = {z: |z| <1}. For $0{\leq}{\alpha}{\leq}1$, 0<${\beta}{\leq}1$, $0{\leq}{\lambda}$ $S_p({\alpha},{\beta},{\lambda})$ denote the class of functions $f(z){\in}A_p$ which satisfy the condition $\left|\frac{{\frac{zf^{\prime}(z)}{f(z)}}-p}{{{\alpha}{\frac{zf^{\prime}(z)}{f(z)}}+p-{\lambda}(1+{\alpha})}}\right|$<${\beta}$ for $z{\in}U$ In this paper we obtain a representation theorem for the class $S_p({\alpha},{\beta},{\lambda})$ and also derive distortion theorem and sharp estimates for the coefficients of this class.

• Kyungpook Mathematical Journal
• /
• v.60 no.1
• /
• pp.1-20
• /
• 2020

A simple but elegant result of Rival states that every sublattice L of a finite distributive lattice 𝒫 can be constructed from 𝒫 by removing a particular family 𝒥_L of its irreducible intervals. Applying this in the case that 𝒫 is a product of a finite set 𝒞 of chains, we get a one-to-one correspondence L ↦ 𝒟_𝒫(L) between the sublattices of 𝒫 and the preorders spanned by a canonical sublattice 𝒞^⋄ of 𝒫. We then show that L is a tight sublattice of the product of chains 𝒫 if and only if 𝒟_𝒫(L) is asymmetric. This yields a one-to-one correspondence between the tight sublattices of 𝒫 and the posets spanned by its poset J(𝒫) of non-zero join-irreducible elements. With this we recover and extend, among other classical results, the correspondence derived from results of Birkhoff and Dilworth, between the tight embeddings of a finite distributive lattice L into products of chains, and the chain decompositions of its poset J(L) of non-zero join-irreducible elements.

• Wind and Structures
• /
• v.10 no.2
• /
• pp.177-208
• /
• 2007

Few mathematical methods attracted theoretical and applied researches, both in the scientific and humanist fields, as the Proper Orthogonal Decomposition (POD) made throughout the last century. However, most of these fields often developed POD in autonomous ways and with different names, discovering more and more times what other scholars already knew in different sectors. This situation originated a broad band of methods and applications, whose collation requires working out a comprehensive viewpoint on the representation problem for random quantities. Based on these premises, this paper provides and discusses the theoretical foundations of POD in a homogeneous framework, emphasising the link between its general position and formulation and its prevalent use in wind engineering. Referring to this framework, some applications recently developed at the University of Genoa are shown and revised. General remarks and some prospects are finally drawn.

• Korean Journal of Mathematics
• /
• v.27 no.2
• /
• pp.375-415
• /
• 2019

We study spaces of continuous-function-valued functions that have the property that composition with evaluation functionals induce $weak^*$ to norm continuous maps to ${\ell}^p$ space ($p{\in}(1,\;{\infty})$). Versions of $H{\ddot{o}}lder^{\prime}s$ inequality and Riesz representation theorem are proved to hold on these spaces. We prove a version of Dixmier's theorem for spaces of function-valued matrix operators on these spaces, and an analogue of the trace formula for operators on Hilbert spaces. When the function space is taken to be the complex field, the spaces are just the ${\ell}^p$ spaces and the well-known classical theorems follow from our results.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2003.09a
• /
• pp.353-357
• /
• 2003

Although it is more and more well accepted that modeling is a help for experimental biology, little is known about how to integrate physiological processes in general. The fact that no general theory exist in biology has big consequences, the most important being the difficulty to integrate biological phenomena. 1 will present a solution for the three dependent following issues: i) in an appropriate theoretical framework, integration consists in coupling models that each describe physiological mechanisms (formalization is a necessary condition to integration); ii) a biological theory with its own concepts leads to unifying principles in biology that are different from and complementary to physical principles; iii) such a formalized theory consists in a representation in terms of functional interactions and a specific formalism(S-Propagator). Hence a biological theory is of a topological and geometrical nature, in contrast to physical theories that are of a geometrical nature. An application to the interpretation of intelligence is proposed, based on the "intelligence"of movement.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.9 no.4
• /
• pp.447-454
• /
• 2014

Recently most of functional synthesis methods for quantum circuit realization have a tendency to adopt the declarative functional expression more suitable for computer algorithms, so it's difficult to analysis synthesized quantum functions. This paper presents a new functional representation of quantum circuits compatible with simple architecture and intuitive thinking. The proposal of this paper is a new functional synthesis development by using the control functions as the power of corresponding to affine-controlled quantum gates based on the mathematical substitution of serial-product matrix operation over the target line for the arithmetic and modulo-2 ones between power functions of unitary operators. The functional synthesis algorithm proposed in this paper is useful for the functional expressions and synthesis using both of reversible and irreversible affine-controlled NCV-quantum gates.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 1999.05a
• /
• pp.185-191
• /
• 1999

Mathematical morphology based on set theory has been applied to various areas in image processing. Pitas proposed a object recognition algorithm using Morphological Shape Decomposition(MSD), and a new representation scheme called Morphological Shape Representation(MSR). The Pitas's algorithm is a simple and adequate approach to recognize objects that are rotated 45 degree-units with respect to the model object. However, this recognition scheme fails in case of random rotation. This disadvantage may be compensated by defining small angle increments. However, this solution may greatly increase computational complexity because the smaller the step makes more number of rotations to be necessary. In this paper, we propose a new method for object recognition based on MSD. The first step of our method decomposes a binary shape into a union of simple binary shapes, and then a new tree structure is constructed which ran represent the relations of binary shapes in an object. finally, we obtain the feature informations invariant to the rotation, translation, and scaling from the tree and calculate matching scores using efficient matching measure. Because our method does not need to rotate the object to be tested, it could be more efficient than Pitas's one. MSR has an intricate structure so that it might be difficult to calculate matching scores even for a little complex object. But our tree has simpler structure than MSR, and easier to calculated the matchng score. We experimented 20 test images scaled, rotated, and translated versions of five kinds of automobile images. The simulation result using octagonal structure elements shows 95% correct recognition rate. The experimental results using approximated circular structure elements are examined. Also, the effect of noise on MSR scheme is considered.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.7
• /
• pp.768-774
• /
• 2010

Reconstruction of implicit surfaces from scattered point data sets have been developed in various engineering and scientific studies. In this paper, we represent a method to construct functions of 2D point data using multi-scale kernels and show it can be applied to graphics applications needed to access data in real-time. Our approach is similar to previous work in that a set of coefficients of the functions are calculated and stored in the preprocessing stage and function values at arbitrary positions are evaluated for real-time applications, however, it is different from others in that users can choose detail levels freely in real-time processing stage. The reason why the functions implicitly supports multi-resolution results from the mathematical properties of multi-scale kernels, and proposed method can be expanded to represent multi-resolution functions of n-dimensional data.

• Journal of architectural history
• /
• v.12 no.4 s.36
• /
• pp.49-62
• /
• 2003

Vesely explains, the main source of our confusion and nihilism comes most probably from the ambiguous relationship between modem architecture, technology and aesthetics. Also, to overcome such crucial problems, many theorists recently emphasize to take part in cultural civilization and to preserve creative genes of great culture that is based on our interpretation of 'ethical and mythical nucleus of mankind,' rather than in technical modernization that constitutes a sort of subtle destruction of mytho-ethical nucleus of a society. They for architecture also strongly stress on a mythopoetic imagination and an ontological construction of building, which could make a form symbolic and mythical rather than mathematical and aesthetic representation. On this point, 'myth' becomes a vital idea for constructing and construing architectural form and space. And it is also one of the essential concepts to understand both the motive power of cultural continuation of place and the meaning of architecture. Nevertheless, its meaning and the citation of word in architectural essay are still obscure. It might be because the original concept of myth not only has been lain in the matter of philosophical contemplation. Thus, the intention of the research is focused on lightening the meaning of myth in architectural term. Especially, it is, first, concentrated on interpreting philosopher Ernst Cassirer's reflections which were written in order to emphasize the importance of 'mythical consciousness' for the world's cultural civilization. And, the second, it will continue to interpret the myth as a sign within the semiotic concept of Charles Sanders Peirce, and further to emphasis the significance of mythic signs for the continuance of artistic and cultural idea including architecture. The contents of the paper is not that of architectural planning and design methodology, rather architectural philosophy and epistemology. Nevertheless, in regard to architecture, the research will, against today's un-discriminated use of symbolic motifs and instrumental representation of form, suggest a concrete architectural and aesthetic theory of myth and sign, especially of the relationship between the idea of semiology and the function of cultural continuity.

• Journal of Educational Research in Mathematics
• /
• v.17 no.2
• /
• pp.111-125
• /
• 2007

In this article, we introduce an example about 'computers and mathematics education' and discuss its educational meaning. First, we survey two microworlds of Logo and DGS, which are two different representation systems for geometric phenomena. And we propose needs of connecting two microworlds with common perspective. And we suggest a mediation model that connects two representations in a microworld. Using this mediation model(Circle model), we construct a circle, a ellipse, and a cardioid with two different representations. It is important that the mediation model makes it possible that we translate descriptions from one representation into the other, and guess perimeters of planar curves. We also discuss roles and mathematical implications of this mediation model by error case in calculating perimeters of ellipses.