• 한국정보통신학회논문지
• /
• 제10권2호
• /
• pp.228-234
• /
• 2006

본 논문은 주어진 재귀 DSP 알고리듬으로부터 최적멀티프로세서 스케줄러를 이용하여 완전한 회로도를 효과적으로 생성할 수 있는 체계적인 과정에 대하여 기술한다. 이과정은 크게 스케줄 생성 단계와 회로도 생성 단계로 구성된다. 스케줄 생성 단계는 입력으로서 Fully Specified Flow Graph(FSFG)로 표현된 재귀 DSP 알고리듬을 받아서 최적 멀티프로세서 스케줄러를 생성하며 회로도 생성 단계에서는 이 스케줄러로부터 제어신호를 포함한 완전한 회로도를 생성한다. 이 회로도는 실리콘 컴파일러를 이용하여 VLSI 레이아웃으로 용이하게 변환될 수 있다. 본 논문에서는 2차 Gray-Market Lattice 필터를 예로 사용하여 전체적인 구현과정을 보인다.

• Journal of applied mathematics & informatics
• /
• 제38권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.

• 한국지능시스템학회논문지
• /
• 제19권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.

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

• 충청수학회지
• /
• 제28권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.

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

• 충청수학회지
• /
• 제31권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
• /
• 제28권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
• /
• 제28권3호
• /
• pp.415-424
• /
• 1998

[ $Pb(Mg_{1/3}Nb_{2/3})O_3$ ] (PMN) 고용체의 고분해능 격자 이미지에 있어서 장거리 규칙도의 의존성을 컴퓨터 이미지 시뮬레이션을 이용하여 연구하였다. 컴퓨터 이미지 시뮬레이션은 multislice 방법으로 시편 두께, 초점 거리, 장거리 규칙도를 변화시켜 실시하였다. PMN에 있어서, 규칙격자 구조를 가지는 격자 이미지는 장거리 규칙도에 주로 의존하는 것을 발견하였다. 완전한 규칙격자 구조를 가지는 이미지는 유사 육방정 형태를 보였다 장거리 규칙도가 감소함에 따라, 유사 육방정 형태로부터 직사각형 형태로 변화되었고, 완전한 불규칙격자 구조를 가지는 이미지는 직사각형 형태를 보였다. 또한, 한 주어진 장거리 규칙도에서 시뮬레이션으로 얻은 이미지는 B-위치 양이온의 함량에 관계없이 거의 동일하였다.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제10권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.