• Transactions of the Korean Society of Automotive Engineers
• /
• v.21 no.6
• /
• pp.16-23
• /
• 2013

It is important that proving ground damage is correlated with target customer usage. This paper describes the test mode for durability test of active suspension control system for proving ground correlation and optimization. Acceleration, strain, wheel force and other types of data are collected on a vehicle as it traverses different proving ground surfaces. The primary objective of the analysis is to determine which mixture of proving ground surfaces offers the best representation of customer usage while minimizing the total test time. And durability testing offers the best way to assess the capability of a product to reach its reliability target. The test should be representative of the real environmental load and replicate the same customer usage.

• Research in Mathematical Education
• /
• v.24 no.3
• /
• pp.255-278
• /
• 2021

Proof serves a critical role in mathematical practices as well as in fostering student's mathematical understanding. However, the research literature accumulates results that there are not many opportunities available for students to engage with proving-related activities and that students' understanding about proof is not promising. This unpromising state of instruction of proof calls for a novel approach to address the aforementioned issues. This study investigated an instruction of proof to explore a pedagogy to teach how to prove. The teacher utilized the way of problem posing to make proving a routine part of everyday lesson and changed the classroom culture to support student proving. The study identified the teacher's support for student proving, the key pedagogical changes that embraced proving as part of everyday lesson, and what changes the teacher made to cultivate the classroom culture to be better suited for establishing a supportive community for student proving. The results indicate that problem posing has a potential to embrace proof into everyday lesson.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.10 no.1
• /
• pp.195-202
• /
• 2002

By using modeling and simulation. today's design engineers are simultaneously reducing time to market and decreasing the cost of development, while increasing the quality and reliability of their products. A driving simulator is the best example of this method and allows virtual designs of control systems, electronic systems, mechanical systems and hydraulic system of a vehicle to be evaluated before costly prototyping. The objective of this Paper is to develop the virtual Proving: ground using a driving simulator and to show its capabilities of an automotive system development tool. For this purpose, including a real-time vehicle dynamics analysis system, the PC-based driving simulator and the virtual proving ground are developed by using VR(Virtual Reality) techniques. Also ABS HIL(Hardware-In-the-Loop ) simulation is performed successfully.

• Journal of Korea Spatial Information System Society
• /
• v.11 no.1
• /
• pp.169-176
• /
• 2009

Korean Land Spatialization Program(KLSP) is the R&D program of the National GIS Project for developing ubiquitous GIS core technologies under control of Ministry of Land, Transport and Maritime Affairs(MLTM). The first program of KLSP, from 2006 to 2012, initiated with $132 million (US dollars) of national fund and $42 million of matching fund. KLPS which aims 'Innovation of the GIS technology for the ubiquitous Korean land' consists of 5 core research projects and 1 research coordination project to practically utilize and commercialize the results of core research. Korean Land Spatialization Group(KLSG) is planning the KLSP proving ground for testing, integrating, exhibiting the KLSP's outcomes. In the near future, this proving ground would be utilized as a national ubiquitous GIS proving ground. The key objective of this paper is to present the conceptual designs and basic plans. In addition, this paper discusses characteristics of the outcomes which are applied to KLSP proving ground.

• The Korean Society of Law and Medicine
• /
• v.15 no.2
• /
• pp.123-163
• /
• 2014

As results of analyzing judicial precedents about infection in hospitals in connection with mistakes and causality in medical litigations shows that the Mitigation of Law Principles To Prove responsibility in medical litigation has not been able to play its role compared to its intended purposes. And Major sentiment from those judgments is that a mistake can't be proved only by the fact that certain infection in hospital occurred in connection with hospital infection. Therefore, the number of indirect facts to deny estimation is overwhelmingly high. Like this, especially for hospital infection which is difficult to prove indirect facts themselves to estimate mistake, major sentiment from those judgments have a problem that impute sharing of losses caused by hospital infection to patient. In accordance with the Principles of equitable and proper sharing of losses, it's required to prepare legal interpretation and theoretical methods to largely mitigate patient's responsibility to prove medical mistakes compared to other medical litigations in connection with existing Mitigation of Law Principles To Prove responsibility and conventional theory of estimation. In connection with this, the results of review that duty of safety management in hospital infection cases can be the base of conversion of proving responsibility, the duty that prevent hospital infection, corresponding the duty of safety management in hospital infection is not conventional duty of safety management based on duty of good faith but secondary obligation of medical contract. The breach of duty preventing hospital infection is the violation of medical contract, but there is no logical necessity that convert proving responsibility from the obligation of contract itself. Therefore, the duty of preventing hospital infection from the obligation of medical contract, corresponding the duty of safety management in hospital infection cases cannot be the base of conversion of proving responsibility alone. But, it's still required to conversion of proving responsibility in hospital infection, we need further studies on cases of Germany which applies legal estimation of proving responsibilities in hospital infection.

• School Mathematics
• /
• v.14 no.4
• /
• pp.469-493
• /
• 2012

The purpose of this study is find the relation between students' concept and types of proof construction. For this, four undergraduate students majored in mathematics education were evaluated to examine how they understand mathematical concepts and apply their concepts to their proving. Investigating students' proof with their concepts would be important to find implications for how students have to understand formal concepts to success in proving. The participants' proof productions were classified into syntactic proof productions and semantic proof productions. By comparing syntactic provers and semantic provers, we could reveal that the approaches to find idea for proof were different for two groups. The syntactic provers utilized procedural knowledges which had been accumulated from their proving experiences. On the other hand, the semantic provers made use of their concept images to understand why the given statements were true and to get a key idea for proof during this process. The distinctions of approaches to proving between two groups were related to students' concepts. Both two types of provers had accurate formal concepts. But the syntactic provers also knew how they applied formal concepts in proving. On the other hand, the semantic provers had concept images which contained the details and meaning of formal concept well. So they were able to use their concept images to get an idea of proving and to express their idea in formal mathematical language. This study leads us to two suggestions for helping students prove. First, undergraduate students should develop their concept images which contain meanings and details of formal concepts in order to produce a meaningful proof. Second, formal concepts with procedural knowledge could be essential to develop informal reasoning into mathematical proof.

• East Asian mathematical journal
• /
• v.30 no.2
• /
• pp.93-121
• /
• 2014

In this paper we study generating and proving methods of symmetric inequalities. We analyze various literatures related with proofs of symmetric inequalities. As a result, we can describe generating method of symmetric inequalities, and suggest some symmetric inequalities that are generated by using parameterization to elementary symmetric polynomials. And we are able to classify some proving methods, and show proofs of symmetric inequalities.

• Journal of the Korean Data and Information Science Society
• /
• v.12 no.1
• /
• pp.61-69
• /
• 2001

We present a probabilistic reasoning method for inferring knowledge about mathematical truth before an automated theorem prover completes a proof. We use a Bayesian analysis to update beleif in truth, given theorem-proving progress, and show how decision-theoretic methods can be used to determine the value of continuing to deliberate versus taking immediate action in time-critical situations.

• Honam Mathematical Journal
• /
• v.21 no.1
• /
• pp.49-56
• /
• 1999

The object of this note is to provide various methods for proving two results contiguous to Kummer's second theorem by using the classical Gauss's summation theorem and contiguous relations.

• Kyungpook Mathematical Journal
• /
• v.30 no.1
• /
• pp.65-73
• /
• 1990