• 대한수학회지
• /
• 제58권4호
• /
• pp.977-1000
• /
• 2021

Consider the high dimensional torus 𝕋ⁿ and the set 𝜺 of its endomorphisms. We construct a map in 𝜺 that is robustly transitive if 𝜺 is endowed with the C² topology but is not robustly transitive if 𝜺 is endowed with the C¹ topology.

• 대한수학회논문집
• /
• 제37권4호
• /
• pp.1249-1258
• /
• 2022

In this study, we show that the strong exponential limit shadowing property (SELmSP, for short), which has been recently introduced, exists on a neighborhood of a hyperbolic set of a diffeomorphism. We also prove that Ω-stable diffeomorphisms and 𝓛-hyperbolic homeomorphisms have this type of shadowing property. By giving examples, it is shown that this type of shadowing is different from the other shadowings, and the chain transitivity and chain mixing are not necessary for it. Furthermore, we extend this type of shadowing property to positively expansive maps with the shadowing property.

• 정보보호학회논문지
• /
• 제24권2호
• /
• pp.373-384
• /
• 2014

소셜 네트워크 서비스는 인터넷상에서 다른 사람들과 친구 또는 사회적 관계를 맺을 수 있는 양방향 서비스로써 개방성을 바탕으로 인적 교류 네트워크의 중심이 되었다. 그러나 최근에는 개방성을 악용하여 신뢰할 수 없는 유언비어가 확산되고 개인 정보를 침해하는 다양한 공격으로 인해 여러 사용자들이 피해를 보는 사례가 발생하였다. 따라서 소셜 네트워크상에서의 정보는 신뢰할 수 있는 사람에게 전달하거나 혹은 제공 받을 수 있어야 한다. 최근의 신뢰도 연구에서는 사용자와 밀접한 한 홉 사이를 기반으로 한 신뢰도 평가방법들이 주로 제시되었다. 그러나 소셜 네트워크의 교류가 기존의 시공간성이 갖는 제약을 넘어서고 사용자도 큰 폭으로 늘어나면서 한 홉 사이뿐 아니라 여러 홉 사이에서의 교류 역시 최근에 많이 증가하고 있다. 이러한 흐름에 맞춰 본 논문에서는 전이성 및 결합성을 이용하여 원거리에서도 신뢰도 평가가 가능한 효과적인 사용자 신뢰도 평가 스킴을 제안한다.

• 호남수학학술지
• /
• 제38권2호
• /
• pp.259-267
• /
• 2016

A module M over an associative ring R with unity is a QTAG-module if every finitely generated submodule of any homomorphic image of M is a direct sum of uniserial modules. Recently, the authors introduced the classes of QTAG-modules namely as socle-regular and strongly socle-regular QTAG-modules which properly contain the classes of transitive and fully transitive QTAG-modules respectively. Here we define strongly and quasi transitivities and study the inter relations between various type of transitivities.

• 논리연구
• /
• 제13권2호
• /
• pp.1-26
• /
• 2010

이 글은 고 김영정 교수의 비판적 사고 이론을 비판적으로 검토하는 것이 목적이다. 그는 비판적 사고의 기본 속성은 능동적 반성성이고, 비판적 사고가 지향하는 주요 특성은 심층성, 다각성, 영역 전이성이라고 정의한다. 그리고 그는 비판적 사고 개념이 창의성 개념과 연결될 수 있는 가능성을 모색하여, 비판-창의적 사고라는 개념을 제시한다. 나는 이런 정의의 한계를 지적하면서도, 비판-창의적 사고를 향상시킬 방법이 가능하다고 주장하겠다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제11권4호
• /
• pp.2254-2275
• /
• 2017

In this paper, we present an IND-CCA2 secure certificateless proxy re-encryption scheme in the random oracle model. A certificateless public key cryptography simplifies the certificate management in a traditional public key infrastructure and the built-in key escrow feature in an identity-based public key cryptography. Our scheme shares the merits of certificateless public key encryption cryptosystems and proxy re-encryption cryptosystems. Our certificateless proxy re-encryption scheme has several practical and useful properties - namely, multi-use, unidirectionality, non-interactivity, non-transitivity and so on. The security of our scheme bases on the standard bilinear Diffie-Hellman and the decisional Bilinear Diffie-Hellman assumptions.

• 대한가정학회지
• /
• 제45권7호
• /
• pp.49-60
• /
• 2007

The purpose of this study was to analyze the weight measurement tasks according to children's ages and whether 4-to 6-year-old children use proper measurement equipment to measure weight. The study subjects were 105 preschool children: 37,38, and 30 4-, 5-, and 6-year-old children, respectively. The results showed that young children use 3 to 4 strategies. They used a strategy to estimate objects visually on the first step in measurement by direct comparison. On the second step, in measurement by nonstandard unit, they held up objects with one hand or two hands. That is, two strategies were shown in measuring objects with hands in this second step. On the third step, which is measured by standard unit, they used a strategy to choose the equal arm balance out of suggested measurement equipment.

• 대한수학회논문집
• /
• 제27권2호
• /
• pp.369-375
• /
• 2012

In this article, we focus on certain dynamic phenomena in volume-preserving manifolds. Let $M$ be a compact manifold with a volume form ${\omega}$ and $f:M{\rightarrow}M$ be a diffeomorphism of class $\mathcal{C}^1$ that preserves ${\omega}$. In this paper, we do not assume $f$ is $\mathcal{C}^1$-generic. We prove that $f$ satisfies the chain transitivity and we also show that, on $M$, the $\mathcal{C}^1$-stable shadowability is equivalent to the hyperbolicity.

• 대한수학회보
• /
• 제61권1호
• /
• pp.247-262
• /
• 2024

In this paper we introduce and study the notions of topological sensitivity and its stronger forms on semiflows and on product semiflows. We give a relationship between multi-topological sensitivity and thick topological sensitivity on semiflows. We prove that for a Urysohn space X, a syndetically transitive semiflow (T, X, 𝜋) having a point of proper compact orbit is syndetic topologically sensitive. Moreover, it is proved that for a T₃ space X, a transitive, nonminimal semiflow (T, X, 𝜋) having a dense set of almost periodic points is syndetic topologically sensitive. Also, wherever necessary examples/counterexamples are given.

• 정보과학회 논문지
• /
• 제43권12호
• /
• pp.1342-1350
• /
• 2016

귀납법과 코인덕션은 모두 컴퓨터 과학 분야에서 사용되는 중요한 증명 기법이다. 귀납법은 컴퓨터 과학 분야 학부 과정에서 기본적으로 가르치는 기법이며, 상대적으로 잘 알려지고 컴퓨터과학 분야 전반에 걸쳐 잘 쓰이고 있다. 반면에 코인덕션은 귀납법에 비해 많은 사람들에게 다소 어렵고 친숙하지 않은 개념이다. 본 논문에서는 재귀 타입과 합집합 타입을 포함하는 간단한 타입 언어에 대해 서브타입 시스템을 정의하고, 정의한 시스템의 추이성을 증명함으로써 코인덕션에 대해 소개한다. 이를 통해, 코인덕션에 대한 이해도를 높이고, 동시에 재귀 타입과 다양한 타입 요소가 있을 때 서브타입 시스템을 정의하는 방법에 대한 기초를 제공한다.