• 한국학교수학회논문집
• /
• 제17권2호
• /
• pp.139-166
• /
• 2014

수학 교육에서 교사의 SMK와 PCK에 대한 역량은 대단히 중요하다. 그들의 SMK와 PCK에 대한 현황 파악과 그에 따른 강화방안이 있다면 더 없이 좋을 것이다. 그러나 교사를 대상으로 교수 역량 강화에 대한 연구를 수행하는 것은 현실적으로 많은 어려움이 있다. 이에 본 연구에서는 23명의 예비 초등교사를 대상으로, 이들의 SMK와 PCK에 대한 현황 파악과 그에 따른 강화방안으로 DGE 탐구활동을 활용하였다. 그 결과 3명의 예비 초등교사가 초기 SMK에서 오류를 나타내었으며, 초기 PCK에서는 설명 및 시각적 확인 위주의 교수 방법으로 문제해결에 필요한 성질을 지도하는 것에 중점을 두었다. 또한 DGE 탐구활동의 실제는 역동성 개념 이해 및 구현의 어려움, $75^{\circ}$ 작도에 집착 및 결과의 일반화, '접는 활동'의 수학적 해석의 어려움, 무난한 GSP 구현의 네 가지로 분류되었다. 이후 초기 SMK에서 나타난 하나의 오류가 수정되었으며 PCK의 방법적 측면에서 GSP를 활용한 시각적 확인이 추가되었다. 이러한 결과로부터 DGE가 예비교사의 SMK와 PCK 강화 도구로 활용될 수 있도록 돕는 몇 가지 교수학적 시사점을 추출할 수 있었다.

• 전자공학회논문지C
• /
• 제36C권9호
• /
• pp.54-65
• /
• 1999

집적도 및 동작속도의 증가에 따라 설계과정에서 전력소모를 예측하는 것이 TTM(time to market)의 감소를 위해 중요한 문제로 대두되고 있다. 본 논문에서는 CMOS 게이트의 최대소모전력을 예측할 수 있는 예측모델을 제안하였다. 이 모델은 최대소모전력에 대한 계산모델이며, CMOS 게이트를 구성하는 MOSFET 및 게이트의 동작특성, 그리고 게이트의 입력신호 특성을 포함하여 형성하였다. 모델의 설정 절차로는, 먼저 CMOS 인버터에 대한 최대소모전력 예측모델을 형성하고, 다입력 CMOS 게이트를 CMOS 인버터로 변환하는 모델을 제안하여, 변환모델로 변환된 결과를 인버터의 최대소모전력 예측모델에 적용하는 방법을 택함으로서 일반적인 CMOS 게이트에 적용할 수 있도록 하였다. 제안된 모델을 $0.6{\mu}m$ 설계규칙으로 설계한 회로의 HSPICE 시뮬레이션 결과와 비교한 결과, 게이트 변환모델은 SPICE와 5%이내의 상대오차율을 보였으며, 최대소모전력 예측모델은 10% 이내의 상대오차율을 보여 충분히 정확한 모델임을 입증하였다. 또한 제안된 모델에 의한 계산시간이 SPICE 시뮬레이션보다 30배 이상의 계산속도를 보여, 전력예측을 위해 본 논문에서 제안한 모델이 매우 효과적임을 보였다.

• 대한지리학회지
• /
• 제28권3호
• /
• pp.213-226
• /
• 1993

본 연구는 서울시 도심재개발을 대상으로 도시공간의 재편과정에 내재하는 정치.경제적 논리를 규명함으로써 도시의 형성과 변화가 사회구조의 산물임을 밝히고자 하였다. 서울시의 도심재개발 사업은 1970년대 전반부터 생산과정의 분화가 이루어짐에 따라 대기업 본사가 도심으로 집중하는 상황에서 시작되었다. 또한 도심재개발은 1980년대 불황국면에 접어들면서 더욱 활발해졌는데, 이는 불황시기의 유휴자본의 문제를 도시공간을 재개발하는데 투자하여 극복하려는 논리에 근거한 것이었다. 그리고 도심재개발은 이를 전체적인 수준에서 주관하고 토지소유권의 통합, 토지수용권의 인정, 제 3개발자 인정, 재정. 세제상의 혜택, 건축규제의 완화 등 법적. 행정적 지원기관인 서울시의 정책과 맞물려 있었다. 그 결과 생활터전으로써의 도심은 업무공간으로 단순화되고, 도심인구의 空洞化現象은 더욱 심화되었다.

• 대순사상논총
• /
• 제43집
• /
• pp.31-66
• /
• 2022

한국에서 공공성 개념은 종교와 다른 사회 영역 간 매개물이 되고 있다. 이런 상황은 종교와 연관된 공공성 개념과 의제에 대한 논의를 요청한다. 이 글에서는 공공성과 신앙을 연결시킨 논의들과 살펴보면서 의제들을 추출하고, 시사점을 모색하는 차원에서 공공성 개념과 관련된 성물 사례들과 천주교 성지화 사례를 분석하였다. 구체적으로, 제II장(공공성과 신앙)에 따르면, 종교의 공공성에 관심을 가진 기독교 신학자들과 사회학자들은 대체로 신앙을 통한 사회 참여와 변화를 전제하거나 지향한다. 이 맥락에서는 기독교 이외 종교의 공공성에 대한 근거, 공적 영역에서 종교간 평등, 공론장에서 종교단체의 위상과 종교 연구자들의 참여 등이 종교 공공성 담론의 의제가 될 수 있다. 제III장(성물과 공공성)에서는 종교 공공성을 '종교 안 공공성'과 '종교 밖 공공성'으로 구분하였다. 그 구분에 따르면, 천주교와 불교의 성물 사례들은 의례가 종교 안 공공성을 확보하는 핵심 요인임을 보여준다. 그리고 불교의 진신사리 논쟁 사례는 종교 밖 공공성이 본래적인 것이 아니라 여러 외부적 논쟁 속에서 구성되는 것이라는 점을 보여준다. 제IV장(성지화와 공공성)에서는 종교 밖 공공성과 연관하여 천주교 성지화 사례들과 그에 대한 다른 종교들의 반대 논리를 분석하였다. 성지화 사례들은 천주교 내부에서 종교 안 공공성을 창출하지만, 여러 종교가 얽힌 공론장에서 종교 밖 공공성에 대한 평가와 논쟁을 유발한다. 실제로 성지화에 반대하는 측은 '천주교가 다른 종교의 유산과 가치 등을 없앤다는 논리'를 공공성의 약화나 종교편향을 유발한다는 논리로 확장해서 대응하고 있다. 이 글은 종교 공공성 개념이 종교에 관한 논의를 다양화하는 매개물이라는 점을 보여준다. 그리고 이 글에서 제시한 종교 공공성과 관련된 의제들, 구성론, 종교 안 공공성과 종교 밖 공공성의 구분 등은 공공성 이면의 배려, 평등, 자유 등의 가치에 주목하게 만든다.

• 항공우주기술
• /
• 제4권1호
• /
• pp.57-65
• /
• 2005

정지궤도위성과 같은 차세대 대형위성의 우주궤도환경 모사를 위해 한국항공우주연구원은 유효직경 Φ8m, 유효길이 L10m의 대형 열진공챔버를 구축해오고 있다. 우주환경은 고진공 환경이며 태양 복사열에 의한 고온 환경 및 극저온이 반복되는 가혹한 환경으로 특징지어진다. 가혹한 우주환경에 의해서 위성체의 주요부품에 기능장애가 초래되기도 하고 이는 결국 임무의 실패로 이어지기도 한다. 위와 같은 이유들로 인하여 위성체는 지상에서 우주환경시험을 거쳐 기능 및 작동상태를 점검해야 하며, 이를 위해서는 우주환경을 모사할 수 있는 우주환경 모사장비가 필요하다. 본 논문에서는 대형 열진공 챔버를 효율적이고, 안정적으로 구동을 위한 모든 제어로직이 포함되어 있다.

• 한국화재소방학회논문지
• /
• 제28권3호
• /
• pp.1-9
• /
• 2014

본 연구에서는 이산화탄소 소화설비의 설계이론, 소방방재청 고시 제2012-11호, KS B 6261과 최적화 기법 중 최대 경사법을 바탕으로 이산화탄소 소화설비의 설계인자를 최적화할 수 있는 설계프로그램을 개발하였다. 설계프로그램은 정립된 로직 및 알고리즘을 바탕으로 C++ 컴파일러를 이용하여 개발하였고 윈도우 운영체계에서 운영되도록 하였다. 이산화탄소 소화설비 설계인자의 최적화는 제한조건으로 구속되어있는 약제유동율, 방출시간 및 설계변수(배관내경 등)를 최소화하였다. 시험장치에 의해 설계프로그램의 성능을 검증하였고, 소방분야에 최적설계의 기틀을 마련하였다. 또한 최적설계인자를 바탕으로 이산화탄소 소화설비를 시공함으로서 소화설비의 효율성을 높이고 화재진압을 극대화할 것으로 본다.

• 대한수학교육학회지:수학교육학연구
• /
• 제26권2호
• /
• pp.159-172
• /
• 2016

이 연구에서는, 이지현(2014; 2015)이 이중단절의 극복을 위해 제안한 무한소수를 통한 실수 도입방식의 특징에 대해 살펴보고, 그 접근방식의 수학적 기초인 Li(2011)의 제안에 대해 분석하고 전통적인 축소구간열을 활용한 실수도입 방식과 비교하였다. 분석의 결과, 이지현과 Li의 제안에서는 직선의 각 점에 대응하는 무한소수 표현을 만드는 과정에서 '순환논리'에 빠질 위험이 있으며, 이에 대한 수학적 그리고 교육적 보완을 위해, 실수의 구성 과정동안 '어떤 실수로의 극한'을 사용하지 않는 조치가 이루어져야함을 알 수 있었다. 이에, 이 연구에서는 기하학적 축소구간공리를 사용하여 무한소수를 수열로 정의하는 전통적 방식이 그에 대한 적합한 보완책이 될 수 있음을 제기하였다.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제15권4호
• /
• pp.268-276
• /
• 2015

A ship's sailing route or plan is determined by the master as the decision maker of the vessel, and depends on the characteristics of the navigational environment and the conditions of the ship. The trajectory, which appears as a result of the ship's navigation, is monitored and stored by a Vessel Traffic Service center, and is used for an analysis of the ship's navigational pattern and risk assessment within a particular area. However, such an analysis is performed in the same manner, despite the different navigational environments between coastal areas and the harbor limits. The navigational environment within the harbor limits changes rapidly owing to construction of the port facilities, dredging operations, and so on. In this study, a support vector machine was used for processing and modeling the trajectory data. A K-fold cross-validation and a grid search were used for selecting the optimal parameters. A complicated traffic route similar to the circumstances of the harbor limits was constructed for a validation of the model. A group of vessels was composed, each vessel of which was given various speed and course changes along a specified route. As a result of the machine learning, the optimal route and voyage data model were obtained. Finally, the model was presented to Vessel Traffic Service operators to detect any anomalous vessel behaviors. Using the proposed data modeling method, we intend to support the decision-making of Vessel Traffic Service operators in terms of navigational patterns and their characteristics.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제11권4호
• /
• pp.217-222
• /
• 2011

Genetic algorithms are one of the most important methods used to solve the Traveling Salesman Problem. Therefore, many researchers have tried to improve the Genetic Algorithm by using different methods and operations in order to find the optimal solution within reasonable time. This paper intends to find a new approach that adopts an improved genetic algorithm to solve the Traveling Salesman Problem, and compare with the well known heuristic method, namely, Kohonen Self-Organizing Map by using different data sets of symmetric TSP from TSPLIB. In order to improve the search process for the optimal solution, the proposed approach consists of three strategies: two separate tour segments sets, the improved crossover operator, and the improved mutation operator. The two separate tour segments sets are construction heuristic which produces tour of the first generation with low cost. The improved crossover operator finds the candidate fine tour segments in parents and preserves them for descendants. The mutation operator is an operator which can optimize a chromosome with mutation successfully by altering the mutation probability dynamically. The two improved operators can be used to avoid the premature convergence. Simulation experiments are executed to investigate the quality of the solution and convergence speed by using a representative set of test problems taken from TSPLIB. The results of a comparison between the new approach using the improved genetic algorithm and the Kohonen Self-Organizing Map show that the new approach yields better results for problems up to 200 cities.

• 한국실내디자인학회논문집
• /
• 제18권5호
• /
• pp.71-79
• /
• 2009

This research understands semantics-system in contemporary space design as a poetic form. It provides that the possibility of various interpretation of space and makes to escape from insipid formal logic of compulsion uniform meaning. In order to unfold this argument, poetic semantics system has to be revealed using conversion of articulation factors in text of space(semantics and syntax). First of all, after setting up the articulation system of space language, we have to understand the conversion of articulation factors that generate a new grammar breaking up the rule of old syntax. And the various expression of form in Contemporary Space design focuses on a poetic expression, that is, the abstraction system fused by space factors(conversion of articulation system). In this method of research to recognize the subject of space in architecture, the importance of interpretation has to be highlighted, as the importance of language is emphasized that intermediates between object and interpretation. The reason to recognize Contemporary space design as a text is that it is a gathering of symbol as a object of interpretation and a mediator. The important issue of this study is to research how and what to transmit by poetic semantics system in contemporary space design. It brings about a poetic problem what it intends to becomes(the problem of meaning operation) in a narrow sense and a interpretational problem what it intends to do(the problem of communication). When we define interpretation the technique of defining a text, it involves the premise of inevitableness of multiple understanding, or the possibility to Interpret variously. In the end the ambiguity of poetic language and the infinity of moaning process as the moaning expansion system in contemporary space design is the flexible measure to solve the self-criticism.