• Communications of Mathematical Education
• /
• v.19 no.3 s.23
• /
• pp.485-502
• /
• 2005

한 가지 문제에 대한 다양한 풀이 방법을 탐색하는 것은 수학적 대상의 성질을 발명, 일반화하는 것 뿐만 아니라, 학생들의 지적인 유창성 및 유연성 계발, 수학에 대한 심미적 가치의 함양을 위한 의미 있는 교수학적 경험을 제공할 수 있을 것이다. 본 연구에서는 고등학교 '미분과 적분'에 제시된 사인의 덧셈정리에 대한 다양한 증명 방법을 제시하고, 이를 분석하여 수학교수학적으로 의미로운 시사점을 도출하였다. 이를 통해, 사인의 덧셈정리에 대한 새로운 증명 방법의 탐색, 사인의 덧셈정리의 수학교수학적 활용의 다양한 가능성을 모색할 수 있는 기초자료를 제공할 것이며, 제시된 증명 방법들은 '미분과 적분'의 지도에서 심화학습 자료로도 활용할 수 있을 것이다.

• Journal of Korean Society of Transportation
• /
• v.25 no.6
• /
• pp.129-140
• /
• 2007

The planning procedure of a transit operation consists of design, operation, and evaluation according to the research characteristics. There are some review studies on the operation and evaluation procedure, but the research on the design procedure has not yet been organized systematically. In this study, the research on transit system design was reviewed and the model structure and its solution method were arranged. The decision variables of the design procedure are network structure, line spacing or position, stop spacing, dispatching headway, and fleet size. In the analytical research on design procedure, system total cost is generally used as the objective function. System total cost is comprised of user cost, which is the sum of user access, waiting, and travel cost, and operating cost. Total cost of the transit system, used as the objective function, has the unique minimum because it is differentiable. There is a certain decision variable that makes the derivative of the objective function equal to zero and the second derivative of the objective function is positive. Therefore the decision variable that makes the first derivative of the objective function zero is the optimum that minimizes the objective function, and each of the cost components of the objective function become the same. This study is expected to help understanding about the research on the design procedure of transit operation planning and to help be a catalyst for relevant research.

• Journal of KIISE:Computing Practices and Letters
• /
• v.8 no.5
• /
• pp.607-617
• /
• 2002

IETF has proposed CNRP that is a protocol exchanging CNRP objects between server and client for resolving a common name to URIs of the desired Internet resouces. CNRP enables users to access various services via the integrated interface, to easily get the desired resources, and to reuse the results not as the data but as the information. Whereby these advantages, CNRP will be generally used for the integration of the various Internet services or the applications where the resolution of common name is needed. But, CNRP specification doesn't describes the practical implementation method for server and client. Though a few prototype systems are developed in some researches using CNRP, they are not enough to be generally used for the various Internet applications because they doesn't include all objects specified in CNRP specification or they construct systems with one server. So, this Paper proposes the practical implementation method for CNRP server/client through analyzing and solving the problems occurred when implementing them, and implements all objects specified in CNRP specification. This paper also verifies the feasibility of the proposed method by developing the prototype system of the company name resolution service using the CNRP server/client implemented in this study. The CNRP server/client implemented in this paper are used to develop various CNRP application systems.

• The Science & Technology
• /
• v.29 no.4 s.323
• /
• pp.68-69
• /
• 1996

숫자를 헤아리는 방법은 민족마다 또 문화권에 따라 서로 다르다. 서양에는 피코, 마이크로, 밀리, 윈, 헌드레드, 밀리언 등이 있고 동양에서는 일, 십, 백, 천, 억, 조, 경 등을 기본적인 숫자의 단위로 쓰고 있다. '불가사의', '무량대수' 등도 숫자의 단위이며 소수점 이하는 푼, 리를 비롯해 '순식', '찰나' 등 다양하다. 우리가 흔히 쓰는 '순식'은 숨을 한번 쉬는 3초를, 그리고 불교에서의 '일겁'은 우주의 일생을 일컫는다. 이렇듯 흥미롭고 신비로운 숫자의 세계를 풀어본다.

• Korean Architects
• /
• s.502
• /
• pp.74-77
• /
• 2011

그의 나이가 일흔을 넘었다는 사실을 그가 의식하지 않고 살아가는 것처럼 나도 그를 일흔이 넘은 노건축가라고 생각해본 적이 없다. 오히려 그의 작품은 싱싱하고 젊고 도발적이기 까지 하다. 젊은 건축가들에게 '너희들 나만큼 할 수 있어' 라고 뽐내는 듯이 말이다. 아마도 그가 미국에서 가구 만들기, 집지어 팔아보기 등의 일반건축가들도 좀처럼 해보기 힘든 영역을 넘나들어본 자신감에서 비롯된 것이라고 생각한다. 그러면서도 한국에서 건축가 혼자 사무실을 꾸려가는 것이 얼마나 힘든 일인지 이미 깨닫고 재능있는 젊은 건축가들과 파트너십으로 운영하는 조직을 이미 만들어 낸 것은, 역시 내용 중에 스스럼없이 그가 밝히는 돈을 벌고자하는 목적보다는 최소한의 체면을 유지하며 건축사무실을 운영하고자 하는 묘수풀이의 한 방법이라고 생각한다. 앞으로도 어떤 새로운 건축을 만들어 우리를 깜짝 놀라게 할지 기대가 된다.

• Journal for History of Mathematics
• /
• v.22 no.4
• /
• pp.29-40
• /
• 2009

we know that Zeng Cheng Kai Fang Fa is the generalization of the method of square roots and cube roots of ancient through the investigation of China mathematics. In this paper, we have research on traditional solutions equations of China mathematics and the development solutions of equations used by Chosun mathematicians.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.05a
• /
• pp.350-352
• /
• 2013

야외에서 촬영된 영상은 안개나 연무 등에 의한 화질 저하가 나타난다. 이를 해결하기 위하여 안개제거를 위한 여러 장의 영상, 추가정보를 이용하는 안개제거 방법과 한 장의 영상을 이용한 안개제거 방법들이 제안되어왔다. 본 논문에서는 한 장의 영상에서 안개나 연기를 제거하여 가시성이 향상된 영상을 제공하는 방법을 제안한다. 이를 위하여 본 논문에서는 안개영상 모델에 대한 2차원 방정식 풀이를 통해 원 영상에 안개가 어느 정도의 비율로 섞여있는지를 나타내는 전달률(transmission rate)을 계산하고, 계산된 전달률을 이용하여 안개가 제거된 영상을 구한다. 제안된 방식은 기존 방법들과 달리 필터를 사용하지 않고 화소단위의 연산만을 사용하므로 후광효과가 발생하지 않고, 연산량이 매우 적어 실시간 처리가 가능하다.

• Journal of Elementary Mathematics Education in Korea
• /
• v.10 no.2
• /
• pp.195-219
• /
• 2006

This study was proposed to analyze mathematical communication activity and mathematical attitudes while students were solving project problem and to consider how the conclusions effects mathematics education. This study analyzed through qualitative research method. The questions for this study are following, First, how does the process of the mathematical communication activity proceed during solving project problem in a small group? Second, what reactions can be shown on mathematical attitudes during solving project problem in a small group? Four project problems sampled from pilot study in order to examine these questions were applied on two small groups consisting of four 5th grade students. It was recorded while each group was finding out the solution of the given problems. Afterward, consequences were analyzed according to each question after all contents were noted. Consequently, conclusions can be derived as follows. First, it was shown that each student used different elements of contents in mathematical communication activity. Second, during mathematical communication activity, most students preferred common languages to mathematical ones. Third, it was found that each student has their own mathematical attitude. Fourth, Students were more interested in the game project problem and the practical using project problem than others.

• Communications of Mathematical Education
• /
• v.33 no.3
• /
• pp.377-394
• /
• 2019

The purpose of this study is to scrutinize the characteristics of a teacher's discursive competence on the basis of mathematical competencies. For this purpose, we observed all semester-long classes of a middle school teacher, who changed her own teaching methods for the last 20 years, collected video clips on them, and analyzed classroom discourse. Data analysis shows that in problem solving competency, she helped students focus on mathematically important components for problem understanding, and in reasoning competency, there was a discursive competence which articulated thinking processes for understanding the needs of mathematical justification. And in creativity and confluence competency, there was a discursive competence which developed class discussions by sharing peers' problem solving methods and encouraging students to apply alternative problem solving methods, whereas in communication competency, there was a discursive competency which explored mathematical relationships through the need for multiple mathematical representations and discussions about their differences. These results can provide concrete directions to developing curricula for future teacher education by suggesting ideas about how to combine practices with PCK needed for mathematics teaching.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2005.05a
• /
• pp.952-959
• /
• 2005

웨이퍼 가공 라인에서 좋은 스케줄링은 생산량을 높일 뿐 아니라, 재공 수준을 낮게 유지함으로써 가공 중에 발생하는 불량의 발견을 신속하게 하고, 라인 내 particle 발생의 원인이 되는 작업자 수를 감소시켜 수율 향상에도 도움을 준다. 이를 위하여 본 연구는 적정한 납기 만족도와 재공 수준을 유지하며 생산량을 최대화하는 스케줄링 방법을 개발한다. 본 연구에서 사용된 MIP 모델은 pre-bounding 방법을 이용해서 풀이 시간을 단축하였고 재공 밸런스와 장비할당에 대한 통합 모델링으로 상호간 원활한 절충이 가능하게 했다. 또한 상위 시스템인 플래닝과의 적절한 연계 방법에 대해서도 연구하였다.