• Journal of the Korea Computer Industry Society
• /
• v.2 no.10
• /
• pp.1261-1268
• /
• 2001

Despite of various useful features, functional languages do not provide an efficient way of representing states. To improve expressiveness of functional language, it is required a method representing explicit state without violating of functional semantic properties. In this paper, imperative functional language, $\lambda$st-calculus is designed to represent states without compromising the properties of pure functional languages. And we construct an algorithm to reduce proposed imperative functional language. $\lambda$st-calculus model which is an extension of the $\lambda$-calculus model with explicit state constructor without violating their semantic properties. it improves expressiveness of syntax through a concept of state composition and simplified reduction rules.

• Journal of Powder Materials
• /
• v.22 no.3
• /
• pp.216-220
• /
• 2015

Vertically oriented nickel nanowire arrays with a different diameter and length are synthesized in porous anodic aluminium oxide templates by an electrodeposition method. The pore diameters of the templates are adjusted by controlling the anodization conditions and then they are utilized as templates to grow nickel nanowire arrays. The nickel nanowires have the average diameters of approximately 25 and 260 nm and the crystal structure, morphology and microstructure of the nanowires are systematically investigated using XRD, FE-SEM and TEM analysis. The nickel nanowire arrays show a magnetic anisotropy with the easy axis parallel to the nanowires and the coercivity and remanence enhance with decreasing a wire diameter and increasing a wire length.

• Journal of Life Science
• /
• v.13 no.5
• /
• pp.712-717
• /
• 2003

In order to establish yeast cells that produce leucocin A, a bacteriocin, the 117 bp leucocin A gene with start and stop codons was synthesized and cloned in pAUR123, a yeast vector. Transformed yeast cells showed antibacterial activity against Bacillus subtilis. The leucocin A gene was confirmed by means of PCR methods with plasmid prepared from transformed yeast cells as template and two leucocin A-specific primers. In this results, yeast cells that produce mass amounts of bacteriocin to use as food preservative or antibiotics were established.

• Proceedings of the Korean Society of Dyers and Finishers Conference
• /
• 2009.11a
• /
• pp.125-126
• /
• 2009

본 연구는 수용성 폴리우레탄 코팅 제품의 문제점인 코팅층간의 끈적임 문제, 내구성 문제 등을 개선하기 위해 졸-겔법을 이용하여 구형의 실리카 나노무기입자를 제조하고, 또한 주형을 이용한 다른 모양의 나노구조체를 합성하여 수성폴리우레탄 수지에 일정 비율 혼합하여 필름을 제조하여 수성 폴리우레탄 필름 대비 물성 향상에 관한 연구이다.

• Journal of the Korea Safety Management & Science
• /
• v.1 no.1
• /
• pp.259-272
• /
• 1999

In order to enhance the selectivity, productivity and yield of methyl fructoside, which was synthesized by enzymatic glycosylation of sucrose and methanol solution, controlling of surface property of solid support using different immobilization procedures optimized microenvironment of immobilized invertase. Silanization and polyethylene imine coating methods were adopted to give a hydrophobic and hydrophilic environment of immobilized invertase. As a result, polyethyleneimine coating method gave higher loading of enzyme, effective activity, and relative activity than silanization method, because it brought on increasing the functional density of amino group and enhancing the conservation of activity by regulating of hydrophilicity. And then, hydrophilic environment was possible to restraint the assessing of methyl fructoside molecule, which was more hydrophobic than sucrose, fructose, and glucose molecule in the reaction mixture, into .the active site of immobilizedinvertase. Consequently, hydrophilic microenvironment of immobilized invertase by polyethyleneimine coating obtained higher yield and productivity with increasing conversion than silanized and native invertase. Thus, this procedure optimized the microenvironment of immobilized invertase suitable for the enzymatic synthesis of methyl fructoside.

• The Korean Journal of Zoology
• /
• v.37 no.2
• /
• pp.240-248
• /
• 1994

골격근 세포는 미분화 단핵 근원세포로부터 신장과 융합을 거쳐 다핵 횡문근섬유로 분화되어 가며 동시에 근특이 유전자의 발현이 선택적으로 일어난다. 본 연구에서는 계배 배양 근원세포의 분화동안 유전자 발현 조절 양상에 대한 연구를 위해, 계배 근원세포를 72시간 배양한 근섬유로부터 CDNA 라이브러리를 제작하였다. 이 cDNA 라이브러리를 미분화 단핵 근원세포(배양 36시간)와 분화된 다핵 근섬유(배양 72시간)의 poly(A)+ RNA 주형에서 합성된 [32P〕cDNA를 Probe로 사용한 differential plaque hybridization 방법으로 스크리닝하였다 분화된 다핵 근섬유 CDNA probe에 강한게 흔성화되는 CDNA clone을 선별하여 클로닝하였다. 선별한 CDNA clone 들 중 하나는 약 1.3 Kb 크기의 삽입절편을 갖고 있는 것으로 나타났고, 이 CDNA를 probe로 사용하여 northern blotting 한 결과, 이 CDNA엑 대한 유전자는 미분화 단핵 근원세포에서 분화된 다핵 근섬유로 분화가 진행됨에 따라 유전자 산물인 RNA 양이 증가되는 것으로 나타났다 또한 이 1.3 Kb CDNA에 대한 RNA의 크기는 약 2 7 Kb로 확인되었다.

• Proceedings of the KSR Conference
• /
• 2006.11b
• /
• pp.359-364
• /
• 2006

경부고속철도 교량은 대부분 콘크리트교량으로 2@40m와 3@25m의 박스거더교량의 대표적인 형식이다. 일부구간에서 단경간 또는 2경간 연속 50 m 2주형을 갖는 강합성교량이 건설되었다. 연행하는 차륜이 반복해서 통과하는 철도교량은 주기적인 동적하중에 의하여 공진이 발생할 수 있으며, 특히 고속전철이 통과하는 교량은 저속차량이 통과하는 일반철도보다 공진의 발생가능성이 클 뿐 아니라 고속으로 주행하는 열차의 주행안정성 확보를 위해서 엄격한 제한조건을 만족시켜야 하는 엄밀한 동적설계 조건을 갖게 된다. 그러한 조건 중에서 가속도의 제한 규정은 UIC에서 제안된 기준치로서 도상을 갖는 경우에 0.35g이하를 만족시키도록 요구하고 있다. 현재 KTX가 주행하는 교량에서는 일부구간 및 시점에서 규정치를 초과하는 값을 보이고 있는 것으로 계측되었으며, 그 원인 및 대책마련을 위한 연구를 수행하고 있다. 본 연구에서는 그러한 과도한 가속도의 원인 규명을 위한 각종 매개변수 연구와 그 해결책 마련을 위한 연구를 수행하였으며, 경제적이면서도 효과적인 진동저감 방안을 제시하고 있다.

• Journal of Powder Materials
• /
• v.12 no.2 s.49
• /
• pp.151-158
• /
• 2005

Porous graphite was synthesized by removal of template in HF after pyrolysis of pyrolyzed fuel oil (PFO) at $900^{\circ}C$ using the template of Co or Ni intercalated magadiite. Porous graphite had a plate structure like template, and d-spacing value of about 0.7 nm. The extent of crystallization of porous graphite was dependent on the contents of Co or Ni intercalated in interlayer. It can be explained that the metal such as Co and Ni acts as a promotion catalyst for graphite formation. Porous graphite shows the surface area of $328\sim477 m^2/g$.

• 한국방재학회:학술대회논문집
• /
• 2008.02a
• /
• pp.63-66
• /
• 2008

The bridge deck section composed of a concrete slab resting on two I-beam girders are known to be susceptible to flutter instability and vortex shedding. Moreover, the cable stayed bridge in construction is more vulnerable to wind rather than in service when the free cantilever construction method is applied. This paper describes the effect of the dynamic wind loads on the bridge during construction and the effect of alternative temporary stabilizing measures. Therefore, a series of wind tunnel tests and numerical analysis were carried out to determine if any countermeasures were required.

• Applied Chemistry for Engineering
• /
• v.16 no.4
• /
• pp.502-506
• /
• 2005

In the presence of various clays, nylon/clay nanocomposites were synthesized by anionic polymerization of ${\varepsilon}$-caprolactam (CL) via monomer casting method. The effect of each clay on polymerization reaction was investigated and the change in gallery structure of clays during polymerization was analyzed by X-ray diffraction. When the three kinds of organo-clays were used in the amount of 2 wt% of CL, polymerizations were not successful due to an increase in viscosity during polymerization. Significant changes were not observed in the mechanical and thermal properties of the composites containing organo-clays with 1 wt%. On the other hand, composites containing natural clay up to 5 wt% were successfully prepared, and the composite with 5 wt% showed a decrease in tensile strength and elongation, and remarkable improvement in thermal properties.