• 전기의세계
• /
• 제28권8호
• /
• pp.57-65
• /
• 1979

This paper is concerned with not only the transformation of the logic diagrams to the NAND and the NOR forms but also the inverse transformation deriving the simple Boolean function from a logic diagram. The conversions of the algebraic expression from the AND, OR and NOT operations to the NAND and the NOR operations are usually quite complicated, because they involve a large number of repeated applications of De Morgan's Theorem and the other logic relations. For the derivation of the Boolean function, it becomes difficult because the Boolean function is determined from the De Morgan's theorem in consecutive order until the output is expressed in terms of input variables (9). But, these difficulties are avoided by the use of new techniques, called the TWO-NOTs method and the MOVING-NOT method, that are presented in this paper.

• 대한전자공학회논문지SD
• /
• 제40권9호
• /
• pp.692-701
• /
• 2003

본 논문에서는 저 전력소모와 높은 테스트용이성을 동시에 고려하기 위한 새로운 게이트 레벨 논리변환 방법을 제안한다. 주출력에서 관측될 확률이 낮은 CFF(Compact Fanout Free)를 찾아내고, 해당 CFF가 모든 주출력에서 관측불가능한 조건에서는 리던던트 연결을 첨가하여 내부에서 발생하는 스위칭 동작을 제거한다. 일반적으로 논리 변환된 회로의 테스트 용이성은 떨어지는 경향이 있다. 그러나 제안된 방법에서 첨가된 리던던트 연결은 테스트 모드에서 테스트 포인트로 동작하며 CFF의 제어도와 관측도를 동시에 향상시키게 된다. 따라서 논리 변환된 회로는 정상 모드에서는 전력 손실이 매우 낮으며, 테스트 모드에서는 높은 테스트용이성을 갖는다. 제안하는 논리 변환 방법의 효율성을 보이기 위하여 MCNC 벤치마크 테스트 회로에 대하여 실험을 수행하였다. 실험 결과로부터 변환된 회로의 전력소모는 최대 13%정도 감소하며, 고장 검출율은 오히려 증가함을 확인할 수 있다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 ITC-CSCC -2
• /
• pp.653-656
• /
• 2000

We consider, in this paper, a UML-based design support system for real-time systems. However, the UML does not include any notion for verification of timing constraints. We presents transformation algorithms, as a function of the support system, of UML descriptions into Petri nets and Interval Temporal Logic models, which are very powerful for the verification. This paper shows also transformation example for simple elevator system.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제16권1호
• /
• pp.36-43
• /
• 2016

The transformation time among queries in the database management system (DBMS) is responsible for the execution time of users' queries, because a conventional DBMS does not consider the transformation cost when queries are transformed for execution. To reduce the transformation time (cost reduction) during execution, we propose an optimal query transformation method by exploring queries from a cost-based point of view. This cost-based point of view means considering the cost whenever queries are transformed for execution. Toward that end, we explore and compare set off heuristic, linear, and exhaustive cost-based transformations. Further, we describe practical methods of cost-based transformation integration and some query transformation problems. Our results show that, some cost-based transformations significantly improve query execution time. For instance, linear and heuristic transformed queries work 43% and 74% better than exhaustive queries.

• 정보처리학회논문지D
• /
• 제13D권2호
• /
• pp.191-198
• /
• 2006

다양한 환경 속에서 기업이 업무의 효율성과 효과적인 업무처리를 해결하기 위해서 핵심정보시스템으로 워크플로우를 도입하고 있다. 최근에는 워크플로우 확장으로 비즈니스 프로세스 관리(BPM: Business Process Management)가 기업 소프트웨어 시장의 가장 중요한 부분을 차지하고 있다. 비즈니스 프로세스 관리에서 워크플로우는 핵심적인 역할을 수행하고 있지만, 워크플로우 연구의 대부분은 복잡한 업무의 정확한 실행 순서를 찾기 위한 시간적인 제약들에 집중되어 있다. 그런 이유에서 워크플로우 스케줄링의 대부분은 처리해야 할 다양한 자원의 모델링에 집중되었으며, 자원과 연관된 제약조건에서의 워크플로우 스케줄링에 대한 관심은 미흡한 편이다. 본 논문에서는 자원할당 제약조건에 따른 워크플로우 스케줄링에 적합한 CTR(Concurrent Transaction Logic) 기반의 변형 템플릿(Transformation Template)과 논리적 프레임워크를 제안한다. 변형 템플릿은 워크플로우 변형 템플릿(Workflow Transformation Template)과 제약조건 변형 템플릿(Constraint Transformation Template)으로 구성된다. 이 변형 템플릿은 기존의 워크플로우를 자원할당 제약조건 하에서 새로운 워크플로우를 논리적으로 표현하는데 용이하게 사용할 수가 있다.

• 대중서사연구
• /
• 제25권3호
• /
• pp.103-141
• /
• 2019

이 글은 역사 기록을 상호 텍스트로 하여 『칼의 노래』에 나타나는 선택, 변형, 배제의 논리를 살피는 데 목적을 두고 있다. 이를 통해 하나의 소설 텍스트가 어떤 방식으로 '생산'되는지를 밝혔다. 또한 이렇게 소설이 생산되는 방식을 살핌으로써 『칼의 노래』가 소설적(근대적) 인물의 '세계에 대한 환멸의 서사'로 변화하는 양상을 추적하였다. 선택의 논리에서는 소설에서 어떤 시간과 공간이 선택되고, 어떤 인물이 선택됨으로써 소설의 내용·형식적 틀이 갖추어지는가를 보았다. 변형의 논리에서는 적대적 인물을 변형하고 전쟁의 의미를 변형함으로써 역사 기록과 달리 소설에서 '개인' 혹은 '주관성'의 의미가 부각되고 있음을 확인하였다. 배제의 논리에서는 특정한 시공간에 존재하는 역사적 인간의 특성이 배제되면서 소설에서 근대적(소설적) 인물의 특성이 부각되는 모습을 보았다. 이 글은 기존의 연구와는 달리 『칼의 노래』를 역사 기록과 상호텍스트적으로 비교 분석함으로써 한 편의 소설이 생산되는 방식을 고찰하였다는 의미를 지닌다. 이러한 분석을 통해 소설이라는 형식 속에 역사적 실재, 작가의 이데올로기와 상상력, 동시대의 욕망 등 여러 이질적인 요소들이 결합하는 양상을 확인할 수 있다. 또한 완결된 형식으로 봉합될 수 없는 텍스트의 요소들을 살핌으로써 안정되지 않은 체계로서 소설텍스트가 갖는 의미를 알 수 있다.

• 정보과학회 논문지
• /
• 제42권11호
• /
• pp.1410-1422
• /
• 2015

소프트웨어 개발자들은 시스템의 설계를 위해 UML의 클래스 다이어그램과 같은 객체 모델을 이용한다. 객체-관계 변환 방법론은 객체 모델에 표현된 관계성들을 관계형 데이터베이스 테이블로 변환하는 방법론으로, 설계된 시스템의 구현을 위해 적용된다. 기존 객체-관계 변환 방법론의 연구들은 하나의 관계성을 표현하기 위해 여러 변환 기법들을 제안하였다. 하지만 각 변환 기법의 사용기준들이 존재하지 않아 구현에 적용하기 어려운 문제점이 있다. 따라서 이 논문은 각 관계별로 이진 결정 다이어그램 기반의 모델링 규칙을 제안한다. 이를 위해 변환 기법들을 구분하는 조건들을 정의하고, 질의 수행시간을 측정함으로 검증이 요구되는 모델링 규칙들을 평가한다. 평가 후, 이 논문은 명제 논리로 표현된 최종 모델링 규칙을 재정의하고, 사례 연구를 통하여 제안된 모델링 규칙이 설계된 시스템을 구현하는데 유용함을 보인다.

• 한국정보통신학회논문지
• /
• 제9권8호
• /
• pp.1774-1779
• /
• 2005

본 논문에서는 그래프 이론에 기초를 둔 GFDD를 사용하여 디지털논리시스템을 구성하는 한가지 방법을 제안하였다. 제안한 방법은 먼저 유한체와 그래프 이론의 수학적 성질을 논의하였으며, 단일변수에 대한 동작영역과 함수영역간의 변환을 용이하게 하기 위한 변환행렬 $\psi$GF(P)(1)과 $\xi$GF(P)(1)을 논의하였다. 그리고 디지털스위칭함수를 구하기 위한 Reed-Muller 확장을 논의하였으며, 이를 다변수인 경우로 확장하기 위해 Kronecker Product를 논의하였다.

• 한국지능시스템학회논문지
• /
• 제20권3호
• /
• pp.447-454
• /
• 2010

본 논문은 예측 시스템의 성능을 개선하기 위해 비선형데이터의 내재된 특성이나 불확실성을 보다 효과적으로 반영할 수 있는 Interval Type-2 TSK 퍼지논리 시스템 기반 다중 퍼지 예측시스템의 설계를 다룬다. 본 논문에 제시된 다중 예측시스템들은 데이터의 비선형적 특성들을 효과적으로 고려하기 위해 설계되며, 각각의 시스템은 Type-1 TSK 퍼지논리나 다른 방법들에 비해 데이터의 불확실성을 충분히 반영할 수 있는 Interval Type-2 TSK 퍼지논리를 기반으로 구현된다. 또한, 1차 차분변환 과정을 통해, 데이터의 원형으로부터 최적의 차분데이터를 생성하고, 이들을 각 시스템의 입력으로 사용함으로써 시스템 설계 시 보다 안정된 통계적 정보를 제공할 수 있도록 한다. 마지막으로, 두 개의 전형적인 시계열 데이터의 예측 시뮬레이션을 통해 제안된 방법의 효용성을 검증한다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 1999년도 전력전자학술대회 논문집
• /
• pp.469-471
• /
• 1999

In this paper, the method of Space-Vector Pulse Width Modulation(SVPWM) with Fuzzy Logic Regulator(FLR) is proposed. In a conventional SVPWM, the procedures of phase transformation and choosing PWM patterns are complex. So, it should be implemented with high performance processor like Digital Signal Processor(DSP). In order to reduce a calculation burden, a proposed system adopts FLR. Using a linguistic contro strategy based on expert knowledge, FLR relieves the processor from a heavy computations. In simulations, the proposed system is validated.