• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.437-440
• /
• 2004

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

• Journal of KIISE:Software and Applications
• /
• v.26 no.3
• /
• pp.335-342
• /
• 1999

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

• Korean Journal of Optics and Photonics
• /
• v.19 no.4
• /
• pp.276-286
• /
• 2008

The representative alignments for taking a stereo image by using a stereoscopic camera are the toed-in and the parallel alignment. In this paper, we tried to find important factors in the process that captures the stereo image by modifying parallel type 3D camera alignment to take the same object information as, for instance, when toed-in type was used. The modified parallel type 3D camera has merits in both types. As a result, three important factors are found by simulation to be inter-camera distance, field of view and convergence angle for both types. And the change of the convergence angle is known to be the most important factor at the stereo fusible area in processing. The effective ranges of these factors to simulate perfectly toed-in type by modified parallel type are strongly dependent on a user's circumstances such as mobile, official, theater and so on. Additionally, the error of the simulation is reduced when the focal length of the stereo camera is short and the convergence angle becomes smaller.

• Journal of the Mineralogical Society of Korea
• /
• v.20 no.2 s.52
• /
• pp.91-96
• /
• 2007

Notable characteristics are found between diamond types and observed optical properties from the analysis of natural diamonds in market as a gem mineral. All of the diamond samples observed are classified into type Ia, which can be subdivided type IaA containing only A aggregates, type IaB containing only B aggregates, and type IaAB containing both A aggregates and B aggregates in detail. As B aggregates more relatively increase than A aggregates. It is possible to find out that an increase of N3 center, an enhancement of blue fluorescence reaction, and an intensification of irregularity in the strain pattern. Because the property change of diamond mentioned above are consistent with optical phenomenon caused by dislocation and with N3 center produced by changes of nitrogen aggregation process from A aggregate to B aggregate. There is a close relation between diamond type and optical properties.

• Annual Conference on Human and Language Technology
• /
• 1990.11a
• /
• 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 - 한글 처리를 하기 위하여 새로 설계한 새로운 함수. 위의 타입에 의해 분류되는 각 함수에 대한 정의를 제안하고 한글 편집기에 대하여 소개한다.

• The Journal of the Korea Contents Association
• /
• v.5 no.3
• /
• pp.73-81
• /
• 2005

CTOC(Classes To Optimized Classes) is a Java bytecode framework for optimization and analysis. Although Java bytecode has a significant amount of type information embedded in it, there are no explicit types for local variables. However, knowing types for local variables is very useful for both program optimization and analysis. This paper is a first part of CTOC framework. In this paper, we present methods for inferring static types for local variables in a 3-address, stackless, representation of Java bytecode. We use SSA Form(Single Static Assignment Form) for spliting local variables. Splited local variables will use to prepare for static type inference.

• Journal of Korean Library and Information Science Society
• /
• v.49 no.2
• /
• pp.221-244
• /
• 2018

This study intends to implement an OPAC prototype based on FRBR(Functional Requirements for Bibliographic Records) model, which are reflected the users' information needs and search behavior. To the end, this study applies prototyping techniques that design, evaluate and improve an early sample model. Included in this study are as follows: (1) design a conceptual model of new OPACs based on the users' information needs about FRBR-based search services, (2) implement a FRBR-based prototype with WordPress 4.2 version, (3) evaluate the FRBR-based prototype from the viewpoint of users and experts(catalogers and professors). 50 college students and 6 experts participate in the final evaluation process.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.433-436
• /
• 2004

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

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.35 no.10
• /
• pp.1315-1321
• /
• 2011

Prior to the experimental and production stages of goods, the strengths should be evaluated in the design stage. The introduction of commercial codes at the design stage gives benefits such as cost and time economies in the production and strength evaluation. In this study, structural analysis and fatigue analysis are carried out using ANSYS modeling of the 3D geometry of the wheel. In a comparison of dish-type and spoke-type wheels, it is shown that the deformation and maximum equivalent stress for the dish-type wheels are lower than those for spoke-type wheels. Nevertheless, spoke-type wheels are often used because they are light and have exhibit excellent cooling performance. Furthermore, according to the results of life analysis, aluminum wheels show improved resistance to fatigue compared to steel wheels.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.301-304
• /
• 2004

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