• 제목/요약/키워드: Logic Optimization

검색결과 305건 처리시간 0.031초

시간논리구조에서 이산사건시스템의 최적화 및 추론 (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

리드솔로몬 복호기에서 2개의 오류시, 오류위치를 찾는 최적화 방법 (Optimizing the Circuit for Finding 2 Error Positions of 2 Error Correcting Reed Solomon Decoder)

  • 안형근
    • 한국통신학회논문지
    • /
    • 제36권1C호
    • /
    • pp.8-13
    • /
    • 2011
  • 본 논문에선 리드 솔로몬 복호기의 2개의 8빗트 심볼 오류정정회로의 에러위치추척기에 대한 새로운 설계법을 제시한다. 본 설계법을 통해 기존보다 빠르고 훨씬 회로량이 줄어든 적화된 2개의 8 빗트심볼 오류위치 축적기를 설계할 수 있었다. 이 리드솔로몬 복호기는 거의 모든 디지털 통신 및 가전기기의 데이터 보존장치로 사용되질 수 있다. 특히 8빗트 동작을 4빗트 동작으로 분화시켜 북호기의 최적화를 이뤘다.

Fuzzy Logic Based Neural Network Models for Load Balancing in Wireless Networks

  • Wang, Yao-Tien;Hung, Kuo-Ming
    • Journal of Communications and Networks
    • /
    • 제10권1호
    • /
    • pp.38-43
    • /
    • 2008
  • In this paper, adaptive channel borrowing approach fuzzy neural networks for load balancing (ACB-FNN) is presented to maximized the number of served calls and the depending on asymmetries traffic load problem. In a wireless network, the call's arrival rate, the call duration and the communication overhead between the base station and the mobile switch center are vague and uncertain. A new load balancing algorithm with cell involved negotiation is also presented in this paper. The ACB-FNN exhibits better learning abilities, optimization abilities, robustness, and fault-tolerant capability thus yielding better performance compared with other algorithms. It aims to efficiently satisfy their diverse quality-of-service (QoS) requirements. The results show that our algorithm has lower blocking rate, lower dropping rate, less update overhead, and shorter channel acquisition delay than previous methods.

Flexible manipulator를 위한 유전 알고리즘을 이용한 퍼지 제어기 설계 (Design of fuzzy logic controller using genetic algorithms for the flexible manipulator)

  • 허남건;이기성
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 1997년도 한국자동제어학술회의논문집; 한국전력공사 서울연수원; 17-18 Oct. 1997
    • /
    • pp.1808-1811
    • /
    • 1997
  • A position control algorithm for a flexible manipulato is stuudied. The proposed algorithm is based on a fuzzy theroy with a Steady State Genetic Algorithm(SSGA). The conventional fuzzy methods need expert's knowledges or human experiences. The SSGA, which is one of the optimization algorithms, tunes automatically the input-output membership parameters and fuzzy rules. The computer simulation is presented ot illustrate the approaches. Finally we applied a fuzzy theory with a SSGA to aposition control of a flexible manipulator.

  • PDF

종합평면을 사용한 면적 최적화에 관한 연구 (A Study on the area minimization using general floorplan)

  • 이용희;정상범이천희
    • 대한전자공학회:학술대회논문집
    • /
    • 대한전자공학회 1998년도 추계종합학술대회 논문집
    • /
    • pp.1021-1024
    • /
    • 1998
  • Computer-aided design of VLSI circuits is usually carried out in three synthesis steps; high-level synthesis, logic synthesis and layout synthesis. Each synthesis step is further kroken into a few optimization problems. In this paper we study the area minimization problem in floorplanning(also known as the floorplan sizing problem). We propose the area minimization algorithms for general floorplans.

  • PDF

Bench급 석탄가스화 시스템 제어로직의 최적화 (Control Logic Optimization for the Bench Scale Coal Gasification System)

  • 김원배;조성수;유희종;윤용승
    • 한국에너지공학회:학술대회논문집
    • /
    • 한국에너지공학회 2000년도 추계 학술발표회 논문집
    • /
    • pp.33-38
    • /
    • 2000
  • IGCC(Integrated Gasification Combined Cycle) BSU(Bench Scale Unit) 석탄 가스화공정은 정상상태 조업시 약 145$0^{\circ}C$, 25기압의 고온 및 고압의 조건하에서 운전되기 때문에 설정된 운전조건을 안정하게 유지하기 위해서 이러한 조건에 상응하는 안정된 제어로직의 구성은 매우 중요한 요소이다.(중략)

  • PDF

퍼지 로직과 유전자 알고리즘을 이용한 효율적인 제어기 설계 (A Efficient Controller Design with Fuzzy Logic and Genetic Algorithms)

  • 장원빈;김동일;권기호
    • 대한전자공학회:학술대회논문집
    • /
    • 대한전자공학회 2000년도 하계종합학술대회 논문집(5)
    • /
    • pp.55-58
    • /
    • 2000
  • Previous works using a Multi-population Genetic Algorithm have divided chromosome into two components, rule sets and membership functions. However, in this case bad rule sets disturb optimization in good rule sets and membership functions. A new method for a Multi-population Genetic Algorithm suggests three components, good rule sets, bad rule sets, and membership functions. To show the effectiveness of this method, fuzzy controller is applied in a Truck Backing Problem. Results of the computer simulation show good adaptation of the proposed method for a Multi-population Genetic Algorithm.

  • PDF

Static Timing Analysis (STA) 기법을 이용한 Clock Tree Synthesis (CTS) 최적화에 관한 연구 (Pre-layout Clock Analysis with Static Timing Analysis Algorithm to Optimize Clock Tree Synthesis)

  • 박주현;류성민;장명수;최세환;최규명;조준동;공정택
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2004년도 학술대회 논문집 정보 및 제어부문
    • /
    • pp.391-393
    • /
    • 2004
  • For performance and stability of a synchronized system, we need an efficient Clock Tree Synthesis(CTS) methodology to design clock distribution networks. In a system-on-a-chip(SOC) design environment, CTS effectively distributes clock signals from clock sources to synchronized points on layout design. In this paper, we suggest the pre-layout analysis of the clock network including gated clock, multiple clock, and test mode CTS optimization. This analysis can help to avoid design failure with potential CTS problems from logic designers and supply layout constraints so as to get an optimal clock distribution network. Our new design flow including pre-layout CTS analysis and structural violation checking also contributes to reduce design time significantly.

  • PDF

Robust Algorithms for Combining Multiple Term Weighting Vectors for Document Classification

  • Kim, Minyoung
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • 제16권2호
    • /
    • pp.81-86
    • /
    • 2016
  • Term weighting is a popular technique that effectively weighs the term features to improve accuracy in document classification. While several successful term weighting algorithms have been suggested, none of them appears to perform well consistently across different data domains. In this paper we propose several reasonable methods to combine different term weight vectors to yield a robust document classifier that performs consistently well on diverse datasets. Specifically we suggest two approaches: i) learning a single weight vector that lies in a convex hull of the base vectors while minimizing the class prediction loss, and ii) a mini-max classifier that aims for robustness of the individual weight vectors by minimizing the loss of the worst-performing strategy among the base vectors. We provide efficient solution methods for these optimization problems. The effectiveness and robustness of the proposed approaches are demonstrated on several benchmark document datasets, significantly outperforming the existing term weighting methods.

Approximate Dynamic Programming-Based Dynamic Portfolio Optimization for Constrained Index Tracking

  • Park, Jooyoung;Yang, Dongsu;Park, Kyungwook
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • 제13권1호
    • /
    • pp.19-30
    • /
    • 2013
  • Recently, the constrained index tracking problem, in which the task of trading a set of stocks is performed so as to closely follow an index value under some constraints, has often been considered as an important application domain for control theory. Because this problem can be conveniently viewed and formulated as an optimal decision-making problem in a highly uncertain and stochastic environment, approaches based on stochastic optimal control methods are particularly pertinent. Since stochastic optimal control problems cannot be solved exactly except in very simple cases, approximations are required in most practical problems to obtain good suboptimal policies. In this paper, we present a procedure for finding a suboptimal solution to the constrained index tracking problem based on approximate dynamic programming. Illustrative simulation results show that this procedure works well when applied to a set of real financial market data.