• Proceedings of the Korean Magnestics Society Conference
• /
• 2008.06a
• /
• pp.102-102
• /
• 2008

• Korean Journal of Crystallography
• /
• v.17 no.2
• /
• pp.60-65
• /
• 2006

표면 및 계면층의 결정구조, 결함구조, 불순물 편석, 표면의 전자 구조, 원자 진동 등과 같은 산화물의 표면물성은 촉매, 센서, 소결, 마찰, 부식 등과 같은 분야에서 그 특성을 좌우한다. 고체 표면의 결정구조 해석 수단으로 저에너지 이온산란 분광법이 유용한 도구로 알려져 있는데, 이 방법의 뛰어난 표면민감성은 표면에서의 효과적인 이온 중성화 과정에 기인한다. $He^+$, $Ne^+$, $Ar^+$ 등과 같은 이온은 Auger 중성화 과정에 의하여 쉽게 중성원자화 되고, 중성화 확율의 타겟에 대한 의존성이 낮기 때문에 이온빔으로서 종종 사용된다. 산란각도를 180$^{\circ}$로 고정하여 산란이온 검출기를 설치한 직충돌 이온산란 분광법의 경우는 산란된 이온의 궤적이 입사궤도와 거의 동일하기 때문에 산란궤적의 계산이 간단해지고, 수 층 깊이의 원자구조의 해석이 가능해진다. 본 고에서는 고체 표면의 원자구조를 실공간에서 해석할 수 있는 직충돌 이온산란 분광법에 대하여 측정의 기본원리, 측정장치, 간단한 분석 예 등에 관하여 기술하고자 하며, 다음 편에서는 복잡한 표면구조를 가지는 반도체 표면에서 직충돌 이온산란분광법의 이용하여 해석한 예를 중심으로 기술하고자 한다.

• Journal of the Korean Magnetics Society
• /
• v.15 no.6
• /
• pp.299-302
• /
• 2005

We investigated the structural md magnetic properties of Fe-Pt nanowires with linear and zigzag structures by using first-principle calculational methods. Structural degrees of freedom are optimized, the bond lengths and bond angles are determined, magnetic moments, spin density, and density of states are calculated. Results show that the zigzag structure is more stable than the linear one, and has a longer bond length and smaller magnetic moments for both Fe and Pt atoms.

• Proceedings of the KIEE Conference
• /
• 2003.11b
• /
• pp.7-10
• /
• 2003

뱀형 로봇은 자유도보다 액추에이터의 수가 적은 논홀로믹 구속조건(nonholonomic constraint)을 가지며, 단순한 신체구조 이지만 초-여유자유도 구속조건(hyper-redundant constraint)을 이용해서 기밀한 운동과 다양한 기능을 만들어내는 특징을 가지고 있다. 본 논문에서는 6개의 관절로 각 링크가 2차원 상에서 직렬로 연결된 뱀형 로봇의 기구설계 및 기구학과 동력학을 바탕으로 설계된 기구에 대해 해석하여 운동방정식을 유도하여 추진원리와 운동원리에 관하여 알아본다. 기본적인 운동 메커니즘을 해석하여 구현한 알고리즘을 제작한 로봇에 적용하여 추진 원리와 운동원리를 검증한다. 실험용 로봇은 링크 중앙에 법선 방향으로 마찰력이 발생할 수 있도록 수동바퀴를 가지고 있으며, PC와 RF(Radio Frequency)로 직렬통신을 하며 PC에서의 운동 명령의 조작에 의해 전진, 후진, 좌/우 방향으로 회전을 할 수 있도록 운동 알고리즘을 적용할 수 있도록 제작되었다. 특징으로는 일반적으로 토크를 입력으로 하지 않고 각도를 입력으로 하여 관절을 제어하고 있다는 점이 있으며, 운동방정식 또한 이에 대한 관계를 바탕으로 유도한 것이다.

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.410-411
• /
• 2011

본 논문에서는 태양광 전원, 배터리, 마이크로터빈, 스마트 홈 등 다양한 목적과 특성을 가진 요소로 구성된 마이크로그리드를 효율적으로 제어, 관리하기 위한 분산 지능형 제어원리를 제안한다. 기존의 중앙집중식 제어원리는 중앙에서 전체 시스템에 대한 정보를 취득하여 운영에 대한 의사결정을 독점하는 구조였다면 제안하는 원리는 마이크로그리드의 구성요소가 각각 지능형 에이전트를 기반으로 스스로 데이터를 취득하고 이웃 에이전트와의 대화와 협조를 통해 분산제어를 수행하는 방식이다. 각 에이전트 사이는 근거리 무선통신 방식인 Zigbee를 이용하였고 마이크로그리드를 실시간으로 해석하기 위하여 MATLAB 기반의 실시간 시뮬레이터를 이용하였다. 실시간 마이크로그리드 시뮬레이션 모델과 에이전트 역할을 하는 마이크로 컨트롤러를 연계하여 Hardware-in-the-loop 기반의 데모시스템을 구축하였고 제안하는 원리에 대해 검증하였다.

• Korean Journal of Logic
• /
• v.21 no.2
• /
• pp.155-174
• /
• 2018

This paper deals with Kripke-style semantics, which will be called algebraic Kripke-style semantics, for weakly associative fuzzy logics. First, we recall algebraic semantics for weakly associative logics. W next introduce algebraic Kripke-style semantics, and also connect them with algebraic semantics.

• Korean Journal of Logic
• /
• v.14 no.3
• /
• pp.85-100
• /
• 2011

Recently Byeong Deok Lee has denied the validity of the so-called uncontested principle, which says that the indicative conditional implies the material conditional. I show that his denial means that modus ponens is not valid and that the truth-conditions of indicative conditionals are weaker than that of material conditionals. It seems that what made him hold this view is related to some misunderstanding of indicative conditionals.

• Journal of The Korean Association of Information Education
• /
• v.12 no.3
• /
• pp.303-312
• /
• 2008

In correspondence to the educational demand on study of computer principles that is recently being focused, this study promotes basic understanding on data structure and algorithm at the elementary student level through the process of simple numerical expressions and proposes effective education contents and methods. For this, an unplugged type computer education material was produced to understand the method of the computers for receiving data through activities. Also, we proposed students to create animation data to learn numerical expressions and algorithm through arrangements and linked lists. To examine educational effectiveness of this study, an experiment study was conducted through the education content and method to the subject of one class in the fifth-grade of elementary school located in OO metropolitan city. As a result, the student learned that there is a difference in calculation method between computers and people; and this enabled basic understanding on algorithm and data structure and presented positive responses to algorithm and data structure. In conclusion, it is confirmed that it is possible to provide effective education for students if the principle study of algorithm is proposed to proper levels.

• Broadcasting and Media Magazine
• /
• v.2 no.1
• /
• pp.73-81
• /
• 1997

방송사업자가 광고 및 저작권료에 의지하지 안하고 전문적인 방송을 가능케하는 유료방송은 제한수신 서비스로 가능하다. 본 논문에서는 제한수신 서비스의 종류와 이를 가능케하는 제한순신 시스템의 기능/구조/동작원리에 대하여 기술하여 방송환경에 적용할 수 있는 일반적인 제한수신구조를 제시한다.

• Journal of the Korea Society of Computer and Information
• /
• v.9 no.4 s.32
• /
• pp.5-12
• /
• 2004

The data transformation between XML and Relation Database is made through the Principle of mapping bewtween them. There are two ways to access SQL Server, one is to assign SQL query to URL and the other is to use template file. MS-SQL server takes advantage of OpenXML function to transform the results of executing SQL query into XML documents. That is, OpenXML first makes node tree and then transforms row set data of XML documents into XML data of relation type. In order to insert XML data into database data. data is extracted from parsing XML documents using sp_xml_preparedocument procedure, and then the document structure is mapped into tree structure and stored in a table of database. Consequently, Data transformation between XML and Relation Database is made through mapping bewtween them. This article proposes the principle of mapping between XML and Relation Database and then shows the implementation of transformation between them so that it introduces the possibilty of bringing the extension and efficiency of data and various effects.