• 대한수학회지
• /
• 제54권6호
• /
• pp.1841-1851
• /
• 2017

Motivated by the Bloch-Beilinson conjectures, Voisin has made a conjecture concerning zero-cycles on self-products of Calabi-Yau varieties. We reformulate Voisin's conjecture in the setting of $hyperk{\ddot{a}}hler$ varieties, and we prove this reformulated conjecture for one family of $hyperk{\ddot{a}}hler$ fourfolds.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 2004년도 요약집 춘계학술발표대회
• /
• pp.218-218
• /
• 2004

• International Journal of Computer Science & Network Security
• /
• 제21권8호
• /
• pp.17-27
• /
• 2021

Non-abelian group based cryptosystems are a latest research inspiration, since they offer better security due to their non-abelian properties. In this paper, we propose a novel approach to non-abelian group based public-key cryptographic protocols using semidirect products of finite groups. An intractable problem of determining automorphisms and generating elements of a group is introduced as the underlying mathematical problem for the suggested protocols. Then, we show that the difficult problem of determining paths and cycles of Cayley graphs including Hamiltonian paths and cycles could be reduced to this intractable problem. The applicability of Hamiltonian paths, and in fact any random path in Cayley graphs in the above cryptographic schemes and an application of the same concept to two previous cryptographic protocols based on a Generalized Discrete Logarithm Problem is discussed. Moreover, an alternative method of improving the security is also presented.

• 한국산림과학회지
• /
• 제89권4호
• /
• pp.463-469
• /
• 2000

이 연구는 다른 수종에 비해 상대적으로 빠른 생장을 보여 상업적으로 중요하게 여겨지는 뉴질랜드 사우스랜드 지역에 조림된 미송(美松) (Pseudotsuga menziesii Mirb. Franco)의 흉고단면적(胸高斷面績) 추정 함수 유도에 관한 것이다. 흉고단면적(胸高斷面績) 함수를 도출하기 위하여 중간 측정 주기의 영구 표본점 데이터가 사용되었고, 대수차분(代數差分) 방정식을 이용하여 흉고단면적(胸高斷面績) 함수식을 유도하였다. 모수(母數) 추정은 SAS의 비선형 루틴에 의하여 수행하였다. 다양한 생장 추정 함수 모델을 적용한 후 잔차를 분석하여 평균제곱오차가 가장 작고 잔차 패턴이 편의가 없는 생장식을 선발하여, 추가 독립변수를 적용하여 모델의 추정 정도를 분석하였다. 그 결과 여러 추정 생장 함수 중 지위지수(地位指數) 및 간벌주기를 독립변수로 포함한 Schumacher 다형곡선(多形曲線) 생장식이 가장 정밀한 추정을 나타내었다. 이 결과로 흉고단면적(胸高斷面績) 생장과 지위지수(地位指數)사이에는 양(+)의 상관관계(相關關係)가 있음을 알 수 있었다. 그리고 정의된 간벌주기는 흉고단면적(胸高斷面績)식의 정도(精度)를 높이는데 유용한 것으로 나타났다.

• Journal of Communications and Networks
• /
• 제15권2호
• /
• pp.217-221
• /
• 2013

Quantum low-density parity-check (LDPC) codes based on the Calderbank-Shor-Steane construction have low encoding and decoding complexity. The sum-product algorithm(SPA) can be used to decode quantum LDPC codes; however, the decoding performance may be significantly decreased by the many four-cycles required by this type of quantum codes. All four-cycles can be eliminated using the entanglement-assisted formalism with maximally entangled states (ebits). The proposed entanglement-assisted quantum error-correcting code based on Euclidean geometry outperform differently structured quantum codes. However, the large number of ebits required to construct the entanglement-assisted formalism is a substantial obstacle to practical application. In this paper, we propose a novel class of entanglement-assisted quantum LDPC codes constructed using classical Euclidean geometry LDPC codes. Notably, the new codes require one copy of the ebit. Furthermore, we propose a construction scheme for a corresponding zigzag matrix and show that the algebraic structure of the codes could easily be expanded. A large class of quantum codes with various code lengths and code rates can be constructed. Our methods significantly improve the possibility of practical implementation of quantum error-correcting codes. Simulation results show that the entanglement-assisted quantum LDPC codes described in this study perform very well over a depolarizing channel with iterative decoding based on the SPA and that these codes outperform other quantum codes based on Euclidean geometries.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2008년도 추계학술대회논문집
• /
• pp.474-478
• /
• 2008

In this paper, the technique to reinforce the structure using the sensitivity information is proposed. Design variables related to the geometry of structure at fatigue fracture points are determined and sensitivities of fatigue life at fracture points with respect to the variation of design variables are calculated. Then the vector composed of gaps between the target life and initial life cycles at fracture points is calculated. The linear algebraic equation to solve the variation of design variables is composed. From the equation, the design variables for reinforced structure are determined.

• 대한기계학회논문집A
• /
• 제33권11호
• /
• pp.1341-1346
• /
• 2009

In this paper, the technique to reinforce the durability performance of structure using the sensitivity information for the frame structure is applied. The fatigue life calculation for the frame structure is performed from the quasi-static and transient analysis and the characteristics of two methods are compared for the fatigue analysis. Then the reinforcement technique is applied. First, some design variables related to the locations of fatigue failure is selected. Then sensitivities of fatigue life at fracture points with respect to the variation of design variables are calculated and the vector composed of gaps between the target life and initial life cycles is calculated. If the number of fatigue fracture points is same as the number of design variables, the variations of the design variables are calculated from the linear algebraic equation. If not, the variations of the design variables are calculated from the optimization formulation with the constraints.

• 대한수학교육학회지:수학교육학연구
• /
• 제15권1호
• /
• pp.75-105
• /
• 2005

본 연구는 엑셀을 활용한 소그룹 모델링의 흐름과 학생과 엑셀의 상호작용이 모델링에 미치는 영향에 대한 이해를 바탕으로 추후 엑셀을 활용한 소그룹 모델링을 통한 수학 교수ㆍ 학습을 위한 기초적인 정보를 제공하는데 목적이 있다. 엑셀을 활용한 소그룹 모델링의 흐름을 알아보기 위해 학생들이 고려하는 양, 양들간 관계, 구성하는 모델을 바탕으로 모델링 주기를 살펴보았다 또한 학생과 엑셀의 상호작용이 모델링에 미치는 영향을 이해하기 위해 학생과 엑셀의 상호작용을 모델 형성, 모델 정교화, 모델을 통한 상황 해석ㆍ예측ㆍ통제 측면에서 분석하였다. 본 연구로부터 엑셀을 활용한 소그룹 모델링이 어떻게 이루어지는가와 학생-엑셀 상호작용 패턴에 대한 이해를 바탕으로 모델링 도구로서의 엑셀의 잠재력을 확인하고 학생들의 모델링 활동에 있어서의 강점과 취약점을 확인할 수 있었다. 또한 엑셀을 활용한 소그룹 모델링이 보다 효과적으로 이루어지기 위해 요구되는 교사 역할에 관한 시사점을 얻을 수 있었다.