• Journal of Advanced Navigation Technology
• /
• v.24 no.3
• /
• pp.224-231
• /
• 2020

An optical tracking plays an important role for measurement operation, as it is responsible for low altitude measurements that are difficult to obtain with radar systems. Since the existing optical tracking systems have not been developed in the proving ground itself so far, it is difficult to modify them to fit the environment of the proving ground. Also, they are designed as a vehicle-mounted type, so there is a limitation in selecting an optimal site. The in-house developed small optical tracking system is designed with a simple configuration to overcome these shortcomings and makes it possible for operators to operate the system at any place in the proving ground. In addition, there has been a need of developing small optical trackers by ourselves to be prepared for future research so that artificial intelligence (AI) can be applied to the optical tracking systems. In this paper, we described the design concept of the small optical tracker, the configuration of the components to implement the basic tracking function, and showed the results of the simulation to set the configuration of the equipment according to the characteristics of the flight targets.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.10 no.10
• /
• pp.1773-1778
• /
• 2006

This paper propose the method of constructing the Digital Logic Systems based on the Improved Automatic Theorem Proving Techniques(IATP) over Finite Fields. The proposed method is as following. First, we discuss the background and the important mathematical properties for Finite Fields. Also, we discuss the concepts of the Automatic Theorem Proving Techniques(ATP) including the syntactic method and semantic method, and discuss the basic properties for the Alf. In this step, we define several definitions of the IAIP, Table Pseudo Function Tab and Equal. Next, we propose the T-gate as Building Block(BB) and describe the mathematical representation for the notation of T-gate. Then we discuss the important properties for the T-gate. Also, we propose the several relationships that are Identity relationship, Constant relationship, Tautology relationship and Mod R cyclic relationship. Then we propose Mod R negation gate and the manipulation of the don't care conditions. Finally, we propose the algorithm for the constructing the method of the digital logic systems over finite fields. The proposed method is more efficiency and regularity than my other earlier methods. Thet we prospect the future research and prospects.

• Journal of Educational Research in Mathematics
• /
• v.16 no.4
• /
• pp.327-344
• /
• 2006

This study examined the proof levels and understanding of constituents of proving by three mathematically gifted 6th grade korean students, who belonged to the highest 1% in elementary school, through observation and interviews on the problem-solving process in relation to constructing a rectangle of which area equals the sum of two other rectangles. We assigned the students with Clairaut's geometric problems and analyzed their proof levels and their difficulties in thinking related to the understanding of constituents of proving. Analysis of data was made based on the proof level suggested by Waring (2000) and the constituents of proving presented by Galbraith(1981), Dreyfus & Hadas(1987), Seo(1999). As a result, we found out that the students recognized the meaning and necessity of proof, and they peformed some geometric proofs if only they had teacher's proper intervention.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.24 no.2
• /
• pp.225-231
• /
• 2016

A military vehicle is driven at different usage modes with the army application and servicing conditions. For practical durability validation, DT(Development Test) on a new military vehicle should be run up to the durability target kilometers on test courses in the specified proving ground. Driving velocities with test courses at the endurance mode of DT are established definitely. However, OT(Operational Test) and initial endurance test of production car can't be performed only in the DT courses due to the development period limit. Therefore, this paper focuses on the method to analyze the relative road damages between the endurance test in DT and other endurance test. Road load acquisition tests on KLTV(Korean Light Tactical Vehicle) were implemented at 15 driving modes in off-road and cross-country courses of two tests. Wheel accelerations were processed through band-pass filter, and then the main frequency and maximum power of the signals were computed by PSD analysis. Finally, using the proving ground optimization based on RDS(Relative Damage Spectrum) characterization, the damage factors between off-roads of test courses were determined.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.10 no.4
• /
• pp.1-10
• /
• 1990

RILEM proposed three point bend test to determine the fracture energy of concrete, but there is discrepancy between the theoritical and the experimental fracture energy of concrete by the influence of self-weight of concrete. This paper presents four point bend test using proving ring in order to take into account the influence of self-weight of concrete. The initial notch to beam depth ratio was varied from 0.2 to 0.6 in order to investigate the variation of fracture energy of concrete according to the variation of initial notch depth. The proposed four point bend test using proving ring was verified to be superior to three point bend test.

• Corrosion Science and Technology
• /
• v.16 no.6
• /
• pp.298-304
• /
• 2017

Coil spring steels from the automobile suspension part after field exposure for 10 years and those after anti-corrosion validation test in proving ground of 5,000 ~ 10,000 km were examined for corrosion damages. Partial loss of paint, accumulation of corrosion product, and cracking of paint and superficial material were observed. The surface and subsurface region of spring steels had compressive residual stress and high hardness by shot peening. The surface hardness values of the specimens were 620 ~ 670 Hv. They were 60 ~ 80 Hv higher than those of the samples taken from the middle part of the spring. The maximum compressive stress was -916 ~ -1208 MPa measured at depth of about $100{\mu}m$. Electrochemical impedance spectroscopy showed that the resistances of charge transfer and the paint layer of the spring steels ranged from several tens to millions ${\Omega}{\cdot}cm^2$. The resistance of the field samples was much higher than that of the proving ground samples used in this study, implying that the proving ground test condition would be more corrosive than the field environment.

• Korean Architects
• /
• s.600
• /
• pp.9-9
• /
• 2019

• The Mathematical Education
• /
• v.41 no.2
• /
• pp.215-225
• /
• 2002

In this paper we consider some properties of. bisector of interior angle(theorem 1) and exterior angle(theorem 2) in triangle by using analogy. As a result of analyzing various mathematics textbooks we have known that they focused not on relation between two theorems, but on describing two theorems. We have seen that theorem 2 is able to be inferred from theorem 1 by using analogy. After proving theorem 1 by some methods we analyze proof process, extract proof ideas, and analogize some ideas for proving theorem 2. From this we are able to find relationships between theorem 1 and 2.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 2006.05a
• /
• pp.81-85
• /
• 2006

In this study, we have been examined nano Injection Molding process which can improve transcription of 100nm-level pattern. We changed the various parameter (temperature of injection mold, clamp force, temperature of nozzle) which can be influence for improving transcription. And we measured and analyzed shapes of 100nm-level pattern by Automic Force Microscope for proving transcription. We made the Blu-ray Disc sample for proving transcription. And we measured HF-Signal and jitter. As a result, when the temperature of mold is more than $120^{\circ}C$ and the clamp force is more than 10 ton, We reached over 95 percent of transcription compared with stamper pattern. And we reached in-spec. value for HF-Signal and Jitter. Then we reached over 95 percent of transcription compared with stamper pattern.

• Journal of Mechanical Science and Technology
• /
• v.17 no.7
• /
• pp.958-965
• /
• 2003

Structural integrity of either a passenger car or a light truck is one of the basic requirements for a full vehicle engineering and development program. The results of the vehicle product performance are measured in terms of ride and handling, durability, noise/vibration/harshness (NVH), crashworthiness and occupant safety. The level of performance of a vehicle directly affects the marketability, profitability and, most importantly, the future of the automobile manufacturer In this study, we used the virtual proving ground (VPG) approach for obtaining the dynamic characteristics. The VPG approach uses a nonlinear dynamic finite element code (LS-DYNA3D) which expands the application boundary outside the classic linear static assumptions. The VPG approach also uses realistic boundary conditions of tire/road surface interactions. To verify the predicted dynamic results, a single lane change test has been performed. The prediction results were compared with the experimental results, and the feasibility of the integrated CAE analysis methodology was verified.