• Journal of the Korean Institute of Intelligent Systems
• /
• v.8 no.3
• /
• pp.56-66
• /
• 1998

본 논문에서는 보상 신호를 이용하는 근사 추론에 기반한 개선된 퍼지 논리 제어기를 제안한다. 제안된 방법은 근사 추론을 위한 인위적인 퍼지 규칙의 생성이나 소속함수의 정의 없이 자동적으로 퍼지 논리 제어기를 구성할 수 있다. 제안된 퍼지 논리 제어기를 cart-pole 제어에 적용하여 기존의 방법들과의 비교를 통해 제시한 방법의 유용성을 검증한다.

• Korean Journal of Logic
• /
• v.4
• /
• pp.109-123
• /
• 2000

데이빗슨은 "Slingshot 논변"이라는 그의 유명한 논변을 이용하여 진리 대응론을 비판한다. 그의 논변은 타당하지만, 다음 두 전제들에 의존한다. (1) 논리적으로 동치인 문장들은 같은 사실에 대응한다. (2) 참인 문장은 그 문장 내의 한 단칭어가 공지시적 단칭어에 의해 대체될 때 대응하는 사실이 변하지 않는다. 이 논문에서 필자는 두 번째 전제가 설득력이 없음을, 특히, Slingshot 논변의 구성을 위해 필수적인 통일성 문장들에 대해서 설득력이 없음을 주장한다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2001.11a
• /
• pp.746-751
• /
• 2001

본 논문에서는 디지털 논리회로에 대하여 인터넷을 기반으로 가상교육 및 실험실습이 가능한 멀티미디컨텐츠를 개발하였다. 가상강의를 위한 컨텐츠들은 WMT 기술 및 애니메이션이 포함된 파워포인트 자료로 구성된 화상강의 모들과 개념이해를 위한 플래쉬 및 회로실험을 위한 자바 프로그램들로 구성되었다. 또한 웹 상에서의 가상 실험실을 구현하기 위해 임의의 디지털 논리회로 설계 및 검증을 위한 LogicSim 프로그램과 실험기관과 IC 칩 등을 이용한 임의회로의 가상실험 프로그램인 BreadBoard 등을 개발하였고 웹 상에서의 리포트 작성, 제출 및 검사가 가능한 Report 프로그램, 이론 학습 및 가상실험 보조 유틸리티 프로그램들을 개발하였다.

• Annual Conference on Human and Language Technology
• /
• 1998.10c
• /
• pp.105-110
• /
• 1998

SGML/XML은 임의 형태 문서, 임의 응용에 대해 일반화 마크업을 정의하기 위한 방법을 기술하는 메타언어이다. 즉 문서의 작성시에 고려되는 문서의 논리적 정보를 표현 가능하다. 이러한 논리적 구분을 이용하여 정보사용자에게 좀 더 정확한 검색을 제공할 수 있다. SGML/XML을 이용하여 표현된 계층적 논리정보를 이용하여 다양한 문서 접근점을 제공할 수 있으며, 문서의 재사용 및 동적인 문서제시를 가능케 한다. 본 논문에서는 SGML/XML 정보검색의 장점과 이러한 시스템을 구현하기 위한 구현 단계 및 구성요소를 알아보고자 한다. 아울러 구현사례로 STEER-SGML/XML 검색 시스템을 알아본다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 1997.11a
• /
• pp.315-321
• /
• 1997

본 논문에서는 임의의 부울함수(Boolean function)에 대한 진리표나 출력 시퀀스로부터 논리곱의 배타적 합(exclusive-or sum of products; ESOP)형의 부울함수를 구성하는 알고리듬을 제안한다. 기존에 알려진 카르노맵이나 Quine HcClusky법에 의하여 구해지는 부울함수는 논리곱의 합(sum of product; SOP) 형으로 주어지며 이들 수식은 부정(NOT)논리를 포함하는 경우가 있다. 제안된 알고리듬에 의하여 구해지는 부울함수는 구조적인 등가성을 판별하는데 편리하므로 해쉬함수용 부울함수의 개발에 이용될 수 있다.

• Annual Conference on Human and Language Technology
• /
• 1992.10a
• /
• pp.385-402
• /
• 1992

용언 '같다'는 다양한 의미를 지니는데, 그 가운데 [동일]이나 [유사]를 나타내는 '같다' 구문은 '비교'의 논리가 적용되는 문장들로서 문장을 이루는 명사구의 의미 특성, 명사구 사이의 의미관계, 문장 유형등의 요소에 따라 의미 해석이 달라진다. 이 유형의 '같다' 구문은 특정 문형의 실현이 명사구들의 의미 관계에 따라 제약을 받으며, 또 실현되는 경우에도 [동일]이나 [유사]라는 [비교]의 의미를 갖지 못하고 [비유]의 의미를 나타내게 된다. 이러한 의미범주의 변화는, 특정조건하에서의 '비교'가 현실논리에서는 성립할 수 없는 반면 언어논리에서는 수용될 때 나타나는 두 논리간의 괴리를 보완하는 기제인 것으로 생각된다. 한편, [동일]이나 [유사]를 나타내는 '같다'와 [추측] 혹은 [불확실한 단정]을 나타내는 '같다'는 통사구조와 의미해석 논리에서 다른 양상을 보인다. 이들은 항상 '(-ㄴ/ㄹ) 것 같다'와 같은 구성양식을 갖는데, 그럼에도 불구하고 단문구조로 해석되는 것이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.182-184
• /
• 1998

수치지도는 지리정보시스템에서 다루는 매우 중요한 구성요소로서, 수치지도의 위치정확도 및 논리적 정확도는 전체 지리정보시스템이 제공하는 기능의 정확도를 결정한다. 따라서 수치지도 제작에 있어, 위치 및 논리적 정확도를 보장하는 것은 매우 중요한 요건이 된다. 그러나, 현재 대부분의 수치지도 제작과정을 살펴보면 논리적 정확도의 유지에 여러 가지 어려움이 많다는 것을 알 수 있다. 주로 수치지도의 논리적 정확도는 수치지도 제작자의 숙련도나, 제작 능력에 전적으로 의존하고 있다는 사실 때문이다. 따라서 제작자의 자질에 관계없이 논리적 정확도를 유지할 수 잇도록 하는 수치지도 제작 환경을 개발하는 것은 매우 시급하고 중요한 사항이다. 본 논문에서는 수치지도 제작과정에서 발생할 수 있는 여러 종류의 문제점들을 공간 객체간의 위상 관계를 이용하여 해결하고자 하였다. 이 방법은 수치지도 제작과정에서 공간 객체간의 위상적 조건을 미리 명시하고 그 위상적 조건을 만족하도록 하는 수치지도 제작 환경을 만들어 주는 것이다.

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.507-508
• /
• 2011

본 논문에서는 AMI(Advanced Metering Infrastructure) 개발에 가상화 기술을 적용하는 방안을 제안한다. AMI는 스마트그리드의 수요측면을 구성하며, 지능형 전력량계(Smart Meter)에서 취득된 데이터를 다양한 연계시스템에서 활용하여, 사용자에게 DR(Demand Response), RTP(Real-Time Pricing)와 같은 부가 서비스를 제공하기 위한 인프라이다. 또한 가상화 기술은 물리적 하드웨어를 가상화하여 논리적 가상 하드웨어로 제공하는 기술로서 AMI를 구성하는 물리적 단위 시스템을 논리적 가상 머신으로 구성이 가능하도록 한다. AMI를 구성하는 다양한 연계시스템의 상호운영성 및 테스트 용이성 확보를 위해 가상화 기술의 적용 방안을 도출하고, 가상화 기술 적용의 기대효과를 분석한다.

• The Journal of Korean Association of Computer Education
• /
• v.11 no.2
• /
• pp.65-78
• /
• 2008

Many digital logic circuit simulators have been developed for the education on the experiments of digital logic circuits for college or high school students. But the existing simulators have some constraints on the number of inputs of gate, on the display of gate and wire states, and on the number of logic diagrams to be simulated. 1n this paper, we propose a simulator XSIM(eXpandable digital logic circuit SIMulator) which mitigates the constraints and allows multiple diagrams for large scale logics. It is expected that the multiple diagrams on large logics are helpful for team-teaching in school.

• Korean Journal of Logic
• /
• v.23 no.1
• /
• pp.1-23
• /
• 2020

This paper deals with mianorm-based logics with right and left n-potency axioms and their fixpointed involutive extensions. For this, first, right and left n-potent logic systems based on mianorms, their corresponding algebraic structures, and their algebraic completeness results are discussed. Next, completeness with respect to algebras whose lattice reduct is [0, 1], known as standard completeness, is established for these systems via Yang's construction in the style of Jenei-Montagna. Finally, further standard completeness results are introduced for their fixpointed involutive extensions.