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

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

• 한국산학기술학회논문지
• /
• 제11권11호
• /
• pp.4597-4603
• /
• 2010

분해식 산출은 다단 논리식 산출에 매우 중요한 부분을 담당한다. 분해식의 리터럴 개수는 논리함수의 복잡도를 나타내는 기준이 되며, 또한 논리식을 회로로 구현할 경우 리터럴의 개수는 트랜지스터의 개수와 비례하게 된다. 분해식을 산출하는 수행시간과 최적화의 적정성을 맞추기 위해 분해식은 대수 분해식과 부울 분해식 산출로 구분하며, 부울 분해식이 대수 분해식보다 적은 리터럴 개수로 같은 논리식을 표현할 수 있다. 본 논문에서는 부울 분해식을 산출하기 위한 방법을 제시한다. 제안하는 핵심 방법은 2개의 2-큐브 비커널을 이용하여 이들의 곱을 구하여 부울 분해식을 산출하는 것이다. 벤치마크 회로를 통한 실험 결과 이전의 다른 분해식 산출 방법들보다 리터럴 개수를 줄일 수 있었다.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제7권1호
• /
• pp.61-69
• /
• 2000

Let($X^{\ast},\tau^{\ast}$) be the space with one point Lindeloffication topology of space (X,$\tau$). This paper offers the definition of the space with one point Lin-deloffication topology of a topological space and proves that the retraction regu-lar closed function f: $K^{\ast}(X^{\ast}$) defined f($A^{\ast})=A^{\ast}$ if p $\in A^{\ast}$ or ($f(A^{\ast})=A^{\ast}-{p}$ if $p \in A^{\ast}$ is a homomorphism. There are two examples in this paper to show that the retraction regular closed function f is neither a surjection nor an injection.

• 정보보호학회논문지
• /
• 제15권6호
• /
• pp.105-110
• /
• 2005

유한체에서 정의된 선형 다항식의 역원은 함수 거 일반화로 볼 수 있으므로, 암호학적 응용에서 유용한 부울 하수를 설계하는 데 좋은 후보가 될 수 있다 특히, Crypto 2001에서는 선형 다항식 및 선형 부호를 이용하여 큰 대수적 차수를 가지는 resilient 함수를 설계하는 방법이 제안되었다. 그러나 Crypto 2001에서 대수적 차수를 분석한 결과에 오류가 있었으며, 본 논문에서 정확한 대수적 차수를 제시한다.

• 정보보호학회논문지
• /
• 제19권2호
• /
• pp.23-30
• /
• 2009

회전대칭 불함수는 고속계산에 유리하고 암호학적으로 우수한 성질을 나타내어 최근 많은 주목을 받고 있다. 예를 들어, 부호이론에서 중요한 문제가 회전대칭 불함수를 이용하여 해결된 사례가 있고, 고속 해시함수 설계에 응용된 경우도 있다. 다른 한편으로, 매우 단순한 형태의 회전대칭 이차 불함수에 대한 비선형성 및 해명무게의 정확한 공식이 발견되었으며[2,8], 더 넓은 범위의 함수들에 대한 보다 일반적인 공식들도 발견되었다[6]. 본 논문에서는 이들 공식들을 조금 더 확장하여 일차항들이 포함된 회전대칭 이차 불함수에 대한 정확한 해밍무게 공식을 유도한다.

• 한국산업정보학회논문지
• /
• 제16권5호
• /
• pp.9-19
• /
• 2011

In many instances a concise form of logic is often required for building today's complex systems. The method described in this paper can be used for a wide range of industrial applications that requires Boolean type of logic minimization. Unlike some of the previous logic minimization methods, the proposed method can be used to better gain insights into the logic minimization process. Based on the decimal valued matrix, the method described here can be used to find an exact minimized solution for a given Boolean function. It is a visual based method that primarily relies on grouping the cell values within the matrix. At the same time, the method is systematic to the extent that it can also be computerized. Constructing the matrix to visualize a logic minimization problem should be relatively easy for the most part, particularly if the computer-generated graphs are accompanied.

• 한국정보처리학회논문지
• /
• 제6권3호
• /
• pp.781-791
• /
• 1999

DD(Decision Diagrams) is an efficient operational data structure for an optimal expression of boolean functions. In a graph-based synthesis using DD, the goal of optimization decreases representation space for boolean functions. This paper represents boolean functions using OPKFDD(Ordered Pseudo-Kronecker Functional Decision Diagrams) for a graph-based synthesis and is based on the number of nodes as the criterion of DD size. For a property of OPKFDD that is able to select one of different decomposition types for each node, OPKFDD is variable in its size by the decomposition types selection of each node and input variable order. This paper proposes a method for generating OPKFDD efficiently from the current BDD(Binary Decision Diagram) Data structure and an algorithm for minimizing one. In the multiple output functions, the relations of each function affect the number of nodes of OPKFDD. Therefore this paper proposes a method to decide the input variable order considering the above cases. Experimental results of comparing with the current representation methods and the reordering methods for deciding input variable order are shown.

• 대한공간정보학회지
• /
• 제15권2호통권40호
• /
• pp.43-49
• /
• 2007

본 연구는 퍼지개념을 적용한 GIS 공간분석법을 도입하고 이를 통해 쓰레기 매립장 입지 평가를 수행하였다. 기존 연구는 GIS의 공간 중첩 분석법을 적용하여 입지분석이나 적지선정 등을 수행하였으나 공간 중첩분석은 보통집합의 불린 논리를 바탕으로 공간자료를 처리하였기 때문에 공간자료의 불확실성과 자료분류 기준의 부적합성을 고려하여 분석할 수 없었다. 그러므로 신뢰할 수 있는 분석결과를 제시할 수 없어 실제 문제에서 적극 활용되지 못하였다. 본 연구는 쓰레기 매립장을 대상 시설로 선정하고 객관적인 접근법으로 퍼지 공간분석 법을 적용하였으며, 구체적인 적용과정으로서 연속형 공간자료에 대한 소속함수의 정의방법과 퍼지분석을 위한 퍼지입력값의 생성, 그리고 쓰레기 매립장 입지평가를 위한 분석인자의 선정기준 및 자료분류기준을 검토하여 이것으로부터 소속함수를 결정하는 매개변수를 추출하는 방법을 제시하였다.

• 충청수학회지
• /
• 제23권4호
• /
• pp.885-892
• /
• 2010

In this paper we study the structures and properties of a single cycle T-finction, whose theory has been lately proposed by Klimov and Shamir. Any cryptographic system based on T-functions may be insecure. Some of the TSC-series stream ciphers have been successfully attacked by some attacks. So it is important to analyze every aspect of a single cycle T-function. We study some properties on a single cycle T-function and we show some examples are single cycle T-functions by these properties, whose proof is easier than existing methods.

• 한국통신학회:학술대회논문집
• /
• 한국통신학회 2004년도 하계종합학술발표회논문초록집
• /
• pp.478-478
• /
• 2004