• Journal of the Korean School Mathematics Society
• /
• v.16 no.4
• /
• pp.841-862
• /
• 2013

This study analyzed issues in the mathematics curriculum concerning the cognitive development of the vector and inner product concepts in the light of Tall's and Watson's research(Tall, 2004a; Tall, 2004b; Watson et al., 2003; Watson, 2002). Some suggestions in teaching the vector and inner product concepts were elaborated in the terms of these analyses. First, the position vector needs to be represented by an arrow on the coordinate system in order to introduce the component form of a vector represented by a directed line segment. Second, proofs of the vector operation law should be carried out by symbolic manipulations based on the algebraic concept of a vector in the symbolic world. Third, it is appropriate that the inner product is defined as $\vec{a}{\cdot}\vec{b}=a_1b_1+a_2b_2$ (when, $\vec{a}=(a_1,a_2)$, $\vec{b}=(b_1,b_2)$) when it comes to considering the meaning of the inner product relevant to vector space in the formal world. Cognitive growth of concepts of the vector and inner product can be properly induced through revising explanation methods about the concepts in the curriculum in the basis of the above suggestions.

• Bulletin of the Korean Chemical Society
• /
• v.33 no.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.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05b
• /
• pp.1015-1018
• /
• 2003

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

• Journal of Korea Multimedia Society
• /
• v.21 no.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.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.24 no.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.

• Korean journal of communication and information
• /
• v.36
• /
• pp.198-230
• /
• 2006

The aim of the this study is to observer paradoxal phenomenon in media election. The media, especially Television, was traditionally a journalistic operation representing political events on the outside of political camp. But recently, it intervenes to 'the political camp' as the most important method for election campaign. A centripetal of electronic medias making the dominant political space offer an alternative plan which get over the modern crisis of representative democracy. Even though, to the production of the political symbol and the operation of symbol which constitute substantial system of political action, the human being subject is excluded and the technical system of communication make up a govern structure. So it makes the contradictory situation. TV broadcast for election campaigning show well this paradoxal situation. The institutionalization of electoral broadcasting oriented by the State strengthens an immensification, an economical and political efficiency and a transparency of electoral campaign. But the means which controls the mind of public is also strengthened. It relates the production and circulation of the political symbol and the symbolic image restricted by dominator. In conclusion, this study argues that the media election is institutionalized by the instrumental reason(procedural rationality of politics and technological rationality of broadcasting), therefore the candidate take a fragment roles for the production of transcendental political symbol and the voters accommodate to the symbolic images which are foreseen and they judge.

• Journal of Korea Multimedia Society
• /
• v.8 no.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.

• Korean Institute of Interior Design Journal
• /
• v.22 no.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.

• Journal of the Society of Naval Architects of Korea
• /
• v.52 no.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.

• The Journal of Information Systems
• /
• v.29 no.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.