• 한국수학사학회지
• /
• 제25권3호
• /
• pp.29-39
• /
• 2012

선형논리는 현대 증명이론의 산물로서 1987년 프랑스 Marseille대학 Jean-Yves Girard 교수가 프로그래밍 언어의 개발을 위해 직관주의 논리학 (Intuitional logic) 을 정교하게 보완하여 고안한 새로운 논리학이다. 그래서 선형논리의 연결사들은 정보배열 (Sequentiality)과 병행처리 (Parallel computation) 등 정보처리와 관련된 해석을 갖는다. 예컨대, A${\otimes}$B는 두 과정 A와 B를 차례차례 수행하는 것을 나타내고, A&B는 내적미결정과 관련되어 관찰자가 A 또는 B를 선택할 수 있으며, A${\oplus}$B는 외적인 미결정으로서, 관찰자는 A 또는 B라는 사실을 알지만 어느 것이 될지는 알지 못한다. 그리고 A${\wp}$B는 A과정과 B과정의 병행처리를 의미한다. 선형부정은 동시화(Synchronization)를 나타내어, 하나의 과정 A가 수행되기 위해서는 A와 $A^{\bot}$가 동시에 이루어져야 한다. 국내에 선형논리에 대한 연구가 활성화되지 않아서 이 글은 이에 대한 관심을 제고하기 위해 우선 선형논리의 통사론만을 취급했으며, 의미론과 증명망 등은 차후의 연구에서 다루고자 한다.

• Journal of applied mathematics & informatics
• /
• 제14권1_2호
• /
• pp.69-80
• /
• 2004

We present a construction of the linear reduction of Hilbert type proof systems for propositional logic to if-then-else equational logic. This construction is an improvement over the same result found in [4] in the sense that the technique used in the construction can be extended to the linear reduction of first-order logic to if-then-else equational logic.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권2호
• /
• pp.148-154
• /
• 2010

불확실성 데이터베이스의 의미론 정의는 보통 주어진 불확실성 데이터베이스를 여러 개의 관계형데이터베이스로 변환하는 산술적 접근방법을 취한다. 이 논문에서는 불확실성데이터베이스를 논리이론으로 변환하는 논리적 접근방법을 통해서 불확실성 데이터베이스의 의미론을 정의하고자 한다. 본 논문에서 제안하는 의미론의 가장 특징적인 면은 기존의 논리적 접근방법에서 사용해온 명제논리 대신에 선형논리를 논리적 근간으로 이용한다는 점이다. 선형논리는 논리식을 불변진리가 아닌 소비가능한 자원으로 해석하기 때문에 불확실성 데이터베이스의 의미론을 정의하는데 적합하다. 본 논문의 핵심 결과는 선형논리에 기반한 불확실성 데이터베이스의 의미론이 산술적 접근방식에서 설명하는 불확실성 데이터베이스의 의미론과 동등하다는 것이다.

• 전기학회논문지
• /
• 제66권12호
• /
• pp.1751-1758
• /
• 2017

This paper presents a fuzzy logic system with data preprocessing to make the accurate electric power load prediction system. The fuzzy logic system acceptably treats the hidden characteristic of the nonlinear data. The data preprocessing processes the original data to provide more information of its characteristics. Thus the combination of two methods can predict the given data more accurately. The former uses TSK fuzzy logic system to apply the linguistic rule base and the linear regression model while the latter uses the linear interpolation method. Finally, four regional electric power load data in taiwan are used to evaluate the performance of the proposed prediction system.

• 한국정보통신학회논문지
• /
• 제14권6호
• /
• pp.1441-1446
• /
• 2010

본 논문에서는 유한체상의 순차논리시스템을 이용하여 제산기를 구성하는 방법을 제안하였다. 제안한 방법은 먼저 유한체와 순차논리시스템의 수학적 성질을 기반으로 현재상태와 차순상태 사이의 선형성질을 도출하였다. 그리고, 선형성질과 행렬로 표현한 특성다항식을 사용하여 유한체상의 순차논리시스템을 구현하였으며, 이를 이용하여 제산기를 구현하였다. 제안한 방법은 기존의 방법에 비해 규칙적이고 좀 더 효율적으로 순차논리시스템을 구현할 수 있었으며, 이를 이용하여 효과적인 제산기를 구현할 수 있었다.

• 한국통신학회논문지
• /
• 제29권5C호
• /
• pp.595-600
• /
• 2004

선형복잡도(linear complexity)가 크고 균형(balance) 특성이 좋은 수열은 스트림 암호(stream cipher) 또는 보안성이 요구되는 대역 확산 통신(spread spectrum communication) 등에 이용될 수 있다. 이러한 수열을 발생하기 위하여, 최대길이 수열(m-sequence)을 계층 구조의 비선형 피드포워드 로직(NLFFL; Non-Linear Feed-Forward Logic) 필터 함수에 통과 시켜 랜덤 수열을 얻는 방법이 Groth에 의해 제안되었다. 본 논문에서는 Groth의 계층 구조를 변형하여 Langford 연결법과 같은 특별한 비선형 연결 방법 없이도 잡음 특성이 좋은 수열을 발생시킬 수 있는 방법을 제시한다.

• 한국지능시스템학회논문지
• /
• 제4권2호
• /
• pp.35-40
• /
• 1994

Fuzzy logic controllers are often found to behave better than PI controllers. One of the major reasons for this is that the fuzzy logic inferences used can produce nonlinear type controllers. For some applicatioins, howeveer, linear fuzzy logic controllers also perofrm better than PI controllers. In this paper, we examine linear fuzzy logic controllers to show that the truncation effects of the fuzzy logic controllers make them perform much better than the PI controllers. In terms of a performance index we used, the truncation effects reduced the index value by up to 80% for examples we studied.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2005년도 춘계종합학술대회
• /
• pp.880-883
• /
• 2005

본 논문에서는 유한체 GF(P)상의 순차논리머시인구성 방법의 한가지를 제안하였다. 제안한 순차논리머시인구성 방법은 먼저 GF(P)상에서의 순차논리머시인의 수학적 성질을 논의하였으며, 순차논리머시인 구성을 위하여 기본의 3가지 회로소자를 사용하여 선형제환시프트레지스터와 이에 대한 행렬표현에 대해 논의하였다. 그리고, 제안한 방법을 제산연산처리에 적용하였다.

• 대한기계학회논문집A
• /
• 제24권10호
• /
• pp.2589-2596
• /
• 2000

As current manufacturing processes require high spindle speed and precise machining, increasing accuracy by reducing volumetric errors of the machine itself, particularly thermal errors, is very important. Thermal errors can be estimated by many empirical models, for example, an FEM model, a neural network model, a linear regression model, an engineering judgment model, etc. This paper discusses to make a modeling of thermal errors efficiently through backward elimination and fuzzy logic strategy. The model of a thermal error using fuzzy logic strategy overcomes limitation of accuracy in the linear regression model or the engineering judgment model. It shows that the fuzzy model has more better performance than linear regression model, though it has less number of thermal variables than the other. The fuzzy model does not need to have complex procedure such like multi-regression and to know the characteristics of the plant, and the parameters of the model can be mathematically calculated. Also, the fuzzy model can be applied to any machine, but it delivers greater accuracy and robustness.

• 전자공학회논문지A
• /
• 제33A권6호
• /
• pp.206-219
• /
• 1996

This paper describes a data structure and evaluation algorithm to improve the perofmrances MOS logic-with-timing simulation in computation and accuracy. In order to efficiently simulate the logic and timing of driver-load networks, (1) a tree data structure to represent the mutual interconnection topology of switches and nodes in the driver-lod network, and (2) an algebraic modeling to efficiently deal with the new represetnation, (3) an evaluation algorithm to compute the linear resistive and capacitive behavior with the new modeling of driver-load networks are developed. The higher modeling presented here supports the structural and functional compatibility with the linear switch-level to simulate the logic-with-timing of digital MOS circuits at a mixed-level. This research attempts to integrate the new approach into the existing simulator RSIM, which yield a mixed-klevel logic-with-timing simulator MIXIM. The experimental results show that (1) MIXIM is a far superior to RSIM in computation speed and timing accuracy; and notably (2) th etiming simulation for driver-load netowrks produces the accuracy ranged within 17% with respect ot the analog simulator SPICE.