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

자바 바이트 로드 명령어는 타입에 관한 정보를 포함하고 있다. 그러나 기본적으로 스택 기반으로 동작이 수행되기 때문에 지역 변수를 위한 명시적인 타입을 가지지 않는다. 하지만 프로그램의 최적화나 역컴파일을 위해서는 지역 변수의 타입을 아는 것이 중요하다. 본 논문은 스택을 사용하지 않는 3-주소 코드에서 지역 변수를 위한 정적 타입 추론을 구현한다. 이를 위해 본 논문에서는 SSA와 방향성 그래프를 적용한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권3호
• /
• pp.335-342
• /
• 1999

논리 프로그램의 타입 및 모드 분석은 실행 시간에 변수가 갖는 텀의 집합에 대한근사값을 구하는데 보통 요약 해석을 기반으로 하여 설계되고 개발되어 왔다. 이 논문에서는 타입 및 모드 분석을 위해서 설계된 다양한 요약 도메인을 고려하여 그들간의 계층 관계를 Galois insertion을 기준으로 밝힌다. 이 논문에서는 요약 도메인으로써 타입 그래프, 깊이-k 타입 , 깊이-k 모드, 순환모드, 그리고 모드를 고려할 것이다. 특히 깊이-k 모드는 타입 및 모드 분석을 통합하기 위한 도메인으로써 깊이-k 타입을 확장하여 제안하였다.

• 한국광학회지
• /
• 제19권4호
• /
• pp.276-286
• /
• 2008

스테레오 카메라를 사용하여 입체영상을 획득하는 대표적인 방법으로는 수렴 및 평행방식이 있다. 본 연구는 수렴 및 평행타입의 장점을 갖추고 자연스런 입체영상을 획득할 수 있는 평행타입 기반의 변형평행타입 입체영상 획득 방법을 사용하여 수렴방식의 입체영상 획득방법을 모사할 수 있는 인자들의 추출 및 정량적 분석을 통하여 중요 핵심인자를 정의하였다. 결과적으로 변형평행 타입에서 수렴타입을 모사할 수 있는 인자들은 스테레오 카메라의 간격, 화각 및 수렴각이고, 융합영역 내에서의 핵심인자는 수렴각의 변화이다. 결론적으로 변형평행타입으로 수렴타입을 완벽히 모사할 수 있는 인자들의 정량적 범위는 사용환경에 따라 다르며, 초점길이가 짧을 수록, 수렴각이 작을수록 근거리 물체에 대한 수렴타입과 변형평행타입의 영상좌표의 오차량은 적다.

• 한국광물학회지
• /
• 제20권2호
• /
• pp.91-96
• /
• 2007

보석광물로서 거래되는 천연 다이아몬드의 타입별 분포와 각 타입별 다이아몬드의 광학적 특성을 조사하여 다이아몬드의 타입과 광학적 특성 사이에 존재하는 관련성을 관찰하였다. 조사된 다이아몬드 시료의 모두가 타입la으로 분류되었는데 A집합체만을 가지는 타입IaA, B집합체만을 가지는 타입IaB, 그리고 A집합체와 B집합체를 동시에 함께 가지는 타입IaAB로 세분되었다. A집합체 보다 B집합체가 상대적으로 증가할수록 N3센터의 증가, 청색 형광반응의 증가 및 응력 현상의 불규칙성이 증가하는 현상이 관찰되었다. 이와 같은 다이아몬드의 특성 변화는 A집합체에서 B집합체로 변화하는 질소의 집합화 과정에서 부수적 으로 발생하는 N3센터와 전위의 형성에 의한 광학적 현상과 일치하므로 다이아몬드 타입과 광학적 특성사이에 밀접한 관련성이 존재하는 것을 추론된다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1990년도 제2회 한글 및 한국어정보처리 학술대회
• /
• pp.172-179
• /
• 1990

본 논문에서는 한글(한국어) ascii 코드와 4가지 한글 표현 원리에 만들어지는 한글음절을 정의한다. Common Lisp(CL)의 확장된 버전으로 한글이 사용 가능한 한글 CL(HCL)의 소개하고 CL에 추가되는 새로운 한글 함수에 대하여 설명한다. HCL의 모든 함수는 한글을 다루는 방법에 따라 4가지 타입으로 나뉘어진다. 1) 타입 0 - 한글을 입출력 값으로 취하지 않는 전형적인 CL 함수, 2) 타입 1 - 원래 CL 함수정의의 변경없이 입력으로 한글을 받아들이는 함수, 3) 타입 2 - 한글을 사용하기 위하여 함수의 정의를 확장해야하는 CL 함수, 4) 타입 3 - 한글 처리를 하기 위하여 새로 설계한 새로운 함수. 위의 타입에 의해 분류되는 각 함수에 대한 정의를 제안하고 한글 편집기에 대하여 소개한다.

• 한국콘텐츠학회논문지
• /
• 제5권3호
• /
• pp.73-81
• /
• 2005

CTOC(Classes To Optimized Classes)는 자바 바이트코드의 최적화와 분석을 위해 현재 개발 중인 프레임워크이다. CTOC는 스택 기반인 바이트코드를 최적화와 분석을 쉽게 하기 위해 3-주소 형태로 변환한다. 바이트코드가 타입에 관한 정보를 포함하지만 스택 기반의 동작을 수행하기 때문에 지역 변수를 위한 명시적인 타입을 갖지 못하는 경우가 발생한다. 따라서 바이트코드에서 3-주소 형태로 변환하는 과정에 사용되는 모든 변수는 정적 타입을 가져야 하는 문제점이 발생한다. 왜냐하면, 프로그램의 최적화나 분석을 위해서는 지역 변수의 타입을 알아야 하기 때문이다. 본 논문은 CTOC 프레임워크의 전반부로 바이트코드를 스택을 사용하지 않는 3-주소 형태로 변환하는 과정을 수행한다. 이 과정에서 스택 코드 형태인 CTOC-B 코드를 생성하고, 제어 흐름 그래프를 생성하여 바이트코드 수준에서 분석을 수행한다. 또한 정적 타입을 제공하기 위한 중간 과정으로 타입을 갖지 않는 CTOC-T 코드를 생성한다. 이를 위해 정적 단일 배정문 형태(Static Single Assignment Form)를 사용하여 모든 변수를 분리하고 각 변수에 새로운 이름으로 재명명하는 동작을 수행한다. 분리된 변수들은 추후 정적 타입 추론을 위한 준비 단계로 사용된다.

• 한국도서관정보학회지
• /
• 제49권2호
• /
• pp.221-244
• /
• 2018

이 연구의 목적은 우리 이용자의 요구와 행태에 기반 한 FRBR 기반 OPAC 프로토타입을 실험적으로 구현해 보는데 있다. 이러한 목적을 위해 이 연구에서는 시스템 개발방법 중 사용자의 요구사항이 민감하게 반영되어야 할 경우 활용할 수 있는 방법인 프로토타이핑(prototyping) 기법을 적용하여 연구를 수행하였다. 구체적으로, 이 연구에서는 (1) 국외 FRBR형 검색서비스에 대한 이용자 선호도 평가결과를 토대로 하여 프로토타입의 논리적 구조를 설계하고, (2) 설계한 논리적 구조에 따라 FRBR 기반 프로토타입을 물리적으로 개발한 다음, (3) 프로토타입에 대한 이용자 만족도 평가를 실시하였다. 이 때, 만족도 평가는 대학생 50명과 전문가 6명을 대상으로 수행하였다.

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

자바 언어는 객체지향 언어로써 인터프리터에 의하여 실행되고 구조 중립적이다. 자바 언어는 인터프린트 과정을 거치므로 다른 언어에 비해서 실행이 느리다는 단점을 가지고 있다. 자바 바이트코드의 실행 비용을 줄이기 위한 연구의 일환으로 본 논문에서는 자바 바이트코드 최적화기인 CTOC 중에서 스택기반 코드를 받아 들여 스택을 사용하지 않는 3-주소 코드로 변화시키는 CTOC-TR의 설계에 대하여 논한다. CTOC-TR은 총 3단계를 변환 과정을 수행하는데 첫 단계에서는 타입 없는 3-주소코드를 생성한다. 두 번째 단계에서는 스택변수와 지역변수를 나누는 과정을 수행하는데 이 과정은 타입을 정해주기 위해서 꼭 필요한 과정이다. 마지막으로 타입 추론 함수를 이용하여 나누어진 변수에 타입을 지정한다. 그 후 생성된 3-주소 코드를 분석기와 최적화기에 입력시켜 효율적인 3-주소 코드를 생성한다.

• 대한기계학회논문집A
• /
• 제35권10호
• /
• pp.1315-1321
• /
• 2011

제품 생산과 실험에 앞서 설계 단계에서의 강도 평가가 이루어져야 하며, 이 단계에서 범용 프로그램인 ANSYS 의 도입 및 활용은 제품의 생산과 강도 평가에 있어서 시간과 비용의 절감 등 여러 가지 이점을 갖게 한다. 본 연구에서는 ANSYS 를 이용하여 승용차용 디쉬 타입과 스포크 타입의 휠을 3 차원 형상으로 모델링하고 구조해석과 피로해석을 수행하였다. 디쉬 타입과 스포크 타입에 대한 해석 결과를 비교해 보면, 디쉬 타입이 스포크 타입보다 변형이 적게 일어나고 최대등가응력도 작음을 알 수 있다. 그럼에도 불구하고, 스포크 타입이 경량과 우수한 냉각성능으로 인해 자주 사용되고 있다. 수명에 대한 피로 해석 결과, 알루미늄 휠이 스틸 휠보다 피로 저항력이 우수함을 보였다.

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

자바의 특징 중에 한 가지는 자바 가상 기계를 기반으로 하고 있게 때문에 특정한 하드웨어나 운영체제에 영향을 받지 않고 독립적으로 수행이 가능하다는 것이다. 하지만 자바 언어로 개발된 애플리케이션은 C나 C++등 다른 언어로 작성한 프로그램에 비하여 실행이 매우 느리다는 단점을 가지게 된다. 이는 자바 가상 기계 에서 바이트코드가 인터프리터 방식으로 사용되기 때문이다. 이러한 단점을 보안하기 위하여 여러 가지 최적화 기법이 적용되고 있다. 본 논문에서는 이러한 방법으로써 바이트코드를 3주소형태 코드로 변환하는 변환기 설계에 대해서 제안할 것이다. 바이트코드에서 스택을 사용하지 않는 3주소형태 코드로의 변환하기 위하여 크게 세 단계를 걸친다. 첫째, 스택에 대한 명백한 참조를 가진 타입화된 스택기반의 중간표현을 생성한다. 둘째, 생성된 코드에서 타입에 대한 정보를 추출하고 추출된 정보를 저장하는 기억장소를 할당하여 추출된 정보를 저장시킨다. 셋째, 스택을 대신할 타입이 없는 지역변수를 생성하여 각각의 변수에 알맞은 타입을 분배함으로써 타입화되고 명백한 3주소형태 코드를 생성한다. 이러한 방식으로 스택기반 언어에서 발생하는 문제점을 해결한다.