• Title/Summary/Keyword: granularity

Search Result 196, Processing Time 0.028 seconds

Transformation of Constraint-based Analyses for Efficient Analysis of Java Programs (Java 프로그램의 효율적인 분석을 위한 집합-기반 분석의 변환)

  • Jo, Jang-Wu;Chang, Byeong-Mo
    • Journal of KIISE:Software and Applications
    • /
    • v.29 no.7
    • /
    • pp.510-520
    • /
    • 2002
  • This paper proposes a transformation-based approach to design constraint-based analyses for Java at a coarser granularity. In this approach, we design a less or equally precise but more efficient version of an original analysis by transforming the original construction rules into new ones. As applications of this rule transformation, we provide two instances of analysis design by rule-transformation. The first one designs a sparse version of class analysis for Java and the second one deals with a sparse exception analysis for Java. Both are designed based on method-level, and the sparse exception analysis is shown to give the same information for every method as the original analysis.

A firmware base address search technique based on MIPS architecture using $gp register address value and page granularity

  • Seok-Joo, Mun;Young-Ho, Sohn
    • Journal of the Korea Society of Computer and Information
    • /
    • v.28 no.2
    • /
    • pp.1-7
    • /
    • 2023
  • In this paper, we propose a base address candidate selection method using the $gp register and page granularity as a way to build a static analysis environment for firmware based on MIPS architecture. As a way to shorten the base address search time, which is a disadvantage of the base address candidate selection method through inductive reasoning in existing studies, this study proposes a method to perform page-level search based on the $gp register in the existing base address candidate selection method as a reference point for search. Then, based on the proposed method, a base address search tool is implemented and a static analysis environment is constructed to prove the validity of the target tool. The results show that the proposed method is faster than the existing candidate selection method through inductive reasoning.

The Characteristics of Particle Size in Natural Mineral Pigment for Azurite Raw Material (남동광석(Azurite) 원료 천연 광물 안료의 입도분포 특징)

  • Go, In Hee;Jeong, Hye Young;Park, Ju Hyeon;Jeong, Sir Lin;Jo, A Hyeon
    • Journal of Conservation Science
    • /
    • v.31 no.4
    • /
    • pp.331-339
    • /
    • 2015
  • This study were conducted the particle-size analysis on 57 blue pigments to understand the step distribution characteristics of blue pigments made out of Azurite by using Malvern's Mastersizer 2000. As the result, most of the conventional blue pigments in Korea, Japan, and Chinese showed good granularity step separation except for few, and the smaller the particle, the more the Span value increased and the wider the granularity distribution range. On the basis of Friedman and Sanders's Grain size, most of the pigments were sand size to silt size. 72.2% of B-100 was clay size and 2.5% of A-14 was gravel size. Even the same components can differ by the grain size directly affecting the important property such as color formation, oil absorption, specific gravity, usability, etc. so the information about the granularity distribution would be used for basic data to deal with natural pigments.

Effect of Lilium davidi's Root Powder Additions on the Rheology of the Dough and Processing Adaptability for Bread (백합 구근 분말 첨가가 반죽 물성 및 제빵 가공적성에 미치는 영향)

  • Joung, Yong-Myeon;Lee, Kyung-Seok;Hwang, Seong-Yun;Son, Man-Ja;Lee, Ki-Young
    • Journal of the Korean Society of Food Science and Nutrition
    • /
    • v.39 no.2
    • /
    • pp.287-293
    • /
    • 2010
  • Regarding the physical properties of wheat flour added with lily's root powder, elasticity in farinograms tended to increase as the ratio of added lily's root powder increased. However, viscoelasticity, absorptivity, absorption time, and stability tended to decrease after an initial increase when a certain ratio of lily's root powder was added to the wheat flour. Results from the rapid viscosity analyzer (RVA) indicated that the retention strength, final viscosity, break down, set back value, $P_{max}$ value of the alveogram, and falling number value decreased. As for gaseous release, measured with a rheofermentometer, the total amount of $CO_2$ gas generated and retained tended to decrease. As for the gelatinizing properties in terms of differences in the granularity and the amount of lily's root powder (bulbs) added to wheat flour, the initial gelatinization temperature had no effect regardless of the type or amount of general grinding and minute (ultra-fine, $10\;{\mu}m$) lily's root powder. Meanwhile, the peak viscosity and peak viscosity time exhibited significant differences in 3, 5% general grinding lily's root powder additive groups. On the other hand, there was no significant difference between 3, 5% minute lily's root powder additive groups. This is likely because the activity of the enzyme in wheat flour decreased relatively and differences in the lily's root powder granularity resulted in a variation in water absorptivity. In the preference test, flavor retention of the functional bread increased according to the granularity of lily's root powder and the ratio of added lily's root powder, thus resulting in significant differences in the mouth feel and flavor; the texture and crumb color, however, did not exhibit significant differences.

Simulation Evaluation for TCP Traffic over ATM Network (ATM 네트워크상에서 TCP 트래픽에 관한 시뮬레이션 평가)

  • 박봉주;육동철;박승섭
    • Proceedings of the Korea Multimedia Society Conference
    • /
    • 2000.04a
    • /
    • pp.7-16
    • /
    • 2000
  • 초고속 통신의 실현과 다양한 멀티미디어 서비스를 위한 TCP/IP 통신의 전송 메카니즘으로서 ATM이 널리 사용되고 있다. TCP층과 ATM층의 상호작용이 TCP층 뿐만 아니라 ATM층에도 영향을 미쳐 처리율과 공정성의 성능이 저하되므로, ATM상의 TCP 트래픽 파라미터, 즉 TG(timer granularity)와 윈도우 크기를 적절하게 조정함으로써 TCP 흐름제어가 ABR 율제어와 상호작용하지 않는다. 그 결과로 상호작용의 영향을 최소화할 수 있으며, TCP의성능향상을 가져올 수 있다. 본 논문에서는 윈도우 크기와 TG와 같은 TCP 파라미터를 조절하여 VBR서비스상에서의 TCP 트랙픽의 성능평가를 통해 높은 처리율과 공정성을 나타내었다.

  • PDF

4G 이동통신을 위한 Multiple-Antenna OFDM 기술

  • 박경원;이미현;조용수
    • Information and Communications Magazine
    • /
    • v.21 no.7
    • /
    • pp.83-93
    • /
    • 2004
  • 본 고에서는 Beyond IMT-2000 시스템의 전송방식으로 고려 중인 multiple-antenna OFDM (Orthogonal Frequency Division Multiplexing) 방식에 대하여 기술한다. OFDM 방식은 무선채널에서 고속으로 데이터 전송을 하고자 할 경우 다중경로에 의해 발생하는 심각한 주파수 선택적 페이딩 채널에 쉽게 대처할 수 있고, 셀내 간섭이 존재하지 않으며, 자원 할당의 granularity가 우수하고, FFT와 1-탭 등화기를 사용하여 고속으로 구현할 수 있다는 장점이 있어 4G 이동통신의 전송 방식으로 최근 활발히 연구되고 있다[1]-[4].(중략)

3 Leveled Viewed Classification and Definition of Service Type for SOA (3 레벨 관점의 서비스 타입의 분류 및 정의 방법)

  • Choi, Mi-Sook;Lee, Seo-Jeong
    • Journal of Information Technology Services
    • /
    • v.5 no.2
    • /
    • pp.137-153
    • /
    • 2006
  • SOA(Service Oriented Architecture) can be a technique to make compassable software from mapping business service to software component. To support effective SOA, it is important that services have to be defined or classified more independently for dynamic and reusable composition. Several methods have been issued but no ways to defined service granularities, service type or service unit. In this paper we introduce 3 level views, service level, service granularity to reuse effectively. And, we suggest service definition guidelines using them.

Design of Web Content Model (웹 컨텐트 저장소)

  • Abbass, Onytra;Koo, Heung-Seo
    • Annual Conference of KIPS
    • /
    • 2002.11c
    • /
    • pp.1915-1918
    • /
    • 2002
  • Managing semistructured data needs fine granularity such as markup elements. XML has major effect in managing web content, it enables content reusability, enriches information with metadata, ensures valid document links, etc. We introduce our content model as an integrated work which handles content objects as controllable units. The paper concerns on modeling news site and how the content is classified due to the site structure, aggregated content and reusability. The model stores instance XML document into relation database using fragmentation strategy.

  • PDF

Security Evaluation Criteria of Electronic Payment System (전자 지불 시스템의 보안 평가 기준)

  • 신장균;황재준
    • Proceedings of the CALSEC Conference
    • /
    • 1999.07b
    • /
    • pp.491-500
    • /
    • 1999
  • Recent increase of commercial network Integration to World Wide Web(WWW) shifts an ordinary commerce to electronic environment. This draws more people to examine re-assurance of their secure transaction. This study investigates current status of security methodology for Electronic Payment System and extracts important axis of security level for electronic payment. Using these axis as security evaluation criteria, the research proposes a security matrix which consists of four different level of security granularity, hence allowing evaluation of a nation-wide credit card based payment system. Feasible usage of this matrix contributes to security analysis of the electronic system as whole, hence providing better secured electronic environment.

  • PDF

A Functional Design of Connection Control in the NG-SDG based Transport System (NG-SDH 기반 전송 시스템에서의 연결제어 기능 설계)

  • 김영화;예병호;이종현;유재철
    • Journal of the Institute of Electronics Engineers of Korea TC
    • /
    • v.40 no.10
    • /
    • pp.110-118
    • /
    • 2003
  • The paper describes a design process of the connection control function that performs overall procedures of optical network control system in the Next Generation - Synchronous Digital Hierarchy (NG-SDH) based transport system. Here, the NG-SDH means a new SDH technology that could perform automatic connection control with a granularity of VC-3 (about 50M) or VC-4 (about 150M) according to the increase and decrease of traffic, which is different from the existing technology that could perform connection control only with a granularity of a physical SDH link (STM-l, STM-4, STM-16, STM-64, STM-256 etc). The NG-SDH based connection control allows an ingress NG-SDH node to control the appropriate connection establishment process according to connection types such as Permanent Connection (PC), Soft Permanent Connection (SPC), Switched Connection (SC) over various SDH and Ethernet line cards.