• 한국통신학회논문지
• /
• 제32권1C호
• /
• pp.86-93
• /
• 2007

최근 들어, 국내외에서는 투표용지 대신에 전자적 투표 장치를 이용하는 전자투표 시스템들을 개발하고 있으나 이러한 전자투표 시스템은 전자투표의 초기 단계로서 온라인 투표시스템은 아니다. 따라서 많은 암호학자들은 암호기술을 기반으로 하는 온라인 전자투표에 대한 연구를 하고 있다. 기존의 1-out-of-L 전자투표는 E1Gamal 암호 기법을 기반으로 하고 있다. 본 논문에서는 계산복잡도를 줄이기 위해, r차 잉여암호를 이용하고, E1Gamal 암호 기반의 1-out-of-L 전자투표의 계산복잡도와 제안한 1-out-of-L 전자투표의 계산복잡도를 비교 분석하였으며, 제안한 전자투표 방식이 보다 효율적임을 보여준다. 또한, 새로운 형태의1-out-of-L 전자투표의 투표-취소 기법을 제안한다. 기존의 전자투표 시스템들은 투표 후의 투표-취소 기법에 대해서 간과해 왔다. 본 논문에서는 제안한 투표-취소 기법을 위해, 기존의 r차 잉여암호의 준동형성을 확장한다. 확장된 준동형성은 프라이버시와 전체검증성을 유지하면서 투표를 취소할 수 있다.

• 대한수학회논문집
• /
• 제19권4호
• /
• pp.759-764
• /
• 2004

Let X = {a} ${\cup}$ {$a_{i}$ ${$\mid$}$i $\in$ N} be a subspace of Euclidean space $E^2$ such that $lim_{{i}{\longrightarrow}{$\infty}}a_{i}$ = a and $a_{i}\;{\neq}\;a_{j}$ for $i{\neq}j$. Then it is well known that the space X has no expansive homeomorphisms with the shadowing property. In this paper we show that the set of all expansive homeomorphisms with the shadowing property on the space Y is dense in the space H(Y) of all homeomorphisms on Y, where Y = {a, b} ${\cup}$ {$a_{i}{$\mid$}i{\in}Z$} is a subspace of $E^2$ such that $lim_{i}$-$\infty$ $a_{i}$ = b and $lim_{{i}{\longrightarrow}{$\infty}}a_{i}$ = a with the following properties; $a_{i}{\neq}a_{j}$ for $i{\neq}j$ and $a{\neq}b$.

• 한국인터넷방송통신학회논문지
• /
• 제14권4호
• /
• pp.233-241
• /
• 2014

본 논문은 원 그래프를 2-간선 연결 그래프로 단순화하고, 사이클 속성을 적용하여 최소신장트리를 빠르게 얻는 알고리즘을 제안하였다. Borůvka 알고리즘은 정점 (v) 당 최소 가중치 간선 (v) 을 1개씩 선택하는 1-간선 연결 그래프에 대해 사이클 속성을 적용하여 부분신장트리를 얻는다. 추가적으로 절단속성을 적용하여 부분신장트리를 연결하는 최소 가중치 간선을 선택한다. Kruskal 알고리즘은 그래프의 모든 간선을 대상으로 오름차순으로 절단 속성을 적용한다. 역-삭제 알고리즘은 내림차순으로 사이클 속성을 적용한다. Borůvka, Kruskal과 역-삭제 알고리즘은 모든 간선들을 대상으로 하기 때문에 항상 |e| 회 수행된다. 제안된 알고리즘은 첫 번째로, 정점 당 최소 가중치 간선을 2개씩 선택하는 2-간선 연결 그래프를 얻는다. 두 번째로, 2-간선 연결 그래프에 대해 사이클 속성을 적용하여 |e|=|v|-1 일 때 알고리즘을 종료시켰다. 제안된 방법들을 10개의 실제 그래프들에 적용한 결과 모두 최소신장트리를 얻는데 성공하였다. 또한, Borůvka, Kruskal과 역-삭제 알고리즘에 비해 수행 횟수를 60% 단축시켰다.

• 대한수학회논문집
• /
• 제24권1호
• /
• pp.145-152
• /
• 2009

In this paper, we introduce a new property of a topological space which is weaker than sequential compactness and give some necessary and sufficient conditions for a $Fr{\acute{e}}chet$-Urysohn space with the property to be sequentially compact.

• 헤리티지:역사와 과학
• /
• 제55권4호
• /
• pp.278-294
• /
• 2022

그동안 문화재교육은 국가의 요구와 개인의 필요로 인해 양적으로 많은 성장을 이루었다. 그러나 문화재교육의 질적 성장은 그에 뒤따르지 못했다. 문화재교육은 목표조차 제대로 설정되어 있지 못하였고, 그 결과 문화재교육은 그 정체성마저 흔들렸다. 지금의 문화재교육에서 가장 시급한 것은 먼저 문화재 교육의 목표를 설정하는 것이다. 본 연구는 현행 문화재교육의 목표를 분석하고, 문제점을 찾아낸 후 교육적으로 유의미하면서 국가의 요구와 개인의 필요를 충족시킬 수 있는 새로운 문화재교육 목표를 설정하고자 하였다. 현행 문화재교육 목표의 문제점은 문화재교육 관련자들이 교육목표의 개념을 정확하게 이해하지 못하고 있으며, 문화재교육 목표가 교육의 실제 내용을 제대로 담고 있지 못하다는 것이다. 또 문화재교육의 목표가 학습자의 다양한 역량과 흥미를 고려하고 있지 못하며, 시대 변화와도 맞지 않는다. 이런 문제점을 해결하기 위해서 'U.V.E.C. 문화재교육'이란 새로운 문화재교육을 제시하였다. U.V.E.C. 문화재교육은 문화재를 이해(Understand)하고, 문화재의 가치를 인식(Value)하고, 문화재를 향유(Enjoy)하고, 문화를 창조(Create)하는 교육이다. U.V.E.C. 문화재교육의 목표는 명확하고 실천적인 형식과 내용으로, 학습자 중심으로, 변용이 가능하도록 유연하게 설정하고자 하였다. 이런 방향을 바탕으로 총괄목표, 세부목표, 실천목표라는 단계별 목표를 설정하고 각 단계별 문화재교육 목표의 구체적 사례를 제시하였다. U.V.E.C. 문화재교육 목표는 교육으로서의 일반성과 문화재를 내용으로 하는 특수성을 고려하여 행동목표의 영역 다양성과 진술 명확성, 문제해결목표와 표현결과의 학습자 주도성과 개방성을 모두 포함하였다. U.V.E.C. 문화재교육 목표는 교수자에게는 명확하고 구체적인 목표를 제시해주어 교육의 효율성을 높이게 하고, 학습자에게는 흥미로우면서도 다양한 역량을 개발할 수 있게 할 것으로 생각된다. 아울러 U.V.E.C. 문화재교육 목표는 이제까지 제대로 연구된 적이 없는 문화재교육의 목표 설정에도 많은 영향을 줄 것으로 예상한다. 본 연구 이후에 U.V.E.C. 문화재교육의 내용과 방법에 대한 체계적이고 구체적인 연구가 지속적으로 이루어진다면 문화재교육 전반이 변화될 것이며 문화재교육은 새로운 학문의 한 영역으로 자리매김하게 될 것이다.

• 충청수학회지
• /
• 제24권1호
• /
• pp.19-34
• /
• 2011

A bounded linear operator T on a complex Banach space X is said to have property (I) provided that T has Bishop's property (${\beta}$) and there exists an integer p > 0 such that for a closed subset F of ${\mathbb{C}}$ ${X_T}(F)={E_T}(F)=\bigcap_{{\lambda}{\in}{\mathbb{C}}{\backslash}F}(T-{\lambda})^PX$ for all closed sets $F{\subseteq}{\mathbb{C}}$, where $X_T$(F) denote the analytic spectral subspace and $E_T$(F) denote the algebraic spectral subspace of T. Easy examples are provided by normal operators and hyponormal operators in Hilbert spaces, and more generally, generalized scalar operators and subscalar operators in Banach spaces. In this paper, we prove that if T has property (I), then the quasi-nilpotent part $H_0$(T) of T is given by $$KerT^P=\{x{\in}X:r_T(x)=0\}={\bigcap_{{\lambda}{\neq}0}(T-{\lambda})^PX$$ for all sufficiently large integers p, where ${r_T(x)}=lim\;sup_{n{\rightarrow}{\infty}}{\parallel}T^nx{\parallel}^{\frac{1}{n}}$. We also prove that if T has property (I) and the spectrum ${\sigma}$(T) is finite, then T is algebraic. Finally, we prove that if $T{\in}L$(X) has property (I) and has decomposition property (${\delta}$) then T has a non-trivial invariant closed linear subspace.

• 호남수학학술지
• /
• 제39권1호
• /
• pp.115-126
• /
• 2017

In this paper, we aim to prove certain common fixed point theorems for a pair of weakly compatible mappings satisfying (CLRg) (or (E.A)) property in the bicomplex valued metric spaces. We also provide some examples which support the main results here.

• 호남수학학술지
• /
• 제30권2호
• /
• pp.359-362
• /
• 2008

We shall give a sufficient condition for Hartogs-Laurent domains over a base $\mathbb{C}$ to be taut, and study some properties for Hartogs-Laurent domains related to the $E_*$-extension property.

• 대한수학회보
• /
• 제45권3호
• /
• pp.467-475
• /
• 2008

The aim of the present paper is three fold. Firstly, we obtain common fixed point theorems for a pair of selfmaps satisfying nonexpansive or Lipschitz type condition by using the notion of pointwise R-weak commutativity but without assuming the completeness of the space or continuity of the mappings involved (Theorem 1, Theorem 2 and Theorem 3). Secondly, we generalize the results obtained in first three theorems for four mappings by replacing the condition of noncompatibility of maps with the property (E.A) and using the R-weak commutativity of type $(A_g)$ (Theorem 4). Thirdly, in Theorem 5, we show that if the aspect of noncompatibility is taken in place of the property (E.A), the maps become discontinuous at their common fixed point. We, thus, provide one more answer to the problem posed by Rhoades [11] regarding the existence of contractive definition which is strong enough to generate fixed point but does not forces the maps to become continuous.

• 대한수학회지
• /
• 제38권5호
• /
• pp.915-935
• /
• 2001

Let V be any valuation domain and let E be a subset of the quotient field K of V. We study the ring of integer-valued polynomials on E, that is, Int(E, V)={f$\in$K[X]｜f(E)⊆V}. We show that, if E is precompact, then Int(E, V) has many properties similar to those of the classical ring Int(Z).In particular, Int(E, V) is dense in the ring of continuous functions C(E, V); each finitely generated ideal of Int(E, V) may be generated by two elements; and finally, Int(E, V) is a Prufer domain.