• 한국공간구조학회논문집
• /
• 제9권3호
• /
• pp.75-82
• /
• 2009

본 연구에서는 선형이론을 바탕으로 한 이산계열 대공간구조물의 크기최적화에 따른 후좌굴 거동의 변화에 대하여 조사하고 그 결과를 기술하였다. 먼저 공간구조물의 최적의 부재크기 패턴을 조사하기 위하여 수학적 프로그래밍 기법을 도입하였다. 이때 최소화 해야하는 공간구조물의 전체 부재의 중량을 목적함수로 이용하고 절점에서 발생하는 변위 값과 각 부재에서 발생하는 응력 값을 허용치 이하로 제한하는 제약조건으로 사용하였다. 크기최적화를 통하여 도출된 최적 부재패턴을 가지는 공간구조물의 후좌굴 거동을 통합 비선형해석기법으로 해석하고 그 결과를 분석하였다. 수치해석을 통하여 크기최적화에 따른 공간구조물의 후좌굴 거동의 변화는 매우 큰 것으로 나타났으며 이러한 후좌굴 거동의 변화에 대한 예측과 분석결과가 공간 구조물의 설계에 고려되어야 할 것으로 판단된다. 또한 본 연구에서 제시한 수치해석 결과는 이산계열 대공간구조물의 설계에 기본 데이터로 제시하였다.

• 전기전자학회논문지
• /
• 제24권1호
• /
• pp.52-58
• /
• 2020

정보보안 응용을 위한 참난수 발생기(true random number generator; TRNG)의 하드웨어적 구현에 대하여 기술한다. 셀룰러 오토마타에 무작위 천이규칙을 도입하고, 매 시간단계마다 다른 천이규칙이 적용되는 새로운 방법을 제안하였다. 설계된 참난수 발생기를 Spartan-6 FPGA 소자에 구현하고, 100 MHz 동작 주파수에서 난수 생성동작을 검증하였다. FPGA 소자에 구현된 참난수 발생기로부터 2×10⁷ 비트의 난수 데이터를 추출하여 NIST SP 800-22 테스트를 통해 생성된 난수 데이터의 무작위 성능을 검증하였으며, 15개의 테스트 항목 모두 기준을 충족하는 것으로 확인되었다. 본 논문의 참난수 발생기는 Spartan-6 FPGA 소자의 139 슬라이스로 구현되었고, 100 MHz 동작 주파수에서 600 Mbps의 참난수 생성 성능을 갖는다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제3권4호
• /
• pp.125-128
• /
• 2014

OpenGL ES(OpenGL for Embedded System) 2.0은 현재 스마트 폰과 태블릿 PC에서 가장 널리 사용되고 있는 3차원 그래픽스 API표준이다. 이를 이용하는 개발과정에서는 상대적으로 성능이 떨어지는 모바일 환경보다는 데스크 탑 환경이 선호된다. 따라서, OpenGL 라이브러리만 제공되는 데스크 탑 환경에서, 모바일 그래픽스 환경에서의 OpenGL ES 2.0 API를 그대로 에뮬레이션 할 필요가 있다. 본 논문은 PC 상에서 OpenGL ES 2.0 을 에뮬레이션하기 위해, 기술적 문제점들을 극복하는 방법들과 이에 따른 구현 결과를 제시한다. 구현된 OpenGL ES 2.0 에뮬레이션 라이브러리는 데스크 탑 PC 상에서 동작하고, 공식적인 검증 테스트(conformance test suite)의 96%이상을 통과하여, 구현의 정확성을 보였다. 또한, 상업적으로 제공되는 벤치마크 프로그램들에 대한 테스트에서 기존의 상업적 구현 사례와 동등한 수행 속도를 보였다.

• Smart Structures and Systems
• /
• 제16권1호
• /
• pp.163-181
• /
• 2015

This research investigates the structural health monitoring of nonlinear structures after a major seismic event. It considers the identification of flag-shaped or pinched hysteresis behavior in response to structures as a more general case of a normal hysteresis curve without pinching. The method is based on the overall least squares methods and the log likelihood ratio test. In particular, the structural response is divided into different loading and unloading sub-half cycles. The overall least squares analysis is first implemented to obtain the minimum residual mean square estimates of structural parameters for each sub-half cycle with the number of segments assumed. The log likelihood ratio test is used to assess the likelihood of these nonlinear segments being true representations in the presence of noise and model error. The resulting regression coefficients for identified segmented regression models are finally used to obtain stiffness, yielding deformation and energy dissipation parameters. The performance of the method is illustrated using a single degree of freedom system and a suite of 20 earthquake records. RMS noise of 5%, 10%, 15% and 20% is added to the response data to assess the robustness of the identification routine. The proposed method is computationally efficient and accurate in identifying the damage parameters within 10% average of the known values even with 20% added noise. The method requires no user input and could thus be automated and performed in real-time for each sub-half cycle, with results available effectively immediately after an event as well as during an event, if required.

• 지질공학
• /
• 제8권2호
• /
• pp.163-173
• /
• 1998

강원도 홍천군 서석면 일대에 발달하고 있는 풍암퇴적분지 내에 위치한 시험시추공 PABH1에서 실시된 시추결과에 대한 암상판정과 동 퇴적분지의 구성암에 대한 물성반응의 특성을 확인하기 위하여 코어관찰과 코어의 물성측정, 그리고 지구물리검층을 실시하고 그 결과를 종합분석하였다. 시추공의 64미터와 124미터 구간에 걸쳐 정밀 코어관찰을 실시하고 11개 암상군으로 분류하였다. 코어 관찰결과 구분된 11개 그룹의 코어시료에 대하여 비저항, 자연감마 및 밀도를 측정하고 그 결과를 분석하였다. 지구물리검층 또한 비저항과 밀도, 자연감마곡선을 중점적으로 분석하여 암상판정을 시도하였다. 지구물리검층과 코어물성측정의 결 과에서 각 암상별로 특징적인 물성분포가 얻어졌으며 검층곡선만의 분석에 의해서도 암상의 구분이 충분히 가능할 수 있음을 보였다. 특히 이 지역에서의 조립질퇴적암과 세립질퇴적암, 그리고 퇴적기반인 화강편마암의 물성반응이 가장 현저하여 검층 해석에서 좋은 열쇄층의 역할을 할 수 있는 것으로 나타났다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제13권3호
• /
• pp.141-152
• /
• 2007

본 논문에서 우리는 ELOS(Embedded Lightweight Operating System)라 불리는 이벤트 기반의 운영체제와 멀티흡 에드혹 라우팅 프로토콜로 구성된 네트워크 기반의 소형 실시간 시스템의 구조를 제시한다. 효율적인 실시간 프로세싱을 위하여 보장된 시간 슬롯을 가진 조건적 선점형 FCFS 스케줄러가 개발되었다. 보다 정교한 네트워크 구성을 위하여 무선 에이전트 노드를 통한 반자동 구성(semi-auto configuration) 방식을 사용한다. 개발된 소프트웨어 시스템은 자체 개발한 소형 하드웨어 프로토타입에서 구현되었다. 또한, 제안된 시스템의 성능을 평가하기 위해서, 우리는 유비쿼터스 네트워크 테스트 베드를 개발했고, 다양한 환경에서의 실험이 이루어 졌다. 실험 결과를 통하여 제안된 ELOS 시스템은 실시간 제약을 가진 네트워크 기반의 소형 유비쿼터스 시스템에 상당히 알맞은 시스템이라는 것을 확인한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제12권6호
• /
• pp.349-357
• /
• 2006

본 논문에서는 프로그램의 성능을 향상시키기 위하여 프로그래머들이 다른 성능조율 대안들을 평가하는 것을 돕는 새로운 평가 방법론을 소개한다. 이 방법론은 조율 대안이 채택된 경우의 성능을 평가할 수 있게 한다. 구체적으로 말하자면, 성능 병목 지점의 확인을 위하여 프로그램 구성 요소들에서 소요되는 시간을 수량화하는 전통적인 성능 평가 방법론과는 대조적으로 분산 또는 병렬 프로그램이 처리하는 일의 이동 이후의 성능을 예측한다. 따라서, 이 방법론은 일의 처리 장소를 변경함으로써 성능을 향상시키는 것에 대한 가이드라인을 제공한다. 이 방법론을 사용하면 기반 네트워크 변경에 따른 성능에 대한 파급효과도 예측할 수 있다. 이 방법론은 조율할 프로그램이 실행되는 동안 점진적으로 그리고 온라인으로 성능을 평가할 수 있다. 본 논문에서는 이 방법론을 구현한 후 사용했을 때 여섯 프로그램들의 검사 집합에 대하여 다른 조율 대안들의 성능을 정확히 예측할 수 있다는 실험 검증 결과를 보인다.

• 정보처리학회논문지A
• /
• 제19A권3호
• /
• pp.147-154
• /
• 2012

창의력이나 문제해결력과 같은 고차원적인 사고 능력은 주어진 문제의 정 오답만으로는 진단이 어려우며, 진단을 위해서는 교수자가 학습자의 문제 해결 과정을 지켜보거나 해결 과정에 대한 학습자의 보고 과정이 요구된다. 더구나 교수자의 학습자에 대한 관찰이 불가능한 온라인 학습이나 버추얼 클래스와 같은 환경에서는 학습자의 문제 해결 과정을 평가하거나 학습자 스스로 자신의 부족한 부분을 진단하는 것은 더욱 어려워진다. 이러한 문제를 해결하는 최선의 방법은 학습자가 문제를 해결하는 동안을 추적하여 그 과정을 보고해 주는 것이라 할 수 있다. 본 연구에서는 MS 오피스군의 소프트웨어를 활용하여 주어진 문제를 해결하는 동안 학습자의 작업 내역을 트레이싱하여 최종적으로 학습자에게 자신의 부족한 부분을 진단해 주고 자신의 능숙도와 소프트웨어를 응용하여 주어진 문제를 해결하는 과정에 대한 평가를 해주는 모듈을 개발하였으며, 본 진단 모듈의 효용성 평가를 위하여 실제 MOS 시험을 준비하는 학습자 81명에 대한 적용 및 만족도 조사를 통하여 통계적으로도 유의미한 효과가 있음을 확인하였다.

• 정보보호학회논문지
• /
• 제28권1호
• /
• pp.61-71
• /
• 2018

다양한 장비의 인터넷 연결을 지향하고 있는 사물인터넷시대에서 암호기술의 사용을 위해 암호학적으로 안전한 난수생성은 중요 요구사항이다. 특히, 생성된 난수의 안전성과 연관된 엔트로피 원은 예측하기 어려운 잡음원을 위해 부가적인 하드웨어 로직을 사용하기도 한다. 비록 성능 측면에서 좋은 결과를 나타낼 수 있으나, 부가적인 리소스의 사용에 기인한 추가적인 전력 소비 및 면적문제 때문에 기존 자원을 최대한 활용하는 엔트로피 수집방법이 요구된다. 본 논문에서 제시하는 엔트로피 원은 멀티쓰레드 프로그램을 지원하는 환경에서 부가적인 장치 없이 공통적으로 사용 가능하므로 암호기술 구현에 있어 경량화의 어려움을 완화시킬 수 있다. 또한, 제안하는 엔트로피 원이 NIST SP 800-90B에서 제시한 난수발생기를 위한 엔트로피 입력원 테스트에서 높은 보안강도를 갖는 것으로 평가 되었다.

• 정보과학회 논문지
• /
• 제42권8호
• /
• pp.1049-1056
• /
• 2015

2011년에 발표된 RIPE는 프로그램 공격에 대한 완화 기법 평가 도구로서 850 가지 패턴의 버퍼 오버플로우 기반 공격에 대한 완화 기법만을 평가한다. RIPE는 공격과 방어 루틴이 하나의 프로세스로 실행되도록 구성되어, RIPE가 실행될 때에는 공격과 방어 루틴이 프로세스 상태와 주소 공간 배치를 공유할 수밖에 없게 된다. 그 결과 공격 루틴은 방어 루틴의 메모리 공간을 아무런 제약 없이 접근할 수 있게 된다. 이 논문에서는 RIPE의 공격과 방어 루틴이 독립적인 2개의 프로세스로 동작하도록 하여 주소 공간 배치 난독화와 같은 기밀성에 근거한 방어 기법을 정확히 평가할 수 있도록 개선하였다. 또한 억지 공격에 대한 방어 능력을 실험할 수 있도록 실행 모드를 추가하였다. 마지막으로 vtable 포인터 공격과 형식문자열 공격을 수행하도록 38 가지 패턴의 공격을 추가하여 확장하였다. 개선 결과 공격 패턴이 다양하게 되었고, 보호 효과 평가의 정확성도 높아졌다.