• 한국광학회:학술대회논문집
• /
• 한국광학회 2002년도 하계학술발표회
• /
• pp.158-159
• /
• 2002

오늘날에도 RSA암호문은 현대 암호에 대부분 적용될 정도로 안전하다고 생각되어왔다. 또한 PGP(Pretty Good Privacy)라는 가장 대중적인 암호화 소프트웨어도 RSA 원리를 기반으로 하고 있다. 그러나 RSA암호화체계는 주요한 결점이 있다. 인수분해하는 것이 ＂어렵다＂라고 하지만, 결코 증명되지 않았고, 또한 인수분해를 수행하는 아주 빠른 알고리즘의 존재가 전혀 불가능하지는 않기 때문이다. 따라서 현존하는 암호화 체계보다 더 확실한 안전을 보장해주는 새로운 암호화 체계와 암호화키의 분배시스템의 필요성이 대두되고 있다. (중략)

• 논리연구
• /
• 제10권1호
• /
• pp.99-107
• /
• 2007

최근 김세화는 "프로슬로기온" 3장에 나오는 논증을 새롭게 해석하는 방안을 제시했다고 주장한다. 그에 따르면, 그가 제시한 논증 III 은 3장에 대한 기존의 해석과 다르며, 3장에 대한 또 다른 가능한 해석인 논증 IV보다도 더 낫다. 여기서 나는 논증 III은 기존의 해석과 견주어 볼 때 새롭다고 하기 어려우며, 나아가 그가 원하는 결론을 얻고자 한다면 도리어 논증 III보다 논증 IV를 택해야 함을 보인다.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 1993년도 추계학술대회발표논문집; 서강대학교, 서울; 25 Sep. 1993
• /
• pp.127-127
• /
• 1993

Separating Hyperplane의 기하학적인 성질을 이용하여, 일반적인 Closed Convex Set들의 교집합에 속하는 점을 찾아가는 방법을 제안하고, 교집합에 속하는 점을 찾아가는 과정에서 그 교집합의 공집합 여부를 판정할 수 있는 방법을 제안하였다. 이 기법은 기존의 방법들이 가정하는 수렴조건보다 더 일반적인 조건 하에서도 수렴성을 갖는 것을 증명할 수 있었으며, 그 교집합의 공집합 여부를 선형부동식 해의 존재 유무로 판정할 수 있는 방법을 제시하였다. 몇가지 특수한 경우의 Convex Set들의 경우에 대한 기법의 적용 결과도 알아 보기로 한다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2011년도 전력전자학술대회
• /
• pp.91-92
• /
• 2011

단방향 DC-DC컨버터는 불연속 전도모드(Discontinuous Conduction Mode:DCM)구간에서 전류기준치와 실제 흐르는 평균전류와의 오차가 존재하여 MPPT추종이 어렵거나 불가하다. 따라서 본 논문은 전류제어를 하는데 전류오차율을 2%까지 최소화할 수 있는 전류게인 전향보상기법을 이용하여 DCM 구간에서도 98%이상의 MPPT효율로 MPPT수행이 가능함을 실험으로 증명하였다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2012년도 추계학술대회 논문집
• /
• pp.73-74
• /
• 2012

본 논문은 브릿지형 컨버터에 존재하는 기생성분이 게이트 구동에 미치는 영향을 분석한다. 다양한 기생성분과 입출력 사양에 따라 게이트 구동을 저해하는 EMI의 크기가 어떻게 변하는지 그 관계를 밝힌다. 이론적 분석을 통하여 시뮬레이션 모델을 구축하고, 실험을 통하여 타당성을 증명한다.

• Patent21
• /
• 통권94호
• /
• pp.12-15
• /
• 2011

최근 국내 외 기술유출이 늘어남에 따라, 우리 기업이 보유하고 있는 영업비밀에 대한 관리 및 보호에 관심이 모아지고 있다. 그러나 기술유출 관련 분쟁 발생시, 침해 사실을 입증하는데 가장 기본이 되는 영업비밀의 존재와 보유시점을 입증하기란 현실적으로 쉽지 않은 일이다. 그러나, 특허청과 한국특허정보원이 공동으로 제공하고 있는 "영업비밀 원본 증병 서비스(www.tradesecret.or.kr)" 는 누구나 쉽고 간편하게 이용할 수 있다는 장점에 기존 기술유출 관련 증거 자료를 확보하는데 소요되는 많은 비용과 시간을 절감할 수 있다.

• 한국경영과학회지
• /
• 제14권2호
• /
• pp.97-104
• /
• 1989

This paper extends the existence proofs of a Nash equilibrium to a more general class of differentila game models with constraints on the control spaces. With the assumptions of continuity, convexity, and compactness, the existence is proved using Kakutani Theorem and via a path-following approach. Furthermore, the proof for a period-by-period optimization of multi-period problems provides an insight to a numerical solution algorithm to differential game models with constraints.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.483-485
• /
• 2000

소프트웨어 산업계는 컴포넌트 기반의 개발이 소프트웨어의 생산성과 품질을 향상 시킬 것으로 기대하고 있다. 최근에 많은 연구를 통해 한 시스템의 컴포넌트들은 각각 granularity를 가지는 것이 밝혀졌다. 그러나 지금까지 제시된 많은 방법론들이 컴포넌트 granularity를 정확하고 세부적으로 도출하지 못하고 있다. 본 연구에서는 컴포넌트의 granularity를 도출하는 수학적인 방법을 제시한다. 그리고 이론적인 연구를 통해 비즈니스 단위의 컴포넌트와 공통 컴포넌트가 분리된다는 것을 보인다. 사례 연구를 통해 우리는 우리가 제시한 granularity의 도출 방법이 유용함을 증명하고 컴포넌트를 분리시키는 경계선이 존재한다는 것을 보인다.

• 한국어업기술학회:학술대회논문집
• /
• 한국어업기술학회 2000년도 춘계수산관련학회 공동학술대회발표요지집
• /
• pp.126-127
• /
• 2000

후코이단은 혈액중에 존재하는 함황 산성다당인 헤파린(heparin)과 구조 및 생리적 특성이 유사하여 항혈액응고작용(Bernardi and Springer, 1962)을 갖고 있다는 사실이 처음으로 밝혀지게 되었다. 그후 Usui 등(1980)은 Eisenia bicyclis로부터 추출한 후코이단 획분의 항혈액응고 활성이 54 I.U.로서 헤파린의 40%정도의 높은 활성을 갖고 있다는 사실이 증명되었다. (중략)

• 정보처리학회논문지A
• /
• 제13A권3호
• /
• pp.253-260
• /
• 2006

본 논문에서는 피라미드 그래프에서의 헤밀톤 사이클 특성을 분석한다. 사이클 확장 연산을 이용하여 사이클의 크기를 확대시켜 나가는 일련의 과정을 통하여 헤밀톤 사이클을 찾을 수 있는 제시된 알고리즘을 적용함으로써 임의의 높이 N인 피라미드 그래프 내에 길이 $(4^N-1)/3$인 헤밀톤 사이클이 존재함을 증명한다.