• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06a
• /
• pp.313-314
• /
• 2008

컴퓨터 시스템의 등장 이래로, 함수 인라이닝 기법은 함수 지향형 프로그래밍 언어에서 코드 크기의 증가와 함께 실행 시간을 감소시키는 하나의 기법으로 사용되어왔다. 이에 반하여, 함수 아웃라이닝 기법은 실행 시간을 증가시키지만 코드 크기의 감소를 가져온다. 기존 범용 컴퓨터 시스템은 코드를 저장하는 저장장치의 크기에 큰 제약이 없었기 때문에, 함수 아웃라이닝 기법은 그리 널리 쓰이지 않았다. 그러나 최근의 무선 센서 네트워크 분야의 연구를 통하여 범용 컴퓨터 시스템에서는 찾아보기 어려웠던 코드 영역의 자원 제약이 심화되었고, 이에 따라 함수 아웃라이닝 기법이 보다 의미를 갖게 되었다. 특히, 실시간 응답을 요구받는 센서 운영체제는 코드 공간의 제약 하에서 실시간 작업 처리를 수행할 수 있어야 한다. 본 논문에서는, 함수 아웃라이닝 기법을 통하여 실시간 센서 운영체제의 여유 시간(laxity time)을 활용하면서 코드의 크기를 감소시키는 방법을 제안한다. 이를 통하여, 코드 공간의 제약 상황을 보다 완화할 수 있다.

• The KIPS Transactions:PartB
• /
• v.8B no.2
• /
• pp.123-129
• /
• 2001

본 연구에서는 전문가와 운전자의 제어 지식을 더 정확하게 표현하여 퍼지 논리 제어기의 성능을 향상시킬 수 있는 소속함수 수정 알고리즘을 제안한다. 제안된 알고리즘은 제어지식을 더 정확히 표현할 수 있도록 직관적인 지식과 경험으로부터 유추된 대략적인 제어지식을 평가기준으로 하고 입출력 데이터 클러스터링에 의해 소속함수의 형태와 위치를 수정한다. 제안된 방법을 수위 조절 모델과 교통신호 제어 모델에 적용한 실험을 통해서, 제안된 알고리즘이 기존 제어기의 성능을 향상시킬 수 있고, 퍼지 제어기에서 언어적 변수에 대한 구간 설정의 어려움을 해결할 수 있음을 알 수 있었다.

• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.1889-1890
• /
• 2008

본 연구에서는 퍼지 추론 메커니즘에 기반 한 Polynomial RBF Neural Network(p-RBFNN)를 설계하고 얼굴인식 문제로 적용하여 분류기로서의 성능을 분석한다. 제안된 p-RBFNN 구조는 FCM 클러스터링에 기반 한 분할 함수를 활성 함수로 사용하며, 다항식 함수로 구성된 연결가중치를 사용함으로서 기존 신경회로망 분류기의 선형적인 특성을 개선한다. p-RBFNN 구조는 언어적 해석관점에서 "If-then"의 퍼지 규칙으로 표현되며 퍼지 추론 메커니즘에 의해 구동된다. 즉 조건부, 결론부, 추론부 세 가지의 기능적 모듈로 나뉘어 네트워크 구조가 형성된다. 조건부는 FCM 클러스터링을 사용하여 입력 공간을 분할하고, 결론부는 분할된 로컬 영역을 다항식 함수로 표현한다. 마지막으로, 네트워크의 최종출력은 추론부의 퍼지추론에 의한다. 또한 제안된 p-RBFNN을 얼굴인식 문제로 적용하여 성능을 분석한다.

• Proceedings of the Korean Society of Food Science and Nutrition Conference
• /
• 2000.11a
• /
• pp.115-123
• /
• 2000

식품의 관능검사는 인간의 의식과 식품간의 반응결과를 객관적으로 나타내는 방법으로 수치, 언어적 묘사, 도표 등의 표현법을 사용하고 있으며 검사 요원들 간의 오차를 발생한다. 이 오차를 줄이기 위하여 통계 및 심리학적으로 접근하여 해결을 시도해 오고 있으며 오차를 심리적 잡음 (psychological noise)이라고 주장되고 있다. 식품의 기호도는 감각신경세포에서 전기적 신호로 전환되어 뇌에 전달되고 의식의 분석과 해석을 거쳐 얻어지는 것이므로 전기적 신호처리가 포함된다. 그러나 현재의 관능검사 방법들은 시간의 함수관계를 중시하고 있지 않다. 감각신경의 신호 전달체계의 유사성을 바탕으로 관능검사과정에 시간함수를 도인하는 개념이 요구된다. 시간을 개입하는 방법론으로 의식과 식품간의 일어나는 순차적 또는 병열적 행동과 의식체계를 분석하고 시간인자의 중요성을 부각시켰다. 시간함수의 도입방법으로 관능영향인자 표의 구성하고 bar-code를 생성하는 프로그램과 파형곡선으로 전환하는 개념을 제안하였다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2016.05a
• /
• pp.755-758
• /
• 2016

In this paper, binary in the program function is to be called binary explain the function in any way to call with in the binary. And the functions required during the call to the elements and their dynamic links in the compilation process and its elements and C-language file describes the concept of 'linker' that connects, and static links and dynamic link Compare analysis differences. Also Do an experiment on Return To Dynamic Linker exploit.

• Korean Journal of Logic
• /
• v.11 no.2
• /
• pp.57-91
• /
• 2008

In accordance with his belief that philosophical problems arise from misunderstandings of the logic of our language, Wittgenstein's philosophical investigations were always focused on the problems of logic of language. Indeed, it can be said that his investigations were logical investigations. But what was the logic as conceived by him? He regarded logic as grammar from the beginning, but between his two different philosophical periods, there were important changes in his conceptions of grammar. In his earlier period, he understood the logic of language as the truth-functional syntax realizable in an ideal notation, while in his later period he regarded logic as the rules of language-use in various language games. It was a change from viewing logic as an ideally strict and universal system in which every logical possibilities are determined to viewing logic as an open system of non-strict grammatical rules specific to each language game. This paper deals with the gists of his earlier and later views on logic and the reasons for the change of his views, including specifically the reasons for the change of his views concerning the autonomy and necessity of logic as grammar.

• Journal of the Korean School Mathematics Society
• /
• v.15 no.2
• /
• pp.331-348
• /
• 2012

With a gradual increase in research on teaching and learning calculus, there have been various studies about students' thinking about the derivative. This paper reviews the results of the existing empirical studies published in Korean and English. These studies mainly have shown that how students think about the derivative is related to their understanding of the related concepts and the representations of the derivative. There are also recent studies that emphasize the importance of how students learn the derivative including different applications of the derivative in different disciplines. However, the current literature rarely addressed how students think about the derivative in terms of the language differences, e.g., in Korean and English. The different terms for the derivative at a point and the derivative of a function, which shows the relation between concepts, may be closely related to students' thinking of the derivative as a function. Future study on this topic may expand our understanding on the role language-specific terms play in students' learning of mathematical concepts.

• Journal of KIISE:Computing Practices and Letters
• /
• v.6 no.3
• /
• pp.329-338
• /
• 2000

CHILL language has been used for the software development of electronic switching and telecommunications system. ETRI CHILL-96 language is an extended CHILL language with the notions of object-orientation, concurrency, and generic type. In this paper, we discuss some design and implementation issues of ETRI CHILL-96 compiler. Renaming translation rules and function restructuring techniques are adapted for the purpose of preventing name conflict and producing debugging information. Those new extended features are preprocessed in the compilation and translated to extended CHILL intermediate codes. Such compilation technique enables ETRI CHILL-96 language to hold compatibility with software developed by CHILL language.

• Journal of KIISE:Software and Applications
• /
• v.26 no.12
• /
• pp.1542-1552
• /
• 1999

자료 병렬성이란 자료 집합의 원소들에 대하여 동일한 작업을 동시에 수행하므로써 얻어지는 병렬성을 말한다. 함수형 언어에서 자료 집합에 대한 반복 수행은 재귀적 자료형에 대한 재귀 함수에 의하여 표현된다. 본 논문에서는 이러한 재귀 함수를 자료 병렬 프로그램으로 변환하기 위한 병렬화 방법을 제시한다. 생성되는 병렬 프로그램의 병렬 수행 구조로는 일반적인 형태의 재귀적 자료형에 대하여 정의되는 다형적인 자료 병렬 연산을 사용하여 트리, 리스트 등과 같은 일반적인 재귀적 자료 집합에 대한 자료 병렬 수행이 가능하도록 하였다. 재귀 함수의 병렬화를 위해서는, 함수를 이루는 각각의 계산들의 병렬성을 재귀 호출에 의해 존재하는 의존성에 기반하여 분류하고, 이에 기반하여 각각의 계산들에 대한 적절한 자료 병렬 연산을 사용하는 병렬 프로그램을 생성하였다.Abstract Data parallelism is obtained by applying the same operations to each element of a data collection. In functional languages, iterative computations on data collections are expressed by recursions on recursive data structures. We propose a parallelization method for data-parallel implementation of such recursive functions. We employ polytypic data-parallel primitives to represent the parallel execution structure of the object programs, which enables data parallel execution with general recursive data structures, such as trees and lists. To transform sequential programs to their parallelized versions, we propose a method to classify the types of parallelism in subexpressions, based on the dependencies of the recursive calls, and generate the data-parallel programs using data-parallel primitives appropriately.

• KIPS Transactions on Software and Data Engineering
• /
• v.10 no.6
• /
• pp.243-250
• /
• 2021

With the increased development of 3D VR applications augmented by recent VR/AR/MR technologies and by the advance of 3D devices, interchangeability and portability of 3D data have become essential. 3D files should be processed in a standard data format for common usage between applications. Providing standardized libraries and data structures along with the standard file format means that a more efficient system organization is possible and unnecessary processing due to the usage of different file formats and data structures depending on the applications can be omitted. In order to provide the function of using a common data file and data structure, this research is intended to provide a programming binding tool for generating and storing standardized data so that various services can be developed by accessing the common 3D files. To achieve this, this paper defines a common data structure including classes and functions to access X3D files with a standardized scheme using the Python programming language. It describes the implementation of a Python language binding viewer, which is an X3D VR viewer for rendering standard X3D data files based on the language binding interface. The VR viewer includes Python based 3D scene libraries and a data structure for creation, modification, exchange, and transfer of X3D objects. In addition, the viewer displays X3D objects and processes events using the libraries and data structure.