• Bulletin of the Korean Mathematical Society
• /
• v.34 no.2
• /
• pp.273-285
• /
• 1997

The aim of this paper is to present theorems on the exitence of zeros for mappings defined on convex subsets of topological vector spaces with values in a vector space. In addition to natural assumptions of continuity, convexity, and compactness, the mappings are subject to some geometric conditions. In the first theorem, the mapping satisfies a "Darboux-type" property expressed in terms of an auxiliary numerical function. Typically, this functions is, in this case, related to an order structure on the target space. We derive an existence theorem for "obtuse" quasiconvex mappings with values in an ordered vector space. In the second theorem, we prove the existence of a "common zero" for an arbitrary (not necessarily countable) family of mappings satisfying a general "inwardness" condition againg expressed in terms of numerical functions (these numerical functions could be duality pairings (more generally, bilinear forms)). Our inwardness condition encompasses classical inwardness conditions of Leray-Schauder, Altman, or Bergman-Halpern types.

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.6
• /
• pp.1275-1283
• /
• 2010

If the Wiener-Hopf $C^*$-algebra W(G,M) for a discrete group G with a semigroup M has the uniqueness property, then the structure of it is to some extent independent of the choice of isometries on a Hilbert space. In this paper we show that if the Wiener-Hopf $C^*$-algebra W(G,M) of a partially ordered group G with the positive cone M has the uniqueness property, then (G,M) is weakly unperforated. We also prove that the Wiener-Hopf $C^*$-algebra W($\mathbb{Z}$, M) of subsemigroup generating the integer group $\mathbb{Z}$ is isomorphic to the Toeplitz algebra, but W($\mathbb{Z}$, M) does not have the uniqueness property except the case M = $\mathbb{N}$.

• Journal of the Korean Mathematical Society
• /
• v.53 no.1
• /
• pp.187-199
• /
• 2016

The r-ary number sequences given by $$(b^{(r)}_n)_{n{\geq}0}=\Large{\frac{1}{(r-1)n+1}}(^{rn}_n)$$ are analogs of the sequence of the Catalan numbers ${\frac{1}{n+1}}(^{2n}_n)$. Their history goes back at least to Lambert [8] in 1758 and they are of considerable interest in sequential testing. Usually, the sequences are considered separately and the generalizations can go in several directions. Here we link the various r first by introducing a new combinatorial structure related to GR trees and then algebraically as well. This GR transition generalizes to give r-ary analogs of many sequences of combinatorial interest. It also lets us find infinite numbers of combinatorially defined sequences that lie between the Catalan numbers and the Ternary numbers, or more generally, between $b^{(r)}_n$ and $b^{(r+1)}_n$.

• Journal of the Korean Society for Railway
• /
• v.2 no.2
• /
• pp.1-5
• /
• 1999

Based on the development of designed technology for aluminum carbody. the prototype aluminum carbody has been constructed. All extrusion profiles required for the carbody has been produced and their quality has also been proven. For sound construction. welding technology to join aluminum extrusion profiles has been developed and jigs for precise assembly of blocks have been made. The aluminum carbody for urban subway train has been completed with the required chamber being set and the welding deformations being constrained by jigs. The safety of the carbody structure has also been proven by the static load test. And also, painting technology has been developed and the surface of the carbody has been pre-treated and painted. The developed technology to construct the aluminum carbody can be used in mass production of aluminum cars ordered by domestic and foreign customers.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.31B no.5
• /
• pp.12-25
• /
• 1994

A two dimensional constant geometry FFT algorithms and architectures with shuffled inputs and normally ordered outputs are presented. It is suitable for VLSI implementation because all buterfly stages have identical, regular structure. Also a methodology using shuffled FFT inputs and outputs to halve the number of butterfly stages connected by a global interconnection which requires much area is presented. These algorithms can be obtained by shuffling the row and column of a decomposed FFT matrix which corresponds to one butterfly stage. Using non-recursive and recursive pipeline, the degree of serialism and parallelism in FFT computation can be adjusted. To implement high performance high radix FFT easily and reduce the amount of interconnections between stages, the method to build a high radix PE with lower radix PE 's is discussed. Finally the performances of the present architectures are evaluated and compared.

• Bulletin of the Korean Chemical Society
• /
• v.34 no.12
• /
• pp.3790-3794
• /
• 2013

Molecular dynamics simulations were performed to study the structure and stability of a nanoscale self-assembled monolayer (SAM) of alkanethiol on a gold (111) surface. The tilt angle and orientational order of the alkyl chains in the SAM island were examined by systematically varying the size of the island. The chain length dependence of the SAM island was examined by considering alkanethiols containing 12, 16, 20, and 24 carbon atoms. The minimum diameter of SAM islands made from 1-tetracosanethiol, 1-ecosanethiol, 1-hexadecanethiol and 1-dodecanethiol were 2.29, 1.9, 4.7 and 4.76 nm, respectively. These set the ultimate resolution that can be patterned by soft nanolithography. As the length of alkanethiol increases, the SAM islands became more ordered in both orientation and conformation of the alkyl chains.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.34C no.10
• /
• pp.98-105
• /
• 1997

In this work, we proesent a bidirectional approximate reasoning method and fuzzy inference network for interval valued decision making systems. For this, we propose a new type of similarity measure between two fuzzy vectors based on the Ordered Weighted Averaging (OWA) operator. Since the proposed similarity measure has a structure to give the extreme values by choosing a suitable weighting vector of the OWA operator, it can render an interval valued similarity value. From this property, we derive a bidirectional approximate reasoning method based on the similarity measure and show its fuzzy inference network implementation for the decision making systems requiring the interval valued decisions.

• Proceedings of the Korean Vacuum Society Conference
• /
• 1999.07a
• /
• pp.170-170
• /
• 1999

We studied Nb growth mode on Cu(100) surface by scanning tunneling microscopy (STM) at room temperature. Nb/Cu is immiscible at room temperature and thus is an ideal system for studying surface alloy formation. Initially deposited Nb atoms are incorporated subsurface on Cu(100). After annealing, they are preferentially found at step edges and appear as bright dots surrounded by dark rings. Ordering emerges from step edges as annealed. Ordered ({{{{ SQRT { 5} }$\times${{{{ SQRT { 5} }}}})R 26.6$^{\circ}$phase Nb structure is formed at $\theta$<0.2ML after annealing to 50$0^{\circ}C$. At higher coverage, $\theta$>0.25, annealing leads to p(2$\times$2) phase. due to large mismatch in lattice parameters, the domain is limited to a few tens of nm2. Growth kinetics of the system will be discussed.

• Proceedings of the Korean Vacuum Society Conference
• /
• 1999.07a
• /
• pp.173-173
• /
• 1999

The initial growth mode of Nb on Ag(110) in sub-monolayer region is studied using Scanning Tunneling microscopy. E-beam evaporated Nb is deposited onto the substrate at RT, and STM measurements are carried out at RT and 78K. With Nb being immiscible in bulk Ag, 3D islands formation begins at early stage and no particular ordered structure is found. At very low coverages, however, many interesting phenomena are observed in association with Nb clusters. Small Nb clusters as deposited displays very strong size dependence against atom-manipulation by the STM tip. In addition, the apparent corrugation of clusters below the critical size exhibits dramatic dependence on the imaging bias, disappearing completely over a wide range of the bias. Possible physical mechanism responsible for such behavior will be discussed.

• Journal of Electrochemical Science and Technology
• /
• v.3 no.1
• /
• pp.35-43
• /
• 2012

Highly ordered and perforated anodic aluminum oxide membranes were prepared by anodic oxidation and subsequent removal of the barrier layer. By using these homemade anodic aluminum oxide membranes as templates, metal selenide nanowires and nanotubes were synthesized. The structure and composition of these one-dimensional nanomaterials were studied by field emission scanning electron microscopy as well as transmission electron microscopy and energy dispersive X-ray spectroscopy. The growth process of metal selenide inside anodic aluminum oxide channel was traced by investigating the series of samples using scanning electron microscopy after reacting for different times. Straight and dense copper selenide and silver selenide nanowires with a uniform diameter were successfully prepared. In case of nickel selenide, nanotubes were preferentially formed. Phase and crystallinity of the nanostructured materials were also investigated.