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

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

• 한국수학교육학회지시리즈A:수학교육
• /
• 제17권1호
• /
• pp.29-34
• /
• 1978

• Kyungpook Mathematical Journal
• /
• 제22권2호
• /
• pp.235-237
• /
• 1982

• Kyungpook Mathematical Journal
• /
• 제25권2호
• /
• pp.181-183
• /
• 1985

• 한국수학교육학회지시리즈A:수학교육
• /
• 제22권1호
• /
• pp.19-20
• /
• 1983

• 대한수학회지
• /
• 제30권2호
• /
• pp.267-274
• /
• 1993

• Korean Journal of Mathematics
• /
• 제22권1호
• /
• pp.37-43
• /
• 2014

In this paper, we show that for any ${\sigma}$-complete Boolean subalgebra $\mathcal{M}$ of $\mathcal{R}(X)$ containing $Z(X)^{\sharp}$, the Stone-space $S(\mathcal{M})$ of $\mathcal{M}$ is a basically diconnected cover of ${\beta}X$ and that the subspace {${\alpha}{\mid}{\alpha}$ is a fixed $\mathcal{M}$-ultrafilter} of the Stone-space $S(\mathcal{M})$ is the the minimal basically disconnected cover of X if and only if it is a basically disconnected space and $\mathcal{M}{\subseteq}\{\Lambda_X(A){\mid}A{\in}Z({\Lambda}X)^{\sharp}\}$.

• 대한전자공학회논문지
• /
• 제11권4호
• /
• pp.12-18
• /
• 1974

본 논문은 출력분준가 있는 조합논리회로의 최소 고장검출실험의 생성에 관한 것이다. 조합논리회로의 출력분준선에 있어서의 신청반전의 우기성을 고려함으로서 출력분준가 있는 회로에 대한 특성그래프와 그 부분그래프를 작성하여 필요한 테스트수의 하한과 그 최소실험을 구하였다. 출력분준선의 고장검출 가능가부를 판정하는데 Boolean Difference를 이용하였다.

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

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

• 한국생산제조학회지
• /
• 제5권2호
• /
• pp.20-28
• /
• 1996

Compound surface modeling is widely used for die cavities and punches. A compound surface is defined in 3-D space by specifying the topological relationship of several anlytic surface elements and a sculptured surface. A constructive solid gemonetry scheme is employed to model the analytic compound surface. the desired compound surface can be accomplished by specifying topological reationship in terms of boolean relations between pimitives and the sculptured surfaces. Additionally, a method is presented for checking and avoiding the tool interference occuued in machining the compound surface. Using this method. the interference of concave, convex, and side region can be checked easily and avoided rpapidly.