• The Transactions of the Korea Information Processing Society
• /
• v.6 no.11
• /
• pp.2981-2988
• /
• 1999

A deductive database consists of facts being the extensional database and rules being the intensional database. Because of the difficulty of evaluating rules, many parallel evaluation algorithms for rules have been presented. But we have not gotten an acceptable result. This paper proposes a new methodology to evaluate proof-theoretic meaning of the linear recursion rule which contains transitive dependency by using a shared-nothing parallel architecture. As first, we prove that there exists the equivalent expression for a linear recursion rule, design the algorithm for evaluating the linear recursion rule based on the equivalent expression, and finally analyse performance of the proposed algorithm.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.22 no.6
• /
• pp.1-8
• /
• 2018

The object of this paper is to find the characteristics of fire proof materials through an analytical method and to suggest a proper approach for fire-proof design of reinforced concrete beam strengthened with fiber reinforced polymer (FRP). Heating tests for fire-proof materials were conducted and the thermal conductivities and specific heats of them were simulated through finite element analyses. In addition, a finite element analysis on the beam specimen strengthened with FRP under high temperature, which was conducted by previous researchers, was performed and the analytical result was compared with test result. And then the compatibility of the analytical approach was evaluated. Finally, the heat resistance characteristic of RC beam strengthened with FRP was analyzed by the proposed analytical method and the strength decrease of the beam due to the high temperature was evaluated. From the comparison with analytical and test result, it was found that the heat transfer from outside to inside through the fire-proof materials can be suitably simulated by using the proposed analytical approach.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 1995.10a
• /
• pp.132-141
• /
• 1995

This study is intended to propose practical but systematic and rational approaches for proof load test and integrity assessment of segmental PC box-girder bridges. The proposed models cover the whole range of field tests and assessment of such as inspections, nondestructive tests, static and dynamic load tests, structural analysis, and integrity assessment for the evaluation of load carrying capacity, serviceability, and durability of PC box-girder bridges. They are applied to a newly constructed precast segmental PC box-girder bridge which is a part of the Seoul interior circuit elevated expressway.

• International Journal of Railway
• /
• v.6 no.3
• /
• pp.125-130
• /
• 2013

Most of the test methods used for determining the acoustic performance of the noise barriers in Korean standards address the sound-proof panels but refer to noise barriers as a whole system or their in-situ performances less. Many new types of trains with different operating speeds have been developed and produced, and civil appeals against railway noise are becoming quite extensive. Considering these latest changes of circumstances, it is necessary to investigate the current standards and specifications pertaining to railway noise barriers. In this paper, criteria for the measurements and evaluations of noise barriers and sound-proof panels are examined and experimental studies are introduced. In order to suggest more efficient methods for reasonable evaluations of the noise barriers, frequency spectrums of the noise source, the power of the actual railway vehicles, are investigated and introduced.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2011.05a
• /
• pp.107-110
• /
• 2011

In this study is to improve insulation performance that are the most weak insulation part of fastening unit of the curtain wall. It was produced that thought out to minimize mullion and connecting part, and evaluated performance that make a layer of insulation in the middle by using vibration-proof rubber or silicon. Vibration-proof rubber insulation is 2.6℃~4.0℃ higher and silicon insulation is 2.4℃ higher than non-insulation. Therefore the insulating layer of fastening unit is necessary.

• Journal of the Korean Institute of Gas
• /
• v.26 no.1
• /
• pp.27-33
• /
• 2022

As the scale of explosions diversifies along with the expansion of gas handling and storage facilities, studies on explosion-proof facilities in preparation for accidents is being actively conducted. The gastight door blocks the expansion pressure caused by blast waves or internal fires, and at the same time protects the personnel and equipment inside. For gastight doors, the regulations related to explosion-proof design are not clearly presented, and studies on the explosion pressure resistance performance evaluation of the facility are insufficient. In this study, the gastight door was modeled in a 3D shape with reference to the regulation ASTM regarding the gastight door standard. Afterwards, evaluation for blast-resistant performance of gastight door using Numerical simulation was evaluated by using ANSYS Explicit Dynamics to compare the deformation.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.22 no.4
• /
• pp.377-382
• /
• 2012

This paper presents a proof-of-concept study on the evaluation of torsional vibration isolation performance through in-situ output torque measurement by using a non-contacting magneto-elastic torque transducer installed in the vehicle driveline system. The de-trending processing is first conducted to extract the torsional vibration from the measured driveline output torque. In order to estimate the transmissibility, primary performance indicator of a vibration isolator, the magnitude of transmitted torsional vibration with different frequencies is compared. From the conservative estimation results, the torsional damper built in a lock-up clutch of a torque converter is identified to be a vibration isolator. The evaluation results show that the fluid damping by torque converter outperforms the vibration isolation function of a torsional damper, and the isolation performance needs to be enhanced.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2012.04a
• /
• pp.382-387
• /
• 2012

This paper presents a proof-of-concept study on the evaluation of torsional vibration isolation performance through in-situ output torque measurement by using a non-contacting magneto-elastic torque transducer installed in the vehicle driveline system. The de-trending processing is first conducted to extract the torsional vibration from the measured driveline output torque. In order to estimate the transmissibility, primary performance indicator of a vibration isolator, the magnitude of transmitted torsional vibration with different frequencies is compared. From the conservative estimation results, the torsional damper built in a lock-up clutch of a torque converter is identified to be a vibration isolator. The evaluation results show that the fluid damping by torque converter outperforms the vibration isolation function of a torsional damper, and the isolation performance needs to be enhanced.

• Journal of the Semiconductor & Display Technology
• /
• v.23 no.2
• /
• pp.45-49
• /
• 2024

Blockchain has gone beyond the proof-of-concept level and is converging with various industries and fields, moving toward the service development and commercialization stage. However, although various blockchain technologies and services are emerging, their development is quite slow and their widespread application to various industries is difficult. Accordingly, it is necessary to identify areas with high introduction utility when applying blockchain services in actual industries and to develop a method to evaluate the utility of blockchain services for this purpose. This paper proposes a framework for evaluating the utility of blockchain services using a multi-criteria decision-making model. Through a case study on the utility evaluation of blockchain services, the proposed framework was applied to domestic and foreign blockchain services to evaluate its utility and verify its applicability. It is expected that the proposed framework will be able to identify industrial and functional characteristics where actual blockchain services can be introduced and demonstrate effective utility and can be used to develop blockchain services in various industrial fields.

• Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
• /
• 1997.04a
• /
• pp.82-85
• /
• 1997

This paper describes the development of new type arrester for 22.9kV class distribution lines, with polymer insulating materials applied to their housings. The new arrester employs silicone insulating material for its housing, instead of the conventional porcelain housing, aiming at reduction in size and weight and explosion proof against internal short circuit failure. And, since the design of sheds is not restricted. it is possible to provide a long surface leakage distance per strike length and improve anti-contamination performance.