• 한국대기환경학회:학술대회논문집
• /
• 한국대기환경학회 2008년도 춘계학술대회 논문집
• /
• pp.146-147
• /
• 2008

• 한국대기환경학회:학술대회논문집
• /
• 한국대기환경학회 2006년도 춘계학술대회 논문집
• /
• pp.359-360
• /
• 2006

• 한국대기환경학회:학술대회논문집
• /
• 한국대기환경학회 2007년도 추계학술대회 논문집
• /
• pp.316-318
• /
• 2007

• 한국대기환경학회:학술대회논문집
• /
• 한국대기환경학회 2007년도 추계학술대회 논문집
• /
• pp.329-330
• /
• 2007

• 호남수학학술지
• /
• 제26권4호
• /
• pp.533-547
• /
• 2004

In this paper, we introduce two kinds of generalized vector quasivariational-like inequalities for multivalued mappings and show the existence of solutions to those variational inequalities under compact and non-compact assumptions, respectively.

• 대한수학회논문집
• /
• 제10권2호
• /
• pp.325-330
• /
• 1995

In this paper we obtain some fixed point theorems on H-spaces by using H-KKM theorems.

• 충청수학회지
• /
• 제23권2호
• /
• pp.223-229
• /
• 2010

We introduce the notion of weak M-semicontinuity which is a generalization of M-semicontinuity defined between spaces with minimal structures. We also investigate some properties and characterizations for such a notion.

• 대한음성학회지:말소리
• /
• 제50호
• /
• pp.51-69
• /
• 2004

In this paper, we present a one-pass semi-dynamic network decoding framework that inherits both advantages of fast decoding speed from static network decoders and memory efficiency from dynamic network decoders. Our method is based on the novel language model network representation that is essentially of finite state machine (FSM). The static network derived from the language model network [1][2] is partitioned into smaller subnetworks which are static by nature or self-structured. The whole network is dynamically managed so that those subnetworks required for decoding are cached in memory. The network is near-minimized by applying the tail-sharing algorithm. Our decoder is evaluated on the 25k-word Korean broadcast news transcription task. In case of the search network itself, the network is reduced by 73.4% from the tail-sharing algorithm. Compared with the equivalent static network decoder, the semi-dynamic network decoder has increased at most 6% in decoding time while it can be flexibly adapted to the various memory configurations, giving the minimal usage of 37.6% of the complete network size.

• 한국미생물·생명공학회지
• /
• 제11권1호
• /
• pp.33-38
• /
• 1983

에타놀을 생산하는 Flocculent 균주는 균체순환을 위한 외부적인 장치 없이도 발효조 내부 자체에서 고농도의 균체를 유지시킬 수 있는 장점이 있다. 본 연구에서는 Flocculation 특성을 가지고 있는 Saccharomyces uvarum을 사용하여 Glucose 배지에서 회분식 및 연속식 발효특성을 고찰하였고 에타놀 발효의 수학적 모델을 만들었다. 이를 이용하여 여러 온도 및 pH에 따른 발효특성을 비교 검토한 결과 균체성장과 에탄올 생산의 최적온도는 33~35$^{\circ}C$ 이었고 pH 에 대한 영향은 그리 크지 않았으나 pH5가 최적 조건이었다. 이러한 환경적 최적 조건하에서 Semi-batch 발효에 의한 에타놀 최고 생산성은 12g/$\ell$/h이었다.

• 한국기계가공학회지
• /
• 제14권4호
• /
• pp.126-133
• /
• 2015

To enhance the productivity and quality of the compound process of progressive dies and transfer dies, the semi-progressive method is applied in the material supply step to produce blanks, and then the transfer method is applied. Parts are transferred among processes by means of the finger and transfer bar in the transfer die, and the final seat cushion panel is produced. The main challenge in the current study is how to deform a seat cushion panel while meeting the design specifications without any defects. In order to obtain this technology, a sheet metal-forming simulation and die forming of the seat cushion panel were adopted; as a result, a compound die-forming technology for the automotive seat cushion panel, combining both semi-progressive die and transfer die for continuous production, was successfully developed.