• Bulletin of the Korean Mathematical Society
• /
• v.60 no.4
• /
• pp.1035-1059
• /
• 2023

Let p be an odd prime. Let E be an elliptic curve defined over a quadratic imaginary field, where p splits completely. Suppose E has supersingular reduction at primes above p. Under appropriate hypotheses, we extend the results of [17] to ℤ²_p-extensions. We define and study the fine double-signed residual Selmer groups in these settings. We prove that for two residually isomorphic elliptic curves, the vanishing of the signed 𝜇-invariants of one elliptic curve implies the vanishing of the signed 𝜇-invariants of the other. Finally, we show that the Pontryagin dual of the Selmer group and the double-signed Selmer groups have no non-trivial pseudo-null submodules for these extensions.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.17 no.12
• /
• pp.3105-3114
• /
• 1993

previously, several basic studies in the experimental analysis of stress intensity factors of cracks by slab analogy have been presented by authors. But, for the application of above mentioned method to the analysis of the arbitrarily distributed cracks, there still is several bottlenecks to be overcome in terms of its experimental process and data treatment. Moreover, authors recently proposed an improved experimental method to use the fixed slab analogy device which has promised more accurate measurement of S.I.F. of small cracks. In this paper, for the completion of slab analogy analysis of distributed cracks, a grating imaginary rotation method is introduced. And, to prove its validity, this combined method is applied to the determination of stress intensity factors of theoretically known distributed cracks. The results show good agreement with the existing theoretical solutions and physical crack propagation tendencies.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.37 no.9
• /
• pp.66-77
• /
• 2000

This paper presents a fast partitioning heuristic for hardware/software codesign called Best Imaginary Level-Iterative(BILI) partitioning which iteratively applies BIL heterogeneous multiprocessor scheduling heuristic to minimize the cost within the given time constraint. The proposed algorithm solves the partitioning problem with the implementation bin selection problem as well as architectures with multiple software modules. It costs about 15% less than the GCLP and at most about 5% more than the optimal solution obtained by the Integer Linear Programming(ILP) algorithm.

• The Journal of Engineering Research
• /
• v.8 no.1
• /
• pp.51-57
• /
• 2006

We propose efficient methods for implementing 3-D reconstruction algorithms for Compton camera. Since reconstructing Compton scattered data involves the surface integral over the cone associated with the measurement bin, it is crucial to develop a computationally efficient surface integration method. In this work we assume that a cone is made up of a series of ellipses (or circles) stacked up one o top of the other. In order to reduce computational burden for tracing ellipses formed by the intersection of a cone and an image plane, we construct a series of imaginary planes perpendicular to the cone axis so that each plane contains a circle, not an ellipse. In this case the surface integral can be performed by adding uniform samples along each circle. The experimental results demonstrate that our method using imaginary planes significantly improves computational efficiency while keeping reconstruction accuracy.

• Proceedings of the KIEE Conference
• /
• 1999.07c
• /
• pp.1042-1045
• /
• 1999

This paper presents a new method for contingency selection of the transient stability. Contingency ranking in transient stability is done by estimating the change in the imaginary part of electro-mechanical oscillation mode, which represents modal synchronizing coefficient. And the change in the imaginary part is obtained by applying eigen-sensitivity theory of augmented matrix to linear system model. The Proposed algorithm was tested for New England System and compared the results with PSS/E dynamic simulation.

• Proceedings of the KIEE Conference
• /
• 2001.11b
• /
• pp.118-120
• /
• 2001

This paper presents a distance relaying algorithm based on the Discrete Fourier Transform(DFT) for elimination of DC-Offset. When the DFT is applied to current signal. the real and imaginary parts of fundamental component consist of fundamental component itself and DC-Offset. The DC-Offset is calculated by four consecutive values of the imaginary components, so that the fundamental component can be accurately estimated. Performance evaluation is presented for A-phase ground faults on 154kV 80km overhead transmission line. The proposed algorithm is inspected by software simulation and hardware simulation.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.1
• /
• pp.21-28
• /
• 2016

It is known that no two of the roots of the polynomial equation (1) $$\prod\limits_{l=1}^{n}(x-r_l)+\prod\limits_{l=1}^{n}(x+r_l)=0$$, where 0 < $r_1{\leq}r_2{\leq}{\cdots}{\leq}r_n$, can be equal and all of its roots lie on the imaginary axis. In this paper we show that for 0 < h < $r_k$, the roots of $$(x-r_k+h)\prod\limits_{{l=1}\\{l{\neq}k}}^{n}(x-r_l)+(x+r_k-h)\prod\limits_{{l=1}\\{l{\neq}k}}^{n}(x+r_l)=0$$ and the roots of (1) in the upper half-plane lie alternatively on the imaginary axis.

• Proceedings of the KIEE Conference
• /
• 2007.11c
• /
• pp.141-145
• /
• 2007

Using the New Fast Walsh Transform algorithm, we present a new algorithm which reduces the computational amount, and it can consequently calculate the real and imaginary components for current and voltage signals of power system in sampling intervals. The calculation amount is reduced to 2X(m-1) at m samples to measure full harmonics using developed algorithm. When in single harmonic measuring, it needs only 2(log2N-1)+1 additions and subtractions. We developed hardware device for testing, and tested the developed algorithm by measuring real and imaginary components.

• Journal of the Korean Institute of Electrical and Electronic Material Engineers
• /
• v.24 no.9
• /
• pp.744-749
• /
• 2011

Recently, annual usage of energy is dramatically increasing because industrialization is going faster and more electricity is needed due to various electronic devices. This study focused on the performance characteristics of solar cell using the impedance technique. The experiment measured an impedance according to frequency's from 2 mHz until 1 MHz. It could know that the impedance was decreased according to the frequency increases in solar cell. The imaginary part was changed from capacitance component to inductance component.

• Proceedings of the KSRS Conference
• /
• 2002.10a
• /
• pp.88-88
• /
• 2002

Satellite Image archiving system requires large storage and long transmission time. A simple and cheap way of overcoming these limitations is to increase the compression ratio. However this requires a feasibility study for accurate applications. Here, a new still image compression standard is being developed, the JPEG2000. It provides lossless and lossy compression, progressive transmission by pixel accuracy and by resolution, region-of-interest coding, user-defined tiling size, random codestream access and processing etc. In this study, we will briefly introduce the JPEG2000 compression standard which provides a new compression technique based on the wavelet technology and offers better compression ratios, and evaluate the compression ratios of JPEG2000 for satellite image by performing various image quality tests. Also, we will compare brief test result using the commercial remote sensing software.