• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (2)
• /
• pp.157-159
• /
• 2003

정보 통신 산업의 발달로 인해 데이터의 양이 점차 증가하고 고성능의 데이터 접근이 필요한 분야가 증가됨에 따라 DBMS의 성능에 대한 관심이 높아지고 있다. 따라서 DBMS 벤더들은 계속적으로 새로운 기술을 도입하여 확장 가능한 고성능의 시스템을 지원하는데 노력하고 있다. 그러나 새로운 기술에 대한 충분하고도 광범위한 테스트가 이뤄지지 않는다면 시스템의 성능과 안정성 등에 예상치 못한 문제가 생기기 마련이다. 따라서 벤치마크를 통하여 시스템의 취약점을 알아내고 기술의 질적 평가를 하는 과정이 필수적이지만, 벤치마크 프로그램을 작성하고 수행하는 과정에 상당히 오랜 시간이 걸리기 때문에 시스템에 대한 충분한 테스트를 빠르고 용이하게 하기가 힘들다. 이에 본 논문에서는 이런 문제점을 해결할 수 있는 방안으로 사용자의 특정한 응용 도메인에서 수행될 작업부하 프로그램을 간단히 작성할 수 있으며 그 외의 나머지 벤치마크 과정을 자동화하는. DBMS 성능 평가를 위한 자동화된 벤치마크 관리기를 설계하고 구현하였다. 본 논문에서 제안한 자동화된 DBMS 벤치마크 관리기를 사용하면 사용자는 간단한 코드 작성만으로도 응용 도메인의 벤치마크를 용이하게 할 수 있다.

• 한국지진공학회:학술대회논문집
• /
• 한국지진공학회 2006년도 학술발표회 논문집
• /
• pp.463-470
• /
• 2006

이 논문에서는 신경망 제어기와 MR 댐퍼를 이용하여 지진하중을 받는 지진격리 벤치마크 구조물의 응답 감소를 위한 반능동 제어방법이 제안되었다. 제안방법 중 신경망 제어기에는 적절한 제어력을 산출하기 위해 가격함수를 기반으로한 학습 알고리즘과 간편한 민감도 계산기법이 도입되었다. MR 댐퍼가 계산되어진 제어력과 비슷한 제어력을 낼 수 있도록 clipped 알고리즘을 이용하였고, 제안된 반능동 신경망 제어방법이 지진격리 장치가 설치된 벤치마크 구조물에 적용되었다. 수치해석에서는 벤치마크 문제를 정의한 논문에서 제공된 수동제어방법이나 예시제어방법과 제안 방법의 제어성능을 비교하였다. 수치해석 결과 제안방법은 지하 변위를 약간 증가시키지만, 각층의 가속도, base shear, building corner drift 등을 매우 효과적으로 줄이는 것으로 판명되었다.

• 한국컴퓨터정보학회논문지
• /
• 제25권2호
• /
• pp.31-39
• /
• 2020

본 논문에서는 시계열 데이터를 기반으로 합성 벤치마크를 생성하는 기법을 소개한다. IoT 기기에서 측정되는 많은 데이터는 시간에 따른 수치 변화를 측정하는 시계열적 특성이 있다. 하지만 긴 기간 동안 측정되는 데이터를 일반화된 시계열 데이터로 모델링하기 힘든 문제점이 존재한다. 이런 문제를 개선하기 위해 본 논문에서는 BST-IGT 모델을 소개한다. BST-IGT 모델은 전체 데이터를 시계열 모델링이 쉬운 구간으로 분리하여 생성 데이터를 템플릿으로 수집하고 이를 기반으로 특성을 공유하거나 변형되는 새로운 합성 벤치마크를 생성한다. 제안된 모델링 기법을 이용하여 신규 벤치마크를 생성한 결과, 기존 데이터의 통계적 특성을 유지하는 합성 벤치마크와 다른 벤치마크와의 혼합으로 여러 특성을 가지는 벤치마크의 생성을 수행할 수 있었다.

• 정보처리학회 논문지
• /
• 제13권3호
• /
• pp.122-129
• /
• 2024

최근 프로그래밍 교육의 중요성이 강조되고 있지만, 초·중·고교 학생들은 프로그래밍 교육에 어려움을 겪고 있다. 대부분의 프로그래밍 환경이 블록 코딩을 바탕으로 이루어지고 있는데 이는 텍스트 코딩으로의 이행에 방해가 된다. 전통적인 PC 환경도 유지 관리 문제 등 어려움이 있다. 이러한 상황에서 모바일 앱은 대안적 프로그램 교육환경으로 생각해 볼 수 있다. 이 논문에서는 이동형 기기에서 프로그램을 작성할 수 있는 모바일 앱 설계하고 구현하였다. 첫 사례로 Scheme 인터프리터 모바일 앱을 구현하였는데, Scheme은 다중 패러다임 프로그래밍을 지원하는 교육용 언어로 MIT의 프로그래밍 교과에 사용되고 있다. 구현된 앱은 독립형 앱으로 설계되어 네트워크를 사용하지 않아도 된다는 장점이 있다. 벤치마크 수행결과, PC 수행 시간에 대한 안드로이드 기기 수행 시간은 Derivative 벤치마크 131%와 Tak 벤치마크 157%로 나타났다. 또한, 안드로이드 기기에서 벤치마크 프로그램의 수행 시간 최댓값은 Derivative 벤치마크 19.8ms, Tak 벤치마크 131.15ms로 나타났다. 이는 안드로이드 기기를 프로그래밍 교육용으로 선택 시 실습에 큰 제약이 되지 않음을 나타낸다.

• 한국지진공학회:학술대회논문집
• /
• 한국지진공학회 2002년도 춘계 학술발표회 논문집
• /
• pp.435-442
• /
• 2002

본 연구에서는 사장교의 제어기법 개발을 위한 구조물로 제공되는 벤치마크(benchmark) 사장교에 대해 복합제어 기법을 적용하였다. 이 벤치마크 문제에서는 2003년 완공 예정으로 미국 Missouri 주에 건설 중인 Cape Girardeau 교를 대상 구조물로 고려하였다. Cape Girardeau 교는 New Madrid 지진구역에 위치하고, Mississippi 강을 횡단하는 주요 교량이라는 점 때문에 설계단계에서부터 내진 문제에 대하여 자세하게 고려되었다. 상세 설계도면을 기반으로 하여 교량의 전체적인 거동 특성을 정확하게 나타낼 수 있는 3차원 모델이 만들어졌고, 사장교의 제어 성능에 관련된 평가 기준이 수립되었다. 본 연구에서 사용한 복합제어 기법이란 지진하중으로 인해 구조물에 발생되는 하중을 줄이기 위한 수동제어 기법과 상판변위와 같은 구조물의 응답을 추가적으로 제어하기 위한 능동제어 기법이 결합된 제어방법이다. 수동제어 장치로는 현재 일반적으로 많이 사용되고 있는 납고무받침(lead rubber bearing)을 사용하였다. 능동제어 방법에는 $H_2$/LQG 제어 알고리듬(algorithm)을 사용하였다. 수치해석 결과 제안방법의 성능은 수동제어 방법에 비해 매우 효과적이며, 능동제어 방법에 비해서는 좀더 좋은 제어성능을 나타내었다. 또한, 복합제어 방법은 수동제어 부분 때문에 능동제어 방법에 비해 좀더 신뢰할 수 있는 제어 방법이다. 따라서 제안된 제어방법은 지진하중을 받는 사장교의 제어를 위해 효과적으로 사용될 수 있다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1995년도 추계학술발표회논문집(1)
• /
• pp.61-66
• /
• 1995

이 논문의 목적은 육방형 핵연료집합체로 구성된 3차원 노심을 해석하기 위한 다항식전개법을 개발하는 것이다. 이를 위해 3차원 육방형 핵연료 집합체를 6개의 3차원 프리즘노드로 분할하였다. 그리고 각 꼭지점에서의 점중성자속, 프리즘 각면의 면중성자속과 노드평균중성자속을 미지변수로 하여 다항식전개법에 의해 프리즘노드내의 중성자속분포를 근사하였다. 각 중성자속간의 관계식으로서 프리즘노드내에서의 노달중성자평형식, 두 노드사이의 면에서의 중성자류 연속관계식, 각 꼭지점에서의 중성자누설평형식을 사용하였다. 다항식전개법은 해석함수 전개법에 비해 약 3배정도 빠르며 4군확산방정식에도 훌륭이 적용되었다. 그리고 VVBR-1000 3차원 벤치마크 문제에서 최대출력오차 2.6%, VVER-440 3차원 벤치마크 문제에서 12 평면과 24평면으로 나눈 경우 각각 최대출력오차 15%와 6.6%, SNR 3차원 문제에서 8 평면과 16 평면으로 나눈 경우 각각 최대오차 5.4%와 2,6%를 보였다.

• 한국지진공학회:학술대회논문집
• /
• 한국지진공학회 2003년도 추계 학술발표회논문집
• /
• pp.435-441
• /
• 2003

본 논문에서는 Maximum Energy Dissipation Algorithm(MEDA) 사장교의 MR댐퍼제어에 적용하고자 한다 MR댐퍼의 제어를 위해서 여러 제어 이론들이 제안되었으나, 각각의 특성에도 불구하고 성능면에서는 큰 차이가 없다 MEDA는 Lyapunove 직접법을 바탕으로 군성되는 제어이론으로써, 15년전에 제안되었음에도 실제 토목구조물에는 적용된 바 없어 그 성능 및 장점이 제대로 검증되지 않았다. 따라서 본 논문에서는 벤치마크 사장교 수치예제를 통해서, MEDA의 토목구조물에의 적용성을 성능(performance)과 강인성(robustness) 측면에서 분석하려한다. 수치예제에서 다양한 지진에 대한 층간변위, 가속도, 그리고 상대변위의 각 제어기법에 의한 감소량은 벤치마크문제에 정의된 평가지수(evaluation criteria)를 사용하였다.

• 한국지진공학회논문집
• /
• 제6권4호
• /
• pp.51-63
• /
• 2002

본 논문에서는 지진하중을 받는 사장교의 진동제어 기법 개발을 위해 제공된 벤치마크 사장교에 복합제어 기법을 적용하였다. 이 벤치마크 문제는 2003년 완공 예정으로 미국 Missouri 주에 건설중인 Cape Girardeau 교를 대상 구조물로 고려하였다. Cape Girardeau 교는 New Madrid 지진구역에 위치하고 Mississippi 강을 횡단하는 주요 교량이라는 점 때문에 설계 단계에서부터 내진 문제를 중요하게 고려하였다. 벤치마크 문제에는 사장교의 상세한 설계도면에 기초해 교량의 복잡한 거동을 나타낼 수 있는 3자원 선형모델과 각 제어기법의 성능을 평가하기 위한 18개의 평가기준이 제시되어 있다. 본 연구에서 적용한 복합제어 기법은 지진하중으로 인해 구조물에 발생되는 하중을 줄이기 위한 수동제어 기법과 상판변위와 같은 구조물의 응답을 추가적으로 제어하기 위한 능동제어 기법이 결합된 제어 방법이다. 수동제어 장지로는 납고무받침을 사용하였고 Bouc-Wen 모델을 사용하여 비선형 거동을 고려 할 수 있도륵 모델링 하였다. 능동제어 장치로는 이상적인 hydraulic actuators 가 사용되었으며 제어 알고리듬은 $H_2$/LQG 를 적용하였다. 수치해석 결과 제안방법의 성능은 수동제어 방법에 비해 매우 효과적이며, 능동제어 방법에 비해서는 약간 좋은 제어성능을 나타내었다. 복합제어 방법은 수동제어 부분 때문에 능동제어 방법에 비해 보다 신뢰할 수 있는 제어 방법이다. 따라서 제안된 제어방법은 지진하중을 받는 사장교의 제어를 위해 효과적으로 사용될 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2024년도 춘계학술발표대회
• /
• pp.248-250
• /
• 2024

해제 후 재사용 (Use-After-Free, UAF)는 오랜 시간 동안 소프트웨어 보안에서 중요한 문제로 인식되어 왔다. 이 문제를 해결하기 위해 다양한 완화 방법과 방어 연구가 활발히 진행되고 있다. 이러한 연구들은 대부분 기존 벤치마크 성능과 비교했을 때 낮은 성능을 보인다. 이는 메타 데이터와 코드 계측 정보가 증가하여 포인터를 많이 사용하는 벤치마크의 메모리 사용량이 증가하기 때문이다. 이 연구는 SVF를 활용하여 스택에서만 메모리 할당자 호출 지점을 분석한다. 추후 이 분석 정보를 여러 UAF 연구에 적용하여 런타임 오버헤드를 줄이는 것을 목표로 한다.

• 터널과지하공간
• /
• 제34권2호
• /
• pp.127-142
• /
• 2024

수치해석 기법의 강건성은 다양한 모델링 조건에서 계산 성능이 유지되는 것을 의미하며, 새로운 해석기법 또는 수치코드는 벤치마크 테스트를 통해 강건성이 평가될 필요가 있다. TOUGH-FLAC 모델링 기법은 국내외적으로 이산화탄소 지중저장, 사용후핵연료 지층처분, 지열 개발 등 다양한 분야에 적용되었으며, 실험 계측자료, 다른 수치코드들과의 결과 비교를 통해 모델링 유효성이 분석되었다. 본 연구에서는 해석해를 갖는 열-수리-역학적 복합거동 문제를 토대로 TOUGH-FLAC 기법의 벤치마크 테스트를 수행하였다. 적용된 해석해는 완전히 포화된 지반에 점열원 작용 시 주변매질의 온도, 간극수압, 역학적 거동과 관계되며, 해석해와 수치모사 결과를 비교하여 TOUGH-FLAC 기법의 강건성이 평가되었다. 또한, 열-수리-역학 해석의 연계항, 유체 상변화, 시간증분이 복합거동 계산에 미치는 영향을 조사하였다.