• 한국정보처리학회논문지
• /
• 제7권10호
• /
• pp.3236-3246
• /
• 2000

XML은 SGML의 기능 및 구문을 인터넷상에서 쉽게 실용적으로 사용하기 위하여 단순화시킨 메타언어이며 XSL, XLL 및 Xpointer등과 함께 사용되고 있다. 또한 DTD를 포함하지 않는 Well-Formed XML을 제공하여 XML문서를 웹상에서 간편하게 사용할 수 있다. 그러나 브라우즈 기능과 XLL의 확장 링크 기능, DTD 생성 기능을 통합하여 Well-Formed XML 문서를 효율적으로 처리할 수 있는 시스템이 제공되지 않았다. 본 논문에서는 클라이언트에서 DTD를 포함하지 않는 Well-Formed XML 문서를 효율적으로 처리 할 수 있도록 Well-Formed XML 뷰어와 자동DTD 생성기, Non-Validating 파서, XLL 처리기 등으로 구성된 시스템을 설계 및 구현하였으며, 확장 기능을 가지는 XLL과 Xpointer 처리, XLL의 링크 항해시 동일 클래스의 Well-Formed XML문서들에서 DTD를 추출하여 자동으로 생성하는 기능에 초점을 맞추었다. 링크 처리시, 링크 주소 지정 방식은 ID와 Xpointer에 의한 직접 주소 지정 방식을 사용하였다. 본 시스템의 구현 결과, XLL 기능의 유효성을 확인하였고 같은 루트 엘리먼트를 갖는 동일한 클래스의 Well-Formed XML문서들로부터 DTD를 추출하여 일반화된 DTD를 생성하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
• /
• pp.124-126
• /
• 2004

최근 인터넷 상에서 정보 양이 증대함에 따라 DTD 기반의 XML을 이용하여 방대한 정보를 효율적으로 저장하고 검색하기 위한 많은 연구들이 진행되고 있다 하지만 DTD의 문서를 작성에는 많은 노력이 필요하고, 문서 구조의 검사가 필요 없는 간단한 문서만 사용하는데 있어서 DTD 작성은 불필요한 작업이 아닐 수 없다. 하지만 DTD 문서가 없을 경우에도 XML 기본 문법만 맞으면 문서를 파싱할 수 있고, 불필요한 네트？ 부담을 줄이기 위해 DTD없이 전송한 수 있다. 따라서 본 연구에서는 DTD가 없는 Well-Formed XML 문서를 구성하는 엘리먼트의 구조를 통해 정보를 추출하고, 주기억장치의 효율적인 저장 공간을 활용한 CS$B^{＋}$-Tree 인덱스를 이용하여 Well-formed XML 문서를 저장하기 위한 기법을 제안한다.

• 대한수학회보
• /
• 제8권1호
• /
• pp.9-15
• /
• 1971

The purpose of this note is to use primitive recursive functions and predicates similar to those presented by Davis [2] to show the well-known result first proved by Godel in [3] that the well-formed formulas of a pure functional calculus form a recursive set. The technique shown in this paper immediately suggests a unique approach to Theorem proving using a computer.

• Steel and Composite Structures
• /
• 제19권6호
• /
• pp.1599-1610
• /
• 2015

Cold Formed Steel members are widely used in today's construction industry. However the structural behavior of light gauge high strength cold formed steel sections characterized by various buckling modes are not yet fully understood. Because of their simple forming and easy connections, the commonly used cold formed sections for beams are C and Z. However both these sections suffer from certain buckling modes. To achieve much improved structural performance of cold formed sections for beams both in terms of strength and stiffness, it is important to either delay or completely eliminate their various modes of buckling. This paper presents various innovative sectional profiles and stiffening arrangements for cold formed steel beams which would successfully contribute in delaying or eliminating various modes of premature buckling, thus considerably improving the load carrying capacity as well as stiffness characteristics of such innovative cold formed sections compared to conventional cold formed steel sections commonly used for beams.

• 한국공간구조학회논문집
• /
• 제6권3호
• /
• pp.77-86
• /
• 2006

본 논문은 횡하중을 받는 냉간성형 ㄷ 형강보의 응력해석에 관해 다루고 있다. 냉간형강 보에 가해지는 각 하중 레벨에서의 응력을 계산하여 국부좌굴과 횡좌굴을 고려하여 구조해석을 실시하였다. 해석모델은 박벽보의 기본이론에 의해 유도되었으며 1차원 보요소 유한요소해석을 통하여 수치해석을 하였다. 수치해석결과는 AISI 규준과 비교되었으며, 본 연구에서 제안된 해석모델이 냉간형강보의 처짐뿐 아니라 응력도 매우 정확히 예측함을 알 수 있었다.

• Structural Engineering and Mechanics
• /
• 제42권6호
• /
• pp.883-897
• /
• 2012

Cold-formed channel sections are used in a variety of applications in which they are required to absorb deformation energy. This paper investigates the collapse behaviour and energy absorption capability of cold-formed steel channels with flange edge stiffeners under large deformation major-axis bending. The Yield Line Mechanism technique is applied using the energy method, and based upon measured spatial plastic collapse mechanisms from experiments. Analytical solutions for the collapse curve and in-plane rotation capacity are developed, and used to model the large deformation behaviour and energy absorption. The analytical results are shown to compare well with experimental values. Due to the complexities of the yield line model of the collapse mechanism, a simplified procedure to calculate the energy absorbed by channel sections under large bending deformation is developed and also shown to compare well with the experiments.

• 한국반도체및디스플레이장비학회:학술대회논문집
• /
• 한국반도체및디스플레이장비학회 2007년도 춘계학술대회
• /
• pp.109-112
• /
• 2007

In this paper we describe a robust method of improving precision in monitoring high energy ion implantation processes. Ion implant energy accuracy was measured in the device manufacturing process using an unpatterned implanted layer on an intrinsic p-type silicon wafer. To increase Rs sensitivity to energy at the well implant process, a PN junction structure was formed by P-well and deep N-well implants into the p-type Si wafer. It was observed that the depletion layer formed by the PN junction was very sensitive to energy variation of the well implant. Conclusively, it can be recommended to monitor well implant processes using the Rs measurement method described herein, i.e., a PN junction diode structure since it shows excellent Rs sensitivity to variation caused by energy difference at the well implant step.

• Journal of Ginseng Research
• /
• 제22권4호
• /
• pp.304-309
• /
• 1998

Incubation condition affecting the chlamydospore formation and isolation from mycelia and conidia of Cylindrocarpon destructanse (isolate ACY-9701), isolated from the root rot lesion of the American ginseng (Panax quinquefolium) was investigated. Chlamydospores were formed from mycilia but not from conidia on the Czapek-Dox agar without carbon or nitrogen source after 20 days incubation at 2$0^{\circ}C$. In the medium added with nitrogen and carbon sources, immatured chlamy-dospore-like cells were formed from microconidia and mycelia as well. Immatured chlamydospore-like cells were formed from mycelia as well as microconidia In corn, kidney bean, and pea root extracts after 20 days incubation at 20"C, while typical chlamydospores were formed from both of them in the root extract of Panax quinquefolium. The 3.6 log chlamydospore/mm" was converted from microconidia in the medium, which was equal to 2.5% conidia formed. Under the light condition (251.1 pmol/m" sec, 12 hrs dark and light cycle), 4.2 log/mm" of chlamydospores were converted from interracially or terminal cells of macroconidia, which was 4.0% of macroconidia produced on Potato dextrose agar (PDA). When mycelia and microconidia were stored at -7$0^{\circ}C$ for 32 days and incubated on PDA after thawing at room temperature to isolate chlamydospores from them, microconidia and mycelia were still alive. Meanwhile, microconidial lysis was found after heating them at 32$^{\circ}C$ for 7 days, but the chlamydospores converted from macroconidia were not lysed up to 13 days at 32"C. to 13 days at 32"C.ot;C.

• 한국재료학회지
• /
• 제22권8호
• /
• pp.397-402
• /
• 2012

Morphological control on hydroxyapatite crystals has attractive prospects in research to clarify the effects of crystal planes on biological performance. Hydrothermal processing is known as a typical type of processing for fabricating well-grown crystals with unique morphology. The purpose of the present study is to examine the feasibility of well-crystallized crystals with oriented structures through hydrothermal treatment of calcite. A single crystal of calcite was applied to hydrothermal treatment in a phosphate solution at $160^{\circ}C$. Rod-shaped hydroxyapatite crystals with micrometer-size were formed on the {100} face of calcite after treatment, while nanometer-sized hydroxyapatite crystals were formed on the (111). The hydroxyapatite crystals formed on each plane were not morphologically changed with increasing treatment periods. An oriented structure of rod-shaped hydroxyapatite was constructed after hydrothermal treatment of {100} planes on the calcite single, while such orientation was not observed on the (111) plane after the treatment. The layer of hydroxyapatite formed on the {100} plane was thicker than that of the (111) plane. The {100} plane of calcite shows a higher reactivity than that of the (111) plane, which results in rapid crystal growth of hydroxyapatite. The difference in the morphology of the formed hydroxyapatite was governed by the reactivity of each crystal plane exposed to the surrounding solution.

• 열처리공학회지
• /
• 제33권4호
• /
• pp.173-179
• /
• 2020

The purpose of this study was to investigate comparatively the microstructural characteristics and hardness of discontinuous precipitates (DPs) in Mg-9%Al alloy, which were formed by continuous cooling (CC) from 678 K to RT and isothermal aging (IA) at 413 K, respectively. In as-cast state, the Mg-9%Al alloy consisted of partially divorced eutectic β(Mg₁₇Al₁₂) particles with a small amount of DPs showing (α+β) lamellar morphology adjacent to the β particles. The DPs formed by CC had interlamellar spacings in a broad range of 0.85~2.12 ㎛ (1.51 ㎛ in average) owing to the various formation temperatures in response to continuous cooling process. Meanwhile, the DPs formed by IA had relatively narrower interlamellar spacings of 0.14~0.29 ㎛ (0.21 ㎛ in average), which is associated with the low and constant formation temperature. Thinner and higher volume fraction of β phase layers were noticeable in the DPs formed by IA. Higher hardness values were obtained in the DPs formed by IA than the DPs formed by CC, which may well be ascribed to the finer lamellar structure and higher β phase content of the DPs formed by IA.