• Review of KIISC
• /
• v.30 no.5
• /
• pp.111-119
• /
• 2020

동형암호(homomorphic encryption)는 암호화된 데이터 사이에서 임의의 연산을 가능하게 하는 유망한 암호학적 스킴(scheme)이다. 이를 활용하면 암호화된 데이터를 복호화하지 않고, 암호화된 상태에서 임의의 연산을 수행 할 수 있을 뿐만아니라, 격자를 기반(lattice-based)으로 하여 양자 알고리즘에 내성(resistant)이 있어 안전하다. 하지만, 동형암호를 이해하기 위해서는 전문적인 암호 또는 계산적인 이론의 지식과 이해가 필요하다. 따라서 본 논문에서는 완전동형암호(fully homomorphic encryption)의 기저에 있는 LWE(learning with error) 문제에서부터 완전동형암호의 핵심인 NAND 게이트와 부트스트래핑(bootstrapping)까지의 과정을 어렵지 않게 설명하여 초보자들의 이해를 돕고자 한다.

• Proceedings of the Korean Reliability Society Conference
• /
• 2000.04a
• /
• pp.47-53
• /
• 2000

Brown과 Proschan의 수리모형과 이를 일반화한 Lee와 Seoh의 시스템 수리모형이 고려된다. Brown과 Proschan의 수리모형은 시스템의 고장시 완전수리가 확률 p로, 불완전수리가 확률 1-p로 이루어지는 모형이고, Lee와 Seoh의 수리모형은 시스템 고장시 완전수리와 불완전수리의 선택이 마르코프 연쇄과정에 따라 결정되는 모형이다. 본 논문에서는, 완전수리비용과 불완전수리비용을 고려한 후, 시스템의 수명분포가 지수분포, 균일분포, Weibull분포인 경우로 나누어, 위 두 시스템 수리모형에서의 최적화가 연구된다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10e
• /
• pp.64-66
• /
• 2002

공간-시간 부호(Space-Time Code)는 다중 안테나 시스템에서 기존의 기술에 비해서 부가적인 대역폭이 필요 없이 부호화 이득을 얻을 수 있다. 지금까지 공간-시간 부호(Space-Time Code)는 다이버시티 이득의 관점에서는 신호행렬들의 차가 완전-계수(Full-Rank)를 가져야 하고, 코딩 이득의 관점에서는 신호행렬들의 차의 determinant 값이 최소값을 가져야 한다. 본 논문에서는 공간-시간 블록 부호 디자인(Space-Time Block Code) 관점에서 직교-디자인(Orthogonal-design) 즉, 최소거리가 5이면서 완전-계수(Full-Rank)인 디자인을 비교대상으로 완전-계수(Full-Rank)가 아니면서 최소거리가 5와7인두 부호에 관하여 연구되어졌다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11b
• /
• pp.1575-1578
• /
• 2002

본 논문에서는 공간-시간 블록 부호디자인(Space-Time Block Code) 관점에서 직교-디자인(Orthogonal-design) 즉, 최소거리가 5이면서 완전-계수(Full-Rank)인 디자인을 비교대상으로 완전-계수(Full-Rank)가 아니면서 최소거리가 5와7인 두 부호에 관하여 연구되어졌다.

• Communications of the Korean Mathematical Society
• /
• v.15 no.2
• /
• pp.233-255
• /
• 2000

이 논문에서 계치부분군의 일반화와 이들을 이용한 G-열의 도입과정을 다룬다. 계치부분군과 일반화된 계치부분군 그리고 호모토피군의 차이를 설명하여 몇가지 공간의 계치부분군을 계산한다. 그리고 G-열이 완전열이 되기 위한 조건들을 조사하고 이 완전성을 이용하여 계치부분군의 계산과 함수의 단사성과 그 함수의 G-열의 완전성과의 상호 관련성을 보인다. 마지막으로 G-열의 일반화와 쌍대 G-열의 다룬다.

• Proceedings of the Optical Society of Korea Conference
• /
• 2003.07a
• /
• pp.10-11
• /
• 2003

완전 광 레이블 스위칭 기술은 차세대 광 인터넷에서 요구되는 투명성과 낮은 latency를 주기 위한 핵심기술이다. 패킷 스위칭 시스템은 각 노드에서 레이블을 이용해 패킷을 교환하는 방식으로 각 라우터에서는 이전 라우터에서 전달해 은 레이블을 분석하고 그 레이블 신호에 따라서 목적지로 포워딩 시키게 된다. 레이블을 교환하는 기술은 MLS 또는 완전 광 레이블 스위칭 (Optical label Switching： OLS) 네트웍에서 scalability를 구현하기 위한 핵심 기술이 된다. (중략)

• Journal of Korea Multimedia Society
• /
• v.3 no.3
• /
• pp.290-297
• /
• 2000

For verifying consistency and completeness of some UML diagrams as a representative of the graphic notations for object-oriented designs, we first give an analysis of some UML diagrams and apply simple ER model to the UML diagrams. Next, we formally define this graphical representation as a set of sets and a set of functions. According to the semantics of these functions, we derive a set of rules to assure the consistency and completeness of this graphical representation. These rules will be included with a CASE tool, which possesses both the diagramming facility and the consistency and completeness checking capability.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.3
• /
• pp.380-388
• /
• 1999

본 논문에서는 완전삼트리를 재귀원형군에 임베딩하는 문제를 고려한다. 재귀원형군 G(N,d)는 N개의 노드와 N보다 작은 d의 거듭제곱에 의한 점프에지를 가지는 원형군그래프이다. 임베딩 문제를 해결하고자 본 논문에서는 노드수가 3k인 삼항트리 Tk새롭게 도입한다. 먼저 N개 이하의 정점을 가지는 삼항트리가 G(N, 2)와 G(N,3)의 부그래프임을 보인다. 또한 완전 삼진트리가 삼항트리에 연장률 2, 확장률2, 밀집률 2로 임베딩됨을 보인다. 이러한 결과들을 결합하면서 N개 이하의 정점을 가지는 완전삼진 트리가 재귀원형군G(2N, 2)과 G(2N, 3)에 연장률 2, 밀집률 2로 임베딩 가능하게 한다. 임베딩 과정에서 이용된 삼항트리는 2 -포트 방송모델에서 최소방송트리임을 보이고, 이를 이용하여 재귀원형군 G(2m, 2)가 2-포트 방송모델에서 최소방송시간을 가짐을 보인다.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2011.11a
• /
• pp.671-674
• /
• 2011

An experimental test facility for the complete characteristics of pumps is constructed at KIMM(Korea Institute of Machinery and Materials). This paper describes the test facility and test technique of the complete characteristics of pumps, together with a experimental test result for a reactor coolant pump.

• Korean Journal of Logic
• /
• v.13 no.1
• /
• pp.1-20
• /
• 2010

This paper investigates a new proof of standard completeness (i.e. completeness on the real unit interval [0, 1]) for the uninorm (based) logic UL introduced by Metcalfe and Montagna in [15]. More exactly, standard completeness is established for UL by using nuclear completions method introduced in [8, 9].