• Proceedings of the KSME Conference
• /
• 2001.11b
• /
• pp.776-781
• /
• 2001

To enhance thermal efficiency of thermal facility through recovery of low and medium temperature waste heat, 1MW organic Rankine cycle system was designed and developed. The exhaust gases of $175^{\circ}C$ at two 100MW power plants in pohang steel works were selected as the representative of low and medium temperature waste heat in industrial process for the heat source of the organic Rankine cycle system. HCFC-123, a kind of harmless refrigerant, was chosen as the working fluid for Rankine cycle. The organic Rankine cycle system with selected exhaust gases and working fluid was designed and constructed. From the operation, it was confirmed that the organic Rankine cycle system is available for low and medium temperature waste heat recovery in industrial process. The optimum operating manuals, such as heat-up of hot water, turbine start-up, and the process of electric power generation, were derived. However, electric power generated was not 1MW as designed but only 670kW. It is due to deficiency of pump capacity for supply of HCFC-123. So it is necessary to increase the pump capacity or to decrease the pressure loss in pipe for more improved HCFC-123 supply.

• Progress in Superconductivity
• /
• v.6 no.2
• /
• pp.104-107
• /
• 2005

We have developed and tested an RSFQ 4-bit Arithmetic Logic Unit (ALU) based on half adder cells and de switches. ALU is a core element of a computer processor that performs arithmetic and logic operations on the operands in computer instruction words. The designed ALU had limited operation functions of OR, AND, XOR, and ADD. It had a pipeline structure. We have simulated the circuit by using Josephson circuit simulation tools in order to reduce the timing problem, and confirmed the correct operation of the designed ALU. We used simulation tools of $XIC^{TM},\;WRspice^{TM}$, and Julia. The fabricated 4-bit ALU circuit had a size of $\3000{\ cal}um{\times}1500{\cal}$, and the chip size was $5{\cal} mm{\times}5{\cal}mm$. The test speeds were 1000 kHz and 5 GHz. For high-speed test, we used an eye-diagram technique. Our 4-bit ALU operated correctly up to 5 GHz clock frequency. The chip was tested at the liquid-helium temperature.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.17 no.6
• /
• pp.1389-1403
• /
• 1993

A procedure has be developed to optimize the product's tipping position in designing a die face for manufacturing automobile outer panels. Two design requirements are considered in optimizing the tipping position. One is to satisfy that all the points on the product should have a uniform distribution of drawing depths. The other is to guarantee that the user-specified area on the product should first contact with the binder wrap. The problem to satisfy the design requirements described above is analogous to the flatness calculation problem in the area of metrology if some constraints can be imposed. Thus the problem can be solved by the simulated annealing method, which is one of the optimization methods. The developed procedure was tested with the real die face design problem and the usefulness was verified by the diagram of the drawing depth.

• Proceedings of the Korean Society of Agricultural Engineers Conference
• /
• 2005.10a
• /
• pp.284-287
• /
• 2005

The objective of this study is to check into variation trends of design rainfall according to change of the number of years for observed data. To make comparative study of the relation between design rainfall and recorded year, this study was used maximum rainfall for 24-hr consecutive duration at Gangneung, Seoul, Incheon, Chupungnyeong, Pohang, Daegu, Jeonju, Ulsan, Gwangju, Busan, Mokpo and Yeosu rainfall stations. The tests for Independence, Homogeneity and detection of outliers were used Wald-Wolfowitz's test, Mann-Whitney's test and Grubbs and Beck test respectively. To select appopriate distribution, the distribution of genaralized pareto(GPA), generalized extreme value(GEV), generalized logistic(GLO), lognormal and pearson type 3 distribution is judged by L-moment ratio diagram and Kolmogorov-Smirnov (K-S) test. Design rainfall was estimated by at-site frequency analysis using L-moments and Generalized extreme value(GEV) distribution according to change of the number of years for observed data. Through the comparative analysis for design rainfall induced by L-moments and GEV distribution, relationship between design rainfall and recorded year is provided.

• Journal of Elementary Mathematics Education in Korea
• /
• v.14 no.1
• /
• pp.65-80
• /
• 2010

The aims of our study are to investigate the nature of mathematical reasoning and the teaching of mathematical reasoning in school mathematics. We analysed the process of shaping deduction in ancient Greek based on Netz's study, and discussed on the comparison between his study and Freudenthal's local organization. The result of our analysis shows that mathematical reasoning in elementary school has to be based on children's natural language and their intuitions, and then the mathematical necessity has to be formed. And we discussed on the sequences and implications of teaching of the sum of interior angles of polygon composed the discovery by induction, justification by intuition and logical reasoning, and generalization toward polygons.

• Journal for History of Mathematics
• /
• v.27 no.3
• /
• pp.197-210
• /
• 2014

Species like insects and fishes have, in many cases, non-overlapping time intervals of one generation and their descendant one. So the population dynamics of such species can be formulated as discrete models. In this paper various discrete population models are introduced in chronological order. The author's investigation starts with the Malthusian model suggested in 1798, and continues through Verhulst model(the discrete logistic model), Ricker model, the Beverton-Holt stock-recruitment model, Shep-herd model, Hassell model and Sigmoid type Beverton-Holt model. We discuss the mathematical and practical significance of each model and analyze its properties. Also the stability properties of stationary solutions of the models are studied analytically and illustratively using GSP, a computer software. The visual outputs generated by GSP are compared with the analytical stability results.

• Journal of the Korean Institute of Navigation
• /
• v.18 no.2
• /
• pp.19-40
• /
• 1994

Several factors can be chosen for evaluating seakeeping performance, such as deck wetness, propeller racing, slamming, rolling, vertical acceleration and vertical bending moment, in consi-deration of the safety of human being, cargo and ship. In fact, there are few developments for an evalua-tion method of seakeepting performance correponding with each ship's characteristics. The purpose of this paper is to develop an quantitative evaluation method of seakeeping performance according to ship types. The scope and the method of this study are as follow. (1) Obtain each response amplitude of ship's motion in waves by Ordinary Strip Method and apply it to short-crested, irregular wave for random process of the factors on seakeeping performance. (2) Define the evaluation index, the dangerousness, the maximum dangerousness and the evaluation diagram. (3) Figure out the different characteristics according to ship types by computer simulation of evaluating seakeeping performance. (4) Adopt vertical acceleration and one of rolling or lateral acceleration as the factors on seakeeping performance by clarifying the correlation of stochastic process. This study developed an evaluation method coincident with each ship's characteristics, and suggested a device for application to actual ship. This method might be useful in developing the practical system of seakeeping performance in accordance with ship types. The ship models for computer simulation are 175m container ship types, 93m tranning ship HANARA as passenger ship type, 259m bulk-carrier type and 164m pure car-carrier type.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.24 no.4
• /
• pp.375-382
• /
• 2011

Nowadays computer graphic softwares have opened a lot of potential by providing parametric modeling and generative algorithms which are useful not only to describe various geometrical shapes but also to implement a designer's intent in terms of modules systematically. This study has proposed a way of developing a module for generating preliminary structural configuration using such potential computer graphics. Especially parametric modeling and generative algorithm are utilized to define various design alternatives, and moreover use of dynamic graphics enables designers to generate a structural form on one side and a force flow diagram correspondingly provided on the other. This ultimately leads to rational preliminary design of a structural form considering its force flow.

• Structural Engineering and Mechanics
• /
• v.62 no.4
• /
• pp.381-389
• /
• 2017

In the present study, the advanced procedure has been proposed to estimate higher accuracy of embedment of pipes that are installed on soft clay seabed. Numerical simulation by OrcaFlex simulation code was performed to investigate dynamic seabed embedment, and two steps, i.e., static and dynamic analysis, were adopted. In total, four empirical curves were developed to estimate the seabed embedment including dynamic phenomena, i.e., behaviour of vessel, environmental condition, and behaviour of nonlinear soil. The obtained results were compared with existing methods (named general method) such as design code or guideline to examine the difference of seabed embedment for existing and advance methods. Once this process was carried out for each case, a diagram for estimating seabed embedment was established. The applicability of the proposed method was verified through applied examples with field survey data. This method will be very useful in predicting seabed embedment on soft clay, and the structural behaviours of installed subsea pipelines can be changed by the obtained seabed embedment in association with on-bottom stability, free span, and many others.

• Journal of Magnetics
• /
• v.12 no.3
• /
• pp.103-107
• /
• 2007

Magnetic field induced structural transition has been systematically investigated for $La_{1-x}Ba_xMnO_3$ with the fine control of carrier doping $(0.15{\leq}x{\leq}0.20)$. Application of a magnetic field results in the suppression of the rhombohedral-orthorhombic transition temperature $(T_s)$ and the increase of insulator-metal transition temperature $(T_{MI})$. Near x = 0.17, where $T_S$ is similar to $T_{MI}$ at zero magnetic field, we found that the $T_S$ smoothly decreased with magnetic field even though it intersected the $T_{MI}$ near 3 T. Also, the magnetostructural phase diagram obtained from the temperature sweep and from the magnetic field sweep is not significantly modified. By comparing the magnetostructural transition in $La_{1-x}Sr_xMnO_3$, we have suggested that the large disorder originated from ionic size differences between La and Ba may weaken the sensitivity of the kinetic energy of $e_g$ electrons on the degree of lattice distortion in $La_{1-x}Ba_xMnO_3$.