• Education of Primary School Mathematics
• /
• v.7 no.2
• /
• pp.85-99
• /
• 2003

In this paper, firstly examined various proofs types that cover informal empirical justifications by Balacheff, Miyazaki, and Harel ＆ Sowder and Tall. Using these theoretical frameworks, justification activities by 5th graders were analyzed and several conclusions were drawn as follow: 1) Children in 5th grade could justify using various proofs types and method ranged from external proofs schemes by Harel & Sowder to thought experiment by Balacheff This implies that children in elementary school can justify various mathematical statements of ideas for themselves. To improve children's proving abilities, rich experience for justifying should be provided. 2) Activities that make conjectures from cases then justify should be given to students in order to develop a sense of necessity of formal proof. 3) Children have to understand the meaning and usage of mathematical symbol to advance to formal deductive proofs. 4) New theoretical framework is needed to be established to provide a framework for research on elementary school children's justification activities. Research on proof mainly focused on the type of proof in terms of reasoning and activities involved. But proof types are also influenced by the tasks given. In elementary school, tasks that require physical activities or examples are provided. To develop students'various proof types, tasks that require various justification methods should be provided. 5) Children's justification type were influenced not only by development level but also by the concept they had. 6) Justification activities provide useful situation that assess students'mathematical understanding. 7) Teachers understanding toward role of proof(verification, explanation, communication, discovery, systematization) should be the starting point of proof activities.

• International Journal of Highway Engineering
• /
• v.17 no.3
• /
• pp.69-76
• /
• 2015

PURPOSES : Performance evaluation of four types of asphalt concrete overlays for deteriorated national highways. METHODS : Pavement distress surveys for crack rate and rut depth have been conducted annually using an automated pavement survey vehicle since 2007. Linear and non-linear performance prediction models of the asphalt concrete overlays were developed for 43 sections. The service life of the asphalt overlays was defined as the number of years after which a crack rate of 30% or rut depth of 15mm is observed. RESULTS : The service life of the asphalt overlays was estimated as 17.4 years on an average. In 90.7% of the sections, the service life of the overlays was 15 years or more which is 1.5 times the life of conventional asphalt concrete overlays used in national highways. The performance of the overlays was dependent on the type of asphalt mixture, traffic volume levels, and environmental conditions. CONCLUSIONS : The usage of stone mastic asphalt (SMA) and polymer-modified asphalt (PMA) for the overlays provided good resistance to cracking and rutting development. It is recommended that appropriate asphalt concrete overlays must be applied depending on the type of existing pavement distress.

• Proceedings of the Korean Society of Tribologists and Lubrication Engineers Conference
• /
• 2001.11a
• /
• pp.230-236
• /
• 2001

We developed a built-in sensor bearing to measure the rotor motion of a rolling piston type compressor for the air conditioner. Because of needs for the high efficiency and long life span of compressor, and the usage of alternative refrigerants, the operating condition of the compressor becomes more severe. The accurate measurement of the rotor motion of the compressor can contribute greatly to the design and analysis of the hydrodynamic bearing. However, it is difficult to measure accurately the shaft behavior of small compressor because of the small space for the sensor mount, high temperature and pressure of compressor, oil mixed with refrigerant, and electromagnetic noise of the motor. To overcome these difficulties, we develop the cylindrical capacitive sensor that is built in the hydrodynamic bearing and calibrate the built-in sensor bearing indirectly through measuring the oil relative permittivity. We measured the rotor motion as well as suction and discharge pressures in various conditions. The several experimental results show that the developed built-in sensor bearing can measure the rotor motion not only in steady state but also in transient state.

• Economic and Environmental Geology
• /
• v.29 no.4
• /
• pp.529-541
• /
• 1996

The granitic rocks, so called Masanite, characterized by the micrographic, mylmekitic and perthitic textures, and zonal structure of the plagioclase in the Masan, Changwon and Jinhae areas belong to normal granite and granodiorite based on the modal analysis. These petrographic features strongly suggest the shallow emplacement of the plutons which are defined a typical calc-alkaline suite and I-type granitoids. The pressures of emplacement of the granitic plutons using the amphibole geobarometer were calculated to be 1.2kbar in the Masan area and 1.4kbar in the Changwon area. Their amphibole-plagioclase equilibrium temperatures were obtained to be $638^{\circ}C$ for the former ones and $724^{\circ}C$ for the latter. Homogenization temperatures and salinities for the type HI and IV fluid inclusions in quartz range from 298 to $541^{\circ}C$ (av. $425^{\circ}C$), and 10.5 to 34.6 wt.% NaCl (av. 28.2 wt.% NaCl), respectively. Gas compositions of the granitic rocks with fairly high $CO_2$ concentration relative to CH, correspond to the magnetite series granite of the mantle source. The terminology of the Masanite is not recommended usage. Because it is hard to discriminate in terms of petrological and petrogenetical characteristics between the Masanite and the Bulguksa granites in the Kyeongsang basin.

• Journal of the Korean Institute of Navigation
• /
• v.22 no.4
• /
• pp.51-57
• /
• 1998

According to the rapid development of the electric industry, the demand of the frequency allocation and the usage of electromagnetic wave are increased due to automation of modem society. Electromagnetic wave absorbers for anechoic chamber are needed to broaden the effective frequency bandwidth, reduce the thickness, and decrease the weight. There are various absorbers proposed for the above conditions, but they could not decisively solve the above requirements. The Electromagnetic wave absorber made by a conventional ferrite tile has, for example, broadened the effective frequency bandwidth by the way of forming air layer(practically in urethane foam, etc.) on the ferrite tile. Therefore, an air layer is formed between a reflection plate and a sintered Ni-Zn ferrite tile of 7 mm in thickness, which has reflectivity less than -20 dB from 30 MHz to 400 MHz in bandwidth. In this paper, a broadband electromagnetic wave absorber are designed, which has the reflection characteristics less than -20 dB from 30 MHz to 8,000 MHz in the bandwidth. A super broadband electromagnetic wave absorber is achieved by inserting square Ferrite Cylinders Type with the thickness less than 23.5 mm and with the frequency band from 30 MHz to 8,000 MHz under the above tolerance limits. The purpose of this research is on the development of a universal anechoic chamber for measuring radiated electromagnetic wave or immunity of electronic equipments, GTEM-cell and also a wall material for preventing TV ghost, etc.

• Journal of the Korean Society for Precision Engineering
• /
• v.25 no.1
• /
• pp.79-84
• /
• 2008

For the precision measurement of industrial products, the location of holes inside the products, if they exist, are often selected as feature points. The measurement of hole location would be performed by vision and laser-vision sensor. However, the usage of those sensors is limited in case of big change of light intensity and reflective shiny surface of the products. In order to overcome the difficulties, we have developed a hole displacement measuring device using contact-type displacement sensors (LVDTs). The developed measurement device attached to a robot measures small displacement of a hole by allowing its X-Y movement due to the contact forces between the hole and its own circular cone. The developed device consists of three plates which are connected in series for its own function. The first plate is used for the attachment to an industrial robot with ball-bush joints and springs. The second and third plates allow X-Y direction as LM guides. The bottom of the third plate is designed that various circular cones can be easily attached according to the shape of the hole. The developed system was implemented for its effectiveness that its measurement accuracy is less than 0.05mm.

• Journal of Home Health Care Nursing
• /
• v.25 no.2
• /
• pp.197-208
• /
• 2018

Purpose: This study investigated the smartphone using time, troubles with smartphone usage, and related factors in Korean adolescent smartphone users. Methods: Data were obtained from 54,603 subjects aged 13 to 18 years in the 2017 13th Korea Youth Risk Behavior Web-based Survey Results: The study analyzed the school type, academic achievement, residence type, weekly average allowance, and usual counselor, perceived stress, happiness, and depression of the subjects showed a significant difference in the variable of troubles experienced by the smartphone user. Multiple sample logistic regression analysis showed that adolescents with low academic achievement (weekday, weekend OR = 1.78, 1.65), low economic status (weekday, weekend OR = 1.17, 1.37), friends with distress counselors (weekday, weekend OR = 1.29, 1.24), weekly average allowance (weekday, weekend OR = 1.85, 1.50), stressed (weekend OR = 1.25), depressed (weekday, weekend OR = 1.26, 1.14), family troubles (weekday, weekend OR = 1.14, 1.15), friendship troubles (weekday, weekend OR = 1.70, 1.38), and academic performance troubles (weekday, weekend OR = 1.28, 1.38) spent more than the average using time on their smartphones. Conclusion: To prevent overdependence on smartphone use among adolescents, a nursing intervention program that relieves stress and lowers depression should be developed.

• Journal of Information Management
• /
• v.29 no.1
• /
• pp.20-39
• /
• 1998

In order to index documents, a thesaurus which consists of terms and relationships between terms is used. When an index term is selected, retrieval performance in the information retrieval system could be improved by using the relationship between the terms in the thesaurus. Recently, the usage of a thesaurus are extended from information retrieval to language and knowledge engineering, but term relationships in a thesaurus are simply represented in equivalence, hierarchy, and association. Particularly the associative relationship is vague in its definition and range as compared with the other relationships, i.e. equivalence, hierarchy, therefore the terms that are selected through associative relationship aren't well controlled. This study examines the relationships of existing thesauri, especially the types and ranges of associative relationship, and suggests the adequate type of associative relationship.

• Proceedings of the KIEE Conference
• /
• 2003.07b
• /
• pp.964-966
• /
• 2003

The three-phase induction motor is rugged, reliable, long-lived, self-starting, smooth-running. But it is relatively inexpensive and three-phase power in not available everywhere, so if possible we need single-phase motor with the same characteristics. In fact, single-phase induction motors have excellent characteristics and outnumber the three-phase variety. Most of the small electric motors used in home, farm, or office are single-phase induction motors of one type or another. This electric motors application field need most energy saving type drive according to enlargement of electronic goods and to tend high class. The paper is proposed a various phase control methods for energy saving of single- phase induction motor. The controllers that are embodied by each method can use by various usage according to each performance and it is considered that application may help in the electrical energy saving because is possible to other electrical appliances.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.2
• /
• pp.459-466
• /
• 1999

I broadband ISDN every packet will show different result if it would be processed according to its usage by the server. That is, normal data won't show big differences if they would be processed at normal speed. But it will improve the quality of service to process some kinds of data - for example real time video or voice type data or some data for a bid to by something through the internet - more fast than the normal type data. solution for this problem was suggested - priority packets. But the analyses of them are under way. Son in this paper a switching system for an output queuing model in a single server was assumed and some packets were given priorities and analysed. And correlation, simulating real life situation, was given too. These packets were analysed through three cases, first packets having no correlation, second packets having only correlation and finally packets having priority three cases, first packets having no correlation, second packets having only correlation and finally packets having priority and correlation. The result showed that correlation doesn't affect the mean delay time and the high priority packets have improved mean delay time regardless of the arrival rate. Those packets were assumed to be fixed-sized like ATM fixed-sized cell and the contention strategy was assumed to be short bus contention method for the output queue, and the mean delay length and the maximum 버퍼 length not to lose any packets were analysed.