• Honam Mathematical Journal
• /
• v.32 no.1
• /
• pp.141-155
• /
• 2010

In this paper we prove that with some hypothesis the set of k-isomorphism classes of simple closed k-surfaces in ${\mathbf{Z}}^3$ forms a commutative monoid with an operation derived from a digital connected sum, k ${\in}$ {18,26}. Besides, with some hypothesis the set of k-homotopy equivalence classes of closed k-surfaces in ${\mathbf{Z}}^3$ is also proved to be a commutative monoid with the above operation, k ${\in}$ {18,26}.

• Bulletin of the Korean Mathematical Society
• /
• v.55 no.4
• /
• pp.1023-1035
• /
• 2018

We strengthen a result of Michiel Kosters by proving the following theorems: (*) Let ${\phi}:W{\rightarrow}V$ be a finite surjective morphism of algebraic varieties over an ample field K. Suppose V has a simple K-rational point a such that $a{\not\in}{\phi}(W(K_{ins}))$. Then, card($V(K){\backslash}{\phi}(W(K))$ = card(K). (**) Let K be an infinite field of positive characteristic and let $f{\in}K[X]$ be a non-constant monic polynomial. Suppose all zeros of f in $\tilde{K}$ belong to $K_{ins}{\backslash}K$. Then, card(K \ f(K)) = card(K).

• Proceedings of the KIEE Conference
• /
• 1998.11c
• /
• pp.935-937
• /
• 1998

The stringing load was added to tower design that consider the active load in 765kV transmission line construction. The nominal auxiliary members of steell tubular tower arm were altered into stress members by means of three dimensional design analysis method. 765kV transmission line construction also use self-standing tower that does not install temporary wire which support the section tower placed between drum field and engine field when stringing process.

• Proceedings of the KIEE Conference
• /
• 2005.11b
• /
• pp.340-343
• /
• 2005

This paper is for studying the feasibility of SFCL application for the interconnection operation of 154kV power systems under 345kV S/S in Korean power system. All Korean 154kV power systems are constructed as loop systems in downtown. However, the present 154kV systems are operated with separated systems around 345kV S/S because of fault current and overload problems. In this study, we investigate the structure and operation of 154kV power system in Seoul and study the feasibility of interconnection operation of 154kV systems under 345kV systmes by applying SFCLs to 154kV bus-tie.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.15 no.4
• /
• pp.477-483
• /
• 2015

The k-Winners-Take-All (kWTA) is an operation to find the largest k (>1) inputs among N inputs. Parallel search algorithm of kWTA for digital inputs is not invented yet, so most of digital kWTA architectures have O(N) time complexity. A parallel search algorithm for digital kWTA operation and the circuits for its VLSI implementation are presented in this paper. The proposed kWTA architecture can compare all inputs simultaneously in parallel. The time complexity of the new architecture is O(logN), so that it is scalable to a large number of digital data. The high-speed kWTA operation and its O(logN) dependency of the new architecture are verified by simulations. It takes 290 ns in searching for 5 winners among 1024 of 32 bit data, which is more than thousands of times faster than existing digital kWTA circuits, as well as existing analog kWTA circuits.

• The Korean Journal of Nuclear Medicine
• /
• v.20 no.1
• /
• pp.9-15
• /
• 1986

• Proceedings of the KIEE Conference
• /
• 1994.07a
• /
• pp.55-56
• /
• 1994

KEPCO is now driving forward the raising of transmission-line-voltage from 345kV to 765kV for the stabilization of network and as the counter measure of the rapid-increasing of domestic electric power demands. 800kV GIS is one of the most important apparatuses in the 765kV substation and we are developing the Model $SF_6$ GCB for the GIS now. We'll explain the present condition of development of 800kV $SF_6$ GCB until now.

• Proceedings of the Korea Environmental Mutagen Society Conference
• /
• 2004.05a
• /
• pp.122-122
• /
• 2004

• Journal of the Korean Mathematical Society
• /
• v.53 no.6
• /
• pp.1431-1443
• /
• 2016

Let k be a global field of characteristic unequal to two. Let $C:y^2=f(x)$ be a nonsingular projective curve over k, where f(x) is a quartic polynomial over k with nonzero discriminant, and K = k(C) be the function field of C. For each prime spot p on k, let ${\hat{k}}_p$ denote the corresponding completion of k and ${\hat{k}}_p(C)$ the function field of $C{\times}_k{\hat{k}}_p$. Consider the map $$h:Br(K){\rightarrow}{\prod\limits_{\mathfrak{p}}}Br({\hat{k}}_p(C))$$, where p ranges over all the prime spots of k. In this paper, we explicitly describe all the constant classes (coming from Br(k)) lying in the kernel of the map h, which is an obstruction to the Hasse principle for the Brauer groups of the curve. The kernel of h can be expressed in terms of quaternion algebras with their prime spots. We also provide specific examples over ${\mathbb{Q}}$, the rationals, for this kernel.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.6
• /
• pp.1341-1354
• /
• 2021

Let r ≥ 2, and let k_i ≥ 2 for 1 ≤ i ≤ r. Mixed van der Waerden's theorem states that there exists a least positive integer w = w(k₁, k₂, k₃, …, k_r; r) such that for any n ≥ w, every r-colouring of [1, n] admits a k_i-term arithmetic progression with colour i for some i ∈ [1, r]. For k ≥ 3 and r ≥ 2, the mixed van der Waerden number w(k, 2, 2, …, 2; r) is denoted by w₂(k; r). B. Landman and A. Robertson [9] showed that for k < r < $\frac{3}{2}$(k - 1) and r ≥ 2k + 2, the inequality w₂(k; r) ≤ r(k - 1) holds. In this note, we establish some results on w₂(k; r) for 2 ≤ r ≤ k.