• The Mathematical Education
• /
• v.37 no.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.

• The Korean Society of Law and Medicine
• /
• v.9 no.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.

• Journal of the Korean GEO-environmental Society
• /
• v.4 no.4
• /
• pp.73-84
• /
• 2003

In this study, the economic pile design procedure using the proof test results was proposed. In order to improve the inappropriate pile design routine, the proof test for 6 pile cases were performed and the construction saving effect were analyzed. The saving rate of construction cost with the small diameter piles and the large diameter drilled shafts were 34 - 47 and 0 - 55 %, respectively.

• Communications for Statistical Applications and Methods
• /
• v.3 no.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
• /
• v.31 no.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.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.7 no.3
• /
• pp.139-146
• /
• 2003

The objective of the presented study is to develop an efficient procedure of proof load testing for existing bridges. By analytical methods, some of these bridges are not adequate to carry normal highway traffic. However, the actual load carrying capacity is often much higher than what can be determined by conventional analysis. Proof load testing can reveal the hidden strength reserve and thus verify the adequacy of the tested bridge. Proof load level required for meaningful tests should be sufficiently higher than legal load. In the state of Michigan, the legal 11-axle truck can weigh up to 685 kN. In this study, a combination of two military tanks and two Michigan 11-axle trucks was used. The proof loads were gradually increased to ensure the safety of the test. After each move, measurements were taken. For the considered bridge, stress levels were rather low compared to pre-test analysis results. This is due to incorrect material strength, structural contribution of nonstructural components such as parapets and railings, and partially fixed supports.

• Journal of the Korean Society of Industry Convergence
• /
• v.4 no.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.

• Journal of Korean Society for Quality Management
• /
• v.49 no.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.

• Journal of the military operations research society of Korea
• /
• v.30 no.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.10a
• /
• 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.