• Korean Journal of Mathematics
• /
• 제21권1호
• /
• pp.29-34
• /
• 2013

Power-Armendariz is a unifying concept of Armendariz and commutative. Let R be a ring and I be a proper ideal of R such that R/I is a power-Armendariz ring. Han et al. proved that if I is a reduced ring without identity then R is power-Armendariz. We find another direct proof of this result to see the concrete forms of various kinds of subsets appearing in the process.

• Journal of the Korean Statistical Society
• /
• 제31권1호
• /
• pp.121-128
• /
• 2002

In this paper we provide a new proof of the asymptotic distributions of LAD estimators using the martingale limit theorem and show the efficiency of LAD estimators in a stationary AR(1) model setting.

• Structural Engineering and Mechanics
• /
• 제35권2호
• /
• pp.205-215
• /
• 2010

Recently, earthquake proof technology has been widely applied to both new and existing structures and bridges. The analysis of bridge systems equipped with structural control devices, which possess large degrees of freedom and nonlinear characteristics, is a result in time-consuming task. Therefore, a piecewise exact solution is proposed in this study to simplify the seismic mitigation analysis process for bridge systems equipped with sliding-type isolators. In this study, the simplified system having two degrees of freedom, to reasonably represent the large number of degrees of freedom of a bridge, and is modeled to obtain a piecewise exact solution for system responses during earthquakes. Simultaneously, we used the nonlinear finite element computer program to analyze the bridge responses and verify the accuracy of the proposed piecewise exact solution for bridge systems equipped with sliding-type isolators. The conclusions derived by comparing the results obtained from the piecewise exact solution and nonlinear finite element analysis reveal that the proposed solution not only simplifies the calculation process but also provides highly accurate seismic responses of isolated bridges under earthquakes.

• 한국기계가공학회지
• /
• 제9권5호
• /
• pp.76-82
• /
• 2010

In this study, we carried out to evaluate the shock-proof of a large scale motor for the naval vessel using dynamic design analysis method (DDAM) and full transient dynamic analysis. Analytical models for main assemblies (motor frame, rotor and stator assembly) were consisted of the tetrahedral solid elements and the equipments which installed in the upper side of the motor were substituted the mass elements. And we also modelled resilient mounts of a motor using the beam elements with appropriate directional stiffness. The DDAM was conducted according to NRL memorandum report 1396 and the full transient dynamic analysis was performed applying directional triple half triangle shock wave to the motor using ANSYS 12. As a result, we could compare of the results according to each analytic method and find the motor to satisfy the design criteria of the maximum stress and deformation.

• 대한수학교육학회지:수학교육학연구
• /
• 제16권4호
• /
• pp.327-344
• /
• 2006

본 연구는 경기도의 A, S시 교육청 과학영재교육원에서 교육을 받고 있는 초등학교 6학년 학생들이 기하 영역의 특정 과제를 해결하는 과정에서 보여주는 증명의 수준과 증명의 구성 요소에 대한 이해 정도를 확인하는 것이다. 이를 위해 동일한 시기에 선발되어 함께 교육프로그램에 참여하고 있는 20명 중 표현력이 우수한 3명의 학생을 담임교수로부터 추천 받아 질적 연구 방법을 통해 분석하였다. 각 학생들에게 Clairaut의 기하 과제 중 하나인 '두 직사각형의 넓이를 합한 것과 동일한 넓이를 갖는 하나의 직사각형을 작도하시오'라는 과제를 제시하고, 그것을 해결하는 과정에서 나타나는 증명의 수준과 증명의 구성 요소에 대한 이해와 관련하여 초등 수학영재들이 보여주는 사고의 특징을 분석하였다. 자료 분석은 Waring(2000)이 제시한 증명 수준과 Galbraith(1981), Dreyfus & Hadas(1987), 서동엽(1999) 등이 제시한 증명의 구성 요소에 기초하여 이루어졌다. 그 결과, 4가지의 의미 있는 결과를 도출하였고 이를 바탕으로 수학영재교육에 주는 시사점을 논의하였다.

• 한국콘텐츠학회논문지
• /
• 제19권9호
• /
• pp.476-484
• /
• 2019

RFID 요킹증명은 한 쌍의 태그가 동시에 스캔 되었는지를 증명한다. 단일 리더에 의해 동시에 스캔 된 태그들은 서로 인접해 있기 때문에, 요킹증명은 태그가 부착된 객체들의 물리적 인접성을 검사해야 하는 응용에서 사용된다. 현재까지 제안된 대부분의 요킹증명 기법들은 인접한 태그에 관한 사전정보가 필수적이다. 만약 인접한 태그에 관한 정보를 수집하는 과정에서 오류가 발생하면, 이후의 증명들은 모두 검증에 실패하게 된다. 그러나 현재까지 인접한 태그에 관한 정보를 얻기 위한 구체적인 방법을 제시한 연구는 아직 없다. 이 연구에서 나는 요킹증명 기법을 위한 인접태그 정보 획득 기법인 TPIA을 제안한다. 제안기법은 스캐닝영역 결정과 스캐닝영역 검증의 두 단계로 구성된다. 스캐닝영역 결정 단계에서는 태그들의 위치와 전송범위를 고려하여 태그들을 스캔할 영역의 크기와 위치를 결정하며, 스캐닝영역 검증 단계에서는 고정된 위치의 참조태그를 사용하여 태그 스캐닝이 스캐닝영역 안에서 수행되었는지 여부를 검증한다. 나는 분석에서 제안하는 스캐닝영역이 정상적인 인접태그 정보의 획득을 보장하며, 스캐닝영역 검증이 스캐닝영역의 변형과 이탈을 감지하는 것을 보인다.

• 대한전기학회논문지:전기물성ㆍ응용부문C
• /
• 제50권7호
• /
• pp.346-350
• /
• 2001

We present a surface-micromachined polysilicon capacitive accelerometer using unevenly distributed comb electrodes. The unique features of the accelerometer include a perforated proof-mass and the inner and outer comb electrodes with uneven electrode gaps. The perforated proof-mass reduces stiction between the structure and the substrate and the unevenly distributed electrodes shorten the electrode length required for a given sensitivity. The polysilicon accelerometer has been fabricated by the conventional 6-mask surface-micromachining process and showes a sensitivity of 1.03mV/g with a hybrid detection circuitry.

• 대한수학교육학회지:학교수학
• /
• 제10권4호
• /
• pp.625-648
• /
• 2008

본 연구는 중학교 3학년을 대상으로 Branford의 역사 발생적 기하교육을 활용하여 피타고라스 정리의 증명을 실제로 지도하여, 사례연구 과정에서 나타나는 학생들의 인식의 변화를 살펴보고, 이러한 방법이 학생들의 인식 변화에 어떠한 도움을 주는지에 대해 알아보고자 하였다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제48권4호
• /
• pp.387-398
• /
• 2009

In this paper, we investigated the influence of technology, which gave an impact on students through the process of teaching & learning for the proof of an additive law of sine function in the mathematics education for the gifted. We chose students who were taking a course in enrichment mathematics at Science Education Institute for the Gifted in Mokpo National University, and analyzed their processes of a mathematical inference or conjecture, an algebraic description and a proof by visualization using technology. We found the following facts. That is, the visualization using technology is helpful to the gifted students in understanding principles and concepts of mathematics by intuition. Also, it is helpful to ones verifying various cases and generalizing principles. But, using technology can be a factor that disturbs learning of students who are clumsy with operating technology.

• 의료법학
• /
• 제8권1호
• /
• pp.179-211
• /
• 2007

To succeed the claim of medical malpractice litigation, the patient as a plaintiff should establish the medical fault of a physician as a defendant, and the causation between the fault and damages. Because of the extraordinary nature of medical province, however, this application of a legal principles is rigorous with the patient. In addition, given the causation between the validation of physician's fault and damage is not attested, patient is not awarded anything. In order to overcome a difficulty of patient's verification and ensure the right to fair process, it was demonstrated the lightening of burden of proof in medical malpractice litigation and the acceptance of the responsibility for an illegal act in a prescribed range in the absence of the causation between the physician's fault and damage. This paper deals with the judgement of causation and burden of proof in medical malpractice litigation, and the acceptance of responsibility in the absence of the causation between the physician's fault and damage. Also, this study recommends a tendency of our precedent through the comparative case method of ours and Japan.