• 한국수학교육학회지시리즈A:수학교육
• /
• 제37권1호
• /
• pp.55-72
• /
• 1998

We prove many statements in middle and high school mathematics, so it is necessary to have some method for understanding the modes of proof. But it is hard to discuss about the modes of proof without knowing logics. Venn-diagrams can be used in a great variety of situations, and it is useful to the students unfamiliar with logical procedure. Since knowing a mode of proof that could be used may still not guarantee success of proof, it is also necessary to illustrate many cases of proof strategies. To achieve the above reguirements, (1)Even though intuition, the modes of proof used in middle school mathematics should be understood by using venn-diagrams and the students can use the right proof in the right statement. (2)We must illustrate many kinds of proof so that the students can get the proof stratigies from these illustrations. (3)If possible, logic should be treated in middle school mathematics for students to understand the system of proof correctly.

• 의료법학
• /
• 제9권1호
• /
• pp.129-162
• /
• 2008

Nowadays it is important for us to resolute medical disputes. Because a high incidence of medical accidents may be brought about according to many chances of treatment in the operation of health insurance and increasing concern of patient health. Patients and medical doctors have plenty of difficulty in uncomfortable treatment circumstances of a high incidence of medical accidents. It is especially desirable that our society should prevent medical accidents and resolute speedy, fairly and rationally the happened medical disputes. Many legislations were suggested to resolute medical dispute. But legal issue points stress only speedy medical dispute resolution procedure and don't compromise fair and professional procedure. Accordingly these legal arguing points had not been accepted by the National Assembly and people. If the speedy resolution of medical dispute was demanded to solve unsafe treatment circumstances, it is necessitated that the legislation containing legal issue points to procedure is enacted. Of course the interest of patients and doctors to legal issue points must be balanced. Because an arguing points to the reversal of proof burden is consisted of the entity judgement in connection with setting the basis of resolution of medical dispute, the legislation to these is checked carefully.

• 한국지반환경공학회 논문집
• /
• 제4권4호
• /
• pp.73-84
• /
• 2003

본 연구에서는 검증시험결과를 활용한 말뚝기초의 경제적인 설계절차를 제안하였다. 그리고 비경제적인 말뚝기초의 설계관행을 해소하기 위하여 6개 사례를 선정하여 설계를 목적으로 한 말뚝 정재하시험 (즉, 검증시험)을 수행하고, 검증시험 결과를 활용하여 건설비용 절감효과를 분석하였다. 말뚝기초 건설비용 절감효과는, 말뚝의 하중지지능력을 확인할 수 있는 소구경 말뚝에서는 34 - 47 %로 나타났으며, 말뚝의 최대하중지지능력 확인이 곤란한 대구경 말뚝에서는 0 - 55 %로 나타났다.

• Communications for Statistical Applications and Methods
• /
• 제3권3호
• /
• pp.75-81
• /
• 1996

Polynomial measurement error model(MEM) with one predictor is considered. It is briefly mentioned that Chan and Mak's generalized least squares estimator(GLSE) can be derived more easily if Hermite polynomial concept is applied. It is proved that GLSE derived using new procedure is equivalent to the estimator obtained from corrected score function. Finally, much simpler proof of the asymptotic behavior of GLSE than that of Chan and Mak is provided. Much simpler formula of asymptotic covariance matrix of GLSE is a part of that proof.

• East Asian mathematical journal
• /
• 제31권4호
• /
• pp.459-481
• /
• 2015

In this study, we investigated whether the theorem is established even if we replace a 'square' element in the Euclidean proof of the Pythagorean theorem with different figures. At this time, we used different figures as equilateral, isosceles triangle, (mutant) a right triangle, a rectangle, a parallelogram, and any similar figures. Pythagorean theorem implies a relationship between the three sides of a right triangle. However, the procedure of Euclidean proof is discussed in relation between the areas of the square, which each edge is the length of each side of a right triangle. In this study, according to the attached figures, we found that the Pythagorean theorem appears in the following three cases, that is, the relationship between the sides, the relationship between the areas, and one case that do not appear in the previous two cases directly. In addition, we recognized the efficiency of Euclidean proof attached the square. This proving activity requires a mathematical process, and a generalization of this process is a good material that can experience the diversity and rigor at the same time.

• 한국구조물진단유지관리공학회 논문집
• /
• 제7권3호
• /
• pp.139-146
• /
• 2003

본 연구는 기지하중을 이용하여 교량의 효율적 평가를 하기 위한 것이다. 계산상 내하력이 부족한 것으로 평가된 교량의 하중저항능력은 기존의 방법에 의한 평가능력을 상회하는 경우가 일반적이다. 기지하중을 이용한 실험은 미지의 저항능력을 평가할 수 있으며, 따라서 대상교량의 하중저항능력을 정확히 검증할 수 있다. 실험을 위한 기지하중은 일반적인 통행하중보다 큰 것을 사용하여야 한다. 따라서 본 연구에서는 미시간 주에서는 법적으로 허용된 11축 트럭 하중(685kN)을 고려하여, 두 대의 군용탱크와 두 대의 11축 트럭을 이용하였으며, 실험의 안전을 위하여 재하하중의 크기를 점진적으로 증가하면서 계측을 실시하였다. 실험에 의한 대상 교량의 응력수준은 계산에 의한 값보다 다소 작게 측정되었으며, 이는 부적절한 재료강도의 예측, 파라펫이나 가드레일과 같은 비구조요소의 기여, 지지조건의 변화 등에 기인한 것으로 분석되었다.

• 한국산업융합학회 논문집
• /
• 제4권2호
• /
• pp.119-125
• /
• 2001

This paper discuss the Qualification Test Procedure which is composed of main functional and environmental tests for the localizing avionics and subsystems, especially the detail test approaches of General Avionics Computed(GAC) through the analysis of related technical data packages for the purpose of performance proof of final products. Quality assurance procedures are properly established with the several kinds of inspections and functional test items. They are called as process inspections, functional test, acceptance test procedure and qualification test procedure. The Qualification test procedure are composed of the analysis of original engineering design concept and shall be performed for the acquisition of the certification of the GAC's quality as well as the aquisition of the related techniques and engineering know-how items.

• 품질경영학회지
• /
• 제49권4호
• /
• pp.527-537
• /
• 2021

Purpose: The purpose of this study was to suggest an improved version of Proof-of-Nonce (PoN) algorithm, which is a distributed consensus algorithm used for block chain system. Methods: First, we used response surface method for design of experiment that is to generate experimental points considering non-linear relationship among variables. Then, we employed overlapped contour plots for visualizing the impact of control variables to performance target. Results: First, we modified the consensus procedure of the existing PoN algorithm by diminishing the content of the exchanged message. Then, we verified the performance improvement of the new PoN algorithm by performing a numerical experiment and paired t-test. Finally, we established new regression models for consensus time and Transactions per second (TPS) and proposed a method for optimizing control variables for obtaining performance target. Conclusion: We could improve the performance of the previous version of PoN algorithm by modifying the content of the exchanged message during 4-steps of consensus procedure, which might be a stepping stone for designing an efficient and effective consensus algorithm for blockchain system with dynamic operation environment.

• 한국국방경영분석학회지
• /
• 제30권1호
• /
• pp.30-47
• /
• 2004

This research considers a Network Diversion Problem (NDP) in the directed graph, which is to identify a minimum cost set of links to cut so that any communication paths from a designated source node to a destination node must include at least one link from a specified set of arcs which is called the diversion arcs. We identify a redundant constraint from an earlier formulation. The problem is known to be NP-hard, however a detailed proof has not been given. We provide the proof of the NP-hardness of this problem. We develop a tabu search algorithm that includes a preprocessing procedure with two steps for removing diversion arcs as well as reducing the problem size. Computational results of the algorithm on instances of general graphs and grid graphs are reported.

• 한국신재생에너지학회:학술대회논문집
• /
• 한국신재생에너지학회 2008년도 추계학술대회 논문집
• /
• pp.328-331
• /
• 2008

For the purpose of verifying the calculation, the rotor blade shall be subjected to test for the natural frequencies and the static loading within the scope of the assessment. This paper presents a full scale static test procedure of the rotor blade for certification by GL. This blade model is manes as KM24 designed for IEC type IA. The test and calculation values are all most similar. Also there is not founded any marks of cracks or buckling at the shell, and bonding area is T/E, L/E and shear web. Therefore, the test is successful and the rotor blade is satisfied the safety requirement at the maximum design load.