• Journal of the Korean Mathematical Society
• /
• v.54 no.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.

• Proceedings of the Korean Nuclear Society Conference
• /
• 2004.05a
• /
• pp.218-218
• /
• 2004

• International Journal of Computer Science & Network Security
• /
• v.21 no.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.

• Journal of Korean Society of Forest Science
• /
• v.89 no.4
• /
• pp.463-469
• /
• 2000

Douglas-fir (Pseudotsuga menziesd Mirb. Franco) is highly regarded as a commercial timber species throughout the world in part due to its fast growth relative to many other species. In this study, basal area per hectare equation for Douglas-fir plantations in Southland of New Zealand has been developed based on medium measurement cycles of permanent sample plots data set. The function was developed using the algebraic difference equation method, and various sigmoid-shaped projection equations were used. Parameter estimation was obtained by non-linear routine of the SAS. As a result, of the functions tested a variant of the Schumacher polymorphic function including site index and thinning term as predictor variables showed the higher precision of the fitting. The results indicate that site index is positively correlated with basal area growth. And the thinning term was found to be useful to increase precision of the model.

• Journal of Communications and Networks
• /
• v.15 no.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.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2008.11a
• /
• 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.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.33 no.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.

• Journal of Educational Research in Mathematics
• /
• v.15 no.1
• /
• pp.75-105
• /
• 2005

This study explored a mathematical modeling flow and the effect of interactions among students and between a student and Excel on modeling in a small group modeling environment with Excel. This is a case study of three 8th graders' modeling activity using Excel during their extra lessons. The conclusions drawn from this study are as follows: First, small group modeling using Excel was formed by formulating 4∼10 modeling cycles in each task. Students mainly formed tables and graphs and refined and simplified these models. Second, students mainly formed tables, algebraic formulas and graphs and refined tables considering each variable in detail by obtaining new data with inserting rows. In tables, students mainly explored many expected cases by changing the values of the parameters. In Graphs, students mainly identified a solution or confirmed the solution founded in a table. Meanwhile, students sometimes constructed graphs without a purpose and explored the problem situations by graphs mainly as related with searching a solution, identifying solutions that are found in the tables. Thus, the teacher's intervention is needed to help students use diverse representations properly in problem situations and explore floatingly and interactively using multi-representations that are connected numerically, symbolically and graphically. Sometimes students also perform unnecessary activities in producing data by dragging, searching a solution by 'trial and error' and exploring 'what if' modeling. It is considered that these unnecessary activities were caused by over-reliance on the Excel environment. Thus, the teacher's intervention is needed to complement the Excel environment and the paper-and-pencil environment properly.