• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2001년도 춘계학술대회논문집
• /
• pp.393-398
• /
• 2001

Pulsations, vibration and stress are the basic dynamic phenomena in power plant piping systems which directly affect system reliability. These phenomena are both acoustical and mechanical in nature and are closely interrelated. It was noticed that thermodynamic parameters were changed after replacing with new type tube bundles of reheat exchanger. It was reported later that the drain piping connecting the new bundle header with the associated drain tank is regularly pulsating at about every 3 second with 13.4㎐ and 7.5mm, p-p in amplitude. This amplitude is about 6 times higher than reference level of sound piping. The results of finite element analysis of the pipeline showed that its dominant natural frequency is 13.4㎐. The soundness is predicted whether the bending dynamic stress evaluated excesses the maximum allowable high cycle fatigue stress or not by the measured amplitude of vibration.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2005년도 춘계학술대회 논문집
• /
• pp.819-824
• /
• 2005

This paper describes the measurement result of leakage current flowing arresters connected in feeder lines to propose an optimal management method. Twenty seven arresters set in seven areas were analyzed on a regular basis for 4 months. The results showed that the RMS and the peak value of the total leakage currents for soundness arresters were a range of $200uA{\sim}00uA$. respectively. During the period of measurement, the magnitude of the leakage current didn't show conspicious changes and there were impossible places to analyze arrester's status due to including high THD rate in a feeder line, From the study, leakage current measurement has to be performed at a condition without running an electric train in the line, and the allowable RMS value of soundness arrester is bellow 600uA.

• 대한용접접합학회:학술대회논문집
• /
• 대한용접접합학회 2004년도 춘계 학술발표대회 개요집
• /
• pp.302-304
• /
• 2004

Nuclear fuel elements containing dry recycling nuclear fuel pellets for the irradiation test in a reactor were remotely fabricated from spent PWR fuel materials in a hot cell. End closure welding as well as seal tube welding for thermal sensor of the elements was performed by Nd:YAG laser. The soundness of the end closure welds and seal tube welds for the elements were evaluated by a precise X-ray inspection system composed of a micro-focus X-ray generator with an image intensifier and a real time camera system. Then, helium leak test was performed for the elements. The soundness of the welds of the fuel elements was confirmed by the X-ray inspection and helium leak test. The irradiation test for the fuel elements were successfully completed at the HANARO research reactor.

• KDI Journal of Economic Policy
• /
• 제39권1호
• /
• pp.41-82
• /
• 2017

This paper studies the risks associated with local finance in Korea by identifying the financial status of each local government, including the financial burdens of PPP projects, and examined governmental future burdens related to PPP projects. We reviewed all fiscal burdens associated with projects, such as, for BTL (Build-Transfer-Lease) types of projects, facility lease and operating expenses, and, for the BTO (Build-Transfer-Operate) types of projects, construction subsidies that are paid at the construction stage, MRG (Minimum Revenue Guarantee) payments and the government's share of payment. Furthermore, we compared the annual expenditures of local governments on PPP projects against their annual budgets and checked if the 2% ceiling rule could be applied.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제16권3호
• /
• pp.147-156
• /
• 2016

A modalized Łukasiewicz three-valued propositional logic will be proposed in this paper which there are three modalities [t]; [m]; [f] to represent the three values t; m; f; respectively. And a Gentzen-typed deduction system will be given so that the the system is sound and complete with respect to the Łukasiewicz three-valued semantics Ł$_3$, which are given in soundness theorem and completeness theorem.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2013년도 춘계학술대회 논문집
• /
• pp.698-702
• /
• 2013

This paper considers the vertical pumps resonance and soundness. Normally large vertical pump's rotating speed is low, so the low natural mode can make a resonance on the motor and motor stand assembly. The pump resonance makes a very high vibration and trouble on the pump systems. Thus to avoid pump resonance when the pump is on the resonance region, we give the added mass method and evaluate the structure soundness by computer simulation and test on the site. Furthermore we evaluate the modal sensitivity and expect running conditions by the using ISO10814.

• 한국철도학회논문집
• /
• 제7권4호
• /
• pp.307-311
• /
• 2004

Arresters are the best protective device on electrical power systems against transient overvoltages generated by lightning and/or switching operation. Nonetheless, arresters are deteriorated by absorption of moisture in the environments of its use, repetition in the protective operation to overvoltages, and some defects at manufacturing. It is therefore important to estimate the electrical characteristic changes of ZnO blocks. In this paper, an accelerated ageing test by a standard lightning impulse current was carried out to extract parameters needed for arrester diagnosis, and leakage current components were measured. Total energy applied to the ZnO blocks at each time is about 1,050[J] in 8/20[${\mu}\textrm{s}$] impulse current. From the experimental results, we proposed electrical parameters and leakage current level to diagnose arrester soundness.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2001년도 추계학술대회논문집 II
• /
• pp.1229-1234
• /
• 2001

There are three items, which are panhead displacement, tilting angle of pan head, required moment of main shaft, which representing kinematic performance of pantograph. Kinematic variables effective on kinematic performance are length of each components and installation angle, In this study, cost function is defined with 3 items, By this cost function, length of thrust rod was optimized. Finite element analysis was used to consider structural soundness. Finite element model was qualified by comparison between analysis result with experiment result. By qualified F.E, model various severe condition was simulated to consider structural soundness.

• 한국언어정보학회지:언어와정보
• /
• 제7권2호
• /
• pp.81-101
• /
• 2003

This paper introduces a computerized version of the Korean Standard Pronunciation Rules that can be used in speech engineering systems such as Korean speech synthesis and recognition systems. For this purpose, we build Petri net models for each item of the Standard Pronunciation Rules, and then integrate them into the sound conversion table. The reversion of the Korean Standard Pronunciation Rules regulates the way of matching sounds into grammatically correct written characters. This paper presents not only the sound conversion table but also the character conversion table obtained by reversely converting the sound conversion table. Malting use of these tables, we have implemented a Korean character into a sound system and a Korean sound into the character conversion system, and tested them with various data sets reflecting all the items of the Standard Pronunciation Rules to verify the soundness and completeness of our tables. The test results show that the tables improve the process speed in addition to the soundness and completeness.

• 정보보호학회논문지
• /
• 제22권6호
• /
• pp.1265-1270
• /
• 2012

이 논문에서는 래티스(Lattice)의 CVP (Closest Vector Problem)에 기반한 영지식 증명 기반의 인증프로토콜을 제안한다. CVP를 이용해서 암호시스템을 설계할 때 흔히 사용하는 길이가 짧은 기저벡터를 트랩도어 또는 비밀키로 사용하지 않는 프로토콜로서 의의를 가지며, 프로토콜의 설계가 단순하고 안전성 증명도 쉬워진다. 제안한 프로토콜의 안전성을 completeness, soundness, simulatability로 증명한다.