• 한국정보처리학회논문지
• /
• 제3권3호
• /
• pp.478-492
• /
• 1996

병렬 구문을 갖지 않는 함수 프로그램의 병렬 수행을 위해 람다 계산 해석법(λ- calculus encoding)이 도입되었고 이것은 함수 프로그램을 프로세스 계산(process calculus) 을 이용하여 프로세스망으로 구성하고 프로세스간의 통신 행위에 의해 결과를 얻는 새로운 계산 모델에서 사용될 수 있다. 그러나 람다 계산 해석 법은 상수식 조차도 너무 많은 통신 행위를 야기시키는 문제가 지적되어 왔다. 본 논문은병렬 구문을 갖지 않는 컴비네이터 프로그램을 위한 해석법을 제안한다. 또 이것은 프로세스망 리덕션을 결합할 수 있도록 계산 프로세스인 초어 프로세스(chore process ; chore)를 도입한다. 초어는 지역 그래프 리덕션이 가능한 상수식을 위한 그래프 리덕션 함수를 포함할 수 있으며 초어 프로세스의 생성은 주어진 컴비네이터 프로그램에 대한 표식과 변환에 의해 추출되는 컴비네이터 적용식을 포함하지 않는 G-감축가능한 (G-reducible) 부분식으로부터 이루어진다. 본 논문은 이러한 초어 프로세스를 포함하는 해석법으로 생성된 프로세스망이 초어를 갖지 않는 것보다 더 적은 통신 행위의 회수를 발생한다는 것을 보인다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 1984년도 제26회 수공학연구발표회논문초록집
• /
• pp.77-85
• /
• 1984

와도 방정식과 오메가 방정식을 이용한 4층 경압 수치 모델을 설계하였다. 이 때 헬렘홀쯔(Helmholtz)미분 방정식을 수치 계산 하기 위해 블럭-사이클릭-리덕션 (Block-Cyclic-Reduction)방법을 적용하였고, 완화법(relaxation method)과 비교할 때 상기 방법이 해의 정확도, 안정도, 시간절약의 종합적 측면에서 보다 우수함이 판명 되었다. 모델의 신뢰성 여부를 평가하기 위해서, 가상적 초기자료를 모델에 입력하여 와도 이류, 온도 이류 효과를 살펴 보았고, 필립스(Phillips,1956)의 대기대순환 실험과 유사한 방식으로 경압대기의 발달에 따른 에너지 변환 과정을 살펴 보았다.

• 한국정보과학회논문지:시스템및이론
• /
• 제34권4호
• /
• pp.145-157
• /
• 2007

단일 칩 다중 프로세서의 경우 표준화된 병렬 프로그래밍 방법이 없는데 OpenMP를 사용하면 병렬 프로그래밍이 쉬우므로 OpenMP는 단일 칩 다중 프로세서를 위한 매력적인 병렬 프로그래밍 모델이다. 그런데 단일 칩 다중 프로세서 시스템의 구조는 대상 응용 프로그램에 따라 다양할 수 있다. 따라서 각 시스템마다 다른 방식으로 OpenMP를 구현해야 할 필요가 있다. 본 논문에서는 운영체제를 사용하지 않는 단일 칩 다중 프로세서를 위한 OpenMP 구현과 주요 디렉티브의 효과적인 변환을 제안하여 특수한 하드웨어에 의존하지 않고 OpenMP 디렉티브의 추가적인 확장 없이 성능을 향상 시킬 수 있게 한다. 실험은 대상 플랫폼인 CT3400에서 수행하고 그 결과를 제시한다.

• 한국지진공학회논문집
• /
• 제16권3호
• /
• pp.13-22
• /
• 2012

지반-구조물의 상호작용은 구조물의 동적 해석 및 기초 설계에 있어 지대한 영향을 미침에도 불구하고 그 중요성이 간과되어 왔다. 이는 모델링 과정의 복잡성으로 인해 실무자를 위한 적절한 절차가 미비 하다는 점에서 상당부분 그 이유를 찾을 수 있을 것이다. 본 연구에서는 먼저 구조물의 동적 해석이 필수적으로 요구되는 강진지역인 미국 캘리포니아에 위치한 Cal(IT)2 건물을 대상으로 지반 경계조건을 달리했을 시 해석상의 차이가 어느 정도 나는지를 검토해 보았다. 기초 모델링 기법의 하나인 Beam on Nonlinear Winkler Foundation Model을 Linear Matrix Inequalities Model Reduction 기법을 활용하여 보다 간략하게 사용할 수 있도록 하였다. 이렇게 하여 만들어진 대상 건물의 유한요소 모델과 실재 얻어진 가속도 데이터를 비교하여 제시된 방식을 통해 매우 우수한 해석 결과를 얻을 수 있음을 보였다.

• 정보보호학회논문지
• /
• 제28권3호
• /
• pp.563-577
• /
• 2018

VANET(Vehicular Ad hoc Network)에서 안전한 통신을 지원하기 위해 차량 간 또는 차량과 기반 구조 사이에서 교환되는 메시지는 인증이 반드시 수행되어야 한다. 본 논문에서는 VANET 환경을 위한 계층적 구조의 익명 인증 시스템을 제안한다. 제안하는 시스템 모델은 계층적으로 비밀키를 발급하여 기존 시스템의 문제점인 PKG의 오버헤드를 줄여 실용성을 높인다. 또한 페어링을 사용하지 않고 설계된 효율적인 2레벨 계층적 ID 기반 서명(Two-Level Hierarchical Identity-Based Signature, TLHIBS) 기법을 제안한다. 제안하는 기법은 조건부 익명성을 만족하여 차량의 프라이버시를 보호하고, 일괄검증(batch verification)을 지원하여 다수의 서명을 효율적으로 검증할 수 있다. 마지막으로 기존의 VAENT 환경에서 ID 기반 서명 기법들의 안전성 증명이 잘못된 것과는 다르게 제안한 기법의 안전성은 이산 대수 문제(Discrete Logarithm Problem, DLP)에 리덕션되어 랜덤 오라클 모델(random oracle model)에서 증명된다.