• 제목/요약/키워드: proof procedure

검색결과 61건 처리시간 0.026초

중학교 수학에서 증명지도에 관한 연구 (A Note on Teaching of Proof in Middle School Mathematics)

  • 김흥기
    • 한국수학교육학회지시리즈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.

  • PDF

의료과오소송 입증책임 관련 입법의 동향 (Legislation Trend Referring to Burden of Proof in Medical Malpractice Lawsuit)

  • 조형원
    • 의료법학
    • /
    • 제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.

  • PDF

말뚝기초의 경제적인 설계절차에 의한 건설비용 절감 사례 연구 (Case Study for Construction Cost Saving by means of Economic Pile Design Procedure)

  • 최용규;임종석;권오균
    • 한국지반환경공학회 논문집
    • /
    • 제4권4호
    • /
    • pp.73-84
    • /
    • 2003
  • 본 연구에서는 검증시험결과를 활용한 말뚝기초의 경제적인 설계절차를 제안하였다. 그리고 비경제적인 말뚝기초의 설계관행을 해소하기 위하여 6개 사례를 선정하여 설계를 목적으로 한 말뚝 정재하시험 (즉, 검증시험)을 수행하고, 검증시험 결과를 활용하여 건설비용 절감효과를 분석하였다. 말뚝기초 건설비용 절감효과는, 말뚝의 하중지지능력을 확인할 수 있는 소구경 말뚝에서는 34 - 47 %로 나타났으며, 말뚝의 최대하중지지능력 확인이 곤란한 대구경 말뚝에서는 0 - 55 %로 나타났다.

  • PDF

An Alternative Proof of the Asymptotic Behavior of GLSE in Polynomial MEM

  • Myung-Sang Moon
    • 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.

  • PDF

피타고라스 정리의 유클리드 증명에 관한 일반화 (A study on the generalization for Euclidean proof of the Pythagorean theorem)

  • 정영우;김부윤;김동영;류동민;박주형;장민제
    • 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.

기지하중을 받는 교량구조물의 현장 계측 및 해석에 따른 응력분포 연구 (Analytical and Field Investigation of Bridge Stress Distribution under Proof Load)

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

항공기용 임무 통제 컴퓨터(General Avionic Computer)의 품질인증시험절차 수립에 관한 연구 (Study of the Qualification Test Procedure for the General Avionic Computer for Aircraft)

  • 조장현
    • 한국산업융합학회 논문집
    • /
    • 제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.

  • PDF

반응표면분석을 이용한 PoN 블록체인 시스템 합의품질 개선 (Improvement of Consensus Quality for PoN Blockchain System Using Response Surface Methodology)

  • 최진영;김영창;오진태;김기영
    • 품질경영학회지
    • /
    • 제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.

네트워크 전환문제에 대한 타부 탐색 해법 (A Tabu Search Algorithm for the Network Diversion Problem)

  • 양희원;박성수
    • 한국국방경영분석학회지
    • /
    • 제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.

750kW 로터 블레이드 인증시험 (Proof Test of a 750kW Wind Turbine Blade)

  • 김명진;성대영;박병준
    • 한국신재생에너지학회:학술대회논문집
    • /
    • 한국신재생에너지학회 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.

  • PDF