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

검색결과 174건 처리시간 0.041초

UML 기반 PLC 래더 로직 설계와 코드 자동 생성 (UML-based PLC Ladder Logic Design and Automatic Generation of Ladder Code)

  • 한관희;박준우
    • 한국CDE학회논문집
    • /
    • 제14권1호
    • /
    • pp.50-59
    • /
    • 2009
  • There are two main problems in the current PLC ladder programming practices: First, currently there are no widely adopted systematic design methods to deal with PLC based control systems in the shop floor. So, the control logic design phase is usually omitted in current PLC programming development life cycle. Second, PLC ladder logic provides only microscopic view of system processes. As a result, it is difficult for FA engineers to have overall perspectives about the interaction of system components intuitively during the verification step of logic errors. To solve these problems, this paper proposed object-oriented design and automatic generation method of PLC ladder logic. Based on the proposed method, the computer software to assist the automatic ladder logic generation is also developed.

REDUCTION OF HILBERT-TYPE PROOF SYSTEMS TO THE IF-THEN-ELSE EQUATIONAL LOGIC

  • Jeong, Joo-Hee
    • Journal of applied mathematics & informatics
    • /
    • 제14권1_2호
    • /
    • pp.69-80
    • /
    • 2004
  • We present a construction of the linear reduction of Hilbert type proof systems for propositional logic to if-then-else equational logic. This construction is an improvement over the same result found in [4] in the sense that the technique used in the construction can be extended to the linear reduction of first-order logic to if-then-else equational logic.

인허가관련 설계품질검토 자동화를 위한 건축법규 문장 관계논리에 관한 연구 (Relational Logic Definition of Articles and Sentences in Korean Building Code for the Automated Building Permit System)

  • 김현정;이진국
    • 한국CDE학회논문집
    • /
    • 제21권4호
    • /
    • pp.433-442
    • /
    • 2016
  • This paper aims to define the relational logic of in-between code articles as well as within atomic sentences in Korean Building Code, as an intermediate research and development process for the automated building permit system of Korea. The approach depicted in this paper enables the software developers to figure out the logical relations in order to compose KBimCode and its databases. KBimCode is a computer-readable form of Korean Building Code sentences based on a logic rule-based mechanism. Two types of relational logic definition are described in this paper. First type is a logic definition of relation between code sentences. Due to the complexity of Korean Building code structure that consists of decree, regulation or ordinance, an intensive analysis of sentence relations has been performed. Code sentences have a relation based on delegation or reference each other. Another type is a relational logic definition in a code sentence based on translated atomic sentence(TAS) which is an explicit form of atomic sentence(AS). The analysis has been performed because the natural language has intrinsic ambiguity which hinders interpreting embedded meaning of Building Code. Thus, both analyses have been conducted for capturing accurate meaning of building permit-related requirements as a part of the logic rule-based mechanism.

계산논리 기반 에이전트를 위한 에이전트 통신언어에 관한 연구 (A Study on Agent Communication Languages for Computational Logic - based Agents)

  • 이명진;한현관
    • 한국컴퓨터산업학회논문지
    • /
    • 제5권3호
    • /
    • pp.363-370
    • /
    • 2004
  • FIPA 커뮤니티는 에이전트와 관련한 표준들을 개발하고 있는데, 이들 중 가장 중요한 것은 에이전트 통신 언어(Agent Communication Language: ACL)이다. 이 언어는 명확하게 협상을 지원하도록 의도된 많은 통신 행위(communicative act)들을 포함하고 있다. 이 논문에서는 자신의 목표를 달성하기 위해 자원들을 교환하는 멀티-에이전트 환경을 고려하고, 에이전트를 계산 논리기반 형식화로 표현하고, 그리고 이러한 계산 논리기반 에이전트가 사용하는 협상을 위한 ACL을 간단히 서술한다. 특히, 여기서는 상대방 에이전트가 요청(제안)의 이유 혹은 거절(거부)의 이유를 알 수 있게 하는 몇몇 통신 행위들을 소개하고 이들을 평가한다.

  • PDF

A Quasi-optimal Restaurant Work Scheduling Based-on Genetic Algorithm with Fuzzy Logic

  • Watanabe, Makoto;Nobuhara, Hajime;Kawamoto, Kazuhiko;Yoshida, Shin-ichi;Hirota, Kaoru
    • 한국지능시스템학회:학술대회논문집
    • /
    • 한국퍼지및지능시스템학회 2003년도 ISIS 2003
    • /
    • pp.517-520
    • /
    • 2003
  • A quasi-optimization algorithm for generating a chain restaurant work scheduling (WS) is proposed based on Genetic Algorithm with fuzzy logic, where the whole weekly chain restaurant WS problem is decomposed to 7 daily WS problems and a combined weekly WS problem. Experimental result shows that a weekly schedule for 15 workers and 24 hours in a chain restaurant is produced in 6 minutes using the proposed algorithm implemented with C++ and executed on a PC(Athlon XP 1900+), where the quality of WS is satisfactorily evaluated by professional experts.

  • PDF

Interval Type-2 Fuzzy논리 집합의 설계 및 분석 (Design and Analysis of Interval Type-2 Fuzzy Logic System)

  • 김대복;오성권
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2008년도 심포지엄 논문집 정보 및 제어부문
    • /
    • pp.155-156
    • /
    • 2008
  • In this paper, an interval type-2 fuzzy logic system is designed and compared with a type-1 fuzzy logic system. To compare performance of a type-1 fuzzy logic system with the type-2 fuzzy logic system, we apply type-1 fuzzy logic system and type-2 system to modeling the noised data. Membership function of interval type-2 fuzzy logic system is designed consequents of rules including uncertainty. For general type-2 fuzzy logic system computational complexity is severe. On the other hand, theoretic and arithmetic computations for interval type-2 fuzzy logic systems are very simple.

  • PDF

Iterative Reliability-Based Modified Majority-Logic Decoding for Structured Binary LDPC Codes

  • Chen, Haiqiang;Luo, Lingshan;Sun, Youming;Li, Xiangcheng;Wan, Haibin;Luo, Liping;Qin, Tuanfa
    • Journal of Communications and Networks
    • /
    • 제17권4호
    • /
    • pp.339-345
    • /
    • 2015
  • In this paper, we present an iterative reliability-based modified majority-logic decoding algorithm for two classes of structured low-density parity-check codes. Different from the conventional modified one-step majority-logic decoding algorithms, we design a turbo-like iterative strategy to recover the performance degradation caused by the simply flipping operation. The main computational loads of the presented algorithm include only binary logic and integer operations, resulting in low decoding complexity. Furthermore, by introducing the iterative set, a very small proportion (less than 6%) of variable nodes are involved in the reliability updating process, which can further reduce the computational complexity. Simulation results show that, combined with the factor correction technique and a well-designed non-uniform quantization scheme, the presented algorithm can achieve a significant performance improvement and a fast decoding speed, even with very small quantization levels (3-4 bits resolution). The presented algorithm provides a candidate for trade-offs between performance and complexity.

능동 머플러를 위한 퍼지논리 적응필터의 설계 (Design of Fuzzy Logic Adaptive Filters for Active Mufflers)

  • 안동준;박기홍;김선희;남현도
    • 한국자동차공학회논문집
    • /
    • 제19권4호
    • /
    • pp.84-90
    • /
    • 2011
  • In active noise control filter, LMS algorithms which used for control filter, assure the convergence property, and computational burden of these algorithms are proportionate to the filter taps. The convergence speed of LMS algorithms is mainly determined by value of the convergence coefficient, so optimal selection of the value of convergence coefficient is very important. In this paper, We proposed novel adaptive fuzzy logic LMS algorithms with FIR filter structure which has better convergence speed and less computational burden than conventional LMS algorithms, for single channel active noise control with ill conditioned signal case. Computer simulations were performed to show the effectiveness of a proposed algorithms.

구조물 모니터링 및 진단을 위한 지식모델의 개발 (A Hybrid Knowledge Model for Structural Monitoring and Diagnosis)

  • 김성곤
    • 전산구조공학
    • /
    • 제9권2호
    • /
    • pp.163-171
    • /
    • 1996
  • 구조물 모니터링 시스템의 전산환경을 구성하기 위해 필요한 지식 및 정보를 파악하고 이를 지식기반화하는 방법을 제시하였다. 전산환경의 구축을 위한 정보로는 센서 및 하드웨어, 신호처리, 그리고 손상발견/평가를 위한 지식등이 필요한데, 이들은 모두 다른 형태의 지식이므로, -즉 수학연산, 서술적 지식, 수치모델등- 어느 특정의 모델링 기법 단독으로는 이들을 효과적으로 수용하기가 매우 어렵다. 이를 해결하기 위하여 객체지향적 모델링기법과 논리언어를 혼합사용하는 방법 (Hybrid Modeling Paradigm)이 제시되었고, 이의 타당성 및 효율성 검증을 위해 모델구조물을 이용한 예제를 수행하였다.

  • PDF