• 한국학교수학회논문집
• /
• 제16권4호
• /
• pp.841-862
• /
• 2013

이 연구는 2007 개정 교육과정의 '기하와 벡터' 교과에서 다루어지는 벡터와 내적 개념을 분석하여 그 특징을 기술함으로써 벡터와 내적 개념 지도의 교수학적 시사점을 얻는데 목적을 두었다. 이를 위해 '기하와 벡터' 교육과정에서 다루어지는 벡터와 내적 개념 분석을 위한 세부 관점을 Tall(2002a; Tall, 2004b)과 Watson et al.(2003; Watson, 2002)에 기초하여 5가지로 추출하고, 이렇게 추출된 세부 관점을 토대로 '기하와 벡터' 교육과정 및 교육과정해설서, '기하와 벡터' 교과서 10종 모두에서 다루어지는 벡터와 내적 개념의 특징을 분석하였다. 이로부터 벡터와 내적 개념 형성과 관련된 교육과정상의 이슈를 구체화하였으며 이에 비추어 '기하와 벡터' 교과서에서 벡터 단원의 내용을 전개하는 방식과 관련된 시사점을 논의하였다.

• Bulletin of the Korean Chemical Society
• /
• 제33권3호
• /
• pp.809-817
• /
• 2012

The resonance structure of the preionization spectrum of $H_2$ in the region immediately above its ionization threshold, ($^2{\sum}_{g}^{+}$, $\nu^+=0$, $N^+=0$) converging toward its rotationally excited ($\nu^+=0$, $N^+=2$) limit, is complicated due to perturbation by the vibrationally excited levels $7_{p\pi}\;v=1$ and $57_{p\pi}\;v=2$. The spectra of interlopers are separated from the rotationally preionizing Rydberg series to allow analysis of this complex resonance structure. Although only two vibrationally excited levels perturb the rotational preionization spectrum, at least 6 interloper Rydberg series participate in the complex spectrum over most of its energy range and more interloper series participate at a narrow range around $124500cm^{-1}$ in the spectrum. To allow handling of an arbitrary number of interloper series, MATLAB$^{(R)}$'s symbolic operation is used to perform on-the-fly formulation.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 춘계학술발표논문집 (중)
• /
• pp.1015-1018
• /
• 2003

본 논문은 날로 증가하는 데이터 처리 요구를 데이터 처리 전용 칩을 이용하여 데이터베이스, 데이터 마이닝, 또는 전문가 시스템 통과 같이 데이터 비교연산에 시간을 많이 소모하는 응용 소프트웨어의 처리 속도를 최소화 할 수 있는 시스템을 제안한다. 본 시스템은 기존의 숫자처리(numeric processing)보다는 기호처리(symbolic processing)를 위해서 관계 연산(relation operation) 모듈을 이용하여 입력된 데이터들을 하드웨어 레벨에서 고속으로 처리한다. 본 시스템은 칩으로 설계되어 하드디스크 레벨에서 시스템을 가속 시린 수도 있고, IP(Intellectual Property)로 구현되어 SoC(System-on-a-chip)의 한 모듈로서 프로세서 레벨에서 시스템을 가속시킬 수도 있다.

• 한국멀티미디어학회논문지
• /
• 제21권3호
• /
• pp.423-431
• /
• 2018

In this paper, we try to verify a normative module based house design procedure consisted of several sequential steps. The first step is to suggest formalization of designing so that we could clarify each phase and operation we are adopting in our design process. The second step is the clearing up the conceptual schema of traditional skills that we adopt and utilize from traditional Hanok framing techniques. The third step is to formulate adequate modular kits for the assembly of house design solutions for the schematic, conceptual and preliminary phases of designing. The fourth step is to implementing our ideas and methods to a proper computational platform such as Unity3D. The final step is to verify our symbolic descriptions of design formalization with the output of our experiments so that we have better understanding of design reasoning characteristics such as in house design.

• 대한전자공학회논문지
• /
• 제24권1호
• /
• pp.149-158
• /
• 1987

This paper describes the SEAS which is a 2-dimensional graphic editor for schematic circuit and IC mask layout. This system runs on general purpose computer and Tektronix 4110 series graphic terminal. With this system, user can edit schematic circuits and/or IC mask layout with 2 level hierarchy. This system supports more than 20 kinds of built-in symbol, user definable internal symbols, 60 macros, 16 function keys, 4 level on-screen menu operation and edit-in-place of cell in main drawing. And it provides editing functions such as reflection, rotation, move and copy of one or a group of elements, and modification of polygona geometry etc. To improve the excution speed, we used local memory of graphic terminal. For the portability of the program, the system is written in FORTRAN 77 programming language.

• 한국언론정보학보
• /
• 제36권
• /
• pp.198-230
• /
• 2006

이 연구의 목적은 미디어 선거가 제도적으로 발전하면서 파생하고 있는 선거 공론장의 역설적 현상들을 밝혀내는 것이다. 오늘날 TV방송은 방송 저널리즘 차원을 넘어서 정치적장의 중심에 자리 잡기 시작하였으며 중요한 정치적 실천 기제가 되었다. TV방송과 대의 민주주의 체제의 융합은 미디어크라시(Mediacracy) 혹은 텔레크라시(Telecracy)라 일컬어지는 새로운 정치 구조를 생산하고 있다. 이 두 분야의 융합에 따른 새로운 정치 현상은 무엇보다도 선거에서 잘 나타난다. TV방송은 선거 후보자들에게 다양한 정치적 상징들을 생산하고 무수한 대중에게 시, 공간적 제약을 벗어나 전달할 수 있는 기회를 제공한다. 따라서 TV선거방송은 후보자들에게는 가장 유효하고 영향력 있는 선거운동의 장이 되고 있다. 이러한 영향력의 확대에 따라서 국가는 이 선거 공론의 장에 대하며 보다 적극적으로 개입하기 시작했다. 국가 중심의 제도화는 TV선거방송을 표준화, 규격화함으로써 모든 후보자들이 쉽게 참여할 수 있고 유권자들에게는 보다 명확한 판단의 기준들을 제공해 줄 수 있는 가능성을 열어주었다. 그러나 또 한편으로는 이 제도화가 시민 공론장으로서 방송의 역할을 국가적 행정체계와 방송의 기술체계에 종속시키고 있음을 볼 수 있다. 이러한 기술 중심의 기계적 제도화는 선거방송을 정치적 상징의 생산과 상징적 이미지의 작동을 제한하고 통제하는 체제로 구조화시키고 있다. 결국, 도구적 합리성과 기술적 관리 체계에 바탕을 둔 제도화는 선거방송에서 정치적 인간(Homo politicus)의 주체성을 후퇴시키고 행정 및 방송 기술을 정치적 상징을 생산하고 작동하는 주체로 만들고 있다. 이러한 프랑켄슈타인적 전도는 TV선거방송을 신화적 공론장으로 귀결시킨다. TV선거 공론장의 역설(paradox)은 미디어 선거 시대에 유권자의 탈정치화, 정치의 픽션화 그리고 그에 따른 선거의 무관심을 고조시킴으로써 미디어와 정치의 위기를 더욱 심화시키고 있다. 따라서 정치적 인간 주체를 회복하기 위해서는 국가 중심의 제도체계를 벗어나 시민들이 TV선거 공론장의 주체적 참여자가 되도록 개방해야 할 필요가 있다.

• 한국멀티미디어학회논문지
• /
• 제8권12호
• /
• pp.1658-1668
• /
• 2005

This paper presents the bytecode-to-SIL translator which enables the execution of the java program in EVM(Embedded Virtual Machine) environment without JVM(java Virtual Machine), translating bytecodes produced by compiling java programs into SIL(Standard Intermediate Language) codes. EVM, what we are now developing, is a virtual machine solution that can download and execute dynamic application programs written in sequential languages like C language as well as object oriented languages such as C#, Java, etc. EVM is a virtual machine mounted on embedded systems such as mobile device, set-top box, or digital TV, and converts the application program into SIL, an assembly language symbolic form, and execute it. SIL is a virtual machine code for embedded systems, based on the analysis of existing virtual machine codes such as bytecode, MSIL, etc. SIL has such features as to accommodate various programming languages, and in particularly has an operation code set to accept both object-oriented languages and sequential languages. After compiling, a program written in java language is converted to bytecode, and also executed by JVM platform but not in other platform such as .NET, EVM platform. For this reason, we designed and implemented the bytecode-to-SIL translator system for programs written in java language to be executed in the EVM platform without JVM. This work improves the execution speed of programs, enhances the productivity, and provides an environment for programmers to execute application programs at various platforms.

• 한국실내디자인학회논문집
• /
• 제22권1호
• /
• pp.75-84
• /
• 2013

This study focuses on Gilbert Simondon's individuation theory, a core concept of his technological philosophy, and spatial modality in interactive space as the schema of interactive operation. The study examines spatial modality as the technology of an interaction-enabler that has archi-semiotic characteristics in the designed space by aspects of examples. They are based on ideas and properties of a combined environment and the concept of information, which form Simondon's individuation theory. In the process of technological individuation, spatial modality has the characteristics of archi-semiotics from a combined environment and information. The first of the three properties is representation through semiosis and the information surface. Second is the context by relation works and perception, and third are the symbolic aspects, which could create Placeness by meaning. Combining meaningful constructive and deconstructive spaces could result in space for interactive communication. Spatial modality makes it possible to interact with users and spaces. In fact, it could have a particular semiotic mode of address and become a semiotic and contextual base. As a basic investigation of spatial modality, this study will contribute to interactive space design research.

• 대한조선학회논문집
• /
• 제52권1호
• /
• pp.70-76
• /
• 2015

The ship hull is accomplished by assembling various curved surfaces. There are numerous existing methods for ship hull processing, which need certain appropriate processing methods to enable it to be more efficient. The curved hull plates can be divided into convex region and saddle region. It is common to use line heating method to form a saddle region, when it comes to a convex region, it will be triangle heating method to be utilized. A precise analysis for curvature domain is required for the application of proper processing method. There exist various problems on existing calculation methods of curvature domain. Therefore, a more powerful method is demanded to it more accurately. In this study, a method called Dual Contouring is applied to extract curved surfaces, which is able to improve accuracy of extracted area. Based on all above, a best-suited heat processing method should be selected.

• 한국정보시스템학회지:정보시스템연구
• /
• 제29권4호
• /
• pp.153-169
• /
• 2020

Purpose Many students have concerned about the quality and operation of online courses with universities offering online courses to avoid the spread of COVID-19. To deepen our understanding of university online class systems, this research aims to assess students' satisfaction with online class systems and continuous usage intention on the basis of the perceived benefits and expectation confirmation theory. Design/methodology/approach This paper empirically analyzes the impact of each perceived benefit on user satisfaction and the intention to use it continuously by dividing the perceived benefits considered in existing literature into utilitarian benefits (convenience), emotional benefits (pleasure), and symbolic benefits (personal benefits). Moreover, the perceived expectations and performance have also been assessed with its impact on satisfaction and the intention to continue use. Data collected from 241 university students were empirically tested against a research model. Findings Analysis results showed that perceived advantages (comfort, enjoyment and personalized benefit) significantly affect user satisfaction and that perceived benefits have positive effects on the intention to continue use whereas the expected confirmation do not significantly influence on the intention to continue use.