• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2003.11a
• /
• pp.53-58
• /
• 2003

Concrete structures move wholly with concrete and rebar, so they endure external force, but recently the embedded rebar in concrete has been corroded by environmental, physical and chemical factors, the embedded rebar corrosion influences concrete structure to deteriorate structure capacity. To revaluate effect to deterioration of concrete structure according to corrosion of rebar, the researcher mostly examined into corrosion rebar and complex relation of concrete. In that there are flexural strength deterioration of corrosion concrete structure and the bond strength of concrete. But It has not sufficiently studied about physical characteristic of corrosion rebar itself. In this study I will compare specification of rebar through corrosion experiment with corrosion ratio of rebar according to diameter and revaluate. And will investigate the effect to strength characteristic of rebar according to corrosion ratio.

• Journal of Korean Society for Quality Management
• /
• v.28 no.2
• /
• pp.1-16
• /
• 2000

This paper considers the problem of determining the optimal process mean and screening specification limits of a surrogate variable associated with product quality under two-stage screening procedure. In two-stage screening, the surrogate variable is inspected first to decide whether an item should be accepted, rejected or additional observations should be taken. If additional observations are required, the performance variable of interest is then observed to classify the undecided items. Assuming that the performance variable and the surrogate variable are jointly normally distributed, the optimal process mean and the screening limits are obtained by maximizing the expected profit which includes selling price, production, reprocessing, inspection and penalty costs. A numerical example is presented and numerical studies are performed to compare the proposed two-stage screening procedure with single-stage screening procedures.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 1997.04a
• /
• pp.362-369
• /
• 1997

In the case of a precision equipment, it requires a vibration free environment to provide its proper function. Especially, lithography and inspection devices, which have sub-nanometer class high accuracy and resolution, have come to necessity for producing more improved giga class semiconductor wafers. This high technology equipments require very strict environmental vibration standard in proportion to the accuracy of the manufacturing, inspecting devices. The vibration criteria of high sensitive equipment should be expressed in the form of 'exactness' and 'accuracy', because this is made basic data in the use of building structure design. This paper made a study on the specification of high sensitive equipment and proposed a contents of the specification.

• Proceedings of the Korean Society of Laser Processing Conference
• /
• 2006.06a
• /
• pp.129-134
• /
• 2006

In this paper, actuator based on voice coil motor is designed and estimated to check the capability whether that system is in design specification or not. Design specification is moving range as $20{\times}20mm^2$ a along XY-axis in plane and maximizes bandwidth for high speed. The type of voice coil motor is selected with regarding design specification and minimizes the size of actuator. Flux density of designed voice coil motor is simulated. And PI controller is designed to maximize bandwidth of actuator. Finally, characteristic of designed actuator is simulated and that result reveals the validity of presented design.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2003.05a
• /
• pp.53-58
• /
• 2003

Concrete structures move wholly with concrete and rebar, so they endure external force, but recently the embedded rebar in concrete has been corroded by environmental, physical and chemical factors. the embedded rebar corrosion influences concrete structure to deteriorate structure capacity. To revaluate effect to deterioration of concrete structure according to corrosion of rebar, the researcher mostly examined into corrosion rebar and complex relation of concrete. In that there are flexural strength deterioration of corrosion concrete structure and the bond strength of concrete. But It has not sufficiently studied about physical characteristic of corrosion rebar itself. In this study I will compare specification of rebar through corrosion experiment with corrosion ratio of rebar according to diameter and revaluate. And I will investigate the effect to strength characteristic of rebar according to corrosion ratio.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.57 no.2
• /
• pp.65-71
• /
• 2008

Recently, many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased. assurance for such applications. Earlier error of overlooked requirement specification can be detected using formal specification method. Also the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In this paper, we propose an eclectic approach to incorporate Z(Zed) formal language and 'Statemate MAGNUM' which is formal method tools using Statechart for applying to the railway signaling systems.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2009.05b
• /
• pp.195-198
• /
• 2009

In this paper, regulation for form work in standard specification among Korea and foreign countries are studied and compared. Within the scope of this paper, regulation regarding fabrication of form and form removal are mainly focused on. Standard specification prescribed by construction temporary equipment association provides detailed regulations and well arranged. ACI 347-04, CEB-FIP and BS EN 13670 had different style and scope compared to domestic specification. Especially, regulation for form removal in ACI prescribed in terms of minimum period.

• Journal of Korean Institute of Industrial Engineers
• /
• v.29 no.4
• /
• pp.253-258
• /
• 2003

We consider the problem of grouping orders into lots. The problem is modelled by a graph G=(V,E), where each node ${\nu}{\in}V$ denotes order specification and its weight ${\omega}(\nu)$ the orders on hand for the specification. We can construct a lot simply from orders of single specification. For a set of nodes (specifications) ${\theta}{\subseteq}V$, if the distance of any two nodes in $\theta$ is at most d, it is also possible to make a lot using orders on the nodes. The objective is to maximize the number of lots with size exactly $\lambda$. In this paper, we prove that our problem is NP-Complete when $d=2,{\lambda}=3$ and each weight is 0 or 1. Moreover, it is also shown to be NP-Complete when $d=1,{\lambda}=3$ and each weight is 1,2 or 3.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07a
• /
• pp.124-126
• /
• 2005

초고속 통신망 및 이동통신 단말기의 보급을 통해 전자상거래 서비스가 널리 확산되고 있으며, 이로 인해 유.무선 기반의 다양한 전자지불 시스템 및 표준들이 제안되고 있다. 그 중에서도 스마트 카드를 이용한 CESP 전자 상거래 표준이 많이 사용되고 있다. 본 논문에서는 Casper 및 FDR 도구를 사용하여, CEPS 표준 중에서 전자화폐를 이용한 물품 구입 프로토콜을 정형적으로 명세하고, 보안 취약점을 분석해 보았다.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.17 no.4
• /
• pp.55-62
• /
• 2009

The Prime objectives of this study are to identify and analyze possible solutions and select a solution for the specification and operation plan of the meteorological purpose aircraft in Korea. Infrastructure like meteorological purpose aircraft and aircraft operating systems should be set up and their efficient plan must be established to improve meteorological technic in Korea. As a result of the study, we have found that the turboprop engine powered aircraft is the most suitable to initial model for the meteorological purpose aircraft. It was found that the indirect operation method might be the best solution, also. The results of this study may be useful to make decision for selecting specification and operation of the meteorological purpose aircraft.