• Journal of applied mathematics & informatics
• /
• 제8권1호
• /
• pp.1-8
• /
• 2001

We show that all automata in a. certain natural class satisfy three semisimplicity properties and describe all languages recognized by these automata.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2007년도 춘계학술대회 논문집
• /
• pp.211-212
• /
• 2007

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2006년도 하계종합학술대회
• /
• pp.637-638
• /
• 2006

A novel 1.2V class-AB output stage for the SW-OpAmp technique was presented. By using current mirrors and simple current extraction circuits, the proposed circuit boosts DM signal currents while eliminates CM ones to perform class-AB operation. Hspice simulation results verify the versatility of the proposed circuit technique.

• Restorative Dentistry and Endodontics
• /
• 제33권6호
• /
• pp.570-579
• /
• 2008

이 연구의 목적은 쐐기형 5급 와동과 근관와동을 복합레진으로 수복한 상악 제2소구치에 대한 응력 분포를 3차원 유한요소법으로 분석하여 평가하기 위한 것이다. 발치된 상악 제2소구치를 이용하여 Micro-CT로 스캔한 후 3D-DOCTOR로 3차원 유한요소 모형을 제작하였다. 제작된 소구치 모형에 근관 와동을 형성하고 쐐기형 5급 와동과 글래스 아이오노머 기저재의 사용 여부를 구분하여 근관 와동을 혼합형 복합레진으로 충전하였다. 협측 교두 또는 설측 교두에 500 N의 하중을 가하고, ANSYS 8.0 프로그램으로 인장 응력의 분포를 분석하여 평가한 결과 베이스 사용유무에 따른 응력 분포의 차이는 없었다. 협측 교두에 하중이 가해질 때, 하중점과 교합면의 중심구, 구개측 백악법랑경계부에 과도한 인장 응력이 집중되었으며, 5급 와동이 없는 경우보다 5급 와동이 있는 경우에 약간 더 높았다. 설측 교두의 협측 경사면에 하중이 가해질 때, 하중점과 교합면의 중심구, 협측 치경부에 과도한 인장 응력이 집중되었으며, 5급 와동이 있는 경우가 5급 와동이 없는 경우보다 약간 더 낮았다.

• 한국초전도ㆍ저온공학회논문지
• /
• 제5권3호
• /
• pp.48-51
• /
• 2003

HTS power transmission cable is expected to transport large electric power with a compact size. We are developing a 3-core, 22.9 kV, 50 MVA class HTS power cable, and each core consists of a conductor and shield wound with Bi-2223 tapes, electrical insulation with laminated polypropylene paper (LPP) impregnated with liquid nitrogen. This paper describes the design and experimental results of the model cable for the 22.9 kV, 50 MVA class HTS power transmission cable. The model cable was used the SUS tapes instead of HTS tapes because of testing the electrical characteristics only. The model cable was 1.3 m long and electrical insulation thickness was 4.5 mm. The model cable was evaluated the partial discharge (PD), AC and Impulse withstand voltage in liquid nitrogen. The AC and Impulse withstands voltage and PD inception stress was satisfied with the standard of Korea Electric Power Corporation (KEPCO) in the test results. The 3-core 22.9 kV, 50 MVA class HTS power cable has been designed and manufactured based on these experimental results.

• 한국초전도ㆍ저온공학회논문지
• /
• 제5권2호
• /
• pp.20-29
• /
• 2003

As power systems grow more complex and power demands increase, the need of underground transmission system is increasing gradually. But it is very difficult and high in cost to construct new ducts and/or tunnels for power cables in metropolitan areas. HTS (High Temperature Superconducting) cable can carry very high current densities with strongly reduced conductor loss and allow high power transmission at reduced voltage. Therefore HTS cable can transfer more power to be moved in existing ducts, which means very large economical and environmental benefits. A development project for a 22kV class HTS cable is ongoing at a research centers, and the cable manufacturer in Korea. In this paper, we carried out investigation for application of 22kV class HTS cable in Korean utility networks. The results show that the HTS cable is applicable to replace IPB in pumping-up power plant, withdrawal line in distributed generation, withdrawal line in complex power plant, and conventional under ground cable. Finally, as the cost of HTS wire and refrigeration drops, the technical and economical potential of HTS cable is evaluated positively.

• Restorative Dentistry and Endodontics
• /
• 제25권1호
• /
• pp.91-108
• /
• 2000

Most of cervical abrasion and erosion lesions show gingival margin where the cavosurface angle is on cementum or dentin. Composite resin restoration of cervical lesion shrink toward enamel margin due to polymerization contraction. This shrinkage has clinical problem such as microleakage and secondary caries. Several methods to diminish contraction stress of composite resin restoration, such as modifying cavity form and building up restorations in several increments have been attempted. The purpose of this study was to compare polymerization contraction stress of composite resin in Class V cavity subjected to cavity forms and placement methods. In this study, finite element model of 5 types of Class V cavity was developed on computer tomogram of maxillary central incisor. The types are : 1) Box cavity 2) Box cavity with incisal bevel 3) V shape cavity 4) V shape cavity with incisal bevel 5) Saucer shape cavity. The placement methods are 1) Incisal first oblique incremental curing 2) Bulk curing. An FEM based program for light activated polymerization is not available. For simulation of curing dynamics, time dependent transient thermal conduction analysis was conducted on each cavity and each placement method. For simulation of polymerization shrinkage, thermal stress analysis was performed with each cavity and each placement method. The time-temperature dependent volume shrinkage rate, elastic modulus, and Poisson's ratio were determined in thermal conduction data. The results were as follows : 1. With all five Class V cavifies, the highest Von Mises stress at the composite-tooth interface occurred at gingival margin. 2. With box cavity, V shape cavity and saucer cavity, Von Mises stress at gingival margin of V shape cavity was lower than the others. And that of box cavity was lower than that of saucer cavity. 3. Preparing bevel at incisal cavosurface margin decreased the rate of stress development in early polymerization stage. 4. Preparing bevel at incisal cavosurface margin of V shape cavity increased the Von Mises stress at gingival margin, but decreased at incisal margin. 5. At incisal margin, stress development by bulk curing method was rapid at early stage. Stress development by first increment of incremental curing method was also rapid but lower than that by bulk curing method, however after second increment curing final stress was the same for two placement methods. 6. At gingival margin, stress development by incremental curing method was suddenly rapid at early stage of second increment curing, but final stress was the same for two placement methods.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권6호
• /
• pp.435-439
• /
• 2009

안전-필수 분야에 사용되는 소프트웨어의 신뢰도(dependability)를 보장하기 위해 소프트웨어의 테스팅과 확인 및 검증활동이 매우 중요하다. 본 연구에서는 위험수준이 높은 소프트웨어 모듈을 소프트웨어 수명수기 초기에 예측하여, 테스팅과 확인 및 검증 활동에 대한 자원할당을 도울 수 있게 해준다. 다중 클래스 분류를 지원하는 SVM(Support Vector Machine)을 이용하여 소프트웨어 모듈의 잠재위험수준 을 예측한다 잠재위험수준이 상대적으로 높게 나온 모듈들에 대해 테스팅과 확인 및 검증을 집중적으로 실시함으로써 보다 효과적으로 소프트웨어의 품질을 향상시킬 수 있다. 또한, 원전의 계측제어계통에 사용되는 안전-필수 소프트웨어의 안전성 심사를 위한 대상 모듈을 샘플링할 때 활용할 수 있을 것으로 기대된다.

• Journal of applied mathematics & informatics
• /
• 제31권5_6호
• /
• pp.835-852
• /
• 2013

In this paper, we have considered a class of constrained non-smooth multiobjective fractional programming problem involving support functions under generalized convexity. Also, second order Mond Weir type dual and Schaible type dual are discussed and various weak, strong and strict converse duality results are derived under generalized class of second order (F, ${\alpha}$, ${\rho}$, $d$)-V-type I functions. Also, we have illustrated through non-trivial examples that class of second order (F, ${\alpha}$, ${\rho}$, $d$)-V-type I functions extends the definitions of generalized convexity appeared in the literature.

• 대한치과보존학회:학술대회논문집
• /
• 대한치과보존학회 2001년도 추계학술대회(제116회) 및 13회 Workshop 제3회 한ㆍ일 치과보존학회 공동학술대회 초록집
• /
• pp.569.2-569
• /
• 2001

Flowable and microfill composites have been recommended for Class V cavities. But the use of flowable composites is controversial because of its physical properties. Objectives: The aim of this study was to evaluate the microleakage of 6 composites (2 hybrids, 2 microfills, and 2 flowable composites) with/without load cycling. Methods: Notch-shaped Class V cavities were prepared on buccal surfaces of 180 extracted human upper premolars and then divided into non-load cycling group(G1) and load cycling group(G2).(omitted)