• 대한수학회지
• /
• 제33권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.

• 대한수학회논문집
• /
• 제11권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.

• 대한수학회논문집
• /
• 제13권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.

• 한국항해학회지
• /
• 제14권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.

• 한국가구학회지
• /
• 제24권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.

• 한국가시화정보학회지
• /
• 제20권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.

• 대한수학회지
• /
• 제52권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}$.

• 복식
• /
• 제60권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.

• 한국콘텐츠학회논문지
• /
• 제10권10호
• /
• pp.479-493
• /
• 2010

지식기반 환경의 변화와 더불어 이-러닝은 매우 보편화된 교수.학습 방법의 하나가 되었으며, 이와 관련한 여러 연구들이 진행되고 있다. 이-러닝의 주요 연구 분야 중의 하나는 학습자의 다양한 상황들을 반영하여 학습자 개개인의 특징에 맞게 학습내용을 지원하기 위한 적응형 학습 시스템에 관한 연구이다. 이와 관련하여 최근에는 적응적 학습내용을 보다 효과적으로 지원하기 위하여 온톨로지를 기반으로 한 적응형 학습 시스템에 대한 연구들이 활발히 진행되고 있다. 본 논문에서는 FCA의 개념 망을 기반으로 온톨로지의 접근 방법과 목적은 같이하지만, 특정 영역의 학습에 적합한 사용자가 보다 자유롭고 쉽게 자신의 적응형 학습 시스템을 구축하여 사용할 수 있는 적응형 학습 시스템을 설계하여 제안한다. 제안된 시스템은 학습영역에 존재하는 학습객체와 학습개념들 사이의 연관 관계에 따라 이들을 개념 망 구조 안에 자동으로 계층화한다. 또한 학습자의 지식수준, 학습선호도, 학습스타일 및 학습개념의 학습상태에 따라 개념 망 학습구조를 적응적으로 구성하여 제시한다.

• Journal of Mechanical Science and Technology
• /
• 제19권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.