• Journal of Korean Society of Steel Construction
• /
• v.15 no.1
• /
• pp.33-40
• /
• 2003

There are two basic concepts about concerning the buckling analysis of a buried pipe. One concept considers the soil around the pipe asn elastic continuum mediaum. The other concept holds that the pipe is sup ported by an elastic spring, which replaces the effects of the surrounding soil (the Winkler model). Theise buckling analysis is based on plane analysis, without considering the corrugation effect and the length effect. This paper thus presents a parametric study using the Finite Element Method (FEM) for the Winker model and proposes a buckling strength formula after examining a 3D analysis considering the corrugation effect and the length effect, thatwhichhelp in estimating the critical buckling strength of such CSP

• Journal of the Korean Operations Research and Management Science Society
• /
• v.30 no.3
• /
• pp.17-39
• /
• 2005

The coordination of a three-level supply chain consisting of a supplier, a retailer, and a discount outlet (DCO) is studied here. We assume that the product is sold in two consecutive periods a Normal Sales Period (NSP) and a subsequent Clearance Salvage Period (CSP). A benchmark case is studied Initially in which the supply chain is coordinated by a s1n91e agent. Thus, the supplier the retailer, and the discount outlet design a common system that allows centralized decision making about stocking quantities, markdown time schedules, and policies on disposing of leftovers to deliver the greatest possible expected supply chain profit. Next, we consider a decentralized supply chain. Here, decisions are made without coordination. The objective is to maximize an individual party's expected profits. The focus of the study is on the following questions: what factors make the coordination an effective approach for the supply chain? How do we coordinate the supply chain so as to maximize the supply chain Joint expected profit? These and other related study issues are explored in this paper.

• Environmental Engineering Research
• /
• v.14 no.3
• /
• pp.195-199
• /
• 2009

A series of laboratory-scale corrosion experiments was carried out to observe the effect of dissolved oxygen (DO) in the presence of other water quality parameters, such as hardness, Cl-, and pH using various pipe materials. In addition, a simulated loop system was installed at a water treatment plant for pilot-scale experiment. Laboratory-scale experiment showed that corrosion rates for galvanized steel pipe (GSP), carbon steel pipe (CSP), and ductile cast iron pipe (DCIP) were decreased to 72%, 75%, and 91% by reducing DO concentration from 9${\pm}$0.5 mg/L to 2${\pm}$0.5 mg/L. From the pilot scale experiment, it was further identified that the average ionization rate of zinc in GSP decreased from 0.00533 to 0.00078 mg/$cm^2$/d by controlling the concentration of DO. The reduction of average ionization rate for copper pipe (CP) and stainless steel pipe (SSP) were 71.4% for Cu and 63.5% for Fe, respectively. From this study, it was concluded that DO could be used as a major parameter in controlling the corrosion of water pipes.

• Journal of Intelligence and Information Systems
• /
• v.6 no.1
• /
• pp.83-96
• /
• 2000

본연구는 웹 상에서 원격 협력 학습을 위한 수준별 협력 학습자 진단 및 스케줄링 에이전트의 설계와 구현에 관한 연구이다. 원격 협력 학습은 동일한 학습내용에 흥미를 갖는 아동이 동시에 학습할 수 있는 환경이 필요하며 학습자의 지식 또한 비슷한 수준이어야 효과적인 협력학습을 할 수 있다. 분산 환경의 이질적인 학습자를 모으기 위해서는 좀 더 자율적이고 지능적인 시스템이 필요하며 학습자에 대한 지식을 표현하는 학습자 모델이 요구된다. 이를 위해 에이전트 시스템이 적절하게 사용될수 있으며 학습자의 수준을 판단하기 위한 진단 에이전트와 협력학습이 가능한 여러명의 학습자들을 알맞은 시간과 서버에 연결하는 스케줄링 에이전트를 웹 기반 지능형 교수 시스템에 접목하였다. 학습자 수준을 진단하는 진단 에이전트는 확신도를 높이기 위해 3-모수 로지스틱 확신공식과 시간 가중치 확신인자 공식을 적용하여 신뢰도를 높였다 또한 협력학습의 스케줄링을 위해 다양한 제약조건들의 최적해를 구하기 위해 제약 만족 문제(CSP)로 스케줄링 에이전트를 모델링하였다 본 연구에서 설계 구현한 협력학습자 진단 및 스케줄링 에이전트의 효율성을 살펴보기 위해 여러명의 학습자를 대상으로 실험하였다. 실험을 통해 각 학습자의 지식 수준 진단과 다수의 학습자가 적절한 협력학습을 하기 위한 스케줄링이 매우 효율적으로 이루어짐을 볼 수 있었다.

• Analytical Science and Technology
• /
• v.23 no.1
• /
• pp.97-101
• /
• 2010

(R)-N-3,5-dinitrobenzoyl (DNB) phenylglycinol derived chiral selector was used as a HPLC chiral stationary phase (CSP) for the resolution of racemic N-acylnaphthylalkylamines. In this study, determination of optical purity was performed by both chiral chromatography and NMR spectroscopy by using the (R)-phenylglycinol derived chiral selector. The data of accuracy and precision of each optical purity value are calculated from the results of NMR and HPLC experiments by comparing with true value. Average error of the NMR method was +2.2% with average RSD of 4.54%, while that of HPLC method was -3.5% with average RSD of 3.23%.

• Journal of the Korean Magnetic Resonance Society
• /
• v.21 no.3
• /
• pp.109-113
• /
• 2017

The hepatitis C virus (HCV) internal ribosome entry site (IRES) is an RNA structure located in the 5'-UTR of the HCV RNA genome. The HCV IRES consists of four domains I, II, III, and IV, where domains II - IV are recognized by 40S ribosomal subunit and the domain III is bound to eukaryotic initiation factor 3 (eIF3) for translation initiation. Here, we have characterized the tertiary interaction between an L-/K- rich peptide and the HCV IRES domain IV. To probe the peptide binding interface in RNA, we synthesized $^{13}C$- and $^{15}N$-double labeled RNA and the binding site was identified by using the chemical shift perturbation (CSP) NMR methods. Our results showed that the peptide binds to the upper stem of the IRES domain IV, indicating that the tertiary interaction between the IRES domain IV and the peptide would disrupt the initiation of translation of HCV mRNA by blocking the start codon exposure. This study will provide an insight into the new peptide-based anti-viral drug design targeting HCV IRES RNA.

• Journal of the Korean Society for Precision Engineering
• /
• v.20 no.10
• /
• pp.183-190
• /
• 2003

Major device failures such as die cracking, interfacial delamination and warpage in flip chip packages are due to excessive heat and thermal gradients- There have been significant researches toward understanding the thermal performance of electronic packages, but the majority of these studies do not take into account the combined effects of thermo-mechanical interactions of the different package constituents. This paper investigates the thermo-mechanical performance of flip chip package constituents based on the finite element method with thermo-mechanically coupled elements. Delaminations with different lengths between the silicon die and underfill resin interfaces were introduced to simulate the defects induced during the assembly processes. The temperature gradient fields and the corresponding stress distributions were analyzed and the results were compared with isothermal case. Parametric studies have been conducted with varying thermal conductivities of the package components, substrate board configurations. Compared with the uniform temperature distribution model, the model considering the temperature gradients provided more accurate stress profiles in the solder interconnections and underfill fillet. The packages with prescribed delaminations resulted in significant changes in stress in the solder. From the parametric study, the coefficients of thermal expansion and the package configurations played significant roles in determining the stress level over the entire package, although they showed little influence on stresses profile within the individual components. These observations have been implemented to the multi-board layer chip scale packages (CSP), and its results are discussed.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2002.11a
• /
• pp.553-561
• /
• 2002

최근에 휴대 단말기를 이용한 무선 인터넷이 급속도로 발전하고 있으며, 이에 기업의 전자상거래 환경도 무선 인터넷 환경으로 옮겨가고 있는 추세이며, 또한 그 응용 범위를 넓히기 위한 연구들도 많이 수행되고 있다. 그러한 연구 중 사용자의 편의성 및 경제성을 제공하기 위한 연구로서 무선 환경 하에서의 이동 에이전트를 이용한 자동협상 시스템의 필요성이 대두되고 있다. 그러나 좁은 대역폭과 휴대 단말기의 제한된 자원과 같은 무선 단말기의 특성 때문에 기존의 에이전트를 기반으로 하는 자동 협상 시스템을 무선 환경 하에서 적용하여 사용하는 데는 많은 어려움이 존재한다. 본 논문에서는 기존의 에이전트 기반 협상 시스템을 무선 환경 하에서 협상을 수행할 수 있도록 확장한 ENS(Extended Negotiation System 을 제안한다. 본 논문에서 제시한 ENS은 기존의 협상 전략을 포함하여 무선 환경 하에서 이용할 수 있도록 하였으며, 무선 환경의 구매자가 무선 단말기를 장시간 이용함으로써 부담해야 하는 경제적, 시간적 비용을 감소시키기 위하여 좀 더 효율적으로 자동 협상을 수행하는 구매 에이전트를 설계, 구현하였다. 또한 본 논문에서 제안한 협상 엔진은 협상을 수행하는데 핵심적이 역할을 수행하며, 빠른 시간 내에 제안을 생성하고, 탐색 공간을 축소함으로써 좀더 효율적으로 협상을 수행하도록 인공 지능 분야의 여러 문제들에 대해 그 효율성이 증명된 CSP 기법을 사용한다.

• Asian-Australasian Journal of Animal Sciences
• /
• v.13 no.7
• /
• pp.901-905
• /
• 2000

An experiment was conducted to investigate the effect of caffeine, cAMP and cattle seminal plasma on preservation of semen at ultra low temperature ($-196{^{\circ}C}$). Each semen sample was divided into four parts equal in volume and sperm concentration; three were treated with caffeine, or cAMP, or cattle seminal plasma (CSP) and the fourth was kept as control. Sperm motility, abnormal spermatozoa, live-dead count and acrosomal damage were studied at different stages of freeze preservation viz.; just after dilution, at $5{^{\circ}C}$, at glycerolisation, before freezing, just after freezing, 24 hours of storage, and one week of storage. Sperm motility (58.39, 61.33, 52.00 and 50.39 per cent), non-eosinophilic spermatozoa (72.55, 69.98, 63.31 and 67.64 per cent), abnormal spermatozoa (5.71, 4.98, 8.04 and 5.66 per cent) and acrosomal damage (13.28, 13.33, 14.80 and 14.65 per cent) were observed in cAMP, caffeine, cattle seminal plasma and control, respectively, at every stage of freeze preservation. From this study it could be concluded that freezability of buffalo semen can be improved through the addition of caffeine followed by cAMP and cattle seminal plasma.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10a
• /
• pp.575-578
• /
• 2000

소프트웨어 개발 초기 단계에서의 부정확에 기인한 에러들을 줄이기 위한 노력이나 기술이 절실하다. [1][2] 정형 명세 기법은 명세 단계에서 기인하는 에러들을 줄이기 위해 Z 나 VDM 과 같은 정형 표기법(formal notation)에 의해 쓰여지며, 정형성(formality)과 추상화(abstraction)의 제공 등 두 가지 사항에 대한 요구사항을 충족시켜 준다. [3][4] 그러나, Z 표기법의 병행성 표현 능력의 부족으로 병행성을 요구하는 시스템의 명세에서 사용할 수 없거나, Process Algebra의 CSP (Communicating Sequence Processes)등과 같은 다른 정형 언어와 함께 명세해야 하는 단점이 있다. 본 논문은 이를 보완하기 위해 범용 목적의 명세 언어인 기존의 Z 를 확장하여 병행성을 명세 가능하도록 하고자 한다. 이를 위해서 병행 프로세스(concurrent process) 개념을 도입하며, 이를 나타내는 표기를 정의하고 사용한다. 또한, 병행성의 제어를 위해서 프로시듀어 기술부(procedure description)의 도입 및 관련 스키마(schema)들을 정의한다. 아울러, 확장된 Z 로 작성된 명세서를 목적 언어로 자동 변환(translate)하기 위한 변환기(translator)를 Lex 와 Yacc을 이용하여 구현하고, 변환된 목적 언어 파일을 실행하여 확장된 Z 가 모호성을 포함하지 않는지 시뮬레이션을 통해 검증한다.