• Title/Summary/Keyword: example-based synthesis

Search Result 75, Processing Time 0.035 seconds

Library-based Mapping of Application to Reconfigurable Array Architecture

  • Han, Kyu-Seung;Choi, Ki-Young
    • JSTS:Journal of Semiconductor Technology and Science
    • /
    • v.9 no.4
    • /
    • pp.209-215
    • /
    • 2009
  • Reconfigurable array architecture is recently attracting much attention. It is a flexible hardware architecture, which can dynamically change its configuration to execute various functions while maintainning high performance. However, pursuing flexibility and performance at the same time leads to complexity, thereby makes the mapping of applications a difficult process. There have been attempts to use compiler or high level synthesis techniques to solve the problem. In this paper, we propose yet another method, which uses libraries for the mapping to provide an abstracttion of the internal structure and at the same time to reduce the development time and efforts through the automated process. We have selected a JPEG decoder as an example to apply the proposed method. As a result, we obtained about 20% less performance compared to manual mapping but development time is dramatically reduced to less than 1%.

Dynamic Analysis of Harmonically Excited Non-Linear System Using Multiple Scales Method

  • Moon, Byung-Young;Kang, Beom-Soo
    • Journal of Mechanical Science and Technology
    • /
    • v.16 no.6
    • /
    • pp.819-828
    • /
    • 2002
  • An analytical method is presented for evaluation of the steady state periodic behavior of nonlinear systems. This method is based on the substructure synthesis formulation and a MS (multiple scales) procedure, which is applied to the analysis of nonlinear responses. The proposed procedure reduces the size of large degrees-of-freedom problem in solving nonlinear equations. Feasibility and advantages of the proposed method are illustrated with the nonlinear rotating machine system as an example of large mechanical structure systems. In addition, its efficiency for nonlinear response prediction will be shown by comparison of other conventional methods.

Synthesis of Deadlock-Free Ladder Diagrams for PLCs Based on Deadlock Detection and.Recovery (DDR) Algorithm (DDR 알고리즘에 기반한 교착상태배제 래더 다이어그램 설계)

  • Cha, Jong-Ho;Cho, Kwang-Hyun
    • Journal of Institute of Control, Robotics and Systems
    • /
    • v.8 no.8
    • /
    • pp.706-712
    • /
    • 2002
  • In general, a deadlock in flexible manufacturing systems (FMSs) is caused by a resource limitation and the diversity of routings. However, the deadlock of industrial controllers such as programmable logic controllers (PLCs) can occur from different causes compared with those in general FMSs. The deadlock of PLCs is usually caused by an error signal between PLCs and manufacturing systems. In this paper, we propose a deadlock detection and recovery (DDR) algorithm to resolve the deadlock problem of PLCs at design stage. This paper employs the MAPN (modified automation Petri net), MTPL (modified token passing logic), and ECC (efficient code conversion) algorithm to model manufacturing systems and to convert a Petri net model into a desired LD (ladder diagram). Finally, an example of manufacturing systems is provided to illustrate the proposed DDR algorithm.

Robust Decentralized Stabilization of Uncertain Large-Scale Discrete-Time Systems with Delays (시간지연을 갖는 이산시간 대규모 시스템의 강인 제어기 설계)

  • Park, Ju-Hyeon
    • Journal of the Institute of Electronics Engineers of Korea SC
    • /
    • v.37 no.6
    • /
    • pp.7-14
    • /
    • 2000
  • This paper describes the synthesis of robust decentralized controllers for uncertain large-scale discrete-time systems with time-delays in subsystem interconnections. Based on the Lyapunov method, a sufficient condition for robust stability, is derived in terms of a linear matrix inequality (LMI). The solutions of the LMI can be easily obtained using various efficient convex optimization techniques. A numerical example is given to illustrate the proposed method.

  • PDF

Discrete Event Model Conversion Algorithm for Systematic Analysis of Ladder Diagrams in PLCs (PLC 래더다이어그램의 체계적인 분석을 위한 이산사건모델 변환 알고리즘)

  • Kang, Bong-Suk;Cho, Kwang-Hyun
    • Journal of Institute of Control, Robotics and Systems
    • /
    • v.8 no.5
    • /
    • pp.401-406
    • /
    • 2002
  • As product lifecycles become shorter, factories are pushed to develop small batches of many different products. The highly flexible control systems has become a necessity. The majority of existing automated industrial systems are controlled by programmable logic controllers(PLCs). In most cases, the control programs for PLCs are developed based on ladder diagrams(LDs). However, it is difficult to debug and maintain those LDs because the synthesis of LD itself mainly depends on the experience of the industrial engineer via trial-and-error methods. Hence, in this paper, we propose a discrete event model conversion algorithm for systematic analysis of LDs. The proposed discrete event model conversion algorithm is illustrated by an example of a conveyor system.

On a Bayes Criterion for the Goodness-of-Link Test for Binary Response Regression Models : Probit Link versus Logit Link

  • Kim, Hea-Jung
    • Journal of the Korean Statistical Society
    • /
    • v.26 no.2
    • /
    • pp.261-276
    • /
    • 1997
  • In the context of binary response regression, the problem of constructing Bayesian goodness-of-link test for testing logit link versus probit link is considered. Based upon the well known facts that cdf of logistic variate .approx. cdf of $t_{8}$/.634 and, as .nu. .to. .infty., cdf of $t_{\nu}$ approximates to that of N(0,1), Bayes factor is derived as a test criterion. A synthesis of the Gibbs sampling and a marginal likelihood estimation scheme is also proposed to compute the Bayes factor. Performance of the test is investigated via Monte Carlo study. The new test is also illustrated with an empirical data example.e.

  • PDF

Stable Input-Constrained Neural-Net Controller for Uncertain Nonlinear Systems

  • Jang-Hyun Park;Gwi-Tae Park
    • KIEE International Transaction on Systems and Control
    • /
    • v.2D no.2
    • /
    • pp.108-114
    • /
    • 2002
  • This paper describes the design of a robust adaptive controller for a nonlinear dynamical system with unknown nonlinearities. These unknown nonlinearities are approximated by multilayered neural networks (MNNs) whose parameters are adjusted on-line, according to some adaptive laws far controlling the output of the nonlinear system, to track a given trajectory. The main contribution of this paper is a method for considering input constraint with a rigorous stability proof. The Lyapunov synthesis approach is used to develop a state-feedback adaptive control algorithm based on the adaptive MNN model. An overall control system guarantees that the tracking error converges at about zero and that all signals involved are uniformly bounded even in the presence of input saturation. Theoretical results are illustrated through a simulation example.

  • PDF

Face-to-face Communication in Cyberspace using Analysis and Synthesis of Facial Expression

  • Shigeo Morishima
    • Proceedings of the Korean Society of Broadcast Engineers Conference
    • /
    • 1999.06a
    • /
    • pp.111-118
    • /
    • 1999
  • Recently computer can make cyberspace to walk through by an interactive virtual reality technique. An a avatar in cyberspace can bring us a virtual face-to-face communication environment. In this paper, an avatar is realized which has a real face in cyberspace and a multiuser communication system is constructed by voice transmitted through network. Voice from microphone is transmitted and analyzed, then mouth shape and facial expression of avatar are synchronously estimated and synthesized on real time. And also an entertainment application of a real-time voice driven synthetic face is introduced and this is an example of interactive movie. Finally, face motion capture system using physics based face model is introduced.

A study of Paul Klee's by of Bernard Cocula (꼬뀔라의 의미분석망에 의한 폴 클레의 "매직 스퀘어" 연구)

  • Lyu Jea-Gil
    • Journal of Science of Art and Design
    • /
    • v.1
    • /
    • pp.63-93
    • /
    • 1999
  • This treatise begins with finding a meaning of Paul Klee's . It is pretty simpleto choose the square of Klee. The most important formative language for twenty century is abstraction. The element of speaking for abstraction issquare. The artists are trying to contain the nature and universe in the square. The role of magic square consisting with small squares of Klee is crystallized. The other side, the test of this study is a method analysis. The method analysis is changing while concept and style have been changing according to a period. The existing method analysis is an iconology used many times in Art history. This treatise introduces France symbolists, Bernard Cocula and Claude Peyroutet's analysis of a meaning of image(Semantique do l'image) who were applied to Modern Art. based on Iconography. It also applies to analysis of artwork of Klee. Cocula's is developed from one phase to five phase step by step. The first phase deals with an appearance of artwork. Subsequently, the second phase is directly adjacent to personal feeling and impression. This is an adequate method for image study in the analysis of modern arts. This phase makes it a rule to enjoy talking with artworks above all. The third phase begins with this question 'What do you see? (que voyons-nous?).' The applies exhaustively and strictly to complicated image artworks which need an elaborate analysis. It is very hard but audiences must try to maintain neutrality in front of artwork because cord formation and interpretation should be formed objectively. The meaning analysis and interpretation of the forth phase begins with this question 'what is the image rouse'(qu'evoque cote image?).' This phase is the most important in a process of symbolic analysis. The audience investigates personal elements and common elements. The fifth is synthetic analysis and interpretation phase. The synthesis is last phase and it reaches a valuation and a conclusion. Namely, the synthesis phase makes up synthesis conclusion, summarizes image character, and completes value adjudication. Sometimes it completes no conclusions in a silence. This study found a new possible analysis example from Paul Klee's work. The study emphasizes square analysis and interpretation and uses . The analysis of artwork by Cocula's is an example of the most important work of Klee's three artworks. The first analysis of artwork is and the second one is . The third one is . In these analyses, Klee usedmagic square 'to make natural pictorial element and to explain organic living things.'

  • PDF

Microbe-Based Plant Defense with a Novel Conprimycin Producing Streptomyces Species

  • Kwak, Youn-Sig
    • 한국균학회소식:학술대회논문집
    • /
    • 2015.05a
    • /
    • pp.54-54
    • /
    • 2015
  • Crops lack genetic resistance to most necrotrophic soil-borne pathogens and parasitic nematodes that are ubiquitous in agroecosystems worldwide. To overcome this disadvantage, plants recruit and nurture specific group of antagonistic microorganisms from the soil microbiome to defend their roots against pathogens and other pests. The best example of this microbe-based defense of roots is observed in disease-suppressive soils in which the suppressiveness is induced by continuously growing crops that are susceptible to a pathogen. Suppressive soils occur globally yet the microbial basis of most is still poorly described. Fusarium wilt, caused by Fusarium oxysporum f. sp. fragariae is a major disease of strawberry and is naturally suppressed in Korean fields that have undergone continuous strawberry monoculture. Here we show that members of the genus Streptomyces are the specific bacterial components of the microbiome responsible for the suppressiveness that controls Fusarium wilt of strawberry. Furthermore, genome sequencing revealed that Streptomyces griseus, which produces a novel thiopetide antibiotic, is the principal species involved in the suppressiveness. Finally, chemical-genetic studies demonstrated that S. griseus antagonizes F. oxysporum by interfering with fungal cell wall synthesis. An attack by F. oxysporum initiates a defensive "cry for help" by strawberry root and the mustering of microbial defenses led by Streptomyces. These results provide a model for future studies to elucidate the basis of microbially-based defense systems and soil suppressiveness from the field to the molecular level.

  • PDF