• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (1)
• /
• pp.13-15
• /
• 2004

OpenMP 프로그램에서 수행되는 스레드들간에 적절한 동기화 없이 적어도 하나의 쓰기 사건으로 동일한 공유변수에 접근하는 경우에 발생되는 오류인 경합은 비결정적인 수행결과를 초래하므로 디버깅을 위해서 반드시 탐지되어야 한다. 이러한 경합탐지를 위한 기존의 디버깅 도구는 프로그램의 복잡한 수행구조 및 디버깅 정보를 시각화하기 위한 공간이 제한적이므로 효과적인 시각화를 제공하지 못한다. 본 논문에서는 경합 시각화를 위해서 3차원적 시각화와 스레드 및 이벤트 둥의 추상화 기능으로 공간적 제약성을 해결하는 도구를 제안한다. 제안된 도구는 추상적 시각화 정보를 제공하므로 프로그램의 이해가 용이하고 효과적인 경합디버깅 환경을 제공한다.

• 한국정보통신학회논문지
• /
• 제16권3호
• /
• pp.391-398
• /
• 2012

병렬 프로그램은 의도되지 않은 비결정적인 수행을 야기하므로 공유 메모리를 사용하는 병렬 프로그램에서는 경합을 탐지하는 것은 매우 중요하다. 수행 중 기법에서 경합을 탐지하기 위해서 요구되는 기억장소의 부담은 매우크다. 특히 동기화가 있는 병렬 프로그램에서 경합 탐지에 필요한 기억 공간의 문제는 더욱 심각하다. 그래서, 본 논문에서는 원시 프로그램의 시멘틱을 유지하면서 동기화를 가지는 공유 메모리 병렬 프로그램의 디버깅을 위한 루프 분리 기법을 제시한다. 이것은 동기화를 가지는 병렬 프로그램의 수행 중 경합 탐지에 필요로 하는 기억공간의 복잡성을 줄일 수 있고, 루프 분리된 프로그램을 수행 중에 감시하여 최초 경합들을 탐지할 수 있다.

• 한국정보과학회논문지:시스템및이론
• /
• 제30권7_8호
• /
• pp.341-351
• /
• 2003

내포병렬성을 가진 공유메모리 병렬프로그램의 효과적인 디버깅을 위해서, 프로그램의 비결정적 수행을 최초로 초래하는 경합을 효율적으로 탐지하는 것이 중요하다. 이러한 최초경합을 수행 중에 탐지하는 기존의 기법은 두 번의 프로그램 수행을 통해서 탐지하면서 각 공유변수마다 프로그램의 최대병렬성에 의존적인 크기의 접근역사를 유지하므로 비효율적인 수행시간과 기억공간을 요구한다. 본 논문에서는 두 번의 프로그램 수행을 통해서 수행 중에 각 공유변수에 대한 접근역사를 상수적 크기로 유지하므로, 각 접근사건의 수행 시에 상수적 복잡도의 사건비교 횟수와 기억 공간만을 요구하는 새로운 최초경합 탐지기법을 제안한다. 그러므로 본 기법은 내포병렬성을 가진 공유메모리 병렬프로그램의 디버깅을 위해서 보다 효율적이고 실용적인 경합탐지를 가능하게 한다

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (B)
• /
• pp.52-54
• /
• 2001

공간 선택 질의에 사용되는 질의 윈도우로는 직사각형이 주로 사용된다. 하지만, 최근에는 GIS 등과 같은 응용 프로그램들이 성능 향상으로 인해 보다 다양한 종류의 응용이 등장하고 있으므로, 직사각형뿐만 아니라 임의의 다각형 형태의 질의 윈도우에도 적합한 정제 단계 수행 전략에 대해 고려해 볼 필요가 있다. 이러한 전략으로는 기존의 공간 조인에서와 같이 plane-sweep 알고리즘을 이용하는 방법이 일반적이다. 하지만, 공간 데이터와 질의 위도우의 특성을 관찰해보면, 일반적으로 질의 윈도우가 공간 데이터보다 훨씬 간단한 모양으로 구성되어 있음을 알 수 있으므로, 본 논문에서는 이러한 상황에 보다 적합한 정제 단계 수행 방법을 제시하고 있으며, 실험을 통하여 제시한 방법의 우수성을 입증하고 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.343-345
• /
• 2001

요약해석(abstract interpretation)이란 래티스(lattice)로 표현되는 요약된 공간에서 프로그램을 수행함으로써 프로그램의 성질을 분석하는 방법이다. 요약해석에서 프로그램의 분석 결과는, 정보가 없는 상태에서 시작하여 더 이상 정보의 증가가 없을 때까지 프로그램을 반복해서 수행함으로써 얻어지는 고정점(fixpoint)에 의하여 표현된다. 본 연구에서는 이러한 고정정 계산의 속도를 높이기 위하여 이전 반복의 계산 결과를 최대한 이용하는 방법을 제시한다. 그리고 제시된 방법을 상수 및 이명 분석의 구현에 적응하여 실제로 분석 속도가 증가함을 보였다.

• 건축사
• /
• 5호통권397호
• /
• pp.102-109
• /
• 2002

사회적 변화에 따른 대중에게 열린 문화 공간이라는 현대 박물관의 사회적 역할과 기능에 대한 개념은 이미 보편화되어 있다. 다원화, 대중의 열린 교육 공간, 커뮤니티를 위한 공간 등 대중을 위한 지적ㆍ문화적 욕구를 충족시켜 주는 일상과 연계된 열린 공간으로의 변화가 세계적인 추세인 것이다. 하지만 대 사회적 역할을 수행해야 할 국내의 대규모 국ㆍ공립 박물관은 지속적으로 논의되어지고 있는 공공박물관의 역할을 수행하기에는 프로그램의 내용과 이를 수용하는 건축적 대응이 선진 외국박물관들에 비해 많은 면에서 미흡한 것이 사실이다. 따라서 본 글에서는 현대 박물관들이 관람객과 지역주민들을 위해 마련하고 있는 다양한 프로그램의 유형과 그 운영실태를 파악하고 이와 대응하는 공공서비스영역의 건축적 고려에 대한 사항을 분석하여 공공박물관(Public Museum)개념의 적용에 있어 도움이 되는 방법을 제안해본다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2010년도 한국컴퓨터종합학술대회논문집 Vol.37 No.1(C)
• /
• pp.534-539
• /
• 2010

OpenMP 프로그램의 수행 중에 발생하는 자료 경합과 같은 병행성 오류는 디버깅을 위하여 반드시 탐지되어야만 한다. 그러나 이를 탐지하는 것은 어려운 일이다. 접근사건의 발생 후 관계를 기반으로하는 경합 탐지 기법은 프로그램의 수행 중에 발생하는 스레드의 병행성 정보를 식별하기위한 레이블을 생성하고, 생성된 스레드의 레이블을 기반으로 공유변수에 접근하는 사건을 접근역사를 통해 감시함으로써 경합을 탐지한다. 이러한 경합 탐지의 방법에서 레이블 생성을 위한 NR 레이블링 기법은 병행성 정보생성 시에 지역자료 구조를 사용함으로써 병목현상이 발생하지 않으며, 접근역사에 저장하는 레이블의 크기가 상수 값을 갖는 공간적 효율성을 제공한다. 또한 부모스레드의 정보역사를 정렬된 리스트 형태로 가져 병행성 정보 비교 시에 이진탐색이 가능하므로 시간적 효율성을 가지는 우수한 기법이다. 그러나, NR 레이블링은 레이블의 생성시에 부모스레드의 정보역사를 유지하기 위해서 내포 병렬성의 깊이에 의존하는 시간적 비용이 요구된다. 본 논문에서는 부모스레드의 정보역사 유지를 위해 상수적인 시간 및 공간적 복잡도를 갖도록 NR 레이블링 기법을 개선한다. 합성 프로그램을 이용하여 실험한 결과에서 개선된 기법은 최대 병렬성의 증가에 따라 레이블의 생성과 유지시 기존의 기법보다 평균 4.5배 빠르고, 레이블링을 위해 평균 3배 감소된 기억공간을 요구하며, 내포 병렬성에 의존적이지 않음을 보인다.

• 한국문헌정보학회지
• /
• 제53권4호
• /
• pp.23-50
• /
• 2019

최근 도서관들은 도서관의 본연의 역할을 충실히 하면서도 지역주민의 변화하는 요구를 충족시키기 위해 역할다양화를 모색하고 있다. 복합문화공간의 조성과 이를 기반으로 한 서비스 제공이 역할확대방안 중 하나이다. 본 연구에서는 현재 복합문화공간을 조성하여 운영하고 있는 도서관의 이용자들을 대상으로 설문조사를 수행함으로써 도서관의 복합문화공간에 대한 인식도, 복합문화공간에서 운영되는 프로그램에 대한 선호도와 인식을 조사 분석하였다. 그 결과, 첫째, 공간 선호도에서 정보공간, 교육공간, 휴게공간을 선호하는 것으로 나타났다. 반면, 커뮤니티공간과 체험공간은 낮은 선호도를 보였다. 둘째, 복합문화공간을 활용한 교육프로그램, 전시프로그램, 공연프로그램을 선호하지만 체험프로그램과 커뮤니티프로그램은 선호도가 낮은 것을 알 수 있다. 따라서 이용자에게 정보 교육의 공간을 제공함과 동시에 전시 및 공연공간을 마련하여 프로그램을 운영할 필요가 있으며, 도서관 복합문화공간은 정보 교육의 공간뿐만 아니라 문화와 힐링, 체험, 소통 등이 이루어지는 공간임을 홍보하고 이용자의 인식을 개선할 필요가 있다고 본다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (1)
• /
• pp.247-249
• /
• 2002

최근 3D 공간 객체의 효율적인 표현을 위해, 3D 연산 및 다차원 인덱싱 기법에 관한 연구가 활발히 진행되고 있다. 또한 이러한 인덱스나 연산을 기반으로 많은 응용프로그램들이 개발되고 있다. 그러나, 대부분의 응용프로그램들은 단순히 비공간 속성에 대한 질의를 기반으로 한 3D 객체의 시각화에만 치중하고 있기 때문에, 3D 공간 객체에 관한 분석 기능을 제대로 지원하지 못하고 있다. 따라서, 이 논문에서는 3D 공간 객체에 관한 효율적 분석 기능을 제공할 수 있는 3D 공간 연산 처리기를 설계 및 구현하였다. 기존 시스템과의 상호운용을 위해서, 제안한 연산 처리기는 OpenGIS의 2차원 기하 객체 모텔을 3차원으로 확장한 3D 기하 객체 모델을 기반으로 하였다. 또한 빠른 공간 연산을 수행하기 위해 인덱스와 연동하여 구현하였다. 이 연산 처리기는 3D GIS에 적용될 경우, 효율적인 공간 분석 기능을 제공할 수 있다.

• 디자인학연구
• /
• 제16권4호
• /
• pp.323-334
• /
• 2003

현대의 문화시설은 건축물과 도시 환경을 근거로 한 디자인 접근과 관련 공연 프로그램의 다양화 및 세계화를 지향한다. 이러한 문화시설은 지역 문화 홍보와 국가의 특징적 문화형태를 보존 발전시키는데 중요한 역할을 한다. 따라서 도시 및 지역 환경과 문화적 특성을 반영하는 문화공간의 제공은 현대 도시 환경에서 필수적 조건이다. 또한 현대의 문화시설은 관객의 능동적이고 자발적인 문화 참여와 관객과 공연인의 상호교류의 기회와 공간을 제공하여야 한다. 이러한 기능 제공을 위해서는 문화시설을 형성하는 공간 기능의 차별화 정책이 필요하다. 간 공간들의 철저한 기능 분리, 차별화 된 문화 컨텐츠와 프로그램의 기획으로 자체적 관객층을 형성하며 기능성과 환경 조건을 반영한 시각적으로 특색 있는 건물디자인 계획의 실행이 요구된다. 이러한 디자인 계획은 결과적으로 대중들에게 중복되지 않는 내용의 문화프로그램을 접촉할 수 있는 기회론 증진시키며 단순한 집객 기능을 넘어선, 다양한 문화의 광범위한 공유를 위한 문화공간의 역할의 수행이라는 디자인 원리와 철학이 문화시설의 디자인에 실질적으로 반영됨을 의미한다. 즉, 문화시설의 디자인 과정에서는 무엇보다 도시 환경에 대한 적극적인 반영 및 문화시설 디자인에 대한 전문적인 검토과정이 요구된다. 실내 광장이나 야외 광장을 축으로 각기 다른 기능의 문화공간들이 자체적 기능을 수행함과 동시에 갈 공간의 상호교류, 무대시설, 조명, 및 음향 등 각 분야의 전문가들과의 자문을 거침으로써 공연 공간 및 무대시설의 다양하고 복잡한 기능성이 보다 효과적으로 구현될 것이다.