• Journal of the Korean Mathematical Society
• /
• v.29 no.2
• /
• pp.361-373
• /
• 1992

• Communications of the Korean Mathematical Society
• /
• v.10 no.2
• /
• pp.357-363
• /
• 1995

We study non-existence of $L^2$-harmonic p-forms on a complete, non-compact Riemannian manifold without boundary as extension of results of K. Yano in the case of compact.

• Communications of the Korean Mathematical Society
• /
• v.12 no.3
• /
• pp.655-664
• /
• 1997

The existence and behavior of a bounded solution for a perturbed nonlinear differential equation of the type $$ (DE) x'(t) + Ax(t) \ni G(x(t)), t \in [0, \infty) $$ is considered. First, we consider the existence of a bounded solution with more simple assumptions using the concept of "the method of lines". Then we devote to study its behavior using recent results of almost non-expansive curve which is developed by Djafari Rouhani.i Rouhani.

• Communications of the Korean Mathematical Society
• /
• v.23 no.1
• /
• pp.95-110
• /
• 2008

The object of the present paper is to provide the existence of LP-Sasakian manifolds with $\eta$-recurrent, $\eta$-parallel, $\phi$-recurrent, $\phi$-parallel Ricci tensor with several non-trivial examples. Also generalized Ricci recurrent LP-Sasakian manifolds are studied with the existence of various examples.

• Journal of Fashion Business
• /
• v.10 no.6
• /
• pp.52-62
• /
• 2006

The purpose of this study is to investigate the changes of modern Korean men's pants design from 1962 to 1998 by reviewing fashion magazine advertisements and pictorials. For theoretical study, the characteristics and the importance of apparel advertisements and the changes of modern Korean men's fashion trend were reviewed. For sample selection, first, 932 pictorials of men';s wear designs from Joongang Magazine, Shin Dong-A, Bokjangwolbo, Meot, Men's Life, WWD, and SFAA's photograph album, published from 1962 to 1998 were selected and then excluded some samples that could not clearly identify the pants design. Content analysis method was used to analyze the content of magazines and pictorials. The final samples are classified into pattern, color, length, silhouette, and existence or non-existence of turn-up. Frequency and $x^2$-test were conducted using a SAS statistics package to analyse the data. The results were as follows. ; (1) Solid pattern was the most prevailed throughout the last four decades and followed by stripe, check, the others, abstract, dot and floral. There is no significant difference in the type of men's pants pattern between each decade. (2) It showed a significant difference in colors of men's pants between decades. The colors in men's wear are divided into nine categories and the order of occurrence are as follows; multi-color is the most frequently shown and followed by brown, gray, blue, black, green, pink, yellow, and red. More various colors appeared over the period, however, multi color was the most popular in all decades but in the 60s. (3) Full length of pants style occupied more than 96% throughout all four decades. Due to the popularity of sports wear in men's fashion during the 90s, the shorts style appeared not only in sports wear and casual wear but also in suit style. (4) There is a significant difference in silhouette of men's pants between decades. The silhouette of men's pants were divided into four types and their order of occurrence are as follows; basic, baggy, fitted, and loose silhouette. Basic silhouette was the most prevailed throughout the whole four decades. (5) A significant difference was shown in the existence or non-existence of turn-up of men's pants between decades. Non-existence of turn-up of men's pants was the most prevailed throughout the whole four decades.

• Steel and Composite Structures
• /
• v.8 no.5
• /
• pp.389-402
• /
• 2008

In December 2005, one(A) of the two pre-engineered warehouse buildings in the port of K City of Korea was completely destroyed and the other(B) was seriously damaged to be demolished. Over-loaded snow and unexpected blast of wind were the causes of the accident and destructive behavior was brittle fracture caused by web local buckling and lateral torsional buckling at the flange below rafter. However, the architectural design technology of today based on material non-linear method does not consider the tolerances to solve the problem of such brittle fracture. So, geometric non-linear evaluation which includes initial deformation, width-thickness ratio, web stiffener and unbraced length is required. This study evaluates the structural safety of 4 models in terms of width-thickness ratio and unbraced length using ANSYS 9.0 with parameters such as width-thickness ratio of web, existence/non-existence of stiffener and unbraced length. The purpose of this study is to analyze destructive mechanism of the above-mentioned two warehouse buildings and to provide ways to promote the safety of pre-engineered buildings.

• 한국연소학회:학술대회논문집
• /
• 2003.12a
• /
• pp.195-200
• /
• 2003

A two-dimensional "twin-jet counterflow" burner has been designed for the better understanding of the stability of turbulent flames. This flow system enables one to systematically investigate various effects on non-premixed flames, including the effects of curvature, negative strain, and non-premixed flame interactions. The objective of this study is comparing characteristics of extinction of non-premixed methane flames with that of non-premixed propane flames investigated previously. The extinction limit of non-premixed methane and propane flames can be extended compare to that for the conventional counterflow non-premixed flame because of the existence of petal shaped flame and have same structure. The hysteresis in transition between the petal shaped flame and the curved two-wing flames could be observed. We could find differences between non-premixed methane flame and non-premixe propane flame such as the position of one wing extinction and the regime of one wing extinction.

• The KIPS Transactions:PartA
• /
• v.17A no.1
• /
• pp.9-18
• /
• 2010

Races that occur in shared-memory parallel programs such as OpenMP programs must be detected for debugging because of causing unintended non-deterministic results. Previous works which verify the existence of these races on-the-fly are limited to the programs without internal non-determinism. But in the programs with internal non-determinism, such works need at least N! execution instances for each critical section to verify the existence of races, where N is the degree of maximum parallelism. This paper presents a preprocessor that statically analyzes the locations of non-deterministic accesses using program slicing and can detect apparent races as well as potential races through single execution using the analyzed information. The suggested tool can deterministically monitor non-deterministic accesses to occur in OpenMP programs so that this tool can verify the existence of races even if it is used any race detection protocol which can apply to programs with critical section. To prove empirically this tool, we have experimented using a set of benchmark programs such as synthetic programs that involve non-deterministic accesses, OpenMP Microbenchmark, NAS Parallel Benchmark, and OpenMP application programs.

• Journal of Korean Philosophical Society
• /
• v.146
• /
• pp.245-270
• /
• 2018

In this paper I study the theoretical characteristic of 'Tao' based on Confucianism. Tao, the most widely used keyword in the history of East Asian philosophy, has amassed ever-greater variety of meaning as time has passed and schools divided into more subdivided schools. Among the many attributes of Tao, the most important thing I think is that Tao has a dual structure between 'Tao' and 'Way'. Somewhere to be reached is called 'Tao', and the pathway that leads to the destination is called 'Way'. In other words, 'Tao' is existence itself, and 'Way' is type of existence. 'Tao' can be goal, and 'Way' can be process. 'Tao' has originality, continuance, and honesty as its own traits, while 'Way' has humanity, practice, and dailiness as its traits. After all, in a broad sense, Tao has a dual structure between the existence and the type of existence; 'Tao' and 'Way'. Many philosophers in Western society have also paid attention to this Tao trait. Among them, Heidegger gave his opinion that is closest to the East Asians. I want to explain why the human beings are the existence on the pathway through this paper. The existence(Tao) and the type of existence(Way) cannot be separated. So, there cannot be existence without type, and type of non-existence is useless. From this point of view, 'Tao' can be both existence and type of existence.

• International Journal of Aeronautical and Space Sciences
• /
• v.5 no.2
• /
• pp.35-42
• /
• 2004

Among other critical conditions in rotor svstems the large non-linearvibration excited by bearing non-linearity causes the rotor failure. For reducing thiscatastrophic failure and predictive analysis of this phenomena the identificationanalysis of bearing non-linearity in an anisotropic rotor system using the higherorder dFRFs are developed and are shown to be theoretically feasible as innon-rotating structures. For the identification of the anisotropic rotor withanisotropic bearing non-linearity expressed by the displacement in polynomial form,the higher order dFRFs based upon the Volterra series are investigated and depicttheir features by using the simple forms of the normal and reverse dFRFs. Theyproduce additional sub-harmonic resonant peaks, which indicate the existence ofhigher order non-linearties, and show the energy transfer such that the modes fornormal and reuerse dFRFs are exchanged, which are the fundamental differencesfrom what we can expect in linear ones.