• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.10 no.2
• /
• pp.228-234
• /
• 2006

This paper describes a systematic process which can generate a complete circuit specification efficiently for a given recursive DSP algorithm based on an optimal multiprocessor scheduler. The process is composed of two states: scheduling and circuit synthesis. The scheduling part accepts a fully specified flow graph(FSFG) as an input, and generates an optimal synchronous multiprocessor schedule. Then the circuit synthesis part translates the modified schedule into a complete circuit diagram including a control specification. The circuit diagram can be applied to a silicon compiler for VLSI layout generation. This paper illustrates the whole process with an example of a second order Gray-Market lattice filter.

• Journal of applied mathematics & informatics
• /
• v.38 no.1_2
• /
• pp.65-77
• /
• 2020

In this paper, for any non-empty subsets A, I of a pseudo BCI-algebra X, we introduce the concept of pseudo p-closure of A with respect to I, denoted by A^pc_I, and investigate some related properties. Applying this concept, we state a necessary and sufficient condition for a pseudo BCI-algebra 1) to be a p-semisimple pseudo BCI-algebra; 2) to be a pseudo BCK-algebra. Moreover, we show that A^pc_{0} is the least positive pseudo ideal of X containing A, and characterize it by the union of some branches. We also show that the set of all pseudo ideals of X which A^pc_I = A, is a complete lattice. Finally, we prove that this notion can be used to define a closure operation.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.19 no.3
• /
• pp.425-431
• /
• 2009

By using the notion of interval-valued fuzzy relations, we forms the poset (IVFR (X), $\leq$) of interval-valued fuzzy relations on a given set X. In particular, we forms the subposet (IVFE (X), $\leq$) of interval-valued fuzzy equivalence relations on a given set X and prove that the poset (IVFE(X), $\leq$) is a complete lattice with the least element and greatest element.

• Journal of the Korean Mathematical Society
• /
• v.56 no.1
• /
• pp.197-224
• /
• 2019

Let A be a $JB^*$-triple with Banach dual space $A^*$ and bi-dual the $JBW^*$-triple $A^{**}$. Elements x of $A^*$ of norm one may be regarded as normalised 'Q-measures' defined on the complete ortho-lattice ${\tilde{\mathcal{U}}}(A^{**})$ of tripotents in $A^{**}$. A Q-measure x possesses a support e(x) in ${\tilde{\mathcal{U}}}(A^{**})$ and a compact support $e_c(x)$ in the complete atomic lattice ${\tilde{\mathcal{U}}}_c(A)$ of elements of ${\tilde{\mathcal{U}}}(A^{**})$ compact relative to A. Necessary and sufficient conditions for an element v of ${\tilde{\mathcal{U}}}_c(A)$ to be a compact support tripotent $e_c(x)$ are given, one of which is related to the Q-covering numbers of v by families of elements of ${\tilde{\mathcal{U}}}_c(A)$.

• Journal of the Chungcheong Mathematical Society
• /
• v.28 no.3
• /
• pp.431-441
• /
• 2015

Topology may described a pattern of existence of elements of a given set X. The family ${\tau}(X)$ of all topologies given on a set X form a complete lattice. We will give some topologies on this lattice ${\tau}(X)$ using a topology on X and regard ${\tau}(X)$ a topological space. Our purpose of this study is to give new topologies on the family ${\tau}(X)$ of all topologies induced by old one and its ${\theta}$ topology and to compare them.

• Communications of the Korean Mathematical Society
• /
• v.23 no.4
• /
• pp.461-468
• /
• 2008

We define an $\epsilon$-fuzzy congruence, which is a weakened fuzzy congruence, find the $\epsilon$-fuzzy congruence generated by the union of two $\epsilon$-fuzzy congruences on a semigroup, and characterize the $\epsilon$-fuzzy congruences generated by fuzzy relations on semigroups. We also show that the collection of all $\epsilon$-fuzzy congruences on a semigroup is a complete lattice and that the collection of $\epsilon$-fuzzy congruences under some conditions is a modular lattice.

• Journal of the Chungcheong Mathematical Society
• /
• v.31 no.4
• /
• pp.387-396
• /
• 2018

Topology may described a pattern of existence of elements of a given set X. The family ${\tau}(X)$ of all topologies given on a set X form a complete lattice. We will give some topologies on this lattice ${\tau}(X)$ using a fixed topology on X and we will regard ${\tau}(X)$ a topological space. Our purpose of this study is to comparison new topologies on the family ${\tau}(X)$ of all topologies induced old one.

• Korean Journal of Mathematics
• /
• v.28 no.4
• /
• pp.775-789
• /
• 2020

In this paper the concept of e-fuzzy filters is introduced in a Stone Almost Distributive Lattice. Several properties are derived on e-fuzzy filters with the help of maximal fuzzy filters. It is proved that the set of all e-fuzzy filters forms a complete distributive lattice.

• Applied Microscopy
• /
• v.28 no.3
• /
• pp.415-424
• /
• 1998

The dependency of long-range order parameter on the ordered structure of $Pb(Mg_{1/3}Nb_{2/3})O_3$ solid solutions has been investigated by means of computer simulations of high-resolution lattice images. The computer image simulations were performed by the multislice method in a wide range of sample thicknesses, defocusing values, and long-range order parameters. It was found that the lattice images of the ordered structures were predominantly dependent on the long-range order parameter, The lattice images in a complete ordered structure showed a pseudo-hexagonal pattern. As the order parameter decreases, the simulated images changed slowly from a pseudo-hexagonal pattern to a rectangular pattern. The lattice images in a complete disordered structure showed a rectangular pattern. Also, the simulated images of the $Pb(Mg_xNb_{1-x})O_3$ with different Mg:Nb ratios obtained at a given long-range order parameter were basically the same patterns, irrespective of Mg and Nb compositions.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.10 no.2
• /
• pp.107-112
• /
• 2010

In this paper, we investigate the properties of antitone Galois connection and formal concepts. Moreover, we show that order reverse generating maps induce formal, attribute oriented and object oriented concepts on a complete residuated lattice.