• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 추계학술발표논문집 (상)
• /
• pp.321-324
• /
• 2003

본 논문에서는 코드 최적화를 위하여 계산적으로나 수명적으로 제한이 없는 희소 코드 모션 알고리즘을 제안한다. 이 알고리즘은 지나친 레지스터의 사용을 막기 위하여 불필요한 코드 모션을 억제한다. 또한, 본 논문에서는 기존 알고리즘의 술어의 의미가 명확하지 않은 것을 개선하였고 노드 단위 분석과 명령어 단위 분석을 혼용했기 때문에 발생하는 모호함도 개선하였다. 따라서, 제안한 알고리즘은 불필요하게 중복된 수식이나 배정문의 수행을 피하게 함으로써, 프로그램의 불필요한 재계산이나 재실행을 하지 않게 하여 프로그램의 능률 및 실행시간을 향상시킨다.

• 한국콘텐츠학회논문지
• /
• 제10권3호
• /
• pp.122-131
• /
• 2010

본 논문에서는 자바 바이트코드를 분석하고 변환할 수 있는 새로운 도구인 CTOC 프레임워크를 설계하고 구현한다. CTOC는 자바 바이트코드의 분석과 코드 변환을 수행할 수 있는 도구로, 바이트코드 분석과 변환 과정을 효율적으로 구현하기 위해 확장된 제어 흐름 그래프인 eCFG(extended Control Flow Graph)와 바이트코드를 효과적으로 처리할 수 있는 중간 코드인 E-Tree(Expression-Tree)를 사용한다. eCFG와 E-Tree를 자바 바이트코드에 대한 분석과 최적화 코드 변환 과정에 적용하여 CTOC의 유용성과 확장 가능성을 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (A)
• /
• pp.7-9
• /
• 2002

본 논문에서는 DSP 코드 생성시 어드레스 인스트럭션의 개수를 최소화하기위한 효과적 인 어드레스 코드 생성 기법을 제안하였다. 기존의 방법에서는 코드 스케줄링이 수행된 다음에 어드레스 코드가 생성되었다. 본 논문에서는 코드 스케줄링과 어드레스 코드 생성을 결합하였고, 어드레스 인스트럭션의 개수를 줄이기 위한 효과적인 스케줄링 방법을 제안하였다. 실험결과는 최근 연구에[6,8] 비해 23.7% 크기의 향상을 보여주었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
• /
• pp.433-435
• /
• 2005

자바의 문제점은 실행속도의 저하이다. 바이트코드 최적화 방법을 사용하는 CTOC(Class To Optimized Classes)에서 중간코드로 사용하는 3-주소 코드를 스택-기반 코드로 코드 확장 기법으로 변환 시 불필요한 코드가 생성된다. 이러한 불필요한 코드를 제거하기 위한 정보를 필요로 한다. 필요한 정보를 얻기 위한 분석기로 CFG생성기를 설계 및 구현한다.

• 한국콘텐츠학회논문지
• /
• 제8권12호
• /
• pp.63-71
• /
• 2008

최근 임베디드 시스템의 폭넓은 보급은 응용 소프트웨어 개발과 더불어 임베디드 소프트웨어 개발 도구의 필요성 및 중요성이 강조되고 있으며 임베디드 소프트웨어를 위한 컴파일러의 개발을 동시에 요구하고 있다. 특히, 임베디드 프로세서를 탑재한 모바일 장치에서는 제한된 전력/에너지의 하드웨어적인 관리 못지않게 소프트웨어적인 관리 기술의 중요성이 강조되고 있다. 본 논문에서는 검증된 재목적 컴파일러 후단부 도구인 EXPRESSION을 통해 최적화된 에너지 소비를 고려한 MIPS 코드 생성 기술을 제안하였다. 이를 위해, 효율적인 MIPS 코드 생성을 위한 코드 생성 규칙을 기술하였으며 생성된 코드에 대한 다양한 성능분석 결과를 제시한다.

• 한국음향학회지
• /
• 제34권1호
• /
• pp.82-91
• /
• 2015

본 논문에서는 음성 채널을 통해 데이터를 전송하기 위한 데이터 모뎀의 코드북 설계 방법에 대해 기술하였다. 제안한 코드북 설계 방법은 minimax 최적화 기법을 이용하여 탐색 공간에 분포하는 심볼들 중 최대 중첩을 갖는 심볼들의 중첩을 최소화하도록 하는 방법이다. 제안한 방법에 따라 설계된 코드북을 적용한 데이터 전송 시스템을 제시하였으며, 모의 실험과 실제 이동통신망 적용 실험을 통해 제안한 방법의 성능을 평가하였다.

• 정보보호학회논문지
• /
• 제30권4호
• /
• pp.537-544
• /
• 2020

악성코드 기술 발전으로 변이, 난독화 등의 탐지 회피 방법이 고도화되고 있다. 이에 악성코드 탐지 기술에 있어 알려지지 않은 악성코드 탐지 기술이 중요하며, 배포된 악성코드를 통해 저자를 식별하여 알려지지 않은 악성코드를 탐지하는 악성코드 저자 식별 방법이 연구되고 있다. 본 논문에서는 바이너리 기반 저자 식별 방법에 대해 중요 정보인 컴파일러 정보를 추출하고자 하였으며, 연구 간에 특징 선택, 확률 및 비확률 모델, 최적화가 분류 효율성에 미치는 민감성(Sensitive)을 확인하고자 하였다. 실험에서 정보 이득을 통한 특징 선택 방법과 비확률 모델인 서포트 벡터 머신이 높은 효율성을 보였다. 최적화 연구 간에 제안하는 프레임워크를 통한 특징 선택 및 모델 최적화를 통해 높은 분류 정확도를 얻었으며, 최대 48%의 특징 감소 및 51배가량의 빠른 실행 속도라는 결과를 보였다. 본 연구를 통해 특징 선택 및 모델 최적화 방법이 분류 효율성에 미치는 민감성에 대해 확인할 수 있었다.

• 한국컴퓨터정보학회논문지
• /
• 제11권1호
• /
• pp.107-117
• /
• 2006

자바 언어는 객체지향 언어이며 다양한 개발 환경과 이식성에 맞는 언어로써 각광을 받고 있다. 하지만 자바 언어는 실행속도가 느리다는 단점을 가지고 있다. 이러한 이유는 자바 프로그래밍 환경에서 자바 가상 기계 코드인 바이트코드가 인터프리터 방식으로 사용되기 때문이다. 따라서 프로그램의 수행에는 실행속도가 현저히 저하되는 단점이 발생하게 된다. 또한 자바 언어는 컴파일러를 통해 생성된 클래스 파일에 프로그램의 수행과 관련된 정보가 숨겨져 있다. 클래스 파일의 분석으로 바이트코드를 위한 효율적인 분석 및 최적화를 할 수 있다. 본 논문에서는 자바 클래스 파일의 정보들을 이용해 자바 바이트코드 분석을 하려한다. 분석을 위해 정적 단일 배정문 형태로 변환하게 되는데 정적 단일 배정문 형태는 정의-사용체인에서 변형된 형태이다. 정적 단일 배정문 형태는 각각의 타입들을 오직 한번만 배정하고 재명명함으로써 프로그램을 정적으로 분석 할 수 있게 한다. 정적 단일 배정문 형태는 최적화와 분석을 위한 효과적인 중간 코드이다.

• 기계저널
• /
• 제44권2호
• /
• pp.23-25
• /
• 2004

이 글에서는 CFD의 효율적인 적용 및 사용을 통하여 제품의 설계와 생산 공정의 최적화가 어떻게 구현될 수 있으며 CFD를 이용한 최적화 과정 에서 걸림돌이 되는 것들로는 어떤 요소들이 있는 지 관하여 다루고자 한다. CFD와 같은 CAE tool 을 이용한 설계 과정의 최적화는 최신의 기술을 장착하고 있는 상업용 CFD 소프트웨어들에 의하여 가능하며 이들 코드들에 관한 특성들도 이 글 에셔 취급하고자 한다. 잘 알려진 바와 같이 제품 의 초기 개념 설계 단계에서부터 계획 및 상세설계에 이르기까지 각 단계에서 최적의 조건을 구하 기 위해서는 주어진 구속조건에서 변수들에 관한 반복적인 시뮬레이션이 수행되어야 한다. 이러한 과정에서 각각의 조건에 관한 시뮬레이션 과정이 시간이 비교적 많이 소요되는 수동적인 방법으로 이루어질 경우 최적화는 불가능하다. 즉 각 설계 변수의 최적화 조건을 구하기 위하여 CAE과정에 서 자동화(automation)은 필수적일 것이다. 전산 유체 역학(computational fluid dynamics)은 지난 30여 년 동안 다양한 유체유통 및 열전달 분야에서 사용되어져 오고 있는 시뮬레이션 기술이 다. 산업분야에서 CFD에 대한 요구가 증대됨에 따라 20여 년 전부터 상업용 CFD 코드가 등장하기 시작하였으며 근래 들어서는 약 80여 종류의 상업용 CFD 코드가 자동차, 전자, 화공, 건설, 조 선, 제강과 같은 여러가지 종류의 산업분야에서 이용되어 오고 있다 하지만 상업용 CFD 코드가 고가인 이유 때문에 비교적 풍부한 예산이 확보된 대기업 및 국책 연구소 중심으로 이에 관한 사용 자 층은 매우 제한적이었다. 아울러 사용상의 난 점 때문에 CFD를 전공한 전문가 집단 위주로 사 용되어 오고 있다. 이런 측면에서 볼 때 설계 분야 에 종사하는 엔지니어들이 CFD를 이용하여 설계를 하는 데는 상당한 괴리감이 존재하게 된다. 전 통적으로 CFD와 같은 해석은 설계에 대한 타당서 검증의 목적으로 설계 사이클에서 맨 마지막에 수행되어져 왔기 때문에 CFD가 설계에 직접적인 도움을 주지 못하고 보조의 역할밖에 하지 못하는 수몽척인 도구로 여겨져 왔다. 이려한 설계 경향 은 CFD가 설계 과정에서 요구하는 시간 내에 시뮬레이션이 불가능하기 때문에 나타난 현상이다 상기에서 언급된 문제점인 시abf레이션의 시간 단 축은 설계 부서 에서 사용되는 CAD 도구와 CFD와 같은 CAE tool을 적절하게 접목함으로써 (integration) 가능할 것이다. 이후에서는 CFD의 시뮬레이션 과정을 자동화하기 위하여 고려되어 야 할 요소들에는 어떤 것들이 있는지에 관하여 알아보고자 한다.

• 한국항공우주학회지
• /
• 제30권7호
• /
• pp.1-10
• /
• 2002

설계 순기의 단축, 개발 비용의 절감, 제품 성능의 향상을 목적으로 하는 MDO(Multidisciplinary Design Optimization)의 적용이 가능한 프레임워크의 개발을 위하여 해석 자원의 통합 방안, 해석 및 최적화 과정의 관리 방안과 이를 위한 소프트웨어 구조를 제시하였다. 중앙집중식 DBMS(Data Base Management System)을 채택하였으며, 해석 코드의 통합 방안으로 DLL(Dynamic Link Library)을 이용하는 방법과 입출력 파일을 이용하는 방안을 제시하였다. 해석 및 최적화 과정과 데이터 흐름을 관리하는 방안으로 Graphic Programming의 개념을 도입하였다. 간단한 수치 예제와 삼차원 패널 코드를 이용한 항공기 날개의 형상 최적화에 적용하여 제시한 방안의 타당성을 검증하였다.