• 한국농공학회:학술대회논문집
• /
• 한국농공학회 1998년도 학술발표회 발표논문집
• /
• pp.150-154
• /
• 1998

Database schema is designed to accumulate the literal information automatically such as reinforced concrete design specifications. Sentence of design knowledge with literal data, numerical data, and symbols have analyzed manually. Finally, the proposed method has been shown that by proper design of the database schema of knowledge information as a function of design rule.

• 한국전자통신학회논문지
• /
• 제12권1호
• /
• pp.101-108
• /
• 2017

양자게이트 행렬은 치수가 r, 제어상태벡터 수가 n 및 표적상태벡터 수가 1인 경우에 $r^{n+1}{\times}r^{n+1}$ 차원 행렬이므로 n 증가에 따른 행렬 크기는 지수 함수적 증가 특성을 갖는다. 만약 제어상태벡터의 경우 수가 $2^n$이라면 $2^n-1$ 경우는 입력이 출력에 보전되는 단위행렬의 항등연산이고, 오직 한 개의 제어상태벡터 연산만이 표적상태벡터에 대한 유니터리 연산이다. 본 논문은 행렬차원 증가에 결정적 기여를 하는 $2^n-1$개의 단위행렬 연산을 한 동작의 산술멱승 연산으로 대체할 수 있는 새로운 함수 임베딩 방법을 제안한다. 제안한 함수 임베딩 방법은 다치 임계값을 갖는 2진 리터럴 스위치를 사용하므로 범용 하이브리드 MCU 게이트를 $r{\times}r$ 유니터리 행렬로 실현할 수 있다.

• 한국디자인학회:학술대회논문집
• /
• 한국디자인학회 2003년도 봄 학술발표대회논문집
• /
• pp.140-141
• /
• 2003

• 전기전자학회논문지
• /
• 제1권1호
• /
• pp.111-119
• /
• 1997

본 논문에서는 최근의 디지탈논리시스템의 함수구성시에 도입되고 있는 그래프이론에 바탕을 둔 결정도로부터 새로운 형태의 데이터구조 형태인 에지값 결정도를 추출하는 알고리즘의 한가지 방법을 제안하였다. 그리고 이를 기초로 임의의 m치 n변수의 축약된 함수구성을 도출하는 방법에 대해 논의하였다. 제안한 다치논리함수구성방법은 도식적이며 규칙적이고 정규성을 내포하고 있다.

• 컴퓨터교육학회논문지
• /
• 제15권1호
• /
• pp.65-72
• /
• 2012

일반적으로 논리식은 수많은 인수분해식으로 표현이 가능하다. 논리식에 대한 보다 간략화된 인수분해식을 찾는 것이 논리합성의 기본 기능 중의 하나이며 본 논문에서 논리회로 수업의 교육용 도구로 부울 인수분해식을 산출하는 새로운 방법을 제안한다. 제안하는 방법은 서포트와 함께 2개의 항에 대한 나눗셈을 수행하는 것이다. 인수분해식의 리터럴 개수는 논리식의 간략화 정도를 판단하는 기준이 되는데, 제안하는 방법으로 실험한 결과, 기존의 타 방법들 보다 리터럴 개수를 줄이는 효과를 보였다.

• 한국통신학회논문지
• /
• 제15권2호
• /
• pp.124-136
• /
• 1990

본 논문에서는 4변수 NP 同値類 대표함수의 AND-EXOR형 최소 논리식의 표를 제시한다. 여기에서 최소 논리식이란 우선, 첫째로 적항수가 최소이고 다음에 적항수 중에 Literal 수의 총화가 최소식이며 또한 그 최소 논리식의 성질에 대해서 검토한다. 이것을 기초로 해서 AND-OR 형 2단 논리 회로의 최소 논리식과 본 논문의 알고리즘을 이용한 AND-EXOR형 2단 논리회로의 최소 논리식을 비교한다. 그 결과, AND-OR형 최소 논리식의 경우는 적항수가 모두 8이하에서, AND-EXOR 형 2단 최소 논리식의 경우는 적항수가 6이하에서 모든 함수가 생성되고 있으며 전반적으로 AND-EXOR형 최소 논리회로 쪽이 4변수 함수를 실현하는데 훨씬 적항수가 적다는 것을 알았다. 본 논문에서 제시한 알고리즘들은 SUN 3/50 상에서 실현했으며 이것을 통해서 4변수 이하의 논리함수는 본 논문에서 제시한 표에 의해서 즉시 최소형을 얻을 수가 있다. 5변수 함수에 대해서는 그 일부의 함수를 적당한 변수로 Shanon 전개해서 이것에 본 논문의 4변수 최소형을 적용함으로서 단시간내에 최소형을 얻을 수 있는 것이 가능하며 이 방법은 6변수 이상의 함수에도 적용하는 것이 가능하다고 생각된다.

• 한국정보통신학회논문지
• /
• 제17권4호
• /
• pp.863-868
• /
• 2013

본 논문에서는 최근의 디지털논리시스템의 함수구성시에 도입되고 있는 그래프이론에 바탕을 둔 새로운 형태의 데이터구조 형태인 모서리값 확장 그래프를 추출하는 알고리즘을 제안하였다. 이를 위해 수학적 배경으로는 리터럴 함수와 리드 뮬러 확장에 대해 논의하였으며, 본 논문의 근간인 모서리 확장 그래프의 도출에 대해 논의하였다. 또한, 모서리 확장 그래프로부터 임의의 m치 n변수의 축약된 함수구성을 도출하는 알고리즘을 제안하였으며 이를 예에 적용하여 그 타당성을 보였다. 제안된 알고리즘의 규칙성을 고려하여 동일부분을 모듈화함으로써 일반성을 가짐을 보였다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2005년도 추계종합학술대회
• /
• pp.849-852
• /
• 2005

A factorization is an extremely important part of multi-level logic synthesis. The number of literals in a factored from is a good estimate of the complexity of a logic function, and can be translated directly into the number of transistors required for implementation. Factored forms are described as either algebraic or Boolean, according to the trade-off between run-time and optimization. A Boolean factored form contains fewer number of literals than an algebraic factored form. In this paper, we present a new method for a Boolean factorization. The key idea is to identify two-cube Boolean subexpression pairs from given expression. Experimental results on various benchmark circuits show the improvements in literal counts over the algebraic factorization based on Brayton's co-kernel cube matrix.

• 한국산업융합학회 논문집
• /
• 제3권1호
• /
• pp.17-27
• /
• 2000

A factorization is an extremely important part of multi-level logic synthesis. The number of literals in a factored form is a good estimate of the complexity of a logic function. and can be translated directly into the number of transistors required for implementation. Factored forms are described as either algebraic or Boolean, according to the trade-off between run-time and optimization. A Boolean factored form contains fewer number of literals than an algebraic factored form. In this paper, we present a new method for a Boolean factorization. The key idea is to build an extended co-kernel cube matrix using co-kernel/kernel pairs and kernel/kernel pairs together. The extended co-kernel cube matrix makes it possible to yield a Boolean factored form. We also propose a heuristic method for covering of the extended co-kernel cube matrix. Experimental results on various benchmark circuits show the improvements in literal counts over the algebraic factorization based on Brayton's co-kernel cube matrix.

• 대한수학교육학회지:학교수학
• /
• 제1권1호
• /
• pp.19-37
• /
• 1999

In this study, we examined some matters related to the learning of variable concept in school mathematics on the basis of the theoretical foundation from the previous studies(e.g. Davis, 1975; Rosnick, 1981; IK chemann, 1981; Wagner, 1983.) and practices on variable concept teaching by evaluating the current state of that. Matters be discussed are as follows; the use of symbol for place holders in elementary mathematics, the dealing with sets those elements are literals and operations of such sets, the teaching of dummy variable, the construction of literal expressions that contains variables, the labeling indeterminates as a constant, the change in the exact meaning of variable according to the function concept, the teaching of a generalization by means of variables. After considering on these matters that are connected with the teaching-learning of variable concept, we suggested the alternative proposal to the current state of variable concept teaching.