• ETRI Journal
• /
• v.13 no.2
• /
• pp.9-14
• /
• 1991

직병렬 승산기는 피승수와 승수중 어느 하나가 병렬로 입력되고 또다른 수는 직렬로 입력되는 구조를 가지며, 디지틀 신호처리, 온라인 응용, 특수 목적용 계산 시스팀 등에서 많이 이용되고 있다. 본 논문에서는 2 의 보수를 위한 직병렬 승산기의 논리구조를 제안한다. 제안한 2의 보수 직병렬 승산기는 효과적인 2의 보수 직병렬 승산 알고리즘에 의해서 모든 데이터 신호가 국부적 연결만으로 구성되며, 간단하고 모듈화된 하드웨어의 구성으로 쉽게 설계할 수 있다. 이 승산기는 무부호 승산과 마찬가지로 2n+1 사이클만을 필요로 하고, 각 사이클 시간은 무부호 직병렬 승산에 비해서 2의 보수 승산을 위한 XOR 게이트의 지연시간이 추가된 것뿐이다. 또한, 제안한 2의 보수 직병렬 승산기는 VLSI 구현에 매우 적합한 구조를 지닌다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.11 no.8
• /
• pp.736-741
• /
• 2001

The restoration optimum image from transformation image demands compound change of image change, calender reform, and multiple solution calculation. This study presents that system actively deal with outside interference, vibration, movement, mechanical feature on the operating or before the operating and avoids complicated mathematical numerical expression and revise based on expert knowledge based which applies Fuzzy Logic which is one of Artificial Intelligent technique.

• Proceedings of the KIEE Conference
• /
• 2003.07d
• /
• pp.2558-2560
• /
• 2003

본 논문은 퍼지논리를 통해 얻어지는 경계값을 이용한 영상분할법에 관한 연구이다. 영상분할은 퍼지인식의 핵심기술 및 많은 응용분야에서의 전처리과정에 사용되고 있어 그 중요성이 강조되고 있는 추세이다. 본 논문의 주요 관점은 영상의 그레이레블(gary level)에 관련된 불분명한 정보들을 퍼지논리를 기반으로 하여 자동적으로 경계값을 획득하는 새로운 영상 분할법을 제안함에 있다. 본 논문에서 제안된 영상분할법은 영상의 히스토그램을 이용하여 계산된 경계값과 불분명한 정도인 퍼지정보를 영상분할에 적용한 것이다. 제안된 알고리즘은 이론 및 실험을 통하여 증명하였다.

• Korean Journal of Logic
• /
• v.6 no.2
• /
• pp.135-158
• /
• 2003

베이즈주의는 믿음의 정도라는 확률의 의미해석과 수학적 확률론에 의한 계산체계를 기초로 하여 가설과 증거간의 입증(confirmation) 관계를 명료하게 분석한다. 베이즈주의는 증거 E가 가설 H를 입증한다는 것을 PR(HIE&K)-PR(HIK)>0으로 정의한다. 그러나 이러한 분석이 과연 과학자들의 입증개념을 올바로 반영하고 있는가 하는 비판이 오래된 증거(old evidence)의 문제로부터 제기되었다 오래된 증거는 이미 알려진 정보이기 때문에 완전한 확률 값 1을 부여받는다. 이 때 오래된 증거가 가설을 입증할 수 있는가 하는 질문은 베이즈주의자와 실제 과학자 사이에 서로 다른 답변을 도출한다. 먼저 베이즈주의에 따르면 오래된 증거가 가설을 입증할 수 없다. 그것은 PR(EIK)=1일 때 PR(HIK)=PR(HIE&K)의 결과가 도출되기 때문이다. 하지만 과학사의 여러 예들로부터 제시되는 실제 과학자들의 입증개념에 따르면 오래된 증거가 가설을 입증하고 있다. 필자는 이와 같은 입증개념의 이질성 문제가 다만 어떤 증거가 입증 가능한 것인지를 구분해야 하는 질적인(qualitative) 문제일 뿐만 아니라 증거가 가설을 어느 정도 입증하는지 하는 입증도를 정확하게 측정해야 하는 양적인(quantitative) 문제라는 점을 밝힌다. 특히 필자는 양적인 문제를 해결하면 질적인 문제가 자연히 해결된다는 점을 밝히고, 반 프라센이나 가버가 제안한 전략이 모두 질적인 문제만을 다루기 때문에 부분적인 해결책에 지나지 않는다는 점을 밝힘으로써 오래된 증거의 문제의 본질은 양적인 문제에 있다는 점을 주장한다.

• The Bulletin of The Korean Astronomical Society
• /
• v.46 no.2
• /
• pp.54.2-54.2
• /
• 2021

지구과학 분야에서 가장 어렵게 느껴지는 내용인 천문분야는 다른 과학 분야와 달리 탐구 대상이 천체들이 먼거리에 있고, 쉽게 관측하기 어려우며, 실험실에서 동일실험과 반복 실험이 불가능하여, 추상적이고 직접 관측하기 어려운 개념에 관한 연구들이 많다. 따라서 이 연구에서는 레이저 커팅기를 사용해 지구과학교과 중 별자리를 구성하는 별들의 상대적 거리를 수학적으로 계산하는 과정과 고등학교 물리교과 중 LED 광원의 원리를 알고 LED 모듈을 제작하여 최종적으로 아름답고 과학적으로 가치가 있는 입체 별자리 교구를 제작하는 형태의 STEAM 교육 프로그램을 개발하고 시범학교 적용을 하였다. 이에 지능정보화 사회에 발맞춰 천문학 지식을 창의 교육의 형태로 교육하는 새로운 교육법을 실현한 연구결과들을 발표하고자 한다. 또한 개발한 프로그램의 효과성을 검증하기 위해 STEAM 관련 태도 검사와 논리적 사고력 검사 및 만족도 검사를 실시하였다. 연구결과 개발된 프로그램이 STEAM 태도 검사와 논리적 사고력에 효과가 있는 것으로 나타났으며, 천문수업에 대한 학생들의 인식은 긍정적이었다. 따라서 후속 연구에서는 다양한 학년 및 위계에 맞는 프로그램의 개발과 다양한 지역 등의 현장 적용을 통한 연구가 진행되어야 할 것으로 판단된다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.05a
• /
• pp.259-262
• /
• 2007

수학, 물리학, 전자전기공학에서 취급하는 수치 자료는 매우 크거나 정밀도가 높을 수 있고, 이 경우 계산과정에서 흔히 오버플로우나 언더플로우가 발생한다. 본 연구는 이런 현상을 최소화하기 위하여 겁수(Kalpa Number) 표현 방법을 제안하고, 정수형 겁수의 사칙연산과 논리연산을 구현하였다. 겁수를 이용할 경우 실행속도는 느리지만 매우 큰 수의 연산이 가능하다.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.51 no.1
• /
• pp.107-115
• /
• 2014

The reduced-bit transform based bit-plane matching algorithm (BPM) can obtain the block matching result through its simple calculation and hardware design compared to the conventional block matching algorithms (BMAs), but the block matching accuracy of BPMs is somewhat low. In this paper, reduced-bit transform based sum of the absolute difference (R-SAD) is proposed to improve the block matching accuracy in comparison with the conventional BPMs and it is shown that the matching process can be obtained using the logical operations. Firstly, this method transforms the current and the reference images into their respective 2-bit images and then a truth table is obtained from the relation between input and output 2-bit images. Next, a truth table is simplified by Karnaugh map and the absolute difference is calculated by using simple logical operations. Finally, the simulation results show that the proposed R-SAD can obtain higher accuracy in block matching results compared to the conventional BPMs through the PSNR analysis in the motion compensation experiments.

• Journal of the military operations research society of Korea
• /
• v.36 no.3
• /
• pp.83-93
• /
• 2010

In this paper, we propose a new expert system for close combat in military war game model for training. Simulation logic for damage assesment is one of the main simulation functions in military war game. In Changcho 21's model which is the war game model for Republic of Korea Army corps and division, the main function of close combat's damage assessment has not been calculated by Changcho 21's model, but by COBRA which was made by US Army and has been the expert system for close combat. Results which were calculated in COBRA were sent to Changcho 21's model through a cable network. And Changcho 21's model finally calculated the value of damage assessment with the results. In this paper, we develop an new expert system for close combat using decision tree. The experimental results show that the proposed expert system has similar performance to COBRA and has less computing complexity. And it can substitute for COBRA and be applicable to battlefield.

• Nuclear Engineering and Technology
• /
• v.26 no.1
• /
• pp.9-18
• /
• 1994

The engineered safeguards of Wolsung nuclear power plant unit 1 contain redundant systems of 2-out-of-3 logic which are not operating under normal conditions but are called upon to act when emergency conditions develop. To ensure their operability, the systems are periodically tested. In this work, we develop the unavailability formulae for 2-out-of-3 logic configurations which take into account the failure probability of the channels tested due to human error in the simultaneous testing scheme. We also develop the model for the probability that the reactor is tripped during the surveillance test due to either system failure or human error. We determined the optimal inspection periods of safety systems, taking into account both the unavailability of the safety system and the probability that the reactor is tripped during the surveillance test. We compared the results with the inspection periods currently used at Wolsung NPP Unit 1. As a result, the inspection periods obtained using a minimum human error (8.24 $\times$ 1$^{-6}$ ) are shorter than those currently used in Wolsung NPP unit 1 whereas the inspection periods obtained using a maximum human error are (4.44 $\times$ 10$^{-4}$ ) longer than those used in Wolsung NPP unit 1.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.46 no.4
• /
• pp.40-45
• /
• 2009

In This Paper, New Efficient Arithmatic Logic Unit Design for Calculating Error Values of Reed Solomon Decoder is described. Error Values are solved by solving Linear system of Equations, So called Newtonian set of identity equations. Here We Need Galois Multiplier, Adder, Divider on GF($2^8$) field. We prove how the Hardware circuits are improved better than the classical circuits. The method to find error location is not covered here, since many other researchers have already deeply studied it.