• 대한수학회보
• /
• 제61권3호
• /
• pp.797-811
• /
• 2024

In this paper, we define the torsion graph determined by equivalence classes of torsion elements and denote it by A_E(M). The vertex set of A_E(M) is the set of equivalence classes {[x] | x ∈ T(M)^*}, where two torsion elements x, y ∈ T(M)^* are equivalent if ann(x) = ann(y). Also, two distinct classes [x] and [y] are adjacent in A_E(M), provided that ann(x)ann(y)M = 0. We shall prove that for every torsion finitely generated module M over a Dedekind domain R, a vertex of A_E(M) has degree two if and only if it is an associated prime of M.

• 열처리공학회지
• /
• 제30권6호
• /
• pp.271-278
• /
• 2017

This study was carried out to investigate the relationship between the mechanical properties and damping capacity of thermo-mechanical treated 316L stainless steel. Dislocations, ${\varepsilon}$ and ${\alpha}^{\prime}$-martensites were formed by thermo-mechanical treatment, and the grain size was changed from micrometer to sub-micrometer by 5-cycled thermo-mechanical treatment. The volume fraction of dislocations, ${\varepsilon}$ and ${\alpha}^{\prime}$-martensites was increased, and grain size of austenite increased and lengthened by the with increasing cycle number of thermo-mechanical treatment. In 5-cycled specimens, the volume fraction of ${\alpha}^{\prime}$-martensite was more than 25% and the less than 5% of volume fraction of ${\varepsilon}$-martensite was attained. With increasing number of thermo-mechanical treatment, hardness, strength and damping capacity were increased, but elongation was decreased. Damping capacity was increased with increased hardness and strength, but decreased with increased elongation, and this result was the opposite tendency for general metal.

• 한국정보과학회논문지:데이타베이스
• /
• 제35권2호
• /
• pp.112-124
• /
• 2008

RDF와 OWL은 시맨틱 웹을 위한 두 가지 핵심 기반 기술이다. 이러한 RDF와 OWL을 이용하는, 또한 이에 관련된 많은 연구들이 최근 소개되었다. 하지만, RDF와 OWL에 대한 정보 보안 관련 연구는 미비한 실정이다. 본 논문에서는 RDF 보안 기술과 관련하여, RDF 트리플에 기반을 둔 안전한 접근제어 명세 모델을 간단히 소개한다. 다음으로 RDF 접근 제어 명세 시의 추론에 의한 권한 충돌을 효율적으로 발견하기 위하여 소수 그래프 레이블링을 기법을 활용하는 방법을 자세히 소개한다. 추론에 의한 접근 권한 충돌 문제는 비록 하위 개념에 대한 접근 권한이 허용이지만, 하위 개념은 상위 개념으로 추론될 수 있으므로, 만약 상위 개념에 대한 접근 권한이 불허로 되어 있는 경우 하위 개념 또한 허용되어서는 안 되는 문제이다. 몇 가지 실험에서는 제안하는 소수 그래프 레이블링을 사용하는 방법이 기존의 단순한 권한 충돌 발견 방법보다 현저히 나은 성능을 가짐을 보여 준다.

• 한국컴퓨터정보학회논문지
• /
• 제16권4호
• /
• pp.169-177
• /
• 2011

갱신 연산의 허용으로 동적 XML 데이터의 처리 효율성의 요구가 증대하면서 새로운 동적 XML 레이블링 기법들이 연구되어 왔다. 동적 XML 레이블링 기법의 핵심적인 해결 사항으로는 조상-자손-형제 관계 결정, 레이블 저장공간의 절약, 빠른 응답시간, 갱신에 의한 레이블 재작성의 최소화이다. 대표적인 동적 레이블링 기법으로 소수 기반 레이블링 기법이 있다. 소수 기반 레이블링 기법은 소수의 특성을 이용하여 조상-자손 관계를 쉽게 결정한다. 또한 새로운 엘리먼트를 삽입할 때도 기존 노드의 레이블을 재작성하는 비용이 발생되지 않는 장점을 갖고 있다. 하지만 소수를 많이 사용하면 레이블의 값이 상당히 커지게 되는 레이블 오버플로우 문제가 발생된다. 본 논문에서는 레이블 오버플로우 문제를 효과적으로 줄이는 새로운 방법을 소개한다. 제안하는 방법의 핵심 개념은 트리 분해이다. 레이블 오버플로우가 발생하면 트리를 하부 트리들로 분해하고 레이블은 각 하부 트리에 한해서 부여하는 것이다. 실험을 통해 트리 분해 기반의 소수 기반 레이블링 기법의 효과를 보인다.

• 한국산림과학회지
• /
• 제94권5호통권162호
• /
• pp.338-341
• /
• 2005

This study was conducted to describe the differences in artificial nest boxes use of tits between deciduous and coniferous forests at 2nd campus of Chung-Ang University ($37^{\circ}00^{\prime}04^{{\prime}{\prime}}N$, $127^{\circ}13^{\prime}96^{{\prime}{\prime}}E$), Ansung, Korea from January to August 2005. Tree species richness, tree species diversity index (H') and total basal areas were higher in deciduous forest than in coniferous forest. High, middle, low and understory canopy layers were more developed in deciduous forest, except the coverage of bush-ground layer. Varied tit Parus varius, marsh tit P. palustris and great tit P. major used the artificial nest boxes in this study. Number of breeding pairs of tits used artificial nest boxes, clutch size, and weight and size of eggs were higher in deciduous forest than in coniferous forest. The differences in habitat structure between study sites are very likely to have influenced how breeding birds used the available habitat. Artificial nest boxes could be used as management and conservation tool for birds, particularly in areas, where the availability of natural cavities and coverage of higher layer are limited.

• 정보과학회 논문지
• /
• 제41권9호
• /
• pp.699-706
• /
• 2014

XML 문서가 점차 복잡해지면서 XML문서의 구조를 알 필요 없이 키워드로만 검색을 하는 키워드 검색 방식이 많이 사용되고 있다. XML문서 내에서 키워드 검색 방식을 사용하기 위해서는 문서 내의 모든 키워드에 레이블을 부여해야 하며, 구조적인 정보 또한 레이블 내에 충분히 표현해야한다. 하지만 기존 레이블링 방법들은 색인을 위한 단순정보만 레이블링 하거나, 증가하는 XML문서의 크기에 대응하기 어려운 형태로 구조적인 정보를 표현한다. 이는 XML문서가 커질수록 키워드검색성능이 떨어지거나, 공간 사용량이 기하급수적으로 증가하는 문제를 야기한다. 따라서 본 논문에서는 대용량 XML문서에 대한 키워드 검색 시 기존 레이블링 방식이 가지고 있던 문제점을 보완하는 새로운 레이블링 방식인 RPLS(Repetitive Prime Labeling Scheme)을 소개한다. 이 방법은 기존 소수 레이블방식을 개선하여 상위 레벨의 소수를 하위 레벨에서 반복 사용할 수 있도록 하여 레이블링을 위해 생성해야하는 소수의 수를 감소시키도록 한 것이다. 본 논문에서는 대용량 XML 문서의 키워드검색에 대한 RPLS 스킴의 효율성 검증을 위해 기존 레이블링 기법들과의 성능 비교 실험 결과도 제시한다.

• 정보보호학회논문지
• /
• 제30권6호
• /
• pp.1255-1261
• /
• 2020

캐시 부채널 공격은 CPU의 공유 캐시 자원을 이용하여 시스템에서 민감한 정보를 획득해내는 공격 유형이다. 최근 모바일 시스템에서 클라우드까지 다양한 환경에 공격이 가해짐에 따라 많은 탐지 전략이 제안되었다. 기존의 캐시 부채널 공격들은 많은 수의 캐시 이벤트를 발생시키는 특징을 가지고 있었기 때문에 기존의 탐지 기법은 대부분 캐시 이벤트를 주의 깊게 모니터링하는 것에 기반하여 설계되었다. 그러나 최근에 제안된 공격은 공격 중에 캐시 이벤트를 적게 유발하는 경향이 있다. 예를 들어 PRIME+ABORT 공격은 캐시에 접근하여 액세스 시간을 측정하는 대신 Intel TSX를 활용한다. 이러한 특징으로 인해 캐시 이벤트 기반 탐지 기법은 해당 공격을 탐지하기 어렵다. 본 논문에서는 PRIME+ABORT 공격에 대한 심층 분석을 수행하여 캐시 이벤트 이외에 공격 탐지에 활용 가능한 유용한 하드웨어 이벤트를 밝힌다. 이를 기반으로, PRIME+ABORT 공격 탐지 기법인 PRIME+ABORT Detector를 제시하고, 실험을 통해 제안한 탐지 기법이 0.3%의 성능 오버헤드로 99.5%의 탐지 성공률을 달성할 수 있음을 보인다.

• Korean Journal of Mathematics
• /
• 제7권2호
• /
• pp.227-233
• /
• 1999

Let $k$ be a real abelian field and $k_{\infty}={\bigcup}_{n{\geq}0}k_n$ be its $\mathbb{Z}_p$-extension for an odd prime $p$. For each $n{\geq}0$, we denote the class number of $k_n$ by $h_n$. The following is a well known theorem: Theorem. Suppose $p$ remains inert in $k$ and the prime ideal of $k$ above $p$ totally ramifies in $k_{\infty}$. Then $p{\nmid}h_0$ if and only if $p{\nmid}h_n$ for all $n{\geq}0$. The aim of this paper is to generalize above theorem: Theorem 1. Suppose $H^1(G_n,E_n){\simeq}(\mathbb{Z}/p^n\mathbb{Z})^l$, where $l$ is the number of prime ideals of $k$ above $p$. Then $p{\nmid}h_0$ if and only if $p{\nmid}h_n$. Theorem 2. Let $k$ be a real quadratic field. Suppose that $H^1(G_1,E_1){\simeq}(\mathbb{Z}/p\mathbb{Z})^l$. Then $p{\nmid}h_0$ if and only if $p{\nmid}h_n$ for all $n{\geq}0$.

• 열처리공학회지
• /
• 제32권2호
• /
• pp.61-67
• /
• 2019

This study was carried out to investigate the effect of thermo-mechanical treatment on the tensile properties of Fe-20Mn-12Cr-3Ni-3Si alloy with deformation induced martensite transformation. ${\alpha}^{\prime}$ and ${\varepsilon}$-martensite, dislocation, stacking fault were formed, and grain size was refined by thermo-mechanical treatment. With the increasing cycle number of thermo-mechanical treatment, volume fraction of ${\varepsilon}$ and ${\alpha}^{\prime}$-martensite, dislocation, stacking fault were increased, and grain size decreased. In 5-cycle number thermo-mechanical treated specimens, more than 10% of the volume fraction of ${\varepsilon}$-martensite and less than 3% of the volume fraction of ${\alpha}^{\prime}$-martensite were attained. Tensile strength was increased and elongation was decreased with the increasing cycle number of thermo-mechanical treatment. Tensile properties of thermo-mechanical treated alloy with deformation induced martensite transformation was affected to formation of martensite by thermo-mechanical treatment, but was large affected to increasing of dislocation and grain refining.

• East Asian mathematical journal
• /
• 제37권1호
• /
• pp.9-17
• /
• 2021

For a positive integer n, let μd(n) be the number of multiplicative d-dimensional partitions of ${\prod\limits_{i=1}^{n}}p_i$, where pi denotes the ith prime. The number of multiplicative partitions of a square free number with n prime factors is the Bell number μ1(n) = ��n. By the definition of the function μd(n), it can be seen that for all positive integers n, μ1(n) = Tn(1) = ��n, where Tn(x) is the nth Touchard (or exponential ) polynomial. We show that, for a positive n, μ2(n) = 2nTn(1/2). We also conjecture that for all m, μ3(m) ≤ 3mTm(1/3).