• 제목/요약/키워드: 논리최적화

검색결과 171건 처리시간 0.04초

시간논리구조에서 이산사건시스템의 최적화 및 추론 (Optimization and reasoning for Discrete Event System in a Temporal Logic Frameworks)

  • 황형수;정용만
    • 한국지능시스템학회논문지
    • /
    • 제7권2호
    • /
    • pp.25-33
    • /
    • 1997
  • A DEDS is a system whose states change in response to the occurence of events from a predefined event set. In this paper, we consider the optimal control and reasoning problem for Discrete Event Systems(DES) in the Temporal Logic Framework(TEL) which have been recnetly defined. The TLE is enhanced with objective functions(event cost indices) and a measurement space is alos deined. A sequence of event which drive the system form a give initial state to a given final state is generated by minimizing a cost functioin index. Our research goal is the reasoning of optimal trajectory and the design of the optimal controller for DESs. This procedure could be guided by the heuristic search methods. For the heuristic search, we suggested the Stochastic Ruler algorithm, instead of the A algorithm with difficulties as following ; the uniqueness of solutions, the computational complexity and how to select a heuristic function. This SR algorithm is used for solving the optimal problem. An example is shown to illustrate our results.

  • PDF

독립 공리를 이용한 구조 최적화 방법론 개발 (A Structural Optimization Methodology Using the Independence Axiom)

  • 이광원;박경진
    • 대한기계학회논문집A
    • /
    • 제24권10호
    • /
    • pp.2438-2450
    • /
    • 2000
  • The Design Axioms provide a general framework for design methodologies. The axiomatic design framework has been successfully applied to various design tasks. However, the axiomatic design has been rarely utilized in the detailed design process of structures where the optimization technology is generally carried out. The relationship between the axiomatic design and the optimization is investigated and Logical Decomposition method is developed for a systematic structural optimization. The entire optimization process is decomposed to satisfy the Independence Axiom. In the decomposition process, design variables are grouped according to sensitivities. The sensitivities are evaluated by the Analysis of Variance(ANOVA) to avoid considering only local values. The developed method is verified through examples such as the twenty -five members transmission tower and the two -bay-six-story frame.

고성능 Smart Power 소자 설계 및 전기적 특성에 관한 연구 (A Study on the Design and Electrical Characteristics of High Performance Smart Power Device)

  • 구용서
    • 전기전자학회논문지
    • /
    • 제7권1호
    • /
    • pp.1-8
    • /
    • 2003
  • 본 논문에서는 고내압 및 고속 스위칭 특성을 갖는 고성능 BCD(Bipolar- CMOS-DMOS) 소자 구조를 고안하였다. 공정 및 소자 시뮬레이션을 통하여, 최적화된 공정 규격과 소자 규격을 설계하였으며, 고안된 소자의 전기적 특성을 만족시키기 위하여 이중 매몰층 구조, 트랜치 격리 공정, n-/p- 드리프트 영역 형성기술 및 얕은 접합 깊이 형성기술 등을 채택하였다. 이 스마트 파워 IC는 20V급 Bipolar npn/pnp 소자, 60V급 LDMOS소자, 수 암페어급의 VDMOS, 20V급 CMOS소자 그리고 5V급 논리 CMOS를 내장하고 있다.

  • PDF

영상의 대표값과 유전자 프로그래밍을 이용한 자궁경부세포진 영상 인식 (Cervical Cell Classification using Genetic Programming and Central tendency of Image)

  • 김재륜;김백섭;이헌길;하진영
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (B)
    • /
    • pp.283-285
    • /
    • 2001
  • 유전자 프로그래밍은 프로그램 자동생성 도구이다. 문제를 해결하는 프로그램코드를 프로그래머가 직접 구현하는 것이 아니라, 적절한 초기값만을 입력하여 컴퓨터가 스스로 적합한 해를 찾아내도록 하는 방법이다. 유전자 프로그래밍은 생물의 진화개념에서 얻어진 여러 아이디어를 사용하여 최적화된 해를 찾아낸다. 본 논문에서는 세포영상인식 문제를 해결하기 위하여 유전자 프로그래밍을 사용하였다. 실험에 사용된 영상은 자궁경부세포진 영상이다. 여러 가지 종류와 상태의 세포들이 뒤섞여 있어 분석하기에 힘들다는 것이 이 영상의 특징이다. 주어진 문제는 샘플 영상이 암인가 아닌가를 판별하는 것이다. 유전자 프로그래밍을 적용하기 위하여 사용한 특징값들은 영상에서 찾을 수 있는 가장 단순한 대표값들과, 산술 및 논리연산자들이다. 실험결과 실제 인식기 제작에 바로 적용하기엔 무리가 있지만, 80%정도를 제대로 판별해 낼수 있었다. 인식률이 낮은 이유는 사용한 특징들이 영상의 정보를 잘 흡수하지 못했기 때문이라 여겨지고, 앞으로 지나치게 복잡하지 않으면서 여상의 특징을 잘 표현하는 특징값들을 찾는 것이 향후과제이다.

  • PDF

응용분야에 따른 직접사상캐시의 성능향상과 전력소모 절감을 위한 재구성 가능한 백업캐시 제안 (An Application-Specific Configurable Backup Cache for High Performance and Power Reduction in Direct-Mapped Cache)

  • 최병창;서효중
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (A)
    • /
    • pp.355-357
    • /
    • 2006
  • 반도체 공정의 발달로 인해 하나의 칩에 많은 양의 소자를 넣는 것이 가능해지면서 상대적으로 넓어진 공간에서 캐시 메모리가 차지하는 공간의 비중이 증가하고 있다. 상대적으로 비중이 커진 캐시 메모리는 CPU가 소모하는 전력의 50%에 상당하는 전력을 소모하는 등 시스템의 성능뿐만 아니라 전력 소모에도 큰 영향을 주고 있다. 현재 시스템 성능 향상과 전력 소모 절감을 위하여 캐시 메모리의 논리적 구조를 개선하기 위한 많은 연구가 진행 중이다. 본 논문에서는 다양한 용도로 사용되는 범용 시스템이 아닌 특정 응용분야에 최적화되어 사용되는 소규모 임베디드 시스템에 적합한 직접사상캐시를 위한 재구성 가능한 백업캐시를 제안하려고 한다. 제안하는 백업 캐시는 특정 레지스터 값을 이용해서 백업캐시를 재구성 가능하게 하여 응용분야에 따라 직접사상캐시의 성능 향상과 전력소모를 절감하도록 하여 시스템의 성능향상과 전력소모를 절감시키는 역할을 할 것이다.

  • PDF

다관절 지능 로봇시스템을 위한 장애물 우회 연구 (A Study on Collision Avoidance for Multi-link Intelligent Robots)

  • 신현배;이병룡
    • 한국정밀공학회지
    • /
    • 제15권8호
    • /
    • pp.165-173
    • /
    • 1998
  • In this paper, a motion control algorithm is developed by using fuzzy control technique, which makes a robot arm avoid unexpected obstacles when the robot is moving from the start to a goal posture. During the motion, if there exist no obstacles the robot arm moves along the pre-defined path. But if some obstacles are recognized and close to the robot arm, a fuzzy controller is activated to adjust the path of the robot arm. To show the feasibility of the developed algorithm, numerical simulations and experiments are carried out. In the experiments, redundant planar robot arms are considered for the collision avoidance test, and it was proved that the developed algorithm gives good collision avoiding performance.

  • PDF

퍼지 신경망을 적용한 공정제어에 응답특성에 관한 연구 (The study on the Response Characteristics of Process Control using Fuzzy Neural Networks)

  • 김종대;이광대
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2002년도 하계학술대회 논문집 D
    • /
    • pp.2152-2154
    • /
    • 2002
  • 신경망을 이용한 적응제어는 학습능력에 따라 외란작용에 스스로 대처하고, 정밀한 제어가 가능하지만 학습파라미터가 최적화되기 전에는 불안정한 제어응답을 보인다. 퍼지논리는 전문가의 경험을 논리화한 것으로 제어특성은 좋으나, 외란에 대한 적응력이 부족하여 계속적인 오프셋이 발생할 수 있다. 따라서, 퍼지와 신경망을 시스템의 동특성에 따라 혼용한 제어방식을 제시하고, 시뮬레이션으로 시간지연이 있는 CSTH의 온도와 비선형 공정인 pH 중화공정에 적용하여 단순신경망 제어어보다 개선된 제어응답 특성을 얻었다.

  • PDF

SPC-10기반 소프트웨어 PLC 컴파일러 개발 (Development of an Software Programmable Logic Control Compiler based on SPC-10)

  • 조영임
    • 한국지능시스템학회:학술대회논문집
    • /
    • 한국퍼지및지능시스템학회 2005년도 춘계학술대회 학술발표 논문집 제15권 제1호
    • /
    • pp.206-209
    • /
    • 2005
  • 본 논문에서는 국내에서 상용화되고 있는 삼성전자의 SPC-10의 IEC1131-3 표준 언어(LD, SFC, FBD, ST)가 상호 호환성을 갖도록 목적 언어인 IL로 변환하여 컴파일 될 수 있는 IL 컴파일러를 개발하고자 한다. 개발하려는 IL 컴파일러는 IL언어의 활용성을 매우 높여주며, 실제네트워크 디바이스에 다운로드 하여 사용할 수 있는 IL 언어를 생성하고 실행시키는 점이 특징이다. 이 시스템은 SPC-10에서 많이 사용되는 언어를 패턴인식에 의해 클러스터링하여 자동적으로 IL 언어로 변환이 되며, 컴파일에 의해 PLC 프로그램의 동작이 가능하다. 이 시스템에서는 또한 사용자가 발생할 수 있는 문법오류는 물론 논리오류를 지능적 에이전트에 의해 검색하여 수정함으로써 최적화된 환경에서 PC 기반 제어가 가능하도록 해준다.

  • PDF

퍼지 논리의 최적화에 의한 강인 시스템의 설계 (Roubust Design Using Fuzzy Logic Optimozation)

  • 권양원;이종석;류상문;안태천
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2000년도 하계학술대회 논문집 D
    • /
    • pp.2389-2391
    • /
    • 2000
  • To design high quality products at low cost is one of very important tasks for engineers. Design optimization for performances can be one solution in this task. There is the robust design which has been proved effectively in many fields of engineering design. In this paper, the concept of robust design is introduced and combined to the fuzzy optimization method and the fuzzy logic system method with non-singleton. These methods are applied for data analysis to get optimum parameters and to reduce experiments. The optimum parameter set points are obtained by the proposed methods. These methods are applied to a filter circuit, a part of the audio circuit of mobile radio transceiver. The simulation results are compared each other. The new methods reduce and predict the effect of parameter variation sources

  • PDF

조합논리회로를 위한 새로운 Path-Based 타이밍 최적화 알고리듬 (Path-based new Timing Optimization Algorithm for Combinational Networks)

  • 양세양;홍봉희
    • 전자공학회논문지A
    • /
    • 제29A권9호
    • /
    • pp.85-93
    • /
    • 1992
  • In this paper, the new timing optimization algorithm for combinational networks is proposed. First, we introduce the concept of P-path redundancy which is the extension of redundancy concept used in the testing of combinational networks. In this approach, the critical delay is minimized by removing the P-path redundant side inputs of the critical path, and more accurate timing optimization is possible by systematically considering the statically unsensitizable paths as well as the statically sensitizable paths. It's possible with all previous longest path based approaches that the critical delay of resulting network after timing optimization may be even increased. However, the proposed method guarantees to exclude such a possibility, and can be applied to optimize the timing of combinational networks in technology independent, and dependent phase.

  • PDF