• 한국자동차공학회논문집
• /
• 제21권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.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제24권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.

• 한국자동차공학회논문집
• /
• 제10권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.

• 한국공간정보시스템학회 논문지
• /
• 제11권1호
• /
• pp.169-176
• /
• 2009

3차 국가GIS 사업의 유비쿼터스 GIS 핵심기술 개발 부분을 담당하는 지능형국토정보기술혁신 사업이 지난 2006년 11월부터 2011년 8월까지 정부출연금 약 1317억원, 민간부담금 약 446억원 규모로 수행되고 있다. 지능형국토정보기술혁신사업은 '유비쿼터스 국토실현을 위한 공간정보 기술혁신'이라는 목표를 실현하기 위해 기술 분야별로 5개 핵심과제와 1개 총괄과제로 구성되어 있는 대규모 R&D사업이다. 본 사업에서는 연구성과물의 현장적용, 통합, 전시를 위해 공동실험장 구축을 계획하고 있으며, 향후 국가적인 차원에서 차세대 u-GIS 공동실험장 확보를 목표로 하고 있다. 본 논문에서는 지능형국토정보기술혁신사업 총괄과제에서 수행중인 공동실험장 구축 계획에 대한 기본적인 방향, 계획, 그리고 공동실험장에 적용될 연구개발 성과물의 특성에 대해 논하고자 한다.

• 의료법학
• /
• 제15권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.

• 대한수학교육학회지:학교수학
• /
• 제14권4호
• /
• pp.469-493
• /
• 2012

본 연구는 증명을 성공적으로 구성하는 학생들은 수학적 개념을 어떻게 이해하고 있으며, 증명을 어떻게 구성하는 지를 살펴보고 이를 통해 증명을 구성하는 다양한 방식과 개념 이해의 관련성을 분석하는 데 목적이 있다. 증명 구성에 도움이 되는 수학 학습에 제언을 얻기 위해서는 증명을 구성하는 과정과 그 과정에서 개념이 어떻게 반영되고 이용되는 지를 살펴볼 필요가 있다. 이를 위하여 4명의 수학교육과 학생들을 대상으로 사례연구를 실시하였다. 그 결과 구문론적 증명을 하는 학생들은 형식적 개념의 내용을 정확하게 알고 있을 뿐만 아니라 그 개념이 담겨있는 명제는 어떠한 방식으로 증명하는 지 그 방법까지 알고 있었다. 실제 증명에서도 평소 증명 경험을 통하여 학습한 증명 전개 방법을 이용하여 증명하는 것을 볼 수 있었으며, 이로부터 증명 방법에 대한 절차적 지식이 구문론적 증명에는 중요한 요소라는 결론을 얻을 수 있었다. 의미론적 증명을 하는 학생들은 형식적 개념의 내용을 정확하게 알고 있고 그 내용과 의미를 본인만의 언어나 그림으로 표현한 개념 이미지를 가지고 있었다. 구문론적 증명을 하는 학생들의 개념 이미지와 비교해보았을 때, 의미론적 증명을 하는 학생들의 개념 이미지는 구문론적 증명을 하는 학생들의 개념 이미지보다 형식적 개념의 내용을 잘 반영하고 있었다. 이러한 개념 이미지는 개념 이미지를 활용하여 증명의 아이디어를 생각하고, 생각한 아이디어를 증명의 형식에 맞게 표현하는 데 사용된다는 점에서 의미론적 증명에 필요한 요소라는 것을 발견할 수 있었다.

• East Asian mathematical journal
• /
• 제30권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
• /
• 제12권1호
• /
• pp.61-69
• /
• 2001

본 논문은 논리문장으로 표현된 지식을 처리하는 정리증명 과정에서 증명이 완료되기 전에 잠정적 결론을 유도하는 확률추론 기법을 제시한다. 정리증명 과정 중에 베이지안 해석을 이용하여 지식을 갱신하는 방법을 제시하고, 의사결정 방법을 사용하여 시간에 민감한 사안에 대해 신속하게 대처할 것인지 아니면 고의로 미룰 것인지를 결정하는 방법을 밝힌다.

• 호남수학학술지
• /
• 제21권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
• /
• 제30권1호
• /
• pp.65-73
• /
• 1990