• Journal of the Korean Ceramic Society
• /
• v.35 no.2
• /
• pp.185-195
• /
• 1998

This experiment carried out in order to investigate the effect of the chemical activators for acceleration of hydration the system of Fly ash-Cao The paste was consisted of 80wt% Fly ash and 20wt% CaO with 1. 3. 5wt% of 4 activators(N{{{{ alpha _2 }}S{{{{ OMICRON _4 }}, CaC{{{{ {l }_{2 } }}, NaOH, Ca(N{{{{ OMICRON _3 {)}_{2 } }} and W/S ratio of 0.42 After curing for 1, 3, 7, 14, 28 days the paste hydration was characterized by the measurement of compressive strength XRD analysis SEM observation the combined water and the reaction amount of Ca(OH)2 determination. As a result of this ex-periment all of the system which involved Na2SO4 or NaOH had a god compressive strength. In the case of 7 days curing a system which added CaCl2 showed the highest compressive strength among all especially NaOH system showed a high increase in strength as a dosage of it increased. Hydration products were different according to activatores added. Only C-S-H was observed in NaOH system. As the reaction amount of Ca(OH)2 and combined water were increased the compressive strength increased. There were few differences in the comparision of strength between ignited loss 3.1% and loss 9.3% of fly ash.

• The Bulletin of The Korean Astronomical Society
• /
• v.42 no.2
• /
• pp.63.3-64
• /
• 2017

KIC6118779 is an over-contact binary system having a short orbital period of about 0.36 days. The photometric data for this system are acquired by the observations of Kepler mission in the long cadence mode having a time resolution of about 30 minutes. It means that the Kepler light curves of the system may be strongly affected by phase smearing effect and the analysis of them without consideration of the phase smearing effect may result in wrong stellar properties. Additionally, this system also shows dynamical variation of light curve resulting from spot activity. For all those reasons, it is difficult to investigate KIC6118779, and the investigation should be carried out carefully. In this presentation, we introduce the phase smearing effect and carry out the light curve modeling with the 2015 version of the Wilson-Devinney binary code considering the phase smearing effect. Our results show that the system is a deep over contact binary system and has extremely low mass ratio of about 0.12. Moreover our spot modeling implies the cyclic migration of a big cool spot on the massive component.

• Korean Journal of Digital Imaging in Medicine
• /
• v.13 no.1
• /
• pp.21-26
• /
• 2011

A radiation imaging system used in a surgery room is mainly using C-arm which is purposed to fluoroscope. C-arm is often use to watch an operation's accuracy and progress, but not only being bombed to this first beam but also affected to this scattered beam, so now we are look for the way to reduce bombed amount of doctor, nurses and radiological technologists. We measured the exposure dose in $0^{\circ}$ spot according to the distance to find out frequency distribution of scattered ray in an operation room and found the spot which has the same exposure dose from $30^{\circ}$ distance of all directions and wrote isodose curve. We analyzed the data and found out the sudden reduction of scattered ray according to the long direction also found out that scattered ray was not related to the directions. Operators must recognize the reduction of exposure dose. Because reducing scattered ray from all directions in an operation room is really difficult. So every operators must use shelters to reduce the exposure dose and notice the safety.

• Journal for History of Mathematics
• /
• v.1 no.1
• /
• pp.71-75
• /
• 1984

Whether the complete Hilbert program could be carried out was rendered very doubtful by results due to Godel. These results may be roughly characterized as a demonstration that, in any system broad enough to contain all the formulas of a formalized elementary number theory, there exist formulas that neither can be proved nor disproved within the system. In this paper, Godel's incompleteness theorem is explained roughly moreover formul system and machines being refered, related to his theory.

• Journal of the Korean Society for Geothermal and Hydrothermal Energy
• /
• v.14 no.1
• /
• pp.30-35
• /
• 2018

In this study, the energy commissioning was conducted for high-rise buildings(manual control). First of all, we conducted monitoring the energy use of buildings (electricity, heating, etc.), a commissioning improvement (automatic control) was proposed for each system. In addition, energy simulation was conducted to predict the effectiveness of the reform measures. As a result, terminal units control the greatest energy saving effect, If we applied all the improvements, we could save about 20% less than traditional energy usage, and it turned out that $CO_2$ emissions were reduced by about 19% when converted to $CO_2$.

• Proceedings of the Korean Society of Fisheries Technology Conference
• /
• 2000.05a
• /
• pp.539-539
• /
• 2000

A cytochemical study by the Benedict's reaction method was conducted to find out the cellulase activity in the digestive organs of Helix aspersa. Out of the all digestive organs, the stomach, the intestine, and the digestive gland showed cellulase activities under the transmission electron microscopy.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2001.04a
• /
• pp.382-386
• /
• 2001

Die design of bonnet drawing is composed of upper die, lower die and blank holder. It has been performed by checked and re-design method, which cause economic and financial loss. Nowadays, CAD/CAM system is excellent, but Application is low. Therefore, in specific item, drawing die of bonnet outer draw by 3-D Lay-Out. In this study purpose, Bonnet drawing die is designed rapidly, correctly. It's method that shape modify to resemble. This purpose lead to 3-D Lay-Out. It is to react the standard die. In rule relation, input data change all of the shape

• Journal of Korean Institute of Industrial Engineers
• /
• v.30 no.3
• /
• pp.250-260
• /
• 2004

This study considers a linear connected-(r,s)-out-of-(m,n):F lattice system whose components are ordered like the elements of a linear (m,n )-matrix. We assume that all components are in the state 1 (operating) or 0 (failed) and identical and s-independent. The system fails whenever at least one connected (r,s)-submatrix of failed components occurs. The purpose of this paper is to present an optimization scheme that aims at minimizing the expected cost per unit time. To find the optimal threshold of maintenance intervention, we use a genetic algorithm for the cost optimization procedure. The expected cost per unit time is obtained by Monte Carlo simulation. The sensitivity analysis to the different cost parameters has also been made.

• The KIPS Transactions:PartA
• /
• v.17A no.1
• /
• pp.19-26
• /
• 2010

As standard of living is higher and aging society is coming, it is needed to develop transportation that is easy to use for weak person. To comply with the demands, it is started to make Bi-modal Tram that is on KRRI(Korea Railroad Research Institute)'s hands. This tram has to have good accessibility like bus, be low level from ground like subway, and park accurately so wheel chair's or passenger's foot can't fall into the gap. But Bi-modal Tram have long length, so it need development of All Wheel Steering System. The Bi-modal Tram that have all wheel steering system steer not only the first axle but also the second and third axle from the first axle or articulation angle, and velocity, and so on. At this study, we discuss AWS ECU's development process.

• Proceedings of the KIEE Conference
• /
• 2007.10a
• /
• pp.269-270
• /
• 2007

The COMS(Communication, Ocean & Meteorological Satellite) is the geostationary satellite which will be performing three main objectives such as meteorological service, ocean monitoring and Ka-band satellite communications. This paper reports on the hardware architecture of the system electrical ground support equipment(EGSE) for the COMS satellite. EGSE is used to check out satellite during the development prior to lunch. The EGSE represented in this paper consist of two parts. First, I will deal with the OCOE(Overall Check Out Equipment) system which controls and operates the all EGSE system. In second part, we will introduce the SCOE(Specific Check Out Equipment) systems which can test the specific subsystems of the COMS satellite.