• Title/Summary/Keyword: Logic Programming

Search Result 194, Processing Time 0.031 seconds

Efficient Programming Method in Microcontrollers for Improving Latency (지연시간을 개선하기 위한 마이크로 컨트롤러의 효율적인 프로그래밍 방법)

  • Lee, Kyungnam;Kim, Youngmin
    • Journal of IKEEE
    • /
    • v.23 no.3
    • /
    • pp.1068-1076
    • /
    • 2019
  • Most of the electronics we use today have built-in microcontrollers, which are called embedded systems. In such a small environment, responsiveness is very important for the microcontroller. In this paper, the basic input/output control, timer/counter interrupt operation principle, and understanding of the microcontroller are described. Program logic is proposed to improve throughput and latency by controlling characteristics of service routine and program execution order. The hardware simulations in this paper were verified using ATmega128 and PIC16F877A from Atmel and Microchip.

A Study on the Architectural Changes of the Logistics Center due to Automation and Enlargement - Focusing on the case of Coupang, E-Mart, Amazon Logistics Centers - (자동화, 대형화로 인한 물류센터의 건축적 변화에 대한 고찰 - 쿠팡, 이마트, Amazon 물류센터의 사례를 중심으로 -)

  • Jo, Yong-Hyun;Choi, Choon
    • Journal of the Architectural Institute of Korea Planning & Design
    • /
    • v.36 no.1
    • /
    • pp.37-48
    • /
    • 2020
  • Logistics centers, distribution centers, or warehouse facilities increasingly dominate urban and suburban landscapes, their enormous but blank, repetitive facades completely overshadowing adjacent buildings. Mostly ignored by architects, this new building type symbolically represents the arrival of post-anthropocene, or post-urbicene era of architecture, in which an increasing portion of our built environment will not be intended for human occupancy, but rather for use by machines and artificial intelligence. As a new wave of logistics centers are becoming more automated, and more supersized, it is important to deepen architects' understanding of the organizational logic and programming factors that inform the overall design decisions for these facilities. With a particular focus on three case studies--Coupang, E-Mart, and Amazon Fulfillment Centers, this research examines the current trends in automation and expansion of logistics centers, and offers an analysis and forecast for future facilities in South Korea.

Study on the digitalization of trip equations including dynamic compensators for the Reactor Protection System in NPPs by using the FPGA

  • Kwang-Seop Son;Jung-Woon Lee;Seung-Hwan Seong
    • Nuclear Engineering and Technology
    • /
    • v.55 no.8
    • /
    • pp.2952-2965
    • /
    • 2023
  • Advanced reactors, such as Small Modular Reactors or existing Nuclear Power Plants, often use Field Programmable Gate Array (FPGA) based controllers in new Instrumentation and Control (I&C) system architectures or as an alternative to existing analog-based I&C systems. Compared to CPU-based Programmable Logic Controllers (PLCs), FPGAs offer better overall performance. However, programming functions on FPGAs can be challenging due to the requirement for a hardware description language that does not explicitly support the operation of real numbers. This study aims to implement the Reactor Trip (RT) functions of the existing analog-based Reactor Protection System (RPS) using FPGAs. The RT equations for Overtemperature delta Temperature and Overpower delta Temperature involve dynamic compensators expressed with the Laplace transform variable, 's', which is not directly supported by FPGAs. To address this issue, the trip equations with the Laplace variable in the continuous-time domain are transformed to the discrete-time domain using the Z-transform. Additionally, a new operation based on a relative value for the equation range is introduced for the handling of real numbers in the RT functions. The proposed approach can be utilized for upgrading the existing analog-based RPS as well as digitalizing control systems in advanced reactor systems.

Operational Definition of Components of Logical Thinking in Problem-solving Process on Informatics Subject (정보 교과의 문제해결과정에서 논리적 사고력 구성요소에 대한 조작적 정의)

  • Yoon, Il-Kyu;Kim, Jong-Hye;Lee, Won-Gyu
    • The Journal of Korean Association of Computer Education
    • /
    • v.13 no.2
    • /
    • pp.1-14
    • /
    • 2010
  • Previous researches on the improvement of logical thinking in Informatics subject have used general logical thinking test and only limited improvement of logical thinking by programming learning result. In this study, the operational definition of the logical thinking in problem-solving process on Informatics education is different from the general logical thinking and the logical thinking of the other subjects. Firstly, we suggested the operational definition of components of logical thinking using the open questionnaire by expert and research team discussion. Also, we suggested the relationship between the operational definition and contents of the 'problem-solving methods and procedure' section in secondary Informatics subject. Finally, this study developed the evaluation contents based on the operational definition of components of logical thinking. The components of logical thinking which was required in problem-solving process on Informatics subject were ordering reasoning, propositional logic, controlling variables, combinatorial logic, proportional reasoning. We suggested the relationship between operational definition and problem-solving process and assessment of logical thinking in problem-solving process on Informatics subject. This paper will give meaningful insight to supply the guideline of the teaching strategy and evaluation methods for improving the logical thinking in Informatics education.

  • PDF

Design of Synchronous 256-bit OTP Memory (동기식 256-bit OTP 메모리 설계)

  • Li, Long-Zhen;Kim, Tae-Hoon;Shim, Oe-Yong;Park, Mu-Hun;Ha, Pan-Bong;Kim, Young-Hee
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.12 no.7
    • /
    • pp.1227-1234
    • /
    • 2008
  • In this paper is designed a 256-bit synchronous OTP(one-time programmable) memory required in application fields such as automobile appliance power ICs, display ICs, and CMOS image sensors. A 256-bit synchronous memory cell consists of NMOS capacitor as antifuse and access transistor without a high-voltage blocking transistor. A gate bias voltage circuit for the additional blocking transistor is removed since logic supply voltage VDD(=1.5V) and external program voltage VPPE(=5.5V) are used instead of conventional three supply voltages. And loading current of cell to be programmed increases according to RON(on resistance) of the antifuse and process variation in case of the voltage driving without current constraint in programming. Therefore, there is a problem that program voltage can be increased relatively due to resistive voltage drop on supply voltage VPP. And so loading current can be made to flow constantly by using the current driving method instead of the voltage driving counterpart in programming. Therefore, program voltage VPP can be lowered from 5.9V to 5.5V when measurement is done on the manufactured wafer. And the sens amplifier circuit is simplified by using the sens amplifier of clocked inverter type instead of the conventional current sent amplifier. The synchronous OTP of 256 bits is designed with Magnachip $0.13{\mu}m$ CMOS process. The layout area if $298.4{\times}314{\mu}m2$.

Convenient and Economic Mechatronics Education Using Small Portable Electronic Devices (휴대용 소형 전자장비를 이용한 편리하고 경제적인 메카트로닉스 교육)

  • Kang, Chul-Goo
    • Transactions of the KSME C: Technology and Education
    • /
    • v.4 no.1
    • /
    • pp.63-71
    • /
    • 2016
  • Although mechatronics education in a mechanical engineering curriculum is recently recognized as important, its experimental education has been done generally in the laboratory equipped with all the apparatus and could not be done at home by students. This paper introduces experimental educations on mechatronics, e.g., digital logic circuits, 7-segment LED drive, square wave generation, microcontroller programming using assembly and C languages, timer interrupt, and step motor drive using a small 5 V power supply, a breadboard, various electronic and electric components, a microcontroller and its programmer, a step motor, and a student's PC. In the developed mechatronics course, experimental educations are scheduled in parallel with content's lectures together, and cheap and economic experimental environment is prepared for students in which students can easily practice experimental works in advance or later at home by themselves.

A New Approach to Active Documents and its Application (능동문서에 대한 새로운 접근법과 그 응용)

  • 남철기;배재학;장길상
    • Journal of KIISE:Software and Applications
    • /
    • v.30 no.3_4
    • /
    • pp.347-357
    • /
    • 2003
  • The web is an important source of information and most of Web applications are based on form documents in HTML-based form documents only play a role as user interfaces, and they do not involve the procedures or rules if business process which form document designers assume. However, from documents imply methods for treating documents, and these embedded procedural knowledge can be utilized.actively in automation of business process. In this respect, we Investigate the activeness of documents with cognitive science to automate business processes based on from documents. Through this, we have a new concept and applicability of active documents. Our active documents include business rules and declarative knowledge to support the automation of document processing. Also, we propose a processing framework for the active documents. The framework has two phases: build-time and run-time. in order to demonstrate the usefulness of the proposed framework, a prototype called ActiveForm is designed and implemented for requisition processing them in an inference engine can enhance the intelligence of Internet applications.

Implementation of Non-SQL Data Server Framework Applying Web Tier Object Modeling (웹티어 오브젝트 모델링을 통한 non-SQL 데이터 서버 프레임웍 구현)

  • Kwon Ki-Hyeon;Cheon Sang-Ho;Choi Hyung-Jin
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.31 no.4B
    • /
    • pp.285-290
    • /
    • 2006
  • Various aspects should be taken into account while developing a distributed architecture based on a multi-tier model or an enterprise architecture. Among those, the separation of role between page designer and page developer, defining entity which is used for database connection and transaction processing are very much important. In this paper, we presented DONSL(Data Server of Non SQL query) architecture to solve these problems applying web tier object modelling. This architecture solves the above problems by simplifying tiers coupling and removing DAO(Data Access Object) and entity from programming logic. We concentrate upon these three parts. One is about how to develop the DAO not concerning the entity modification, another is automatic transaction processing technique including SQL generation and the other is how to use the AET/MET(Automated/Manual Execute d Transaction) effectively.

The Implementation of Communication Emulate Based on Component For Automation System (자동화시스템을 위한 컴포넌트 기반의 통신 Emulate 구현)

  • Jeong Hwa-Young
    • Journal of Digital Contents Society
    • /
    • v.3 no.2
    • /
    • pp.245-254
    • /
    • 2002
  • Currently, communication field for automation system can be divided by simple serial communication for communication between each internal devices and network base remote control system that is based on TCP/IP. In spite of great development of network, communication part for internal control is using simple RS232 base until present. Also, development techniques of system developed by object oriented program in modular programming techniques of each function unit. Currently, it developed by component base development technique that is parts unit of software. This is presented by the new alternative of software development techniques as techniques to composition independent operation unit including business logic and is connected to development of new system. Therefore, this research implemented internal communication Emulate in RS232C based on GUI that apply development techniques of component base. that is, I maked component to commnication control part between receiving and sending and, as composite it, Control part did to handling between send and receive data.

  • PDF

A Study on Computer Education Curriculum in Elementary School for Introducing Computer Science (컴퓨터과학 도입을 위한 초등컴퓨터 교육과정 연구)

  • Park, Jung-Ho;Oh, Pill-Woo;Lee, Tae-Wuk
    • Journal of The Korean Association of Information Education
    • /
    • v.10 no.1
    • /
    • pp.25-35
    • /
    • 2006
  • Computer education currently executed at elementary schools showed problems of system of education curriculum, repetition, and lack of consistent system as a result of analyzing index for information and communication technology, education curriculum, and related literatures, and most of the education contents have difficulty to nurture logic thinking and problem-solving ability since they are composed mainly of software function learning. Concerning this issue, this study suggests an innovated computer education curriculum with reinforced information ethics field with computer principle, algorithm, and programming, in other words, a corrected and supplemented version of former content system based on computer science guidance cases of ACM education curriculum model of USA, computer education curriculum of state Tennessee, and information technology education curriculum of Great Britain judging that introduction of computer science factors are desperate to improve computer education curriculum in elementary schools.

  • PDF