• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.36 no.11C
• /
• pp.649-654
• /
• 2011

In this paper, we show new method to find number of errors in the Reed-Solomon decoder. New design is much faster and has much simpler logic circuit than the former design method. This optimization was possible by very simplified square calculating circuit and parallel processing. The microcontroller of this Reed Solomon decoder can be used for data protection of almost all digital communication and consumer electronic devices.

• Korean Journal of Logic
• /
• v.5 no.2
• /
• pp.67-91
• /
• 2002

모순에 대한 비트겐슈타인의 견해는 매우 특이할 뿐만 아니라 여러 논란을 불러일으키기에 충분하다. 예컨대 그에 따르면 모순이 수학체계에 존재한다 해도 해로울 것이 전혀 없다. 튜링은 이러한 비트겐슈타인의 견해에 대해서, 만일 수학체계에 모순이 있다면, "그 적용의 경우에 다리가 붕괴될 수도 있다"고 공격한다. 반면에 비트겐슈타인은 "모순 때문에 다리가 붕괴될 수도 있다고 말하는 것은 아주 옳은 소리로 들리지 않는다"라고 응수한다. 과연 유모순적인 계산체계로 건설된 다리는 무너질 것인가? 이 물음을 "튜링의 물음"이라고 부르고, 유모순적인 계산체계로 건설된 다리를 간단히 "튜링의 다리"라고 부르기로 하자. 이 글에서는 바로 이 튜링의 물음에 직접 대답하기 위해서 4개의 입론이 제시되고 있다. 우리는 이러한 입론을 토대로 해서 튜링의 물음에 대해 대답할 수 있고, 비트겐슈타인과 튜링의 논쟁을 조명할 수 있으며, 비트겐슈타인의 수학철학의 핵심적인 측면을 살펴볼 수 있다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2002.05d
• /
• pp.741-746
• /
• 2002

본 논문에서는 학습자 스스로가 학습 능력을 조절하고 학습 내용과 시험 평가를 객관적으로 판단할 있는 자기 주도적 학습 내용 및 시험 평가 방법을 제안하였다. 제안된 자기 주도적 학습 내용 및 시험평가 방법은 삼각형 타입의 소속 함수와 퍼지 논리를 이용하여 학습 능력과 시험 능력의 소속도를 계산하고 각각에 대해 퍼지 등급도를 부여하였다. 학습 능력의 소속도와 시험 능력의 소속도에 대해서 퍼지 관계의 연산 및 합성에 의해 최종 소속도를 계산하고 퍼지 등급도를 결정하여 학습자가 학습 능력의 소속도와 시험 능력의 소속도 및 최종 퍼지 등급도를 분석하여 스스로 학습을 조정할 수 있도록 하였다. 그리고 제안된 연구 내용을 정보 검색사 필기 과목에 적용하여 구현하였다.

• Proceedings of the KIEE Conference
• /
• 2000.07d
• /
• pp.2995-2997
• /
• 2000

원자력발전소의 열출력 계산 결과에 가장 큰 영향을 미치는 변수는 주급수 유량이며, 측정방식상의 특성(Venturi Fouling)으로 인해 계산시 과다하게 반영될 소지가 있다 본 연구에서는 이 측정 오차를 최소화하기 위하여 뉴로-퍼지 논리를 이용하여 주급수 유량을 예측한 후 그 결과를 통해 열출력을 재평가하고자 하였다. 즉, 뉴로-퍼지로의 입력 변수(증기발생기 압력 및 수위. 터빈 충동실 압력)들은 모의훈련으로 출력을 상승시키면서 취득한 후 Wavelet Denoising 기법을 이용하여 노이즈를 제거시키고. 뉴로-퍼지 추론 계통의 파라메타들을 최적화시키기 위하여 유전적 알고리듬 및 최소자승법에 의한 Hybrid Learning Rule을 이용하여 학습시켰다. 시뮬레이션을 수행한 결과, 주급수 유량이 양호하게 예측되어, 이 결과를 토대로 열출력을 평가하는데 본 알고리듬의 적용이 성공적임을 입증하였다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2018.05a
• /
• pp.271-271
• /
• 2018

그래픽 처리 장치(GPU: Graphic Processing Units)는 그래픽 처리에 특화된 수많은 산술논리연산자 (ALU: Arithmetic Logic Unit)와 이에 관련된 인스트럭션Instruction)으로 인해 중앙 처리 장치(CPU: Central Processing Units) 보다 훨씬 빠른 계산 처리를 수행할 수 있다. 최근에는 FORTRAN에 의해 구현된 많은 수치모형들이 현실적인 모델링 방법의 발달로 인해 더 많은 계산량과 계산시간을 필요로 한다. 이 연구에서는 GPU 상의 범용 계산GPGPU : General-Purpose computing on Graphics Processing Units) 기반 운동파 강우유출모형(Kinematic Wave Rainfall-Runoff Model)이 CUDA(Compute Unified Device Architecture) FORTRAN을 사용하여 구현되었다. CUDA FORTRAN 운동파 강우유출모형의 계산 결과는 검증된 CPU 기반 운동파 강우유출모형의 계산 결과와 비교하여 검증되었으며, 잘 일치함을 보여 주었다. CUDA FORTRAN 운동파 강우유출모형은 CPU 기반 모형에 비해 약 20 배 더 빠른 계산 시간을 보였다. 또한 계산 영역이 커짐에 따라 CPU 버전에 비해 CUDA FORTRAN 버전의 계산 효율이 향상되었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10b
• /
• pp.408-411
• /
• 2006

유비쿼터스 컴퓨팅 환경에서 서비스를 제공함에 있어 지능적인 수행 능력은 사용자의 만족도를 높여주는 핵심 요소이다. 시스템의 지능을 부여하기 위해서는 지식을 관리, 처리, 활용하는 기능이 필요한데, 이들 기능은 그 지식이 어떻게 표현되어 있는지에 큰 영향을 받는다. 일차 술어 논리 기반 지식 표현 방법은 폭넓은 표현 범위와 유연한 지식 정의, 추론 방법으로 선호되고 있지만, 복잡한 계산 비용을 갖고 있기 때문에, 전문적인 지식 처리 시스템이 아닌 경우, 불필요한 계산 비용이 소요된다. Description Logic은 Frame기반 지식 표현 방식으로 일차 술어 논리를 사용하는 것보다 지식을 표현할 수 있는 범위는 제한적이지만, 빠른 추론 결과를 보장해 준다. 유비쿼터스 컴퓨팅 환경에서는 분산된 다양한 오브젝트들이 협력과정을 통해 사용자에게 지능적인 서비스를 제공하게 되고, 이들 개별적인 오브젝트들은 저사양의 계산능력을 갖고 있다고 가정된다. 그러므로, 저사양의 컴퓨팅 오브젝트들을 조합하여 지능적인 서비스를 성공적으로 제공하기 위해서, 각각의 오브젝트들은 제한된 지식을 효과적으로 관리할 수 있는 방법이 필요하다. 이를 위해 본 논문에서는 Frame 기반의 Description Logic을 기반으로 SUNHI의 표현 범위를 가진 인식론적 온톨로지 표현 언어를 제안하고, SUNHI의 표현 범위의 효율성을 증명하고자 한다.

• Journal of Korean Philosophical Society
• /
• v.116
• /
• pp.257-280
• /
• 2010

I try to formalize the system of modal logic and interpret it in view of constructivism through this study. As to the meaning of a sentence, as we saw, Frege endorsed extensions in view of the fact that they are enough to provide for a compositional account for truth, in particular that (1) the assignment of extensions to expressions is compositional ; (2) the assignment of extensions to sentences coincides with the assignment of truth values. But nobody would be willing to admit that a truth value is what a sentence means and that consequently all true sentences are synonymous. So, if what we are after is meaning in the intuitive sense, then extensions would not do. This consideration has later become the point of departure of modal and intensional semantics. So, it is clear that the language of modal logic do not allow for an extensional interpretation. ${\square}$ is syntactically on a par with ${\vdash}$, hence within the extensional framework it would have to denote a unary truth function. This means that if modal logic is to be interpreted, we need a semantics which is not extensional. The first attempt to build a feasible intensional semantics was presented by Saul Kripke. He came to the conclusion that we must let sentences denote not truth values, but rather subsets of a given set. He called elements of the underlying set possible world. Hence each sentence is taken to denote the set of those possible world in which it is true. This lets us explicate necessity as 'truth in every possible world' and possibility as 'truth in at least one possible world'. But it is clear that the system of modal logic is not only an enlargement of propositional logic, as long as the former contains the new symbols, but that it is of an other nature. In fact, the modal logic is intensional, in that the operators do not determine the functions of truth any more. But this new element is not given a priori, but a posteriori from construction by logicist.

• Communications of Mathematical Education
• /
• v.9
• /
• pp.63-72
• /
• 1999

수학의 가장 기본적인 요소인 수 개념과 감각의 형성과정에서 자리값에 대한 이해는 필수적이다. 또한 자리 값의 개념을 지도하기 위해서는 수와 연산지도가 통합되어야 하며, 논리적 사고력을 신장의 한 요소인 계산 알고리즘이 유의미한 학습되기 위해서는 자리값에 대한 이해가 바탕이 되어야 한다. 수에 대한 개념적 지식이 불충분한 상태에서 양을 수치화 하거나 지필 위주로 계산 알고리즘을 기계적으로 적용함으로 해서 발생하는 수와 연산학습의 결손을 줄이기 위해 본 연구에서는 수 개념과 감각을 기르기 위해 자리값 지도 방안에 대해서 알아보고자 한다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.05a
• /
• pp.117-124
• /
• 1996

원전의 상용 부하추종운전 능력을 위한 노심 제어기법인 Mode K를 개발하고, 이를 차세대원전의 제1주기 주기초에 적용하여 일일 부하추종운전을 수행할 때의 노심 거동을 ONED94 전산코드로 모사 계산하였다. 계산 결과, 단순하면서도 유연한 형태의 붕산 농도 변화를 수용하면서 제어봉으로 출력분포 및 반응도를 동시에 제어하는 Mode K 제어 논리가 잘 작동하였으며, PbXb운전에 비하여 액체 폐기물 생성량이 30%까지 감소하였다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.05a
• /
• pp.602-607
• /
• 1996

원자력 발전소의 효율증대 및 경제적인 측면에서 2차계통 구성부품의 보수 및 유지를 위해서는 발전소 2차계통 구성 기기의 성능저하로 인한 Heat Rate의 변화와 그에 따른 출력변화를 감시하는 것이 무엇보다 중요하다. 이를 위하여, 영광 3호기의 성능보증 시험시 사용한 방법을 이용하여 Heat Rate를 계산하는 프로그램을 개발하였으며, 이 프로그램을 이용하여 2차계통 주요 구성 기기의 성능저하에 따른 Heat Rate의 변화율 계산을 수행하였다. 이 프로그램의 계산결과와 영광 3호기 성능보증시험결과를 비교하여 이 프로그램이 Heat Rate를 정확히 계산할 수 있음과, Heat Rate의 변화율 계산의 타당성을 확인하였다. 또한, Heat Rate의 변화율을 이용한 2차계통 주요 구성 기기의 성능진단 시스템의 논리를 제시하였다.