• 제목/요약/키워드: Value Numbering

검색결과 13건 처리시간 0.024초

CTOC에서 자바 바이트코드 최적화를 위한 Value Numbering (Value Numbering for Java Bytecodes Optimization in CTOC)

  • 김기태;김지민;김제민;유원희
    • 한국컴퓨터정보학회논문지
    • /
    • 제11권6호
    • /
    • pp.19-26
    • /
    • 2006
  • CTOC에서 SSA Form으로 변경된 표현식에 대해 최적화를 적용하기 위해선 중복된 표현식을 제거하여야 한다. 본 논문에서는 이를 위해 VN(Value Numbering)을 적용하였다. VN을 수행하기 위해서 우선 SSA Form 형태로 정보를 유지하는 SSAGraph를 생성하고, 그래프에서 동등한 노드를 찾은 후, SCC(Strong1y Connected Component)를 생성한다. SCC를 통해 동등한 노드에 같은 valnum을 설정하게 된다. VN을 수행한 결과 SSA Form 수행 과정에서 추가되었던 많은 노드에 대한 제거를 확인할 수 있었다. 설정된 valnum은 최적화와 타입 추론에 적용된다.

  • PDF

An Improved Algorithm for Redundancy Detection Using Global Value Numbering

  • Saleena, Nabizath;Paleri, Vineeth
    • Journal of Information Processing Systems
    • /
    • 제12권2호
    • /
    • pp.214-225
    • /
    • 2016
  • Global value numbering (GVN) is a method for detecting equivalent expressions in programs. Most of the GVN algorithms concentrate on detecting equalities among variables and hence, are limited in their ability to identify value-based redundancies. In this paper, we suggest improvements by which the efficient GVN algorithm by Gulwani and Necula (2007) can be made to detect expression equivalences that are required for identifying value based redundancies. The basic idea for doing so is to use an anticipability-based Join algorithm to compute more precise equivalence information at join points. We provide a proof of correctness of the improved algorithm and show that its running time is a polynomial in the number of expressions in the program.

KOMPSAT EOC Grid Reference System

  • Kim, Youn-Soo;Kim, Yong-Seung;Benton, William
    • 대한원격탐사학회:학술대회논문집
    • /
    • 대한원격탐사학회 1998년도 Proceedings of International Symposium on Remote Sensing
    • /
    • pp.349-354
    • /
    • 1998
  • The grid reference system (GRS) has been useful for identifying the geographical location of satellite images. In this study we derive a GRS for the KOMPSAT Electro-Optical Camera (EOC) images. The derivation substantially follows the way that SPOT defines for its GRS, but incorporates the KOMPSAT orbital characteristics. The KOMPSAT EOC GRS (KEGRS) is designed to be a (K,J) coordinate system. The K coordinate parallel to the KOMPSAT ground track denotes the relative longitudinal position and the J coordinate represents the relative latitudinal position. The numbering of K begins with the prime meridian of K=1 with K increasing eastward, and the numbering of J uses a fixed value of J=500 at all center points on the equator with J increasing northward. The lateral and vertical intervals of grids are determined to be 12.5 km about at the 38$^{\circ}$ latitude to allow some margins for the value-added processing. The above design factors are being implemented in a satellite programming module of the KOMPSAT Receiving and Processing System (KRPS) to facilitate the EOC data collection planning over the Korean peninsula.

  • PDF

국내외 전화부가서비스의 과금제도에 관한 연구 (A Study on the Billing Methods of Value-added Telephone Services in Korea and Foreign Countries)

  • 최홍식
    • Journal of Information Technology Applications and Management
    • /
    • 제9권3호
    • /
    • pp.57-78
    • /
    • 2002
  • This paper studios billing mechanisms of value-added telephone services In Korea and major foreign countries. The billing methods of toll-free phone service, voice Information service, one number service, personal number service and calling card service ate compared with each other. The results show that several differences are identified among service providers due to the difference of the regulation, numbering mechanism and underlying networks employed. This paper also provides implications and suggestions to incumbent Korean value-added service providers and regulators

  • PDF

STUDY ON THE GRID REFERENCE SYSTEM FOR KOMPSAT-3 IMAGERY

  • Kang, Chi-Ho;Ahn, Sang-Il
    • 대한원격탐사학회:학술대회논문집
    • /
    • 대한원격탐사학회 2007년도 Proceedings of ISRS 2007
    • /
    • pp.486-488
    • /
    • 2007
  • The Grid Reference System, which was firstly used in SPOT series, has been successfully adapted in KOMPSAT-1 and KOMPSAT-2 program, which identifies the geographical location to make image collection plans and manage the database of satellite images. Each Grid Reference System for KOMPSAT-1 and KOMPSAT-2 was designed based on system parameters related to each KOMPSAT-1 and KOMPSAT-2 and this fact leads to the need for the design of the Grid Reference System for KOMPSAT-3 (KGRS-3, hereafter), which reflects system parameters for KOMPSAT-3. The (K, J) coordinate system has been defined as the Grid Reference System for KOMPSAT-3 using heritages from KOMPSAT-1 and KOMPSAT-2 programs. The numbering of K begins with the prime meridian of K = 1 with running eastward on earth increasingly, and the numbering of J uses a value of J = 1000 at all points on the equator and begin with running northward increasingly. The Grid Reference System for KOMPSAT-3 is to be implemented in Ground Segment of KOMPSAT-3 system.

  • PDF

동적 XML 문서에서 효과적인 레이블링을 위해 형제순서 값을 갖는 프라임 넘버링 기법 (A Prime Numbering Scheme with Sibling-Order Value for Efficient Labeling in Dynamic XML Documents)

  • 이강우;이준동
    • 한국컴퓨터정보학회논문지
    • /
    • 제12권5호
    • /
    • pp.65-72
    • /
    • 2007
  • 동적인 XML 문서에서 빈번히 발생하는 갱신에 대한 고려를 하지 않는 레이블링 기법들은 XML 문서 트리의 갱신이 일어날 때 마다 변화된 레이블 정보를 반영하기 위해서 전체 XML 트리를 재탐색하여 전체 노드의 레이블을 다시 계산하는 리레이블링(relabeling)과정이 필요하다. 이러한 리레이블링은 갱신이 빈번히 일어나는 동적인 XML 문서에서는 비용이 상당히 크다는 단점이 있다. 이런 단점을 해결하기 위해 리레이블링 과정이 필요 없는 레이블링 기법으로 프라임 넘버 레이블링 기법(prime number labeling scheme)이 제안되었다. 그러나 프라임 넘버 레이블링 기법은 문서가 갱신될 때 XML 문서 트리의 노드 간 형제순서(sibling order)를 갱신하는 문제는 고려하지 않고 있다. 이러한 형제순서의 갱신과정은 XML 문서 트리의 많은 부분을 재탐색하고 재기록 하여야 하므로 많은 비용이 필요하게 된다. 따라서 본 논문에서는 XML 문서 트리의 재탐색과 재기록이 필요 없이 형제순서를 유지할 수 있는 형제순서 값을 갖는 프라임 넘버 레이블링 기법을 제안한다.

  • PDF

영양가 계산을 위한 새로운 식품코드화 (New Food Code Numbering for Calculation of Nutritive Value)

  • 김상애
    • 한국식품영양과학회지
    • /
    • 제23권5호
    • /
    • pp.774-783
    • /
    • 1994
  • New food item numbers for each food included in Food Composition Table in Korea (4th ed) and other Food Composition Table. New Food item numbers classified to base 5-basic food groups and its classification was as follows. 1 As for the 1569 food items , they were classified as 20 food sub-groups(82 food sorts) for 5-basic food groups. 2. As for the 82 food sorts, they were individually classified with raw prepared , fat sugar content and arranged in order, ㄱ , ㄴ and ㄷ and made the item number. 3. The data set of nutritive value of food with new item numbers was accessed on computer files. 4. The Food & Description Table was drafted as 1572 food items were arranged in order, ㄱ, ㄴand ㄷ. 5. The Food Table arranged in the order or each nutrient content (energy, carbohydrate, protein , etc....) was drafted. Clipper program for computing nutritive values and tabulation of nutrients of daily diet were coded by applying new food item numbers. It is expected that should utilized as a basic data of computer program for calculating the nutritive value of diet, evaluating the nutrition and counseling the nutrition.

  • PDF

XML 정규 경로식을 위한 유연한 질의 처리 시스템 (A Flexible Query Processing System for XML Regular Path Expressions)

  • 김대일;김기창;김유성
    • 한국정보과학회논문지:데이타베이스
    • /
    • 제30권6호
    • /
    • pp.641-650
    • /
    • 2003
  • 반 구조적(semi-structured)이며 표현의 유연성이 높은 XML(extensible Markup Language)은 인터넷에서의 정보 교환의 표준으로 자리잡았다. 많은 문서들이 XML로 작성되고 있으며 이러한 문서들에 대한 효율적인 저장과 검색에 대한 요구가 증가하고 있다. XML 문서들을 저장하는 백엔드(back-end)로서 대량의 정보처리가 가능하고 회복, 동시성 제어 등의 성숙된 기술들을 가지고 있는 관계형 데이타베이스를 이용하는 많은 연구들이 있다. 기존의 관계형 데이타베이스를 이용한 질의 처리 방법들에서는 다양한 질의에 대해 동일한 구조 정보와 기본 연산을 적용하여 질의 처리를 하기 때문에 특정한 질의 형태만을 효율적으로 처리할 수 있다. 본 논문에서는 질의를 분석하여 질의에 적합한 구조 정보와 기본 연산을 적용하는 유연한 질의 처리 시스템을 제안한다. 제안된 질의 처리 시스템은 정규 경로식 XML 질의를 분석하여 부모-자식 관계 파악에는 동등(equi)-조인을 사용하고 부모-자식 관계가 아닌 조상-자손 관계에는 $\theta$-조인을 사용하여 다양한 정규 경로식 질의를 효율적으로 처리한다. 제안된 XML 질의 처리 시스템과 기존의 관계형 데이타베이스를 이용하는 질의 처리 시스템을 비교 실험한 결과 다양한 정규 경로식 질의 처리의 성능 향상을 보였다.

동적 순서 XML 트리에서 레이블링 기법을 이용한 효율적인 수정처리 (An Efficient Updates Processing Using Labeling Scheme In Dynamic Ordered XML Trees)

  • 이강우
    • 한국정보통신학회논문지
    • /
    • 제12권12호
    • /
    • pp.2219-2225
    • /
    • 2008
  • 동적인 XML문서에서 빈번히 발생하는 갱신에 대한 고려를 하지 않는 레이블링 기법들은 XML 문서 트리의 갱신이 일어날 때 마다 변화된 레이블 정보를 반영하기 위해서 전체 XML 트리를 재탐색하여 전체 노드의 레이블을 다시 계산하는 리레이블링 과정이 필요하다. 이러한 리레이블링은 갱신이 빈번히 일어나는 동적인 XML 문서에서는 비용이 상당히 크다는 단점이 있다. 이런 단점을 해결하기 위해 리레이블링 과정이 필요 없는 레이블링 기법으로 프라임 넘버 레이블링 기법이 제안되었다. 그러나 프라일 넘버 레이블링 기법은 문서가 갱신될 때 XML 문서 트리의 노드 간 형제순서를 갱신하는 문제는 고려하지 않고 있다. 이러한 형제순서의 갱신과정은 XML 문서 트리의 많은 부분을 재탐색하고 재기록 하여야 하므로 많은 비용이 필요하게 된다. 따라서 본 논문에서는 XML 문서 트리의 리레이블링과 재계산이 필요 없이 형제순서를 유지할 수 있는 형제순서 값을 갖는 프라임 넘버 레이블링 기법을 제안한다.

단층 코어넷 다단입력 인공신경망회로의 함수에 관한 구현가능 연구 (The Implementable Functions of the CoreNet of a Multi-Valued Single Neuron Network)

  • 박종준
    • 전기전자학회논문지
    • /
    • 제18권4호
    • /
    • pp.593-602
    • /
    • 2014
  • 인공신경망회로 목표 중의 하나는 최소한의 회로구성으로 구현가능함수를 가능한 많게 하는데 있다. 본 논문은 인공신경망회로의 가장 기본이 되는 하나의 입력노드와 하나의 출력노드, 그리고 입출력에 다단(multi-level)값을 갖는 단층(입출력 2 layer) 다단 코어넷(CoreNet)을 제안하고 그 처리 용량을 구하였고, 무게값 공간에서 구현 가능한 함수와 각 무게값 좌표(${\omega}$,${\theta}$)를 계산으로 구하여 한 함수의 구현 가능 여부를 알 수 있게 하였다. 또 입력 단계(level)값 설정 방법으로 cot(${\sqrt{x}}$)을 제안하였다. 제안된 p단 입력과 q단 출력을 갖는 코어넷의 처리용량(구현 가능한 함수의 수)은 $a_{p,q}={\frac{1}{2}}p(p-1)q^2-{\frac{1}{2}}(p-2)(3p-1)q+(p-1)(p-2)$임을 유도 증명하였다. 시뮬레이션으로 5단(level) 입력 값과, 6단 출력 값을 갖는 1(5)-1(6) 모델을 분석한 결과, cot(${\sqrt{x}}$) 입력 레벨링법에서 총 246가지의 함수가 구현가능 함을 보였다. 이 모델의 시뮬레이션 결과에서는 최대 219개의 함수가 수렴(구현 가능)하였고, 구현가능 함수 중에서 나머지 수렴되지 않은 27개의 함수는 무게값 공간에서 무게값 좌표를 계산하여 구현 가능함을 보였다. 이는 앞에서 제시된 코어넷 처리용량 $a_{5,6}(=246)$에 의한 계산 값과 일치하였다. 무게값 공간에서, 구현 가능한 함수가 차지하는 영역의 함수번호 매김 방법도 제시하여 구현 가능함수의 번호도 알 수 있도록 하였다.