• Title/Summary/Keyword: Logic Programming

Search Result 194, Processing Time 0.021 seconds

Design of a redundancy control circuit for 1T-SRAM repair using electrical fuse programming (전기적 퓨즈 프로그래밍을 이용한 1T-SRAM 리페어용 리던던시 제어 회로 설계)

  • Lee, Jae-Hyung;Jeon, Hwang-Gon;Kim, Kwang-Il;Kim, Ki-Jong;Yu, Yi-Ning;Ha, Pan-Bong;Kim, Young-Hee
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.14 no.8
    • /
    • pp.1877-1886
    • /
    • 2010
  • In this paper, we design a redundancy control circuit for 1T-SRAM repair using electrical fuse programming. We propose a dual port eFuse cell to provide high program power to the eFuse and to reduce the read current of the cell by using an external program supply voltage when the supply power is low. The proposed dual port eFuse cell is designed to store its programmed datum into a D-latch automatically in the power-on read mode. The layout area of an address comparison circuit which compares a memory repair address with a memory access address is reduced approximately 19% by using dynamic pseudo NMOS logic instead of CMOS logic. Also, the layout size of the designed redundancy control circuit for 1T-SRAM repair using electrical fuse programming with Dongbu HiTek's $0.11{\mu}m$ mixed signal process is $249.02 {\times}225.04{\mu}m^{2}$.

Development of Secure Entrance System using AOP and Design Pattern (관점지향 소프트웨어 개발 방법론과 디자인 패턴을 적용한 출입 보안 시스템 개발)

  • Kim, Tae-Ho;Cheon, Hyeon-Jae;Lee, Hong-Chul
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.11 no.3
    • /
    • pp.943-950
    • /
    • 2010
  • A secure entrance system is complicated because it should have various functions like monitoring, logging, tracing, authentication, authorization, staff locating, managing staff enter-and-leave, and gate control. In this paper, we built and applied a secure entrance system for a domestic nuclear plant using Aspect Oriented Programming(AOP) and design pattern. Using AOP has an advantage of clearly distinguishing the role for each functional module because building a system separated independently from the system's business logic and security logic is possible. It can manage system alternation flexibility by frequent change of external environment, building a more flexible system based on increased code reuse, efficient functioning is possible which is an original advantage of AOP. Using design pattern enables to design by structuring the complicated problems that arise in general software development. Therefore, the safety of the system can also be guaranteed.

Analysis of error data generated by prospective teachers in programming learning (예비교사들이 프로그래밍 학습 시 발생시키는 오류 데이터 분석)

  • Moon, Wae-shik
    • Journal of The Korean Association of Information Education
    • /
    • v.22 no.2
    • /
    • pp.205-212
    • /
    • 2018
  • As a way to improve the software education ability of the pre - service teachers, we conducted programming learning using two types of programming tools (Python and Scratch) at the regular course time. In programming learning, various types of errors, which are factors that continuously hinder interest, achievement and creativity, were collected and analyzed by type. By using the analyzed data, it is possible to improve the ability of pre-service teachers to cope with the errors that can occur in the software education to be taught in the elementary school, and to improve the learning effect. In this study, logic error (37.63%) was the most frequent type that caused the most errors in programming in both conventional language that input text and language that assembles block. In addition, the detailed errors that show a lot of differences in the two languages are the errors of Python (14.3%) and scratch (3.5%) due to insufficient use of grammar and other errors.

A Dynamic Web Service Orchestration and Invocation Scheme based on Aspect-Oriented Programming and Reflection (관점지향 프로그래밍 및 리플렉션 기반의 동적 웹 서비스 조합 및 실행 기법)

  • Lim, Eun-Cheon;Sim, Chun-Bo
    • Journal of the Korea Society of Computer and Information
    • /
    • v.14 no.9
    • /
    • pp.1-10
    • /
    • 2009
  • The field of the web service orchestration introduced to generate a valuable service by reusing single services. Recently, it suggests rule-based searching and composition by the AI (Artificial Intelligence) instead of simple searching or orchestration based on the IOPE(Input, Output, Precondition, Effect) to implement the Semantic web as the web service of the next generation. It introduce a AOP programming paradigm from existing object-oriented programming paradigm for more efficient modularization of software. In this paper, we design a dynamic web service orchestration and invocation scheme applying Aspect-Oriented Programming (AOP) and Reflection for Semantic web. The proposed scheme makes use of the Reflection technique to gather dynamically meta data and generates byte code by AOP to compose dynamically web services. As well as, our scheme shows how to execute composed web services through dynamic proxy objects generated by the Reflection. For performance evaluation of the proposed scheme, we experiment on search performance of composed web services with respect to business logic layer and user view layer.

A Study on the Introduction of Fuzzy system into the Decision-Making process of HVAC designers

  • Woo, Se-Jin
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • v.4 no.1
    • /
    • pp.12-17
    • /
    • 2004
  • This study is designed to grope for logical methods in the decision-making process of human beings such as creation and analysis. With this in mind, the paper worked with a process where the designers of a design team gather and analyze their opinions in a design process to decide on the HVAC system of buildings. The paper introduced the fuzzy theory, or one of the methods to quantitatively describe language values with ambiguous features, suggesting a method to determine the judgement and suggestion values of the HVAC designers with the characteristics of language variables as the values of design factors greatly influencing the HVAC system. As a result, the paper tested the possibility of the fuzzy system as a logical method to gather the judgement of HVAC designers in a stage of HVAC type selection exerting a great influence on the experience and judgement of the designers and having powerful linguistic features and to determine an appropriate HVAC type which can satisfy the suggested values of related design factors.

Algorithm and computerize programming to induce optimized Far-infrared radiation (원적외선 최적화 방사유도 알고리즘과 프로그래밍)

  • Kim, Jae-Yoon;Park, Don-Mork;Park, Young-Han;Park, Rae-Joon
    • The Journal of Korean Physical Therapy
    • /
    • v.13 no.2
    • /
    • pp.257-264
    • /
    • 2001
  • To take the Far-infrared(FIR) ray which is a optimized wavewlength and strength, at first, it is to be induced the characteristic algorithm and the computerized programing of FlR radiating materials. In this study, we induced that the formular of optimized FIR with physical, mathematical logic and theory, especially, Plank, Kirchhoff, Wien, Stefan-Boltzmann's logic and law. In the long run the formular was induced with mathematical integration. since we had to know the molecular wavelength. Base on the induced formular as above, we programmed the optimized FlR radiating computerized program, it would be useful to design semiconductor( VLSI) as the FlR instrument center control system.

  • PDF

Micro Programmable Sequential Controller Design of a Sequential Logic System With Parallel Sequence (병렬 Sequence를 갖는 순서논리 시스템의 Microprogrammable Sequential Controller의 설계)

  • 유창근;우광준
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.13 no.6
    • /
    • pp.370-479
    • /
    • 1988
  • This paper presents a microprogrammable sequential controller which realizes the sequential logic system with parallel sequences described by a GRAFCET. The proposed controller improves speed, flexibility, programming ease and the efficiency of controlled system by paralle sequencing capability. It is especially designed for complex high speed sequential contollers requiring large I/O capabilities, such as industrial process controller or power electronic conversion controller.

  • PDF

Micro Programmable Sequential Controller Design of a Sequential Logic System With Parallel Sequence (병렬 Sequence를 갖는 순서논리 시스템의 Microprogrammable Sequential Controller의 설계)

  • RHU, Chang Keun;WOO, Kwang Joon
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.13 no.6
    • /
    • pp.470-470
    • /
    • 1988
  • This paper presents a microprogrammable sequential controller which realizes the sequential logic system with parallel sequences described by a GRAFCET. The proposed controller improves speed, flexibility, programming ease and the efficiency of controlled system by paralle sequencing capability. It is especially designed for complex high speed sequential contollers requiring large I/O capabilities, such as industrial process controller or power electronic conversion controller.

FAM APPROACH TO DESIGN A FUZZY CONTROLLER

  • Lo Presti, M.;Poluzzi, R.;Rizzotto, G.G.;Zanaboni, A.
    • Proceedings of the Korean Institute of Intelligent Systems Conference
    • /
    • 1993.06a
    • /
    • pp.1033-1036
    • /
    • 1993
  • Most of the today realized fuzzy logic control applications has been designed using different heuristic approaches for synthesis and implemented with conventional programming languages on general purpose microcontrollers. This paper aims to present a new methodology to design a fuzzy controller. The methodology is based on the Cell-to-Cell approach to extract the control law. A set of fuzzy rules is then found by using a FAM (Fuzzy associative memories) approach. The proposed procedure was implemented to control the rotor position of a DC motor.

  • PDF

Document Summarization via Convex-Concave Programming

  • Kim, Minyoung
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • v.16 no.4
    • /
    • pp.293-298
    • /
    • 2016
  • Document summarization is an important task in various areas where the goal is to select a few the most descriptive sentences from a given document as a succinct summary. Even without training data of human labeled summaries, there has been several interesting existing work in the literature that yields reasonable performance. In this paper, within the same unsupervised learning setup, we propose a more principled learning framework for the document summarization task. Specifically we formulate an optimization problem that expresses the requirements of both faithful preservation of the document contents and the summary length constraint. We circumvent the difficult integer programming originating from binary sentence selection via continuous relaxation and the low entropy penalization. We also suggest an efficient convex-concave optimization solver algorithm that guarantees to improve the original objective at every iteration. For several document datasets, we demonstrate that the proposed learning algorithm significantly outperforms the existing approaches.