• 한국학교수학회논문집
• /
• 제19권1호
• /
• pp.1-19
• /
• 2016

본 연구는 오늘날 사용되는 식의 표기를 괄호 생략의 관점에서 고찰하였다. 먼저 연산 기호 생략 규칙과 관련한 초 중등 교과 내용을 검토해본 결과, '$48{\div}2(9+3)$의 계산 결과는 얼마인가?'라는 물음에 답할 명시적 근거를 찾기 어려웠다. 다음 표기에 관한 근본적인 탐구를 위해 전위 표기법, 중위 표기법, 후위 표기법의 특징을 살펴보고, 중위 표기법이 갖는 장 단점을 확인하였다. 동시에 표기법의 발전을 괄호 생략의 관점에서 조명해 보았다. 이러한 고찰로부터 연산 생략은 곧 함수의 이미지라는 관점이 괄호 생략을 원활하게 해석할 수 있는한 방법임을 확인할 수 있었다. 이를 통해 역사 발생적 원리에 따른 수학적 표기 지도, 중위 표기법의 선택 맥락 이해와 난점 극복을 위한 노력의 재현, 연산자를 포함한 생략된 괄호를 찾아 근본 식을 파악하는 활동, 곱셈이 생략된 경우를 함수의 이미지로서 간주하는 관점의 명시 등을 포함한 몇 가지 지도방안을 제안하였다.

• 한국초등수학교육학회지
• /
• 제2권1호
• /
• pp.23-40
• /
• 1998

지금 까지 여러 세기 동안 초등학교에서의 수학은 기초적인 연산과 같은 지식의 향상에 중점을 둔 교육이었다. 이제는 정보화 시대에 알맞게 계산은 빠르고 정확하게 수행할 수 있는 도구를 사용하고 논리적 사고력과 창의력을 기를 수 있는 시간으로 변화해야 할 시대가 되었다. 교육 현장에 최초로 계산기와 컴퓨터가 수학 학습의 보조 도구로 등장하였을 때, 많은 사람들은 이들의 사용이 학생들의 계산 능력의 저하와 두뇌 발달 등에 부정적인 영향을 가져올 것이라는 우려를 하였다. 그러나 최근 초ㆍ중등학교에서 계산기를 사용하여 나타난 연구결과에 따르면 예상보다는 바람직한 교육의 성과를 얻고 있다는 연구 결과가 계속 발표되고 있다. 이제 논의 초점은 계산기를 어떻게 활용하는 것이 보다 적극적이고 효과적인가에 대한 방향으로 변화가 있어야 한다. 그러한 변화를 유도하기 위해서 본 연구에서는 가장 강력한 교수ㆍ학습매체인 교과서에서 계산기를 활용할 수 있는 문제의 유형을 제시하고 이를 활용할 수 있도록 하였다. 상당수의 학생들이 펜티엄급 컴퓨터를 사용하고 있는 현실에서 전통적인 학습만을 고집한다는 것은 이제는 바꿔져야 할 때가 되었다.

• Journal of Mechanical Science and Technology
• /
• 제19권5호
• /
• pp.1072-1079
• /
• 2005

Conceptual design is the first step in the overall process of product design. Its intrinsic uncertainty, imprecision, and lack of information lead to the fact that current conceptual design activities in engineering have not been computerized and very few CAD systems are available to support conceptual design. In most of the current intelligent design systems, approach of principle synthesis, such as morphology matrix, bond graphic, or design catalogues, is usually adopted to deal with the concept generation, in which optional concepts are generally combined and enumerated through function analysis. However, as a large number of concepts are generated, it is difficult to evaluate and optimize these design candidates using regular algorithm. It is necessary to develop a new approach or a tool to solve the concept generation. Generally speaking, concept generation is a problem of concept synthesis. In substance, this process of developing design candidate is a combinatorial optimization process, viz., the process of concept generation can be regarded as a solution for a state-place composed of multi-concepts. In this paper, genetic algorithm is utilized as a feasible tool to solve the problem of combinatorial optimization in concept generation, in which the encoding method of morphology matrix based on function analysis is applied, and a sequence of optimal concepts are generated through the search and iterative process which is controlled by genetic operators, including selection, crossover, mutation, and reproduction in GA. Several crucial problems on GA are discussed in this paper, such as the calculation of fitness value and the criteria for heredity termination, which have a heavy effect on selection of better concepts. The feasibility and intellectualization of the proposed approach are demonstrated with an engineering case. In this work concept generation is implemented using GA, which can facilitate not only generating several better concepts, but also selecting the best concept. Thus optimal concepts can be conveniently developed and design efficiency can be greatly improved.

• 한국측량학회지
• /
• 제22권2호
• /
• pp.137-143
• /
• 2004

EDM 기계는 1950년대 최초로 소개된 이후 전자 및 광학기술의 발전에 힘입어 소형화, 고정밀화 됨으로써 현재에는 측량뿐만 아니라 정밀 과학 계측 분야에서까지 널리 활용되고 있다. EDM 기계에 대한 원리의 이해 및 표준화된 관측 방법에 대한 이해와 더불어 정밀도에 대한 이해는 측정 결과의 신뢰성 향상 및 산업측량, 시공측량 등의 활용 분야에 있어서 2차적인 생산물의 품질 향상을 위해서 매우 중요하다 할 수 있다. 이러한 EDM 기계의 정밀도 유지를 위해서 규칙적이고 주기적인 점검이 이루어져야 하며, 단순하면서도 정밀한 점검 방법이 요구된다. 본 논문에서는 기선거리 관측 데이터로부터 최소자승법을 이용하여 간단하게 EDM 기계의 보정계수인 영점오차와 축척오차를 동시에 결정하는 방법을 제시하였고 산정된 보정계수를 이용하여 EDM 기계의 정밀도에 따른 검교정을 위한 검정 방법을 제시하였다.

• 한국재료학회지
• /
• 제19권5호
• /
• pp.281-287
• /
• 2009

ZnO thin film was grown on a sapphire single crystal substrate by plasma assisted molecular beam epitaxy. In addition to near band edge (NBE) emissions, both blue and green luminescences are also observed together. The PL intensity of the blue luminescence (BL) range from 2.7 to 2.9 eV increased as the amount of activated oxygen increased, but green luminescence (GL) was weakly observed at about 2.4 eV without much change in intensity. This result is quite unlike previous studies in which BL and GL were regarded as the transition between shallow donor levels such as oxygen vacancy and interstitial zinc. Based on the transition level and formation energy of the ZnO intrinsic defects predicted through the first principle calculation, which employs density functional approximation (DFA) revised by local density approximation (LDA) and the LDA+U approach, the green and blue luminescence are nearly coincident with the transition from the conduction band to zinc vacancies of $V^{2-}_{Zn}$ and $V^-_{Zn}$, respectively.

• 한국재료학회:학술대회논문집
• /
• 한국재료학회 2012년도 춘계학술발표대회
• /
• pp.73-73
• /
• 2012

Modern technology-driven society largely relies on hybrid electric vehicles or electric vehicles for eco-friendly transportation and the use of high technology devices. Lithium rechargeable batteries are the most promising power sources because of its high energy density but still have a challenge. Graphite is the most widely used anode material in the field of lithium rechargeable batteries due to its many advantages such as good cyclic performances, and high charge/discharge efficiency in the initial cycle. However, it has an important safety issue associated with the dendritic lithium growth on the anode surface at high charging current because the conventional graphite approaches almost 0 V vs $Li/Li^+$ at the end of lithium insertion. Therefore, a fundamental solution is to use an electrochemical redox couple with higher equilibrium potentials, which suppresses lithium metal formation on the anode surface. Among the candidates, $Li_4Ti_5O_{12}$ is a very interesting intercalation compound with safe operation, high rate capability, no volume change, and excellent cycleability. But the insulating character of $Li_4Ti_5O_{12}$ has raised concerns about its electrochemical performance. The initial insulating character associated with Ti4+ in $Li_4Ti_5O_{12}$ limits the electronic transfer between particles and to the external circuit, thereby worsening its high rate performance. In order to overcome these weak points, several alternative synthetic methods are highly required. Hence, in this presentation, novel ways using a synergetic strategy based on 1D architecture and surface coating will be introduced to enhance the kinetic property of Ti-based electrode. In addition, first-principle calculation will prove its significance to design Ti-based electrode for the most optimized electrochemical performance.

• 한국재료학회:학술대회논문집
• /
• 한국재료학회 2012년도 춘계학술발표대회
• /
• pp.55.2-55.2
• /
• 2012

Intensive theoretical and experimental studies have been carried out at Korean Institute of Science and Technology (KIST) on controlling the bio absorbing rate of the Mg alloys with high mechanical strength through tailoring of electrochemical potential. Key technology for retarding the corrosion of the Mg alloys is to equalize the corrosion potentials of the constituent phases in the alloys, which prevented the formation of Galvanic circuit between the constituent phases resulting in remarkable reduction of corrosion rate. By thermodynamic consideration, the possible phases of a given alloy system were identified and their work functions, which are related to their corrosion potentials, were calculated by the first principle calculation. The designed alloys, of which the constituent phases have similar work function, were fabricated by clean melting and extrusion system. The newly developed Mg alloys named as KISTUI-MG showed much lower corrosion rate as well as higher strength than previously developed Mg alloys. Biocompatibility and feasibility of the Mg alloys as orthopedic implant materials were evaluated by in vitro cell viability test, in vitro degradation test of mechanical strength during bio-corrosion, in vivo implantation and continuous observation of the implant during in vivo absorbing procedures. Moreover, the cells attached on the Mg alloys was observed using cryo-FIB (focused ion beam) system without the distortion of cell morphology and its organ through the removal of drying steps essential for the preparation of normal SEM/TEM samples. Our Mg alloys showed excellent biocompatibility satisfying the regulations required for biomedical application without evident hydrogen evolution when it implanted into the muscle, inter spine disk, as well as condyle bone of rat and well contact interface with bone tissue when it was implanted into rat condyle.

• 한국재료학회지
• /
• 제22권7호
• /
• pp.329-334
• /
• 2012

Two types of nanoclusters, termed Cluster (1) and Cluster (2) here, both play an important role in the age-hardening behavior in Al-Mg-Si alloys. Small amounts of additions of Cu and Ag affect the formation of nanoclusters. Two exothermic peaks were clearly detected in differential scanning calorimetry(DSC) curves by means of peak separation by the Gaussian method in the base, Cu-added, Ag-added and Cu-Ag-added Al-Mg-Si alloys. The formation of nanoclusters in the initial stage of natural aging was suppressed in the Ag-added and Cu-Ag-added alloys, while the formation of nanoclusters was enhanced at an aging time longer than 259.2 ks(3 days) of natural aging with the addition Cu and Ag. The formation of nanoclusters while aging at $100^{\circ}C$ was accelerated in the Cu-added, Ag-added and Cu-Ag-added alloys due to the attractive interaction between the Cu and Ag atoms and the Mg atoms. The influence of additions of Cu and Ag on the clustering behavior during low-temperature aging was well characterized based on the interaction energies among solute atoms and on vacancies derived from the first-principle calculation of the full-potential Korrinaga-Kohn-Rostoker(FPKKR)-Green function method. The effects of low Cu and Ag additions on the formation of nanoclusters were also discussed based on the age-hardening phenomena.

• Geomechanics and Engineering
• /
• 제13권6호
• /
• pp.929-946
• /
• 2017

Composite foundation treated with compaction piles can eliminate collapsibility and improve the bearing capacity of foundation in loess area. However, the large number of piles in the composite foundation leads to difficulties in the analysis of such type of engineering works. This paper proposes two simplified methods to quantify the stability of composite foundation treated with a large number of compaction piles. The first method is based on the principle of making the area replacement ratios of the simplified model as the same time as the practical engineering situation. Then, discrete piles arranged in a triangular shape can be simplified in the model where the annular piles and compacted soil are arranged alternately. The second method implements equivalent continuous treatment in the pile-soil area and makes the whole treated region equivalent to a type of composite material. Both methods have been verified using treated foundation of an oil storage tank. The results have shown that the differences in the settlement values obtained from the water filled test in the field and those calculated by the two simplified methods are negligible. Using stability analysis, the difference ratios of the static and dynamic safety factors of the composite foundation treated with compaction piles calculated by these two simplified methods are found to be 3.56% and 5.32%, respectively. At the same time, both static and dynamic safety factors are larger than the general safety factor, which should be greater than or equal to 2.0 according to the provisions in civil engineering. This indicates that after being treated with compaction piles, the bearing capacity of the composite foundation is effectively improved and the foundation has enough safety reserve.

• 한국자기학회지
• /
• 제5권5호
• /
• pp.846-853
• /
• 1995

국소섭동을 포함하는 비대칭성 계의 전자구조 물성을 연구하기 위해서 밀접 결합 (tight-binding ; TB) linear-muffin-tin-orbital(LMTO) 방법과 회귀(recursion ; R) 방법을 결합한 실공간 전자구조 방법인 제일원리-자체충족적-스핀분극 TB-LMTO-R 방법을 개발하였다. 이 방법을 강자성 물질인 bcc Fe, hcp Co, fcc Ni등에 적용하여 송이의 크기, 회귀 계수, TB-LMTO Hamiltonian의 차수등을 변화시키며 국소 상태밀도와 자기 모멘트등의 수치적 수렴도를 고찰하였다. 송이 크기는 5,000개 원자 이상, 연속 분수 계수 n은 40이상, TB-LMTO Hamiltonian의 차수는 2차 이상이며 TB-LMTO-R 방법이 기존의 LMTO 방법의 결과와 거의 일치하는 결과를 준다는 사실을 얻었고 실공간 전자 구조 방법으로 TB-LMTO-R 방법의 충분한 신뢰도를 확인 하였다.