• Journal of the Korea Furniture Society
• /
• v.25 no.4
• /
• pp.353-363
• /
• 2014

Design of the container was designed to be able to have a sense of security by emphasizing the points and easy to use sophisticated in order to match the image of the company in an environmentally friendly form of the whole. The design of the natural detergent container, because the container itself is to prevent related bar closely with water, a slip, with an emphasis on the form of fish swim, looks the handle of the oval for the harmony of the entire container I was used to the point. The image extraction in the ordinary, you can design by applying the curve of streamlined feet of thin in order to emphasize the image of honest companies, oval fuselage top, easily without slipping and harmony of the image of the entire container in view of the functional aspects can grab to, which is designed to enter the interior. The design of the natural environment detergent container industry, it was incorporated as much as possible to the vessel and corporate image and sense of stability and the proportion of the overall shape, the basic concepts, the form on the productivity and functionality in the field of design, through the change and simplicity, with an emphasis on merchantability.

• Journal of the Korean Society of Fisheries and Ocean Technology
• /
• v.18 no.1
• /
• pp.35-38
• /
• 1982

Ship hull Vibration is caused by troubling measure instruments installed in the ship, fatigue of the hull girder. Vibration has been studied by the View point of anti-Vibration. However, the theoretical calculation values of the Vibration analysis were not obtained accurately. Therfore, in this paper, Vibration analysis were made on the two (cylinder form, ship form) of ship hull girder by the transfer matrix method. The super-structure length was determined to be 0, 20, 40, 60, 80, 100, percentage of the ship's length from the stern. The results of analysis by the transfer matrix method are as follow. 1. Natural frequency may be determined by the order of node numbers and superstructure length. 2. Natural frequency inereased when the ship form is a finess and increasing ratio followed by high order of node numbers.

• International Journal of Naval Architecture and Ocean Engineering
• /
• v.8 no.6
• /
• pp.577-588
• /
• 2016

Due to the uncertainties related to the flaw assessment parameters, such as flaw size, fracture toughness, loading spectrum and so on, the probability concept is preferred over deterministic one in flaw assessment. In this study, efforts have been made to develop the reliability based flaw assessment procedure which combines the flaw assessment procedure of BS7910 and first-and second-order reliability methods (FORM/SORM). Both crack length and depth of semi-elliptical surface crack at weld toe were handled as random variable whose probability distribution was defined as Gaussian with certain means and standard deviations. Then the limit state functions from static rupture and fatigue perspective were estimated using FORM and SORM in joint probability space of crack depth and length. The validity of predicted limit state functions were checked by comparing it with those obtained by Monte Carlo simulation. It was confirmed that the developed methodology worked perfectly in predicting the limit state functions without time-consuming Monte Carlo simulation.

• Journal of the Korean Society for Precision Engineering
• /
• v.27 no.9
• /
• pp.86-93
• /
• 2010

Any relative deformation between the cutting tool and the workpiece at the machining point, results directly in form and dimensional errors. The source of relative deformations between the cutting tool and the workpiece at the contact point may be due to thermal, weight, and cutting forces. Thermal and weight deformations can be measured at various positions of the machine tool and stored in the compensation registers of the CNC unit and compensated the errors during machining. However, the cutting force induced errors are difficult to compensate because estimation of cutting forces are difficult. To minimize the error induced by cutting forces, it is important to improve the machining accuracy. This paper presents the pre-calculated method of form error induced by cutting forces. In order to estimate cutting forces, Isakov method is used and the method is verified by comparing with the experimental results. In order to this, a cylindrical-outer-diameter turning experiments are carried out according to cutting conditions.

• The Korean Journal of Archival Studies
• /
• no.8
• /
• pp.181-211
• /
• 2003

The purpose of this study is to reveal the context within which EAD was developed, to review the elements and the structure of EAD 1.0 version and to introduce EAD as new standard for encoded archival finding aids in Korea. Encoded Archival Description(EAD) has been developed in 1993 in order to facilitate exchange of ISAD(G) descriptive information. EAD is currently administered and maintained jointly by the Society of American Archivists and the United States Library of Congress. While development was initiated in the United Stares, international interest and contribution are increasing. EAD is a encoding standard designed specifically for marking up information contained in archival finding aids. From its inception, EAD was based on SGML, and, with the release of EAD version 1.0 in 1998, it is also compliant with XML in order to facilitate easier internet access to SGML-encoded finding aids. EAD is the first tool to preserve the multilevel and hierarchical description manifest in finding aids by providing structures in which to describe entire record collections and increasingly smaller subcomponents thereof such as series, subseries, folders, and even items. Archival institutions can form a EAD consortium and also create a union database of EAD finding aids for the geographically dispersed collections. The EAD DTD provides a flexible way for archives to convert finding aids that exist in paper form into electronic documents or to create new finding aids in electronic form.

• Journal of the Architectural Institute of Korea Structure & Construction
• /
• v.34 no.3
• /
• pp.69-76
• /
• 2018

General workers who assist various technicians in different fields with their work across the whole construction sites without having a particular skill are at risk of the highest accident rate and their accident form becomes varied. Accordingly, this study was conducted to identify the relationship between form of safety accident and influence factor in general workers and analyze accident severity by influence factor. The followings are the results from this study. First, as a result of analyzing major form of accident and influence factors in general workers with network analysis methodology, nine forms of accident and seventeen influence factors were drawn. Second, it was found that in accident severity among general workers, collapsing, among various forms of accident, appeared the highest, followed by fall, electric shock, fire, hit by an object, bumped against, trip, scission getting cut chopped in order. Third, main points of special, concentrated, and permanent management were presented in order to reduce the safety accident in general workers effectively.

• Journal of the Korea Society of Computer and Information
• /
• v.12 no.1 s.45
• /
• pp.1-8
• /
• 2007

Although the Java bytecode has numerous advantages. there ate also shortcomings such as slow execution speed and difficulty in analysis. Therefore. in order for the Java class file to be effectively executed under the execution environment such as the network, it is necessary to convert it into optimized code. We implements CTOC. CTOC generated CFG using the existing bytecode then created the SSA Form for analysis and optimization. However. due to insertion or the ${\phi}$-function in the process of conversion into the SSA Form, the number of nodes increased. As a means of reducing the number of nodes, we performed copy propagation, which is an optimization method applicable to the SSA form. Copy propagation is the process of a value of a variable being topied to another variable. There are cases where conversion due to copy propagation alone does not yield significant effects. However, when variables are not used in the later optimization stages, copy propagation provides a means for eliminating the copy statement for the corresponding variable, making it an important step. This paper shows the copy propagation to obtain a more optimized code in SSA Form.

• Communications of the Korean Mathematical Society
• /
• v.31 no.1
• /
• pp.199-207
• /
• 2016

A chained option is a barrier option activated in the event that the underlying asset price crosses barrier or barriers prior to maturity in a specified order. In this paper, we study the pricing of chained options with the quanto property called the "Quanto chained option". A quanto chained option is a chained option starting at time when the foreign exchange rate has the multiple crossing of specified barriers. We provide closed-form formulas for valuing the quanto chained options based on probabilistic approach.

• East Asian mathematical journal
• /
• v.34 no.3
• /
• pp.239-248
• /
• 2018

In this paper, we derive a closed-form formula of a second-order approximation for a European corrected option price under stochastic elasticity of variance model mentioned in Kim et al. (2014) [1] [J.-H. Kim, J Lee, S.-P. Zhu, S.-H. Yu, A multiscale correction to the Black-Scholes formula, Appl. Stoch. Model. Bus. 30 (2014)]. To find the explicit-form correction to the option price, we use Mellin transform approaches.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.32 no.5
• /
• pp.183-188
• /
• 1983

This paper deals with short-term load forecasting. The load model is represented by the state variable form to exploit the Kalman filter technique. The load model is derived from Taylor series expansion and remainder term is considered as noise term. In order to solve recursive filter form, among various algorithm of solving Kalman filter, this paper uses exponential data weighting technique. This paper also deals with the asymptotic stability of filter. Case studies are carried out for the hourly power demand forecasting of the Korea electrical system.