• 한국멀티미디어학회논문지
• /
• 제6권7호
• /
• pp.1200-1208
• /
• 2003

자바카드 기술은 스마트카드나 메모리 제한적인 장치에서 자바 프로그래밍 언어로 작성된 응용프로그램을 동작 가능하게 한다. 자바카드 기술은 높은 안전성, 이식성, 다중의 응용프로그램을 관리하고 저장하는 기능을 제공한다. 그러나 자바카드 플랫폼의 제한적인 메모리 자원은 다양한 용도로 자바카드가 보급되는데 저해 요인으로 작용하고 있다. 따라서 본 논문에서는 자바카드의 효율적인 메모리 사용을 위해서 바이트코드 최적화 알고리즘을 제안한다. 이 알고리즘은 예외처리 구문 try-catch-finally에서 catch절의 매개변수에 대한 기억장소를 공유하게 함으로써 생성되는 바이트코드의 크기를 줄일 수 있다.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2000년도 춘계학술대회논문집A
• /
• pp.304-308
• /
• 2000

In this work, an equation of J-integral for a penny-shaped crack at the end of the cord embedded in rubber matrix is proposed. The dimensional analysis is applied to derived to the equation of J-integral. We assume that the energy Parameter J is separated into the deformation and the geometry function, and which is proved using by separation parameter.

• 화약ㆍ발파
• /
• 제34권2호
• /
• pp.31-38
• /
• 2016

유체 동역학 코드는 고속 충돌을 모델링하는 수치해석 툴로서 재료가 유체처럼 거동한다고 가정하며, 화약을 이용한 암반발파와 같은 충돌 문제를 푸는 데 광범위하게 사용된다. 암반발파를 현실적으로 모사하기 위해서는 화약을 수치해석적으로 모델링할 필요가 있으며, 이를 통해 암반과 화약의 상호작용 문제를 완전 연계된 방식으로 풀 수 있다. 화약을 수치 모델링하기 위해서는 특정 물리적 조건에서 재료의 상태를 나타내는 상태 방정식이 수립되어야 한다. 본 고에서는 발파 과정을 수치 모델링하기 위한 유체 동역학 코드, 화약의 상태 방정식과 관련 매개변수의 결정방법에 대해 소개하였다.

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

본 논문은 ATM(Abstract Time Machine)으로 명세된 실시간 시스템에 대한 재/역공학 측면에서의 검증을 위한 Ada 코드로의 변환 과정에서 요구되는 DoME/ATM 파스트리 생성과정과 이를 통해 추출되는 정보를 이용하여 ATM을 SRL/ATM으로의 변환방법을 설계 구현한다. 임무 위급 시스템 같은 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법인 ATM은 순환공학에서의 실시간 시스템 속성은 물론 특정 환경과 동적 정보 등을 명세하기 위한 정형기법이다. 본 논문에서는 DoME을 이용하여 실시간 시스템에서의 특정 요구사항에 대한 DoME/ATM을 생성하고, DoME의 기능을 이용하여 ATM을 스크립트 코드로 저장한 후, DoME/ATM 파스트리 생성기를 통해 명세 정보를 추출하여 SRL/ATM으로의 변환기를 설계 구현한다. 변환기에 의해 생성된 매개언어인 SRL은 명시적인 정의와 효율적 분석 정보를 제공함으로써 Ada, COBOL, C 등과 같은 실행코드를 생성할 수 있도록 하는 기반을 제공한다.

• 한국지진공학회논문집
• /
• 제15권6호
• /
• pp.1-10
• /
• 2011

이 연구는 중공 프리스트레스트 콘크리트 교각의 P-M 상관도에 대한 매개변수 분석을 수행한 결과를 제시하고 있다. 다수의 매개변수 중에 콘크리트 압축강도, PS 강재량, 유효프리스트레스, $D_s/D_o$, 그리고 $D_i/D_o$를 선택하여 P-M 상관도에 미치는 영향을 중점적으로 다루었다. 준정적 실험을 통해서 중공 프리스트레스트 콘크리트 교각 실험체의 강도와 연성도를 평가하였다. 실험 및 해석결과와 각 코드를 기준으로 비교한 P-M상관도의 결과는 서로 다른 차이를 나타내었으며 AASHTO-LRFD는 근접한 값을 보여주었다. 무차 원화한 P-M 상관도를 중공 프리스트레스트 콘크리트 교각의 저항능력을 예측하기 위하여 제시하였다.

• 한국음향학회지
• /
• 제21권7호
• /
• pp.641-647
• /
• 2002

본 논문에서는 경향 양자화 기법을 적용하여 분절 특징 은닉 마코프 모델 (HMM: hidden Markov model)의 매개 변수 수를 줄이는 방법을 제안한다. 제안된 방법은 분절 특징 HMM에서 사용하는 분절 특징, 즉 모수적 궤적을 위치 정보와 경향 정보로 분리한 후, 분리된 경향 정보를 경향 코드북을 이용하여 공유한다. 분절 특징에서 위치 정보는 특징의 기준 점을 나타내고, 경향 정보는 분절 특징의 변이를 의미하며 특징의 많은 부분을 차지하고 있다. 따라서 경향 정보가 공유될 수 있다면 분절 특징 HMM의 매개 변수 수를 줄일 수 있을 것이다. 실험 결과 제안된 방식이 기존의 시스템과 비슷한 성능을 보였으며 매개 변수 수를 줄이는 방안으로 고려될 수 있음을 보였다.

• 인터넷정보학회논문지
• /
• 제17권4호
• /
• pp.51-60
• /
• 2016

내장 소프트웨어는 실시간성 및 실행 환경으로부터의 독립성을 요구사항으로 갖는다. 실시간성 요구사항은 탑재된 태스크의 최악 실행 시간으로부터 영향을 받는다. 따라서 실시간성을 보장하기 위해서는 정적 분석 기반의 최악 실행 시간 분석 방법을 사용하여 프로그램의 최악 실행 시간을 파악하여야 한다. 그러나 기존의 최악 실행 시간 분석은 실행 환경으로부터 독립성을 고려하지 않는다. 이에 우리는 실행 환경으로부터 독립성을 제공하기 위해 소스코드로부터 실행 시간을 측정하는 방법을 제시한다. 이를 위해 실행 코드가 아닌 소스코드로부터 생성된 제어 흐름 그래프를 통해 실행 시간을 측정한다. 또한 소스코드로부터 생성된 제어 흐름 그래프에는 실행 시간 정보가 존재하지 않기 때문에, 이를 제공하기 위해 소스코드의 문장과 실행코드의 명령어와의 관계를 분석한다. 결과적으로 실행 시간 측정이 가능한 제어 흐름 그래프를 생성할 수 있다. 이를 통해 프로세서로부터 종속적인 부분을 매개변수화할 수 있기 때문에, 최악 실행 시간 분석 도구의 유연성을 향상시킬 수 있다.

• 디지털콘텐츠학회 논문지
• /
• 제16권2호
• /
• pp.263-274
• /
• 2015

제주지역은 지역별 인구대비 등록 미술관 수가 전국 최고이나 상대적으로 낮은 인지도로 대중과의 소통에 뒤떨어져 있어 시대에 맞는 홍보대안이 필요하다. 호감도와 접근도면에서 탁월하고 정보의 아이덴티티를 제공하는 디자인 QR코드가 미술관의 홍보매개체로 다양하게 활용되고 있으나 제주지역 등록 미술관의 대부분이 디자인 QR코드의 개발이 미비하여 현실적으로 실현 가능한 디자인 개발이 필요한 실정이다. 본 연구에서는 제주지역 등록 공립미술관 6개소의 Museum Identity현황을 기표와 기의로 나누어 의미체계를 분석하고 분석한 자료를 바탕으로 개발 선정한 4개소의 Museum Identity를 반영한 QR코드디자인을 개발하였다. 개발된 디자인 QR코드를 가치적 특성에 따른 디자인의 활용 사례로 제안한 연구이다.

• 한국정보처리학회논문지
• /
• 제5권6호
• /
• pp.1479-1493
• /
• 1998

C++ 프로그램을 병렬 실행시키려면 재구성 컴파일러가 함수 호출로 발생하는 요약된 정보를 수집해야 한다. 객체의 참조 매개변수를 사용하는 경우와 객체의 참조를 반환하는 메소드에 대해서 메소드간의 요약된 정보를 발견하여 병렬성을 검출하는 것은 어렵다. 본 논문에서는 순차 C++ 프로그램을 병렬 프로그램으로 변환하기 위해 클래스 인터페이스 내에 메소드간의 관계를 명시하는 병렬 정보 GERINFPO절과 순서 정보 SEQ절을 삽입하므로서 명시적인 병렬성을 얻고 재구성 컴파일러는 명시된 정보를 이용하여 프로그램내에 내재한 묵시적 병렬성을 얻는 방법을 제안한다. 또한 본 논문에서 제시하는 종속 분석 방법을 이용하여 순차 C++ 프로그램을 병렬 코드로 변환하는 병렬코드 변환기를 구현하였다.

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

인터넷의 보급에 따른 신속정확하고 편리한 정보처리의 장점에도 불구하고 최근 들어 급증하고 있는 보안 관련 사고들로 인하여 개인정보 및 기업정보의 관리에 대한 대책 마련이 시급한 가운데 있다. 그 중에서도 SQL 삽입 공격에 의한 악의적인 관리자 권한 획득 및 비정상적인 로그인 등으로 인하여 많은 피해가 발생하고 있다. 현재 SQL Injection에 관련된 대부분의 연구는 공격을 탐지하는 방법에 초점이 맞추어져 있다. 본 논문에서는 프로그램 코드를 분석하여 따옴표가 포함된 취약한 인라인 SQL 쿼리 구문을 찾아서 매개변수화된 쿼리로 변경하는 기능을 제공함으로써 근본적인 해결책을 찾고자 하였으며 Java, C#.net 등 다양한 언어를 지원하여 개발 업무에서의 활용성을 높이고자 하였다.