• 전기의세계
• /
• 제28권11호
• /
• pp.37-44
• /
• 1979

This paper deals with the computer program of finding the minimal sum-of-products for a switching function by using the MASK method derived from the characteristics of the Boolean algebra. The approach differs from the previous procedures in that all the prime implicants are determined only by the bit operation and the minimal sum-of-products are obtained by the modified Petrick method in this work. The important features are the relatively small amount of the run time and the less memory capacity to solve a problem, as compared to the previous computer programs.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1991년도 춘계학술대회 논문집
• /
• pp.243-250
• /
• 1991

This paper concerns the development of NC programming system TIG (Turning with Interactive Graphics) with interactive graphics for turning operation. The system cosists of the processor, the post-processor and the system-user interface. Different from previous segment contour based NC graphic programming systems, the frliability and efficiencyof programming is realized by using Boolean operation with block unit based ICONs for the geometry definition. The tool motion can be also displayed on the screen together with the part contour. The system calculate automatically the number of passes based on the user specified cutting conditions.

• 충청수학회지
• /
• 제27권4호
• /
• pp.615-624
• /
• 2014

We study special types of matrices. The involutary fuzzy matrices are important in various applications and have many interesting properties. Using the graphical method, we have the zero patterns of involutary fuzzy matrix, that is, involutary Boolean matrices. And we give the construction of all involutary fuzzy matrices for some dimensions and suggest the canonical form of involutary fuzzy matrix.

• ETRI Journal
• /
• 제19권4호
• /
• pp.389-401
• /
• 1997

In this paper, we consider the relationship between nonlinearity and correlation immunity of Boolean functions. In particular, we discuss the nonlinearity of correlation immune functions suggested by P. Camion et al. For the analysis of such functions, we present a simple method of generating the same set of functions, which makes it possible to construct correlation immune functions with controllable correlation immunity and nonlinearity. Also, we find a bound for the correlation immunity of functions having maximal nonlinearity.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 1995년도 종합학술발표회논문집
• /
• pp.185-194
• /
• 1995

일방성 해쉬함수는 임의 길이의 입력메세지를 일정한 길이의 출력메세지로 축약하는 함수로서, 디지탈서명에서 서명을 생성하는 시간을 단축하고 메세지 인증을 위한 암호학적 도구로 사용되고있다. 본 논문에서는 부울함수를 기초로 하는 해쉬함수 중에서 MD5의 부울함수를 정보이론의 관점에서 분석하여 암호학적으로 강하고 기존의 MD5에서 사용된 부울함수의 성질을 이용한 공격을 막을 수 있는 새로운 부울함수를 제안한다.

• 한국통신학회논문지
• /
• 제5권1호
• /
• pp.49-53
• /
• 1980

Since Zadeh had published the fuzzy set theory at 1965, it has been applied to many fields such as realizability of communication nets, automatic control, learning systems, switching circuits. In this paper, the method of applying a fuzzy logic to a pattern classification is studied and the difference of fuzzy logic from Boolean algebra is discussed. Classfication experiment is carried out 16 persons' photos of three families by fourty male and female observers and recognition rate 94% is obtained.

• Journal of applied mathematics & informatics
• /
• 제9권1호
• /
• pp.303-310
• /
• 2002

The cyryptographic strength of a Feistel cipher depends strongly on the properties of its S-boxes, which are the strict avalanche criterion(SAC), the propagation criterion(PC) and GAC(the global avalanche criterion). In this paper global avalanche characteristics of S-boxes of the SEED are in-vestigated and compared to global avalanche characteristics of S-boxes of S-boxes of the Data Encryption Standard(DES).

• 전자공학회논문지B
• /
• 제28B권12호
• /
• pp.1-8
• /
• 1991

Given the set of minimal paths between two vertices in a network, this paper shows that the system reliability can be obtained by using a Binary Decision Digram. It can be done by transforming a Boolean sum of products into a Binary Decision Diagram and the reliability can be directly derived from it. The resulting reliability expression is compact and requires relatively fewer arithmetic opersations in its evaluation. Several examples are given to show that the method using Binary Decision Diagram is conceptually casy, simple and efficient.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1995년도 추계학술대회 학술발표 논문집
• /
• pp.285-292
• /
• 1995

최근 규칙베이스 추론과 사례베이스 추론의 통합화에 의한 추론이 다양하게 시도되 고 있다. 본 논문에서는 규칙과 사례를 동일한 형태로 표현하고, 규칙베이스와 사례베이스를 통합한 새로운 통합 추론 방법을 제안한다. 지식은 논리의 기하학적 모델을 이용하여 정보 를 논리적으로 해석하며, 동일한 형태로 표현된 규칙과 사례를 Boole 함수의 미분 및 전개 방법을 이용하여 추론하는 방법을 제안하고 응용예를 통하여 확인하다.

• 한국IT서비스학회:학술대회논문집
• /
• 한국IT서비스학회 2005년도 추계학술대회
• /
• pp.408-413
• /
• 2005

D-클래스는 암호학 등의 보안 분야에 응용될 수 있는 가능성을 가지고 있다. 그러나 D-클래스 계산은 NP-완전 문제로서 현재 $4{\times}4$ 이하 크기의 행렬에 대한 D-클래스 만이 알려져 있어 D-클래스의 특성에 대한 연구가 제대로 이루어지지 못하고 있다. 최근 새로운 D-클래스를 얻기 위하여 보다 효율적인 D-클래스 계산에 대한 연구가 수행되었으나 아직 새로운 D-클래스를 계산할 수 있을 정도의 효율적인 연구결과는 보이지 않고 있다. 본 논문은 논리 대수의 연산 특성을 이용하여 D-클래스 계산을 보다 효율적으로 할 수 있는 수학적 이론과 방법을 제시한다.