• 제목/요약/키워드: logic tool

검색결과 333건 처리시간 0.026초

스크래치 프로젝트 분석을 통한 컴퓨팅사고력 수준 분석 (Analysis of Computational Thinking Level Through the Scratch Project Analyzation)

  • 박선주
    • 정보교육학회논문지
    • /
    • 제22권6호
    • /
    • pp.661-669
    • /
    • 2018
  • 2015 개정교육과정에 의해 2018년부터 SW 교육이 필수화되면서 SW 교육에 대한 연구가 활발하게 이루어지고 있다. 본 논문에서는 예비교사들의 컴퓨팅 사고력 수준을 파악하기 위해 2016년부터 2018년까지 3년 동안 K 교육대학교 1학년 학생 325명을 대상으로 스크래치 수업을 실시한 후 연도별로 산출된 스크래치 프로젝트를 Dr. Scratch 분석도구로 평가하여 연도별과 학점별로 CT요소 점수의 연관성을 분석하였다. 그 결과, 연도와 학점이 높을수록 CT요소, 점수, 등급도 높아짐을 알 수 있었다. 이를 통해, 학생들은 Dr. Scratch와 같은 자동화된 평가도구를 사용하여 평가해 본 후 스스로 수정 보완해보는 과정과 필요한 자료를 직접 제작하여 활용하는 ICT 능력이 필요하며, 복잡한 조건과 논리연산 활용 등 논리적 사고 요소를 이해하고 잘 활용될 수 있도록 교육될 필요가 있다.

전류모드 CMOS를 이용한 GF(P$^{m}$ )상의 셀 배열 승산기 (Cell array multiplier in GF(p$^{m}$ ) using Current mode CMOS)

  • 최재석
    • 융합신호처리학회논문지
    • /
    • 제2권3호
    • /
    • pp.102-109
    • /
    • 2001
  • 본 논문에서는 GF($P^{m}$ )상에서의 새로운 승산 알고리듬과 승산기 구성법을 나타내었다. 유한체 상에서의 두 원소에 대한 승산공식을 유도하였고 유도된 수식에 의해 승산기를 구성하였다. 적용예로 GF(3) 승산 모듈과 덧셈 모듈을 전류 모드 CMOS 기법을 적용하여 구현하였다. 이러한 모듈을 기본 모듈로 사용하여 GF(3$^{m}$ )승산기를 설계하였고 SPICE를 통하여 검증하였다. 제시된 승산기는 규칙적인 셀 구조를 사용하였고 단순히 규칙적인 내부 결선으로 구성된다. 따라서, 유한체 상에서 차수가 m 차로 증가하는 승산에 대해서도 간단히 확장이 가능하다.

  • PDF

하드웨어-소프트웨어 통합 설계 시스템을 위한 상위 단계에서의 검증 기법 (High-Level Design Verification Techniques for Hardware-Software Codesign Systems)

  • 이종석;김충희;신현철
    • 한국정보과학회논문지:컴퓨팅의 실제 및 레터
    • /
    • 제6권4호
    • /
    • pp.448-456
    • /
    • 2000
  • 설계되는 시스템의 규모가 커지고 복잡해지므로 이를 빠른 시간 내에 효율적으로 검증하기 위한 상위 단계에서의 검증 기술의 개발이 중요하게 되었다. 본 연구에서는 하드웨어와 소프트웨어가 혼합되어 있는 시스템을 위한 상위 단계에서의 검증기술을 개발하였다. 에뮬레이션 또는 시뮬레이션만을 수행하는 것보다 빠르고 우수하게 기능적으로 검증하기 위해, 하드웨어와 소프트웨어 부분으로 분할한 후 인터페이스 회로를 이용하여 구현 가능하도록 하였다. 그리고, 상위 단계의 회로를 쉽게 하드웨어를 이용하여 검증하기 위한 설계 지침들을 제시하였다. 본 방법을 이용하여 리드-솔로몬 디코더 회로에 대한 검증을 수행한 결과 시뮬레이션만을 수행한 경우에 비하여 modified Euclid 알고리즘 수행 블록은 12,000배 이상의 속도로 검증을 수행할 수 있었으며, 전체 검증 시간도 반 이하로 줄었다.

  • PDF

하수처리 프로세스의 선형 추론 퍼지 모델링 (Fuzzy Modeling of Activated Sludge Process Using Linear Reasoning Method)

  • 오성권;박종진;이성주;황희수;김현기;우광방
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 1990년도 추계학술대회 논문집 학회본부
    • /
    • pp.417-420
    • /
    • 1990
  • The conventional quantitative techniques of system analysis are intrinsically unsuited for dealing with humanistic systems. Therefore, the rule based modeling of fuzzy linguistic type has been developed for the analysis of humanistic systems and complex systems and it is very significant for analysis and design of fuzzy logic controller. The activated sludge process is a commonly used method for treating sewage and waste waters. A mathematical tool to build a fuzzy model of the activated sludge process where fuzzy implications and linear reasoning are used is presented in here. A root-mean square error is used as the criterion of the fuzzy model's adequacy to the A.S.P. and the least square method is used for the identification of optimum consequence parameters. A method of modeling of the activated sludge process using its input-output data and simulation results for its application are shown.

  • PDF

An Efficient 5-Input Exclusive-OR Circuit Based on Carbon Nanotube FETs

  • Zarhoun, Ronak;Moaiyeri, Mohammad Hossein;Farahani, Samira Shirinabadi;Navi, Keivan
    • ETRI Journal
    • /
    • 제36권1호
    • /
    • pp.89-98
    • /
    • 2014
  • The integration of digital circuits has a tight relation with the scaling down of silicon technology. The continuous scaling down of the feature size of CMOS devices enters the nanoscale, which results in such destructive effects as short channel effects. Consequently, efforts to replace silicon technology with efficient substitutes have been made. The carbon nanotube field-effect transistor (CNTFET) is one of the most promising replacements for this purpose because of its essential characteristics. Various digital CNTFET-based circuits, such as standard logic cells, have been designed and the results demonstrate improvements in the delay and energy consumption of these circuits. In this paper, a new CNTFET-based 5-input XOR gate based on a novel design method is proposed and simulated using the HSPICE tool based on the compact SPICE model for the CNTFET at the 32-nm technology node. The proposed method leads to improvements in performance and device count compared to the conventional CMOS-style design.

한약의 약성(사기)에 대한 현대적 검증 (I) -체온과의 상관성- (A Modern Aapproach to The Natures of Drugs(I) -Relation to The Rectal Temperature-)

  • 남봉현;이미영;김정숙;이한구
    • Biomolecules & Therapeutics
    • /
    • 제5권1호
    • /
    • pp.8-11
    • /
    • 1997
  • The odor theory (기미론) has been defined as the Nature (기) and the Taste(미) of traditional herbal medicine to find the logic in treatment of various diseases by them. There is a strong possibility these Na1ures of the drug can be categorized according to yin (음) and yang (음). There is a neutral Nature which does not fit into one of these four categories. To understand the Natures of traditional herbal drugs in modern scientific approaches, changes in rectal temperature of rats have been measured at 0,30, 60, 90 min after a 10 g/Kg oral administration each of 34 different drugs. Following the classification of the four Natures of drugs, only the temperatures of warm group at 30, 60, and 90 min were elevated significantly from the control and the rest groups. Following a modified classification of 3 groups such as cold and cool, warm and hot, and neutral Nature, changes in temperatures after administration of Hot and Warm drugs were also increased significantly from the control (P<0.01). Thus, the measurement of rectal temperature can be a tool to define the Nature (기) of traditional herbal drugs, but the modified classification is another way to do.

  • PDF

사회통합을 위한 도시 집합주택의 주거동 내 공유공간 계획특성에 관한 연구 - MVRDV의 집합주택 사례를 중심으로 - (A Study on the Design Characteristics of Communal Spaces in Urban Collective Housing for Social integration - Focused on Case Studies on MVRDV's Collective Housing -)

  • 임해원;이현수
    • 한국실내디자인학회논문집
    • /
    • 제27권3호
    • /
    • pp.100-107
    • /
    • 2018
  • In order to overcome social exclusion and to integrate social housing, it is necessary to plan a communal space in urban collective housing so that residents can have belonging sense and community consciousness. In this study, it is necessary to consider the linkage between social integration and residential space, and to derive the characteristics of planning the collective housing for social integration. We analyzed the planning characteristics of MVRDV's communal spaces of collective housing and suggested a method of planning communal spaces of urban collective housing for social integration. Urban density is an important tool and background for MVRDV's design methodology. For this reason, MVRDV's collective housing is selected as a case study in this study. As a result of case analysis, openness and connection characteristics should be considered by using various devices such as glass exterior, balcony, and void in planning the communal space in urban collective housing for social integration. However, since it has appeared in many cases, it can be criticized that the application of this is merely a logic. In other words, it is possible to suggest that we should actively introduce less accessible access. This problem should be solved through more case studies.

ALM-FNN 및 FLC 제어기에 의한 SynRM 드라이브의 고성능 속도와 전류제어 (High Performance Speed and Current Control of SynRM Drive with ALM-FNN and FLC Controller)

  • 최정식;고재섭;정동화
    • 전기학회논문지P
    • /
    • 제58권3호
    • /
    • pp.249-256
    • /
    • 2009
  • The widely used control theory based design of PI family controllers fails to perform satisfactorily under parameter variation, nonlinear or load disturbance. In high performance applications, it is useful to automatically extract the complex relation that represent the drive behaviour. The use of learning through example algorithms can be a powerful tool for automatic modelling variable speed drives. They can automatically extract a functional relationship representative of the drive behavior. These methods present some advantages over the classical ones since they do not rely on the precise knowledge of mathematical models and parameters. The paper proposes high performance speed and current control of synchronous reluctance motor(SynRM) drive using adaptive learning mechanism-fuzzy neural network (ALM-FNN) and fuzzy logic control (FLC) controller. The proposed controller is developed to ensure accurate speed and current control of SynRM drive under system disturbances and estimation of speed using artificial neural network(ANN) controller. Also, this paper proposes the analysis results to verify the effectiveness of the ALM-FNN, FLC and ANN controller.

(Ab)(Cl) 집합 일치화의 구현에 관한 연구 (An Implementation of (Ab)(Cl) Set Unification)

  • 신동하;김인영
    • 한국정보통신학회논문지
    • /
    • 제8권5호
    • /
    • pp.1108-1113
    • /
    • 2004
  • ‘집합’은 컴퓨터 프로그램의 설계에 자주 사용되는 도구이다. 이런 이유 때문에 최근 ‘집합 제한 언어’도 등장하였다. 본 연구에서는 ‘(Ab)(Cl) 집합 일치화’ 문제를 소개하고 ‘집합 등식 다시쓰기(rewrite)’를 사용하여 집합 일치화를 Prolog 언어를 사용하여 구현하였다. 본 연구에서는 순차적 언어에서는 구현하기 힘들었던 집합 일치화가 Prolog 언어와 같은 논리 언어에서는 비결정성 제어 구조와 리스트 자료 구조를 사용하여 쉽게 구현 가능함을 보였다. 본 연구는 기존 구현이 고가의 상업용 Prolog를 사용한 것과는 달리 GNU 일반 공용 라이센스(GPL)를 가지는 Ciao Prolog를 사용하였기 때문에 누구나 무료로 사용할 수 있다는 장점도 가지고 있다. 현재 본 연구의 결과를 사용하여 ‘집합제한 언어’가 구현 중이다.

The development of a fully automated homemade system for [11C] acetate synthesis using an open source PLC

  • Kang, Se Hun;Hong, Sung Tack;Park, Kwangseo;Kim, Seok-ki
    • 대한방사성의약품학회지
    • /
    • 제2권2호
    • /
    • pp.103-107
    • /
    • 2016
  • Solid phase extraction (SPE) purification method is the efficient and well-known tool for automated [$^{11}C$]acetate synthesis. A fully automated homemade module adopting the SPE method and 'pinch' valves was developed very economically with a universal interface board, a relay card and an open source programmable logic controller. The radiochemical yield of the optimized [$^{11}C$]acetate synthesis by this system was $58.8{\pm}2.1%$ (n=10, decay-corrected) from $15.5{\pm}0.19GBq$ of $[^{11}C]CO_2$ as starting activity, and total synthetic time was 15 minutes. HPLC analysis showed its high radiochemical purity as $97.4{\pm}1.1%$ without possible by-products.