• Communications of the Korean Mathematical Society
• /
• v.20 no.1
• /
• pp.1-14
• /
• 2005

The aim of this paper is to study order-congruences on a S-poset A and to characterize the order-congruences by the concepts of pseudooreders on A and quasi-chains module a congruence p. Some homomorphism theorems of S-posets are given which is similar to the one of ordered semigroups. Finally, It is shown that there exists the non-trivial order-congruence on a S-poset by an example.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.652-654
• /
• 2002

정수 합동 분석(integer congruence analysis)은 프로그램 변수들의 의미 영역을 정수 합동(integer congruence) 집합으로 정의하여 분석한다. 정수 합동 분석을 위한 정수 합동 격자(lattice of integer congruences)와 순방향 요약 산술 연산자에 대한 정의는 이미 p. Granger에 의해 소개되었다. 하지만, 분석의 정확도에 영향을 미치는 역방향 요약 산술 연산자에 대한 연구는 아직 되어 있지 않다. 이 논문에서는 정수 합동 분석을 위한 역방향 요약 산술 연산자를 정의한다. 역방향 요약 산술 연산자를 정의하는 방법은 정수 방정식을 푸는 방법을 기반으로 고안되었다. 정의된 역방향 요약 산술 연산자는 프로그램 분석의 정확도를 높이는데 기여를 할 수 있는데, 이 논문에서는 예제를 통해서 이 사실을 보인다.

• Honam Mathematical Journal
• /
• v.43 no.1
• /
• pp.1-16
• /
• 2021

In this paper, we generalize the notion of soft congruence relations from rings to semirings. We construct some examples in order to show that these relations exist over semirings. Some properties of these relations are investigated.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.2
• /
• pp.445-449
• /
• 2013

We consider a congruence ${\rho}$ on a group G as a subsemigroup of the direct product $G{\times}G$. It is well known that a relation ${\rho}$ on G is a congruence if and only if there exists a normal subgroup N of G such that ${\rho}=\{(s,\;t):st^{-1}{\in}N\}$. In this paper we prove that if G is a finitely presented group, and if N is a normal subgroup of G with finite index, then the congruence ${\rho}=\{(s,\;t):st^{-1}{\in}N\}$ on G is finitely presented.

• Korean Journal of Child Studies
• /
• v.13 no.2
• /
• pp.251-272
• /
• 1992

The purpose of this study is to investigate the relationships among the beliefs of parents and children, children's cognitive and emotional behavior based on cognitive and interreactionary approach models. The Subjects were 138 children (68 eight-year-olds and 70 eleven-year-olds) and their parents. Instruments used in this study were the modified Family Belief Interview Schedule(Alessandri & Wozniak, 1987), the Standard Achievement Test, and Harter's Perceived Competence Scale. Data analysis was by Pearson's r product moment correlation, two-way ANOVA, Fisher-Z test and Student-Newman-Keuls post-hoc test. The major findings are as follows: (1) The beliefs of parents and children has a significant influence children's perception of competence. (2) The congruence of parents' and children's beliefs was hightest in "assumed similarity". (3) Mother's positive view of their children and congruence of mother's and father's beliefs were correlated with children's academic achievement. Parents' positive beliefs and congruence of beliefs were also correlated with children's self-perception of competence.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.9 no.1
• /
• pp.53-58
• /
• 2009

We unite the two con concepts - normality We unite the two con concepts - normality and congruence - in an intuitionistic fuzzy subgroup setting. In particular, we prove that every intuitionistic fuzzy congruence determines an intuitionistic fuzzy subgroup. Conversely, given an intuitionistic fuzzy normal subgroup, we can associate an intuitionistic fuzzy congruence. The association between intuitionistic fuzzy normal sbgroups and intuitionistic fuzzy congruences is bijective and unigue. This leads to a new concept of cosets and a corresponding concept of guotient.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.13 no.3
• /
• pp.231-244
• /
• 2013

We introduce the concept of interval-valued fuzzy congruences on a semigroup S and we obtain some important results: First, for any interval-valued fuzzy congruence $R_e$ on a group G, the interval-valued congruence class Re is an interval-valued fuzzy normal subgroup of G. Second, for any interval-valued fuzzy congruence R on a groupoid S, we show that a binary operation * an S=R is well-defined and also we obtain some results related to additional conditions for S. Also we improve that for any two interval-valued fuzzy congruences R and Q on a semigroup S such that $R{\subset}Q$, there exists a unique semigroup homomorphism g : S/R${\rightarrow}$S/G.

• Honam Mathematical Journal
• /
• v.44 no.2
• /
• pp.259-270
• /
• 2022

This paper is devoted to the geometry of vector fields and timelike flows in terms of anholonomic coordinates in three dimensional Lorentzian space. We discuss eight parameters which are related by three partial differential equations. Then, it is seen that the curl of tangent vector field does not include any component in the direction of principal normal vector field. This implies the existence of a surface which contains both s - lines and b - lines. Moreover, we examine a normal congruence of timelike surfaces containing the s - lines and b - lines. Considering the compatibility conditions, we obtain the Gauss-Mainardi-Codazzi equations for this normal congruence of timelike surfaces in the case of the abnormality of normal vector field is zero. Intrinsic geometric properties of these normal congruence of timelike surfaces are obtained. We have dealt with important results on these geometric properties.

• Journal of applied mathematics & informatics
• /
• v.17 no.1_2_3
• /
• pp.633-641
• /
• 2005

We investigate the relationship between fuzzy $\sigma$-ideals and fuzzy congruence on a distributive $\sigma$-lattice and obtain some useful results.

• Journal of applied mathematics & informatics
• /
• v.9 no.2
• /
• pp.851-857
• /
• 2002

In this paper, we introduce a congruence relation on a seminear-ring and study quotient structures on it. Also, we investigate homomorphisms on a seminear-ring.