• Architectural research
• /
• v.15 no.4
• /
• pp.207-214
• /
• 2013

A form-finding technique is proposed for three-dimensional spatial structures. Two-step discrete finite element (FE) mesh generator based on computer aided geometric design (CAGD) is introduced and used to control the shape of three-dimensional spatial structures. Mathematical programming technique is adopted to search new forms (or shapes) of spatial structures. For this purpose, the strain energy is introduced as the objective function to be minimized and the initial volume (or the initial weight) is considered as constraint function. Numerical examples are carried out to test the capability of the proposed form-finding techniques and provided as benchmark tests.

• The Pure and Applied Mathematics
• /
• v.6 no.2
• /
• pp.79-86
• /
• 1999

A Boolean function generates a binary sequence which is frequently used in a stream cipher. There are number of critical concepts which a Boolean function, as a key stream generator in a stream cipher, satisfies. These are nonlinearity, correlation immunity, balancedness, SAC (strictly avalanche criterion), PC (propagation criterion) and so on. In this paper we construct an algorithm for finding the correlation immune order of a Boolean function, and check how long to find the correlation immune order of a given Boolean function in our algorithm.

• Proceedings of the KIEE Conference
• /
• 1987.07a
• /
• pp.226-229
• /
• 1987

This paper was aimed to, using a new data structure, develop a set of algorithms to execute the output function of Digital System. These functions were represented as directed, acyclic graphs. by applying many restrictions on vertices on graph, the efficient manipulation of boolean function was accomplished. The results were as follows; 1. A canonical representation of a boolean function was created by the reduction algorithm. 2. The operation of two functions was accomplished using t he apply algorithm, according to the binary operator. 3. The arguments having 1 as the value nf function were enumerated using the satisfy algorithm. 4. Composing TTL 74181 4-bit ALU and 74182 look-ahead carry generator, the ALU having 4-bit and 16-bit as word size was implemented.

• East Asian mathematical journal
• /
• v.16 no.1
• /
• pp.57-60
• /
• 2000

We study some properties of og-spaces and show some sufficient conditions that a space X satisfy the conclusion of the Grothendieck theorem.

• Journal of Advanced Marine Engineering and Technology
• /
• v.39 no.3
• /
• pp.298-305
• /
• 2015

This paper provides experimental results of an excitation control system of the synchronous generator on board ships in accordance with rules of classification society to make sure its performance. The experiment compares and reviews control results between PID control and fuzzy logic control applied to change of loads of the generator in order to make sure to satisfy the rules of classification society. Both of them are written by Labview program. In case of PID Control, this paper firstly adjusts the gains by ultimate sensitive method and the gains is more tuned by engineer's experience. And the fuzzy logic controller uses Mamdani method to make membership function for error between reference voltage and measuring voltage, differential error rate and output voltage. This paper is to make sure the experimental results of the proposed excitation control system applied to actual small synchronous generator with PID control and fuzzy logic written by using Labview program and it is proved on stability and improvement through experiments.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.34 no.10
• /
• pp.56-60
• /
• 2006

It is essential to predict thermodynamic properties of combustion gas with respect to a propellant mixture ratio for the development of a gas generator for a liquid rocket engine. The present study shows the temperature measurement of exit combustion gas as a function of a mixture ratio through the series of combustion tests of a fuel-rich gas generator with liquid oxygen and Jet A-1. The measurements of dynamic and static pressures, and combustion gas temperatures allowed the estimation of thermodynamic properties like a specific heat ratio, a gas constant, and a constant pressure specific heat of the combustion gas. The comparison of the experimental results with predictions made by interpolation parameters obtained from the modification of the chemical equilibrium code indicates that the interpolation method calibrated using the temperature measurements can be utilized as an effective tool for the initial design of a fuel-rich gas generator.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2006.05a
• /
• pp.118-122
• /
• 2006

For the development of a gas generator of a liquid rocket engine, the prediction of thermodynamic properties of combustion gas with respect to a propellant mixture ratio becomes critical. The present study focuses on the temperature measurement of exit combustion gas as a function of a mixture ratio through combustion tests of a fuel-rich gas generator propelled by Lox/Jet A-1. The measurement of combustion dynamic and static pressures allowed indirect estimation of thermodynamic properties like specific heat ratio, gas constant, and constant pressure specific heat. Comparing the results with empirical prediction through an interpolation reveals that the interpolation method calibrated using temperature results can be utilized as an effective tool for the design of a fuel-rich gas generator.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.10
• /
• pp.3064-3074
• /
• 2000

Lately computing environment is changing into integrating open system Some corporations and research institutions are still using old codes and not dealing with the rapid canging environment actively. Also several software developers have difficulties with the problems of productivity and translating old codes. This paper proposes Integration Object Management Model to deal with the rapid changing environment effectively and to improe productivity about new software development. The model is divided into three layers the first layer classifies and displays information to users, the second layer controls function, the integrationand management layer, and the last layer manages data, the object management stroage later. So it designs and implenments F77/J++ Generator system(FORTRAN77/Java code generator) for Integrated Object Management Model. The generator helps to translate old codes into new codes in redesigning the business and promoting productivity. In consists of nine-stage strategies using reengineering. This might support agterward protolyping in maximizing the reuse of software, which is advanlage to the integrationof the system and in pro,oting its productivity.

• Nuclear Engineering and Technology
• /
• v.39 no.3
• /
• pp.231-236
• /
• 2007

Due to the occasional occurrences of stress corrosion cracking(SCC) in steam generator tubing(Alloy 600), degraded tubes are removed from service by plugging or are repaired for re-use. Since electrodeposition inside a tube does not entail parent tube deformation, residual stress in the tube can be minimized. In this work, tube restoration via electrodeposition inside a steam generator tubing was performed after developing the following: an anode probe to be installed inside a tube, a degreasing condition to remove dirt and grease, an activation condition for surface oxide elimination, a tightly adhered strike layer forming condition between the electro forming layer and the Alloy 600 tube, and the condition for an electroforming layer. The reliability of the electrodeposited material, with a variation of material properties, was evaluated as a function of the electrodeposit position in the vertical direction of a tube using the developed anode. It has been noted that the variation of the material properties along the electrodeposit length was acceptable in a process margin. To improve the reliability of a material property, the causes of the variation occurrence were presumed, and an attempt to minimize the variation has been made. A Ni alloy electrodeposition process is suggested as a primary water stress corrosion cracking(PWSCC) mitigation method for various components, including steam generator tubes. The Ni alloy electrodeposit formed inside a tube by using the installed assembly shows proper material properties as well as an excellent SCC resistance.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.14 no.1
• /
• pp.27-32
• /
• 2019

This study describes the design and implementation of a simulated signal generator to demonstrate the performance of VHF band radar for the detection of small targets in RCS(Radar Cross Section). The transmission and reception antenna beam widths used in the simulated signal generating apparatus may be large, which may cause problems in the degree of isolation. Interference signal immunity and isolation characteristics are improved by considering operating conditions of VHF radar to solve isolation of antennas. Simulated signal generator performs the following: VHF radar transmission and reception correction, simulation signal generation, target Doppler, RCS and distance simulation, remote control, and GPS clock synchronization function. After the fabrication of the simulated signal generator, the main characteristics, such as the output characteristics and the reflection signal simulations, were tested. When the microwave radar assembly is completed in the future, it will be utilized for the performance evaluation of VHF radar.