• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제14권1호
• /
• pp.66-72
• /
• 2014

In this paper, we establish common fixed point theorem for type(${\beta}$) compatible four mappings with implicit relations defined on an intuitionistic fuzzy metric space. Also, we present the example of common fixed point satisfying the conditions of main theorem in an intuitionistic fuzzy metric space.

• International Journal of Reliability and Applications
• /
• 제8권2호
• /
• pp.175-182
• /
• 2007

In this note, some comments concerning the testing procedures for the problems of stochastic comparison, testing IFR and testing NBU ageing properties are presented showing that the tests proposed in Belzunce, Candel and Ruiz(1998) are cumbersome to calculate and do not have as good asymptotic Pittman efficacies as simpler others already in the literature. This is done via new presentations of the measures on which Belzunce et al. base their tests.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제11권2호
• /
• pp.108-112
• /
• 2011

Kaneko et a1.[4] etc many authors extended with multi-valued maps for the notion of compatible maps in complete metric space. Recently, O'Regan et a1.[5] presented fixed point and homotopy results for compatible single-valued maps on complete metric spaces. In this paper, we will establish some common fixed point theorems using compatible maps in intuitionistic fuzzy metric space.

• 정보보호학회논문지
• /
• 제4권2호
• /
• pp.39-54
• /
• 1994

In cryptography, the notion of zero-knowledge is important. It is also related to complexity theory. In this paper we briefly survey the zero-knowledge proofs in the literature. 1987 Maathematics Subject Classification: 69D56, 69E30, 69F21, Keywords and phrases: interactive proofs, zero-kniwledge, cryptography, complexity theiry.

• 한국학교수학회논문집
• /
• 제9권4호
• /
• pp.575-595
• /
• 2006

본 연구는 교육대학교의 교육현장에서 '놀이수학' 강의를 실행하고, 이를 통해 예비초등교사와 초등학교 수학교육에 적용할 수 있는 놀이수학에 대해 살펴봄으로써 이들이 초등학교 수학수업을 준비함에 있어 새로운 동기와 흥미를 가질 수 있도록 하는 것을 목적으로 한다. 연구대상으로 선정된 교육대학교 3학년 43명의 학생들은 강의시간을 통해 조작교구와 구체물을 활용한 놀이수학활동을 직접 경험해보고, 이러한 놀이수학의 주제들이 초등학교 수학의 어떤 영역과 학년에서 적용가능한지를 살펴보았다. 또한 초등학교 수학수업에 적용할 수 있는 놀이수학 학습자료를 개발하는 등 예비초등교사로서 이후 수학수업에서 놀이수학을 활용하는데 필요한 기초적인 지식을 다루고자 하였다.

• 한국항해학회지
• /
• 제1권1호
• /
• pp.27-44
• /
• 1977

The Maneuvering Indices of a ship are the values that decide the quantity of her motion in turning when her rudder is turned over to an angle to the starboard or the port. They consist of two kinds of indices, one of which is called index K and the other, index T. Index K decides a ship's turning ability and index T does the length of time delay of a normal turning motion after her rudder has finished the turn of an ordered angle. Generally, the values of the indices are calculated through some mathematic formulas with figures of her heading degrees recorded at a fixed time intervals during her Z test. The values of the same kind index of a ship appear differently according to the ship'sspeed, trim, rudder angle and loaded condition, etc. In this paper, the author analyzed all the amthematic formulas required to calculate the values of the indices in their forming process and examined them from the point of mathematics and dynamics and also actually figured out the values of maneuvering indices of the M.S. "HANBADA", the training ship of Korea Merchant Marine College through her Z test. The author supposed a case in which two same typed ships as the "HANBADA" in size, shape and conditions were approaching each other in meeting end on situation and each ship turned her rudder hard over to the starboard respectively when they approached to the distance of 3 times as long as the ship's length. The author worked out mathematic formulas calculating forward and transverse ship's motions within the above mentioned situation for the quantative analysis of the collision avoding action to certify whether they are in collision status or not. Applying the calculated values of the maneuvering indices of the "HANBADA" to the motion calculating formulas, the author found out the two ships were passing over each other with the clearing distance o 39m between their port quarters. With the above mentioned examinations and explanations, the author demonstrated that a ship's motion in any collision avoiding action can be shown with quantities of time and distance within reliable limit.istance within reliable limit.

• 한국학교수학회논문집
• /
• 제18권3호
• /
• pp.281-309
• /
• 2015

본 연구는 또래교수 학습법을 활용한 수학 교수학습과정에서 집단별로 수학 성적이 다른 또래학습자의 3개의 집단에서 각 담론의 공통점과 차이점을 분석하여 이 학습법을 활용하고자 하는 교수자에게 교수학적 시사점을 제공하고자 한다. 이러한 목적 달성을 위해 수학 성적 최상(A) 상(B) 중(C) 하(D)위 집단에서 연구 참여자를 각각 한명씩 선정하여 수학 학업 성취도가 가장 높은 학생이 또래교수자가 되고, 나머지 3명의 학생들이 또래학습자가 되어 A-B, A-C, A-D의 3개의 집단을 구성하였다. A-B, A-C, A-D의 각 집단별 의사소통을 통해 자신의 생각을 설명하는 기회를 가지도록 하였으며, 이를 촬영한 비디오 자료와 사전 사후 활동지를 분석한 질적 사례 연구를 실시하였다. 담론 전사본과 활동지를 열 네개의 문제에 대하여 구조화된 자료를 비교 대조하여 세 집단에서 보이는 공통점과 차이점에 대하여 분석하였다. 본 연구는 또래교수자에게 또래교수 학습법이 어떤 도움을 주고 있는지에 대한 구체적인 장면을 제시하고 있으며, 또래학습자의 성적 차이가 집단 별로 다를 때 수학적 담론의 특징이 다양하게 나타나는 것을 보여준다. 따라서 또래교수의 집단 구성을 할 때 성적의 차이를 고려하여 구성할 필요가 있음을 제안하여 또래교수의 집단 구성 방법에 실질적인 도움을 줄 수 있을 것으로 기대한다.

• 한국학교수학회논문집
• /
• 제14권1호
• /
• pp.31-42
• /
• 2011

수학교사가 수학교육 개선을 위해 NCTM가 제안한 Standards를 적용하여 개발된 교육과정을 수학 수업에서 어떻게 적용하는지 그리고 그 적용과정에서 교사의 조정이 학생들의 수 학 학습에 어떤 영향을 미치는지 살펴보고 분석하는 것이 이 연구의 목적이다. 이를 위하여 미국 초등교사 8명의 수업관찰 기록과 관찰된 수업에서 활용된 Everyday Mathematics의 교과서와 교사용 지도서 그리고 면담자료를 수집하고 분석하였다. 수업관찰 기록과 Everyday Mathematics의 교과서와 교사용 지도서는 활동과제 (task)별로 코딩하고 분석하였다. 또한 교육과정에 나타난 활동과제, 교사가 구성한 활동과제, 실제 수업에 적용된 활동 과제를 각각 분류하고 분석하였다. 그 결과 교사들의 구성과 적용에서 교육과정에서 제시한 수준과 다르게 나타난 활동과제를 찾을 수 있었다. 또한 이러한 활동과제들의 인지 처리수요 (cognitive demand) 수준이 감소되는 것으로 나타났다. 그러한 변화 혹은 조정은 수업 시간에 학생들의 수학학습에 영향을 주는 것으로 드러났다. 학생들은 수학의 개념을 개념적으로 혹은 의미 있게 사고하고 이해할 수 있는 경험을 하지 못하고 오히려 절차적으로 문제를 풀고 때로는 암기를 통해 문제를 해결하는 경험을 더 많이 하는 것으로 나타났다.

• 한국수학사학회지
• /
• 제19권4호
• /
• pp.31-62
• /
• 2006

본 논문에서는 먼저 수학사를 수업에 활용하고자 하는 이론적 근거를 여러 가지 교육적 측면에서 고찰한다. 아울러 수학적 인식에 관한 개인적인 발달과 역사적 발달 사이의 관계를 토대로 수학사 활용의 교육적 유용성을 가장 강력하게 이론적으로 뒷받침하는 역사 발생 원리의 생성, 전개 과정 및 그 의의와 한계 등을 논한다. 또한 여러 가지 측면에서 이론적 근거가 마련되고 있는 수학사 활용에 대한 긍정적인 입장에서 구체적인 방안을 기준과 함께 제시하였다. 다음으로 지금까지 논의된 수학 영재 프로그램 개발의 방향과 실제를 개관하고 수학사를 접목하는 것에 대한 근거를 밝혔다. 마지막으로 수학사 활용의 예를 미분개념의 이해를 중심으로 제시하였다.

• Journal of Power Electronics
• /
• 제16권6호
• /
• pp.2119-2128
• /
• 2016

Due to detection and control errors, some high-frequency harmonics with voltage-source characteristics cause circulating currents in modular inverters. Moreover, the circulating currents are usually affected by the output filters (OF) of each module due to their filter and resonance properties. The interaction among the circulating currents in the modules increase the power loss and reduce system stability and control precision. Therefore, this paper reports the results of a study on the SPWM high-frequency harmonics circulating currents for a double-module VSI. In the paper, an analysis of the circulating-current circuits is briefly described. Next, a mathematic model of the single-module output voltage based on the carrier frequency of SPWM is built. On this basis, through mathematic modeling of high-frequency harmonic circulating currents, the formation mechanism and distribution characteristics of circular currents and their influences are studied in detail. Finally, the influences of the OF on the circulating currents are studied by mainly taking an LC-type filter as an example. A theoretical analysis and experimental results demonstrate some important characteristics. First, the carrier phase shifting of the SPWM for each module is the major cause of the SPWM harmonic circulating currents, and the circulating currents are in an odd distribution around n-times the carrier frequency $n{\omega}_s$, where n = 1, 2, 3, ${\ldots}$. Second, the harmonic circular currents do not flow into the parallel system. Third, the OF can effectively suppress the non-circulating part of the high-frequency harmonic currents but is ineffective for the circulation part, and actually reduces system stability.