• Korean Journal of Materials Research
• /
• v.11 no.11
• /
• pp.929-935
• /
• 2001

Two-dimensional computer simulations were conducted on percolation structure in which second phases of various aspect ratios were arranged in a lattice (matrix). The second phases were randomly arranged in an array with two different computational programs; one prohibiting an overlap among second phases and the other allowing the overlap. From the simulation prohibiting the overlap, it was predicted that a complete path was formed at less amounts of the second phase with higher aspect ratios. In the simulation allowing the overlap, a complete path throughout the array was formed by arranging the second phase of an aspect ratio of 1. 5, 20, 100 with less than 59%, 43%, 19%, 4% in the array, respectively.

• Kyungpook Mathematical Journal
• /
• v.48 no.2
• /
• pp.195-206
• /
• 2008

The purpose of this note is to compare the rings of continuous functions, integer-valued or real-valued, in pointfree topology with those in classical topology. To this end, it first characterizes the Boolean frames (= complete Boolean algebras) whose function rings are isomorphic to a classical one and then employs this to exhibit a large class of frames for which the functions rings are not of this kind. An interesting feature of the considerations involved here is the use made of nonmeasurable cardinals. In addition, the integer-valued function rings for Boolean frames are described in terms of internal lattice-ordered ring properties.

• Journal of KIISE:Databases
• /
• v.32 no.3
• /
• pp.326-333
• /
• 2005

Many XML applications use XPath Patterns as a query language for XML documents. Two XPath patterns may have containment relationship, and the containment problem between two XPath patterns is a problem that determines whether one XPath pattern contains another XPath Pattern. Although the containment problem occurs in many applications, it is known as a co-NP complete. A homomorphism problem, which is a sufficient condition for the containment problem, is solved in polynomial time. We first discuss applications that replace the containment problem with the homomorphism problem, and maintaining homomorphism information among XPath patterns will benefit those applications. Then, we propose a lattice structure, called POX (Partially Ordered Set of XPath Patterns), and develop algorithms for maintaining it. As our analyses show, the algorithms can efficiently maintain POX in polynomial time.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.30 no.2 s.245
• /
• pp.144-152
• /
• 2006

In order to consider the effect of Karman vortex for mixing, mixing indices are calculated for 4 models of micro channel flows driven from the combinations of a circular cylinder and a oscillating stirrer. And their results are compared to that of a simple straight micro channel flow(model I). The mixing rate is improved 5.5 times by Karman vortex (model II) and 11.0 times by the stirrer(model III) respectively. In case of successive mixing by the cylinder and the stirrer(model IV), $27\%$ of shortening the channel length for the complete mixing as well as 1.37 times improvement of mixing efficiency then model III. And then, variation of mixing indices are much stable comparing with the others. Thus, it is found that the Karman vortex plays a good role as a pre-mixing method. The D2Q9 Lattice Boltzmann methods are used.

• Bulletin of the Korean Chemical Society
• /
• v.16 no.11
• /
• pp.1084-1088
• /
• 1995

A complete solid solution (SrLaAl1-xNixO4) between insulating SrLaAlO4 and metallic SrLaNi(Ⅲ)O4 oxides were prepared under high oxygen pressure (1.5 kbar, 800 ℃). They have tetragonal K2NiF4-type structure in all the solid solution range. Compared with lattice parameters of the same solid solution prepared under normal condition (1 bar, 1200 ℃), large decrease in the c-parameter was induced by high pressure treatment while no noticeable variation of the a-parameter was observed. Although marked changes of structural parameters, magnetic susceptibilities, and electron paramagnetic resonance spectra were consistently occurred before and after x=0.5, overall behaviors were essentially the same with those of solid solution prepared under normal condition. Such a phenomenon is explained by assuming the formation of partially filled narrow σ*x2-y2 band for x>0.5. Lattice contraction along the c-axis by high pressure treatment seems not to broaden this band. Particularly, the continuous absorption characteristic of a high free carrier concentration for x>0.5 and the absence of Ni-O in-plane stretching mode in the infrared absorption spectra supports this picture. However, the conductivities increasing with temperature for all solid solution suggest that some localization character, of probably Anderson type, remains for x>0.5.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.6
• /
• pp.1852-1860
• /
• 2000

Distinct from the Markov random field or pseudo 2D HMM models for image analysis, this paper proposes a new model of 2D hidden Markov mesh chain(HMMM) model which subsumes the definitions of and the assumptions underlying the conventional HMM. The proposed model is a new theoretical realization of 2D HMM with the causality of top-down and left-right progression and the complete lattice constraint. These two conditions enable an efficient mesh decoding for model estimation and a recursive maximum likelihood estimation of model parameters. Those algorithms are developed in theoretical perspective and, in particular, the training algorithm, it is proved, attains the optimal set of parameters.

• Journal of the Korean Ceramic Society
• /
• v.28 no.7
• /
• pp.503-508
• /
• 1991

High pure and fine mullite powders were synthesized from Al-secbutoxide[Al(OC4H9)3] and TEOS[Si(OC2H5)4] (SiO2/Al2O3=2/3 mole). Sol-Gel process by partial hydrolysis technique, as it were, first, TEOS was partially hydrolysized and then mixed with Al-secbutoxide for complete hydrolysis was used. The mullite precursor was synthesized within 30 hrs, which was reduced about a half of synthetic time in comparison with the other's study. Al-Si spinel was formed at 980℃ and mullite crystal was formed at 1200℃. Mullite powders synthesized in this study was spherical type like those of the other studies and particle sizes were very fine. Also mullite powders calcined at 1,600℃ had a stoichiometric composition (3Al2O3·2SiO2) and lattice constants were coincided with known theoretical values.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.20 no.6
• /
• pp.875-883
• /
• 2010

We introduce the concept of intuitionistic smooth topology in Lowen's sense and we prove that the family IST(X) of all intuitionistic smooth topologies on a set is a meet complete lattice with least element and the greatest element [Proposition 3.6]. Also we introduce the notion of level fuzzy topology on a set X with respect to an intuitionistic smooth topology and we obtain the relation between the intuitionistic smooth topology $\tau$ and the intuitionistic smooth topology $\eta$ generated by level fuzzy topologies with respect to $\tau$ [Theorem 3.10].

• The Pure and Applied Mathematics
• /
• v.12 no.4 s.30
• /
• pp.253-274
• /
• 2005

An additive regular Semiring S is left inversive if the Set E+ (S) of all additive idempotents is left regular. The set LC(S) of all left inversive semiring congruences on an additive regular semiring S is a lattice. The relations $\theta$ and k (resp.), induced by tr. and ker (resp.), are congruences on LC(S) and each $\theta$-class p$\theta$ (resp. each k-class pk) is a complete modular sublattice with $p_{min}$ and $p_{max}$ (resp. With $p^{min}$ and $p^{max}$), as the least and greatest elements. $p_{min},\;p_{max},\;p^{min}$ and $p^{max}$, in particular ${\epsilon}_{max}$, the maximum additive idempotent separating congruence has been characterized explicitly. A semiring is quasi-inversive if and only if it is a subdirect product of a left inversive and a right inversive semiring.

• Journal of applied mathematics & informatics
• /
• v.39 no.3_4
• /
• pp.569-585
• /
• 2021

In this paper, we introduce the concept of relative co-fuzzy annihilator filters in distributive lattices. We give a set of equivalent conditions for a co-fuzzy annihilator to be a fuzzy filter and we characterize distributive lattices with the help of co-fuzzy annihilator filters. Furthermore, using the concept of relative co-fuzzy annihilators, we prove that the class of fuzzy filters of distributive lattices forms a Heyting algebra. We also study co-fuzzy annihilator filters. It is proved that the set of all co-fuzzy annihilator filters forms a complete Boolean algebra.