• Title/Summary/Keyword: Top-down Approach

Search Result 213, Processing Time 0.032 seconds

Improving Execution Models of Logic Programs by Two-phase Abstract Interpretation

  • Chang, Byeong-Mo;Choe, Kwang-Moo;Giacobazzi, Roberto
    • ETRI Journal
    • /
    • v.16 no.4
    • /
    • pp.27-47
    • /
    • 1995
  • This paper improves top-down execution models of logic programs based on a two-phase abstract interpretation which consists of a bottom-up analysis followed by a top-down one. The two-phase analysis provides an approximation of all (possibly non-ground) success patterns of clauses relevant to a query. It is specialized by considering Sato and Tamaki’s depth k abstraction as abstract function. By the ability of the analysis to approximate possibly non-ground success patterns of clauses relevant to a query, it can be statically determined whether some subgoals will fail during execution and some succeeding subgoals do not participate in success patterns of program clauses relevant to a given query. These properties are utilized to improve execution models. This approach can be easily applied to any top-down (parallel) execution models. As instances, it is shown to be applicable to linear execution model and AND/OR Process Model.

  • PDF

Cross-Corresponding Preparation of Organometallic Acetylferrocene Micro-Nanostructures in Bidirection Using Top-Down and Bottom-Up Approaches

  • Yuan, Pin-Shi;Wu, Zing-Sheng
    • Bulletin of the Korean Chemical Society
    • /
    • v.30 no.12
    • /
    • pp.2890-2894
    • /
    • 2009
  • The larch-fruit-like acetylferrocene micro-nanomaterials and beltlike acetylferrocene micro-nanomaterials have been cross-correspondingly prepared in bidirection by the top-down and bottom-up approach, respectively, and characterized by scanning electron microscope, transmission electron microscope and X-ray diffractometer. UV-Vis absorption spectra show that the redshift was found in the acetylferrocene micro-nanomaterials compared to that in solution. The formation mechanism of the acetylferrocene micro-nanomaterials is also proposed. This work provides a new strategy for the material synthesis and preparation and may realize the reuse of organometallic materials.

Location Database Clustering using Top-down Approach in Mobile Computing Systems (모바일 시스템에서 Top-down 방식의 위치데이터베이스 클러스터링 알고리즘)

  • Lee, Kwang-Jo;Song, Jin-Woo;Han, Jung-Suk;Yang, Sung-Bong
    • Annual Conference of KIPS
    • /
    • 2008.05a
    • /
    • pp.853-856
    • /
    • 2008
  • 최근 모바일 기기 사용자의 수가 증가함에 따라 모바일 기기 사용자의 위치정보를 관리하기 위한 기법들이 활발히 연구되고 있다. 기존의 모바일 시스템에서 위치정보를 관리하기 위한 방법으로 two-tier 방식과 two-tier 방식을 개선한 구조적 기법이 제시되었다. 구조적 기법에서는 어떻게 위치 데이터베이스를 군집화시키는 것이 매우 중요하다. 왜냐하면 데이터베이스를 군집하는 방법에 따라 업데이트 비용의 차이가 크기 때문이다. 구조적 기법을 위한 이전 연구는 set-cover 알고리즘을 기반한 bottom-up 방식의 시스템 이다. 본 논문에서는 구조적 기법의 데이터베이스 군집화를 위해 K-means clustering 알고리즘을 기반한 top-down 방식의 시스템을 사용하였고, 실험을 통해 본 논문에서 제시된 방식의 시스템이 기존 방식의 시스템보다 데이터베이스 업데이트측면에서 13.67%의 성능이 향상되었음을 보였다.

CAD System of New Concept to Support Top-Down Approach in Design (하향식 설계방식을 지원하는 새로운 개념의 CAD 시스템)

  • 김성환;이건우
    • Transactions of the Korean Society of Mechanical Engineers
    • /
    • v.19 no.7
    • /
    • pp.1604-1618
    • /
    • 1995
  • In the process of mechanical assembly design, assembly modeling systems have been used mainly for the design verification before manufacturing by enabling to check the interference and/ or the dynamic and kinematic performance. However, the conventional assembly modeling systems have a shortcoming that they can not be used in the initial design stage but can be used only after the design is fully completed. In other words conventional assembly modeling systems provide bottom-up modeling which means that the detailed modeling of components must precede the definition of relationships between them. To resolve this problem, an assembly modeling system is proposed to provide a top-down modeling environment in which components and assembly can be modeled simultaneously. To this end, an assembly data structure suitable for top-down assembly modeling has been established. Feature positioning Module(FPM) using geometric constraints has been also developed. The Sekective Solving Method proposed for FPM is based on the priority between the constraint equations and enables the designer's intent expressed by geometric constraints to be maintained throughout the whole modeling process. Finally, the feature based modeling technique using two-level features has been developed. Two-level features include an abstract model and a detailed model in a merged form in non-manifold data frame.

Efficient Global Placement Using Hierarchical Partitioning Technique and Relaxation Based Local Search (계층적 분할 기법과 완화된 국부 탐색 알고리즘을 이용한 효율적인 광역 배치)

  • Sung Young-Tae;Hur Sung-Woo
    • Journal of the Institute of Electronics Engineers of Korea SD
    • /
    • v.42 no.12
    • /
    • pp.61-70
    • /
    • 2005
  • In this paper, we propose an efficient global placement algorithm which is an enhanced version of Hybrid Placer$^{[25]}$, a standard cell placement tool, which uses a middle-down approach. Combining techniques used in the well-known partitioner hMETIS and the RBLS(Relaxation Based Local Search) in Hybrid Placer improves the quality of global placements. Partitioning techniques of hMETIS is applied in a top-down manner and RBLS is used in each level of the top-down hierarchy to improve the global placement. The proposed new approach resolves the problem that Hybrid Placer seriously depends on initial placements and it speeds up without deteriorating the placement quality. Experimental results prove that solutions generated by the proposed method on the MCNC benchmarks are comparable to those by FengShui which is a well known placement tool. Compared to the results of the original Hybrid Placer, new method is 5 times faster on average and shows improvement on bigger circuits.

Efficient Triphone Clustering Using Monophone Distance (모노폰 거리를 이용한 트라이폰 클러스터링 방법 연구)

  • Bang Kyu-Seop;Yook Dong-Suk
    • Proceedings of the KSPS conference
    • /
    • 2006.05a
    • /
    • pp.41-44
    • /
    • 2006
  • The purpose of state tying is to reduce the number of models and to use relatively reliable output probability distributions. There are two approaches: one is top down clustering and the other is bottom up clustering. For seen data, the performance of bottom up approach is better than that of top down approach. In this paper, we propose a new clustering technique that can enhance the undertrained triphone clustering performance. The basic idea is to tie unreliable triphones before clustering. An unreliable triphone is the one that appears in the training data too infrequently to train the model accurately. We propose to use monophone distance to preprocess these unreliable triphones. It has been shown in a pilot experiment that the proposed method reduces the error rate significantly.

  • PDF

The Study on a Main Memory System with ECC Capability Based on IEEE-796 Bus (ECC 기능을 갖춘 IEEE-796 버스용 메모리 시스템 설계에 관한 연구)

  • 박병권;방성영
    • Journal of the Korean Institute of Telematics and Electronics
    • /
    • v.20 no.6
    • /
    • pp.29-32
    • /
    • 1983
  • The paper reports the development of a main memory system with ECC capability based on IEEE 796 bus for a 16 bit microcomputer the development of which was one of the last year's National proj tracts. The top-down approach of the design and the bottom-up approach of the testing resulted in a memory board which demonstrates a better performance and a less expensive cost than those available in the U.S. market.

  • PDF

A Top-down based Control Tree Construction Mechanism for Reliable Multicast Transport Protocols (신뢰적인 멀티캐스트 전송 프로토콜을 위한 Top-Down 기반의 제어 트리 구축 방안)

  • Kim, Eun-Sook;Koh, Seok-Joo;Kang, Shin-Gak;Choe, Jong-Won
    • Journal of KIISE:Information Networking
    • /
    • v.28 no.4
    • /
    • pp.611-620
    • /
    • 2001
  • To meet the requirements of reliable service for various applications, a Reliable Multicast Transport Protocol should be implemented over IP Multicast where currently best-effort service is provided. Among the current researches, hierarchical tree-based mechanism has been proposed and actively studied. This mechanism is known to provide high scalability as well as reliability, but needs an additional tree configuring mechanism for building an efficient logical tree in transport layer. Bottom-up approach has been used for creating such a tree. This method has benefits from parallel tree construction for receivers, while it has some drawbacks such that it does not guarantee a loop-free tree and brings heavy message overhead during tree creation process. Therefore, this paper proposes a top-down based mechanism for constructing a control tree, which can guarantee loop-freeness by step-wise mannered tree building. From experimental simulations, it shows that the proposed mechanism has less message overhead. It is recommended that the bottom-up and the proposed top-down will be selectively used in real networks, according to the requirements of the concerned multicast applications.

  • PDF

Clinical Efficacy of a Top-down Approach for Children with a First Febrile Urinary Tract Infection

  • Jang, Kyung Mi;Lim, Myung Hee;Park, Yong Hoon;Kim, Saeyoon
    • Childhood Kidney Diseases
    • /
    • v.21 no.2
    • /
    • pp.114-120
    • /
    • 2017
  • Purpose: The aim of this study was to determine the clinical characteristics, frequency of renal abnormalities and benefits of a top-down approach in children with their first febrile urinary tract infection (UTI). Methods: We reviewed 308 patients retrospectively who were admitted to Yeungnam University Hospital and were treated for their first febrile UTI from February 2006 to December 2013. We performed a comparative analysis of laboratory findings and results of imaging techniques including a Tc-99m dimercaptosuccinic acid (DMSA) renal scan. Results: Among the patients, 69% (213/308) were males, and 90% (277/308) had their first UTI episode during infancy. A DMSA renal scan was performed on all patients, and showed positive findings in 60% (184/308) of cases. Laboratory indices of inflammation were significantly higher in the DMSA-positive group (P< 0.05). There was a statistically significant difference in the age distribution between the two groups. In the DMSA-positive group, 165 patients underwent voiding cystourethrography (VCUG), and 58 (35%) cases demonstrated vesicoureteral reflux. In total, 110 patients in the DMSA-positive group, underwent repeat scanning at 6 months; 33 children (30%) demonstrated static scarring, but 77 (70%) had improved completely. The concordance of the ultrasonography (US) and VCUG was low. Older patients had more renal scarring. Conclusion: DMSA is a sensitive method for assessing the severity of inflammation and kidney injury. However, the ability of US to predict renal parenchymal damage was limited. A top-down approach in children with their first febrile UTI showed significant value.

A Cruise Ship Design with Residence Concept through Top-Down Sequential Procedure (Top-Down 방식의 주거개념 크루즈선 설계)

  • Lee Han-Seok;Byun Lyang-Soun;Cho Seong-Cheol;Kim Dong-Joon;Hyun Beom-Soo;Choi Kyung-sik
    • Journal of Navigation and Port Research
    • /
    • v.28 no.10 s.96
    • /
    • pp.843-850
    • /
    • 2004
  • This study introduces a new cruise ship design model with residence concept by carrying out a specific design procedure on the regionally and culturally characterized cruise model. Cruise ship design requires a combined approach with architectural design skills, shipbuilding techniques and even the knowledge of business management. Contrary to the traditional cargo ship design in which the design of residence area on the top of cruise ship is performed first and then the lower part of the ship structure is determined as a final step, a top-down procedure for the conceptual ship design is adopted.