• 대한수학회지
• /
• 제35권4호
• /
• pp.803-829
• /
• 1998

We give general fixed point theorems for compact multimaps in the "better" admissible class $B^{K}$ defined on admissible convex subsets (in the sense of Klee) of a topological vector space not necessarily locally convex. Those theorems are used to obtain results for $\Phi$-condensing maps. Our new theorems subsume more than seventy known or possible particular forms, and generalize them in terms of the involving spaces and the multimaps as well. Further topics closely related to our new theorems are discussed and some related problems are given in the last section.n.

• 한국콘텐츠학회논문지
• /
• 제3권3호
• /
• pp.103-109
• /
• 2003

함수 방정식은 함수 자체의 정확한 형태를 가정하지 않고 단순히 기본적인 성질만을 언급하는 한정적이지 않은 방정식을 통하여 일반적인 관점의 수학적 형상화를 공식화하는데 매우 중요한 구실을 하기 때문에 실험적인 학문에서 유용하다. 본 논문에서는 범함수 방정식 문제 중 하나인 일반화된 2차 범함수 방정식(equation omitted) 의 해를 구하고 이 방정식의 안정성을 증명한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1999년도 추계학술대회 논문집 학회본부 B
• /
• pp.533-536
• /
• 1999

We consider digital implementation problems of continuous-time controllers. In general, digital controllers use fixed point representation of number and of finite word length(FWL). Under these conditions, this paper investigates the closed-loop stability caused by three design constraints; (i) finite precision representation of the controller parameters, (ii) realization forms such as direct form, cascade form, and parallel form, and (iii) sampling time. We calculate the coefficient stability margins of both predesigned controllers and controller to be implemented. This method can be applied to determine the word length, realization structure, and sampling time so that remains the stability.

• Journal of the Korean Statistical Society
• /
• 제27권4호
• /
• pp.421-433
• /
• 1998

In this paper, matching priors for P(X < Y) are investigated when both distributions are exponential distributions. Two recent approaches for finding noninformative priors are introduced. The first one is the verger and Bernardo's forward and backward reference priors that maximizes the expected Kullback-Liebler Divergence between posterior and prior density. The second one is the matching prior identified by matching the one sided posterior credible interval with the frequentist's desired confidence level. The general forms of the second- order matching prior are presented so that the one sided posterior credible intervals agree with the frequentist's desired confidence levels up to O(n$^{-1}$ ). The frequentist coverage probabilities of confidence sets based on several noninformative priors are compared for small sample sizes via the Monte-Carlo simulation.

• 한국고분자학회:학술대회논문집
• /
• 한국고분자학회 2006년도 IUPAC International Symposium on Advanced Polymers for Emerging Technologies
• /
• pp.369-369
• /
• 2006

Compatibilizers contribute to many processes in polymer industry, such as manufacturing polymer blends and composites. They are usually designed to be block or graft form which is combined in polar and non-polar parts in the first synthesis process level, for example, the general form of maleic anhydride (MA) as a compatiblizer is a grafted counterpart. However, the process of making the compatibilizer is related to the first synthesis level and it has some problems, such as high cost, poor processability, limitation on use and properties, and so on. So, in order to improve its poor processability and overcome the limitation on use, we developed compatibilizers which have various chemical forms by high intensity ultrasound and super critical fluid nitrogen in polymer melt reactive extrusion.

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 2009년도 제33회 추계학술대회논문집
• /
• pp.23-26
• /
• 2009

수소의 일반적인 특성과 온도 변화에 따른 ortho-수소와 para-수소의 비율에 대하여 살펴보았다. 수소의 독특한 특성인 넓은 연소 영역, 낮은 점화 에너지, 낮은 최대역전온도 및 수소 취성을 소개하였다. 예냉과 팽창 엔진을 사용하는 액체 수소 제조 방법과 촉매를 이용한 ortho-para 변환을 살펴보았으며, 액체로켓 추진제로서의 특성과 고려해야 할 사항들을 검토하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1989년도 하계종합학술대회 논문집
• /
• pp.134-137
• /
• 1989

A digital controller for a discrete-data control system can take many forms. For example, they can be passive RC networks, general purpose digital computers, special purpose of mini-computer, and delay lines. With the recent advent of the microprocessor, its use as a digital controller is evident. This work discusses the hardware and software development of a microprocessor-based digital controller for a discrete-data control system. A second-order, Type 1 system is implemented on an analog computer; a Intel 80-286 microprocessor is used to implemented the controller; and, output response are obtained for step, ramp, and parabolic inputs. The results demonstrate that the microprocessor has potential as a digital controller. Finally, a brief discussion on the results indicate possible areas of improvement of the controller and future investigation.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1999년도 하계학술대회 논문집 B
• /
• pp.599-602
• /
• 1999

In this paper, the genetic algorithm is used to design a mixed $H_2/H{\infty}$ controller. Two kinds of controller forms, Youla's form and the general form are considered to design a mixed $H_2/H{\infty}$ controller Efficient searching methods are sought to minimize the given $H_2$ cost function under the $H{\infty}$ constraint. It is verified by an example that the developed algorithm can provide stable results in the region where unstable results are shown by the conventional gradient method.

• 유체기계공업학회:학술대회논문집
• /
• 유체기계공업학회 2006년 제4회 한국유체공학학술대회 논문집
• /
• pp.105-108
• /
• 2006

should be in This paper presents review on human comfort criteria in major codes and standards for tall buildings. In general, human comfort criteria of tall buildings have been used by magnitude of wind-induced acceleration response. Two different indexes in determination of the magnitude have been used: the peak value which occurs during a period of time and the rms value averaged over this same period. These distinctive acceleration indexes are discussed in detail and each criterium was reviewed and compared. The distinctions arisen because of the different wave forms, or acceleration signatures were addressed. It is described that which index of acceleration should be adopted in establishment of Korean human comfort criteria. In addition, some arguments from a technical standpoint that favor the use of each index are presented.

• 대한가정학회지
• /
• 제49권4호
• /
• pp.1-9
• /
• 2011

This study aims to examine the costumes, which a shaman wears for the ritual of exorcism in the Honam region. The findings are based on a field survey of the exorcism ritual, which is performed by hereditary shamans and forms part of an annual event in the Honam region. Two main features of the shamans' costumes were observed. Firstly, the types of shamanic costume worn for gut reflected the general traditional costume but with some variations. White-colored costumes are largely found in the Honam region. Secondly, the types of costumes, which shamans wear in the Honam region. are also varied. The different types of shamanic costumes, regardless of Ga-sa, can be classified into Jang-sam, Jeon-bok, or Duru-magi, variations in the patterns of costumes, differences in the types of conical hat, and modifications in the dress code.