지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 저널정보
- 대한전자공학회 ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications ITC-CSCC 2015
- 발행연도
- 2015.6
- 수록면
- 522 - 525 (4page)
이용수
초록· 키워드
오류제보하기
This paper proposes a new model which describes a circuit and its behavior by adopting a category theory. In this model, we define a new class of synchronous elements “comprehensive latches”, and show that for any such comprehensive latch synchronous circuit, there is a state machine that behaves similarly to the circuit. That kind of isomorphism is well-known only for D-FlipFlop synchronous circuit, and our isomorphism is its generalization since comprehensive latches include D-FlipFlops. The key idea of our isomorphism is that a state machine is synchronized by a natural transformation (categorical term) in an analogous way of that circuit is synchronized by a synchronous element. D-Latches are also elements of our comprehensive latches, and thus, for a given D-Latch synchronous circuit, the isomorphism provides a state machine correspond to the circuit.
목차
Abstract
1. Introduction
2. Circuit model in category theory
3. Isomorphism of synchronous circuits and state machines
4. Summary
References
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
차단기의 동적 거동특성 분석 및 래치기구 설계에 관한 연구
한국기계가공학회 춘추계학술대회 논문집
2017 .04
-
슬롯 수에 따른 100MW급 권선형 동기발전기 발전특성 및 운전특성 비교
전기학회논문지
2019 .04
-
Rogowski Coil 기반의 전류 센싱 회로를 적용한 SiC MOSFET 단락 보호 회로 설계
전력전자학회논문지
2021 .06
-
고속 직렬 인터페이스에 적합한 CMOS Latched Comparator 구조 비교
대한전자공학회 학술대회
2022 .06
-
초고속 영구자석 동기기의 기초자기회로설계
전기학회논문지 P
2015 .03
-
Analysis and optimization research on latch life of control rod drive mechanism based on approximate model
Nuclear Engineering and Technology
2021 .12
-
비동기식 회로 설계 구조에 대한 전력 및 면적 비교
대한전자공학회 학술대회
2015 .11
-
에너지 저장기능을 내장한 차량 Door 용 E-Latch 개발
한국정밀공학회 학술발표대회 논문집
2017 .05
-
위성용 전력계에 적용되는 Latching Current Limiter 의 Power MOSFET 소자 변경에 따른 시스템 영향성 비교 및 분석
항공우주시스템공학회 학술행사 논문집
2017 .11
-
LLC 공진형 하프브릿지 컨버터의 동기정류기 구동회로에 관한 연구
조명·전기설비학회논문지
2016 .01
-
Review of Short-circuit Protection Circuits for SiC MOSFETs
JOURNAL OF SEMICONDUCTOR TECHNOLOGY AND SCIENCE
2023 .04
-
원전용 IC를 위한 CMOS 디지털 논리회로의 내방사선 모델 설계 및 누적방사선 손상 분석
전기학회논문지
2018 .06
-
기계식 리던던시 기능을 갖는 자동차용 E-래치 수동 작동력 평가
한국자동차공학회 추계학술대회 및 전시회
2024 .11
-
국내 서킷을 활용한 차량 한계성능 개발방안 연구
신뢰성응용연구
2019 .06
-
차량용 인버터의 능동단락 회로 동작에 관한 연구
한국자동차공학회 추계학술대회 및 전시회
2022 .11
-
자동차의 차세대 E-LATCH 개발
한국자동차공학회 추계학술대회 및 전시회
2019 .11
-
Universal Short-Circuit and Open-Circuit Fault Detection for an Inverter
ICPE(ISPE)논문집
2023 .05
-
Genetic Circuit Construction for Cellular Logic Operations
한국생물공학회 학술대회
2022 .09
-
Push Latch 를 이용한 그리퍼 메커니즘 설계
한국정밀공학회 학술발표대회 논문집
2019 .05
-
고성능 XOR-XNOR 회로 구현
한국전자통신학회 논문지
2022 .04
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2016-569-001693573