• Title/Summary/Keyword: 논리최적화

Search Result 172, Processing Time 0.024 seconds

모듈러 관류형증기발생기의 열적최적설계

  • 윤주현;김긍구;이두정;장문희
    • Proceedings of the Korean Nuclear Society Conference
    • /
    • 1996.05b
    • /
    • pp.290-297
    • /
    • 1996
  • 일체형원자로에 적용될 모듈러 관류형증기발생기의 열적최적설계방법론을 제시하였다. 한국원자력연구소에서 개발된 ONCESG 프로그램을 사용한 scoping계산을 통해, 직관과 나선전열관을 사용하는 관류형 증기발생기의 서로다른 최적화 방법론이 제시되었다. 또한 전체플랜트의 열평형설계와 관류형 증기발생기의 열적최적설계 사이의 상호관계 및 관류형증기발생기의 사용이 일체형원자로의 제어논리설계에 미치는 영향도 연구되었다.

  • PDF

인공지능에서 정수 프로그래밍을 위한 제약조건 해결기의 구현

  • 오윤상;조근식
    • Proceedings of the Korean Operations and Management Science Society Conference
    • /
    • 1994.04a
    • /
    • pp.159-165
    • /
    • 1994
  • 실세계에서 발생하는 많은 문제들은 주어진 제약조건들을 만족하는 범위내에서 해를 찾는 제약만족문제(CSP)의 개념으로 설명될 수 있으며, 이러한 문제들의 해결을 위해 인공지능 및 OR 분야에서 활발한 연구가 계속 되어왔다. 본 연구는 대표적 논리언어인 prolog에서 유한이산 도메인 및 수치 제약조건의 해결을 위한 제약해결기에 대한 연구이다. 본 연구에서 구현된 제약해결기에서는 포워드체킹(FC)을 사용하여 조합적 문제를 효과적인 도메인 여과를 통해 탐색공간 및 탐색시간을 축소시키며, 또한 최적화 문제의 해결에 있어서도 그 문제에 주어진 목적함수와 FC의 장점을 조화 시킴으로써 최적해를 더욱 효과적으로 발견한다.

Design of Fanin-Constrained Multi-Level Logic Optimization System (Fanin 제약하의 다단 논리 최적화 시스템의 설계)

  • 임춘성;황선영
    • Journal of the Korean Institute of Telematics and Electronics A
    • /
    • v.29A no.4
    • /
    • pp.64-73
    • /
    • 1992
  • This paper presents the design of multi-level logic optimization algorithm and the development of the SMILE system based on the algorithm. Considering the fanin constraints in algorithmic level, SMILE performs global and local optimization in a predefined sequence using heuristic information. Designed under the Sogang Silicon Compiler design environment, SMILE takes the SLIF netlist or Berkeley equation formats obtained from high-level synthesis process, and generates the optimized circuits in the same format. Experimental results show that SMILE produces the promising results for some circuits from MCNC benchmarks, comparable to the popularly used multi-level logic optimization system, MIS.

  • PDF

The Circuit of Input & Output - Control in optimization theory (최적화이론의 입출력을 제어한 회로)

  • 한제섭
    • Proceedings of the IEEK Conference
    • /
    • 1998.10a
    • /
    • pp.1133-1136
    • /
    • 1998
  • The optimization theory in this paper was down a power consumption and a chip area that this paper use a low number of transistor and compare two circuits of the input-output control. the first, design a circuit of pipeline Multiplexor in sequence of invert. the second, operated a control of N numbers of MUX using a decoder. compare a number of transistor, a chip area in semiconductor and a power consumption of two circuit.

  • PDF

Optimal Two-Dimensional Layout using Micro-Genetic Algorithms (마이크로 유전자 알고리즘을 이용한 2차원 부재의 최적화 배치)

  • 김한중;조범준
    • Proceedings of the Korea Multimedia Society Conference
    • /
    • 2001.11a
    • /
    • pp.843-848
    • /
    • 2001
  • 산업현장에서 생산원가의 절감에 관심이 않아지면서 넓은 원자재에서 크기가 다양한 작은 부재를 절단하여 소재를 얻는 경우, 넓은 원자재에 소재를 배치하는 상태에 따라 원자재의 사용비율은 달라지게 된다. 같은 양의 제품을 만들 때 원자재의 사용량을 줄일 수 있으면 그 만큼 원가를 절약할 수 있다. 따라서 본 논문에서는 원자재에 소재를 배치하는 기본 논리와 방법을 고찰하고, 적당하며 실용적인 방법을 제시하며, 이러한 기반을 토대로 Micro-Genetic Algorithms($\mu$GAs)을 이용한 2차원적 부재의 최적화 배치 효율을 측정하여 기존의 배치알고리즘과 비교하였다. 위의 과정을 컴퓨터 시뮬레이션을 이용하여 구현하였으며 기존의 연구보다 좋은 배치효율을 얻을 수 있었다. 이렇게 하여 얻어진 배치의 들과는 최적에 가까운 상태를 얻을 수 있음을 확인하였으며 원자재의 사용을 최소화 할 수 있었다.

  • PDF

An Empirical Study on the Marketing Performance of e-Trade using Search Engine Optimization (검색엔진 최적화(SEO) 기법을 활용한 전자무역 마케팅 성과에 관한 실증연구)

  • Lee, Sang-Jin;Chung, Jason
    • International Commerce and Information Review
    • /
    • v.13 no.1
    • /
    • pp.3-28
    • /
    • 2011
  • Recently marketing methods of small and medium exporting firms have changed from internet marketing using homepage, or e-catalogs, to search engine marketing. However, there is no specific proof of search engine marketing effectiveness. Therefore the purpose of this research is to explore marketing performance of search engine marketing(SEM) based on search engine optimization. In order to build an optimal SEM strategy, quantitative data are collected from the Google-analytics such as homepage visits, page views, and traffic source for three years. At the same time, this study has carried out a survey to measure the qualitative effectiveness. The result of this quantitative study suggests that the existing carryover effects and lag effects would be maintained through search engine optimization. Meanwhile, the qualitative survey shows that satisfaction and awareness of homepage have been improved after search engine optimization. This can support logically increase of homepage visiting ratio of quantitative analysis. Also exporting companies know very well, that traffic and page views have increased after search engine optimization.

  • PDF

Optimising Workforce Structure in Public Sector : the System Dynamics of Employment Planning in Australia (공공부문에서 고용구조의 최적화 : 호주 고용계획을 위한 시스템 다이내믹스)

  • Yoon, Joseph YoungKon;Yoon, Kyungjoo
    • Journal of Industrial Convergence
    • /
    • v.15 no.2
    • /
    • pp.1-6
    • /
    • 2017
  • This paper illustrates key features of an enterprise employment simulation which integrates a system dynamic feedback model with a cost-effectiveness optimisation capability utilising genetic algorithms. Its core is a 3-dimensional array structure tracking staff numbers by rank, by time-in-rank, by years-of-service. The resultant model, which could readily be adapted to non-Defence use, can identify, given user specification of any mix of employment rules, the likely patterns of employment behaviour including: resultant time-in-rank and years-of-service profiles; ability of a Unit to fill all positions to target strength; ability to fill promotional positions within normal rules for substantive promotion; need to fill promotional positions using rules for temporary promotion or transfer from outside; necessary recruitment pattern to sustain target strength.

A Study on Query Refinement by Online Relevance Feedback in an Information Filtering System (온라인 이용자 피드백을 사용한 정보필터링 시스템의 수정질의 최적화에 관한 연구)

  • Choi, Kwang;Chung, Young-Mee
    • Journal of the Korean Society for information Management
    • /
    • v.20 no.4 s.50
    • /
    • pp.23-48
    • /
    • 2003
  • In this study an information filtering system was implemented and a series of relevance feedback experiments were conducted using the system. For the relevance feedback, the original queries were searched against the database and the results were reviewed by the researchers. Based on users' online relevance judgements a pair of 17 refined queries were generated using two methods called 'co-occurrence exclusion method' and 'lower frequencies exclusion method,' In order to generate them, the original queries, the descriptors and category codes appeared in either relevant or irrelevant document sets were applied as elements. Users' relevance judgments on the search results of the refined queries were compared and analyzed against those of the original queries.

GBNSGA Optimization Algorithm for Multi-mode Cognitive Radio Communication Systems (다중모드 Cognitive Radio 통신 시스템을 위한 GBNSGA 최적화 알고리즘)

  • Park, Jun-Su;Park, Soon-Kyu;Kim, Jin-Up;Kim, Hyung-Jung;Lee, Won-Cheol
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.32 no.3C
    • /
    • pp.314-322
    • /
    • 2007
  • This paper proposes a new optimization algorithm named by GBNSGA(Goal-Pareto Based Non-dominated Sorting Genetic Algorithm) which determines the best configuration for CR(Cognitive Radio) communication systems. Conventionally, in order to select the proper radio configuration, genetic algorithm has been introduced so as to alleviate computational burden along the execution of the cognition cycle proposed by Mitola. This paper proposes a novel optimization algorithm designated as GBNSGA for cognitive engine which can be described as a hybrid algorithm combining well-known Pareto-based NSGA(Non-dominated Sorting Genetic Algorithm) as well as GP(Goal Programming). By conducting computer simulations, it will be verified that the proposed method not only satisfies the user's service requirements in the form of goals. It reveals the fast optimization capability and more various solutions rather than conventional NSGA or weighted-sum approach.

Constructing User Preferred Anti-Spam Ontology using Data Mining Technique (데이터 마이닝 기술을 적용한 사용자 선호 스팸 대응 온톨로지 구축)

  • Kim, Jong-Wan;Kim, Hee-Jae;Kang, Sin-Jae
    • Journal of the Korean Institute of Intelligent Systems
    • /
    • v.17 no.2
    • /
    • pp.160-166
    • /
    • 2007
  • When a mail was given to users, each user's response could be different according to his or her preference. This paper presents a solution for this situation by constructing a user preferred ontology for anti-spam systems. To define an ontology for describing user behaviors, we applied associative classification mining to study preference information of users and their responses to emails. Generated classification rules can be represented in a formal ontology language. A user preferred ontology can explain why mail is decided to be spam or ron-spam in a meaningful way. We also suggest a new rule optimization procedure inspired from logic synthesis to improve comprehensibility and exclude redundant rules.