• Journal for History of Mathematics
• /
• v.23 no.2
• /
• pp.101-121
• /
• 2010

This article includes an introduction, a history of Pick's theorem on lattice polyhedron and its proof, Reeve's theorem on 3-dimensional lattice polyhedrons extended from the Pick's theorem and Ehrhart polynomial generalized as an n-dimensional lattice polyhedron, and then shows the relationship between the volume of 3-dimensional polyhedron and the number of its lattice points by means of Reeve's theorem. It is aimed to apply the relationship to the visualization of sums in sequences.

• Journal of applied mathematics & informatics
• /
• v.18 no.1_2
• /
• pp.465-486
• /
• 2005

We study the relationship between intuitionistic fuzzy ideals and intuitionistic fuzzy congruences on a distributive lattice. And we prove that the lattice of intuitionistic fuzzy ideals is isomorphic to the lattice of intuitionistic fuzzy congruences on a generalized Boolean algebra.

• Bulletin of the Korean Mathematical Society
• /
• v.35 no.1
• /
• pp.13-24
• /
• 1998

We define an LI-ideal of a lattice implication algebra and show that every LI-ideal is a lattice ideal. We give an exampl that a lattice ideal may not be an LI-ideal, and show that every lattice ideal is an LI-ideal in a lattice H implication algebra. we discuss the relationship between filters and LI-ideals, and study how to generate an LI-ideal by a set. We construct the quotient structure by using an LI-ideal, and study the properties of LI-ideals related to implication homomorphisms.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2004.04a
• /
• pp.372-377
• /
• 2004

We introduce the concepts of intuitionistic fuzzy ideals and intuitionistic fuzzy congruences on a lattice, and discuss the relationship between intuitionistic fuzzy ideals and intuitionistic fuzzy congruence on a distributive lattice. Also we prove that for a generalized Boolean algebra, the lattice of intuitionistic fuzzy ideals is isomorphic to the lattice of intuitionistic fuzzy congruences. Finally, we consider the products of intuitionistic fuzzy ideals and obtain a necessary and sufficient condition for an intuitionistic fuzzy ideals on the direct sum of lattices to be representable on a direct sum of intuitionistic fuzzy ideals on each lattice.

• Korean Journal of Materials Research
• /
• v.25 no.8
• /
• pp.403-409
• /
• 2015

Metastable phase characteristics of beta Ti alloys were investigated to consider the relationship of the microstructure and diffraction pattern in TEM. TEM analysis showed that the microstructure was mottled as a modulated structure, and the diffraction pattern was composed of spot streaks between the main spots of a stable beta phase with a specific lattice relationship. The modulated structure may be induced by short distance slip or atom movement during a very short interval of solution treated and quenched (STQ) materials. The athermal ${\omega}$ phase, which could be precipitated at low temperature aging, is also analysed by the metastable phase. The metastable phases including athermal ${\omega}$ phase had a common characteristic of hardened and brittle behavior because the dislocation slip was restricted by a super lattice effect due to short distance atom movement at the metastable state.

• Honam Mathematical Journal
• /
• v.37 no.2
• /
• pp.187-205
• /
• 2015

We discuss the relationship between interval-valued fuzzy ideals and interval-valued fuzzy congruence on a distributive lattice L and show that for a generalized Boolean algebra the lattice of interval-valued fuzzy ideals is isomorphic to the lattice of interval-valued fuzzy congruences. Finally we consider the products of interval-valued fuzzy ideals and obtain a necessary and sufficient condition for an interval-valued fuzzy ideal on the direct sum of lattices to be representable as a direct sum of interval-valued fuzzy ideals on each lattice.

• Applied Microscopy
• /
• v.45 no.4
• /
• pp.230-235
• /
• 2015

Crystallographic models are effective tools to interpret, calculate and even to predict the preferred crystallographic morphologies of precipitates in various precipitation systems. The present study gives an introduction on the recently developed secondary constrained coincident site lattice (II-CCSL) model. Using the II-CCSL model, the interface matching condition of the ${\beta}-Mg_{17}Al_{12}$ precipitates with ${\alpha}-Mg$ matrix in an aged AZ91 alloy has been analyzed to rationalize the morphologies of the precipitates. The results show that the characteristic crystallographic features of the observed ${\beta}-Mg_{17}Al_{12}$ precipitates, i.e., the habit plane of the ${\beta}-Mg_{17}Al_{12}$ lath with a Burgers orientation relationship (OR) and the growth direction of the ${\beta}-Mg_{17}Al_{12}$ with a Crawley OR exhibit a better lattice matching degree than their vicinal orientations. Moreover, the Crawley OR is preferred to the Burgers OR due to a better lattice match.

• Korean Journal of Mathematics
• /
• v.28 no.3
• /
• pp.509-524
• /
• 2020

The notion of fuzzy closure filters is introduced and discussed in an MS-algebra. In particular, we characterize the prime fuzzy closure filters in terms of boosters. Some relationship between the lattice of fuzzy closure filters and the fuzzy ideal lattice of boosters are explored and investigated.

• Journal of Convergence for Information Technology
• /
• v.9 no.5
• /
• pp.7-13
• /
• 2019

Role-based access or attribute-based access control in cloud environment or big data environment need requires a suitable mathematical structure to represent a hierarchical model. This paper define the notion of multipliers and simple multipliers of lattice implication algebras that can implement a hierarchical model of role-based or attribute-based access control, and prove every multiplier is simple multiplier. Also we research the relationship between multipliers and homomorphisms of a lattice implication algebra L, and prove that the lattice [0, u] is isomorphic to a lattice $[u^{\prime},1]$ for each $u{\in}L$ and that L is isomorphic to $[u,1]{\times}[u^{\prime},1]$ as lattice implication algebras for each $u{\in}L$ satisfying $u{\vee}u^{\prime}=1$.

• Journal of the Korean Crystal Growth and Crystal Technology
• /
• v.8 no.1
• /
• pp.91-96
• /
• 1998

An empirical relationship which can be calculated to the lattice constants $a_0$ and $c_0$ for the borate crystals with huntite structure were determined. Different compositions of twenty-eight were used for the calculations. These empirical formulas can be used to predict lattice parameters of unknown compositions as a function of the average ionic radii in the trigonal and octahedral sites of the huntite structure.