• Journal of the Korean Mathematical Society
• /
• v.33 no.2
• /
• pp.439-453
• /
• 1996

In R. McKenzie[12], it is shown that the cardinality of the lattice variety is $2^\aleph_0$ and K. Baker[1] contains the stronger result that M, the variety of all modular lattices, has $2^\aleph_0$ subvarieties. It follows that there exists a variety of modular lattices that is not finitely based. In fact, K. Baker[2] gave an example of such a variety. And it was proved by K. Baker [2] and B. Jonsson [8] that join of two finitely based lattice varieties is not always finitely based. K. Baker[2] gave an explicit example of case of nonmodular lattice variety. Then it is proposed whether the join of two finitely based varieties if finitely based under certain conditions. The answer to the question is not affirmative.

• Communications of the Korean Mathematical Society
• /
• v.11 no.3
• /
• pp.613-626
• /
• 1996

This paper is a contribution to the study of the properties of the lattice of all lattice varieties. Among the properties, that of finite base is investigated here. The question whether the join of two finitely based modular lattice varieties is finitely based is investigated under certain conditions.

• Communications of the Korean Mathematical Society
• /
• v.13 no.2
• /
• pp.257-272
• /
• 1998

This paper is a contribution to the study of the properties of the lattice of all lattice varieties. Among the properties, that of finite base is investigated here.

• Journal of the Korean Institute of Navigation
• /
• v.14 no.3
• /
• pp.15-33
• /
• 1990

In recent years, propellers with various blade configurations such as highly skewed propellers are often fitted to ships from the viewpoint of reduction of vibration and noise. In the design of such propellers, design charts based on methodical series tests are to be complemented by theoretical calculations for accurate estimation of propeller open-water characteristics. The author intended to develop a method to estimate propeller open-water characteristics based on Quasi -Vortex - Lattice Method originally developed by Lan for solving planar thin wings, The Quasi - Vortex - Lattice Method has the simplicity and flexibility of Vortex - Lattice Method. Its accuracy is comparable to that of the Vortex - Lattice Method. Converged solution can be obtained with a small number of control points and further, leading edge suction force can be calculated directly. In the present paper, a numerical method to estimate propeller open-water characteristics based on the Quasi - Vortex - Lattice Method is reviewed and its application to marine propellers is described in detail. Comparison of propeller open-water characteristics obtained by the present method with experimental data showed good agreement for a wide variety of propellers including highly skewed propellers.

• Journal of the Korea Furniture Society
• /
• v.24 no.4
• /
• pp.400-407
• /
• 2013

21C modern society is a time when enough design to dominate the world, a unique design is required new in all aspects. In addition, there is a religion to the best of Zen art. In our cultural heritage with a ethnicity unique unparalleled in the world, and a new recognition of traditional culture and identity of its own in our country, lattice door flower temple the beauty of Korea in the way you tell, it was modernized by interpreting a new one to utilize as a design element of a wood lattice door flower temple. In this study, to re-appear in openwork having regard to the symbolism of pattern and shape of the lattice door flower temple molding properties were highlighted, change the part of the motif, repeated the curve geometric has been designed to simplify as. As a result, it is possible to present the possibility of a design element that can design a traditional Korean is reinterpreted Modern thereby simplify the repetitive element of the related art, for a new aesthetic changes unique. Design Development of wood with a Buddhist temple flower lattice modern re-interpretation, it suits while a strong indication Korea imagery and expressed a variety of needs and personality to the design elements that are competitive in the world the cage, and design of wood, various studies competitive on to be applied to each field is required.

• Journal of the Korean Society of Visualization
• /
• v.20 no.3
• /
• pp.74-85
• /
• 2022

We propose a Cubic-Interpolated Pseudo-Particle Lattice Boltzmann method (CIP-LBM) for the convection-diffusion equation (CDE) based on the Bhatnagar-Gross-Krook (BGK) scheme equation. The CIP-LBM relies on an accurate numerical lattice equilibrium particle distribution function on the advection term and the use of a splitting technique to solve the Lattice Boltzmann equation. Different schemes of lattice spaces such as D1Q3, D2Q5, and D2Q9 have been used for simulating a variety of problems described by the CDE. All simulations were carried out using the BGK model, although another LB scheme based on a collision term like two-relation time or multi-relaxation time can be easily applied. To show quantitative agreement, the results of the proposed model are compared with an analytical solution.

• Journal of the Korean Mathematical Society
• /
• v.52 no.4
• /
• pp.853-868
• /
• 2015

Let G be a complex semisimple simply connected linear algebraic group. The main result of this note is to give several equivalent criteria for the untwistedness of the twisted cubes introduced by Grossberg and Karshon. In certain cases arising from representation theory, Grossberg and Karshon obtained a Demazure-type character formula for irreducible G-representations as a sum over lattice points (counted with sign according to a density function) of these twisted cubes. A twisted cube is untwisted when it is a "true" (i.e., closed, convex) polytope; in this case, Grossberg and Karshon's character formula becomes a purely positive formula with no multiplicities, i.e., each lattice point appears precisely once in the formula, with coefficient +1. One of our equivalent conditions for untwistedness is that a certain divisor on the special fiber of a toric degeneration of a Bott-Samelson variety, as constructed by Pasquier, is basepoint-free. We also show that the strict positivity of some of the defining constants for the twisted cube, together with convexity (of its support), is enough to guarantee untwistedness. Finally, in the special case when the twisted cube arises from the representation-theoretic data of $\lambda$ an integral weight and $\underline{w}$ a choice of word decomposition of a Weyl group element, we give two simple necessary conditions for untwistedness which is stated in terms of $\lambda$ and $\underline{w}$.

• Journal of the Korean Society of Costume
• /
• v.60 no.9
• /
• pp.16-25
• /
• 2010

This study reinterpreted the formative design elements of traditional grate patterns to create new lattice patterns and come up with a design concept for fashion-cultural products that highlight the uniqueness of traditional Korean culture and its characteristic features. Methodologically, the computer design software programs Adobe Illustrator CS2 and Adobe Photoshop were used to make grate patterns motifs. and they were applied to scarves and again to blouses using a three-dimensional simulation technique. In this study, three basic motifs for a new formative image were set using graphical functions such as omitting, simplifying, overlapping, repeating and reducing shapes based on the images of traditional 亞-shaped, arched and floral lattices, and each motif was expanded to have two variations with different colors applied to them. The direction of basic motif design was set to fit for each of fashion-cultural items such as scarves and blouses. Basic colors for motifs were arranged to create a colorful and modern but staid image in pink, blue, purple, green, yellow and brown tones. Based on a developed motif, changes were made in blouse design with lattice patterns through a variety of effects such as repetition, rotation, cross-arrangement, and oblique arrangement, and three-dimensional simulation was used to bring the design to life. Scarf design employed and applied the existing motifs in an appropriate manner for design purposes and reconstructed them through such effects as repetition, rotation, compositional variation and gradation to express a gorgeous and refined image.

• 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 Mechanical Science and Technology
• /
• v.19 no.11
• /
• pp.2032-2039
• /
• 2005

The lattice Boltzman method (LBM) and the finite difference-based lattice Boltzmann method (FDLBM) are quite recent approaches for simulating fluid flow, which have been proven as valid and efficient tools in a variety of complex flow problems. They are considered attractive alternatives to conventional finite-difference schemes because they recover the Navier-Stokes equations and are computationally more stable, and easily parallelizable. However, most models of the LBM or FDLBM are for incompressible fluids because of the simplicity of the structure of the model. Although some models for compressible thermal fluids have been introduced, these models are for monatomic gases, and suffer from the instability in calculations. A lattice BGK model based on a finite difference scheme with an internal degree of freedom is employed and it is shown that a diatomic gas such as air is successfully simulated. In this research we present a 2-dimensional edge tone to predict the frequency characteristics of discrete oscillations of a jet-edge feedback cycle by the FDLBM in which any specific heat ratio $\gamma$ can be chosen freely. The jet is chosen long enough in order to guarantee the parabolic velocity profile of a jet at the outlet, and the edge is of an angle of $\alpha$=23$^{o}$. At a stand-off distance w, the edge is inserted along the centerline of the jet, and a sinuous instability wave with real frequency is assumed to be created in the vicinity of the nozzle exit and to propagate towards the downstream. We have succeeded in capturing very small pressure fluctuations resulting from periodic oscillation of the jet around the edge.