• Title/Summary/Keyword: Block Diagram

Search Result 208, Processing Time 0.032 seconds

A Study on the Requirements Allocation and Tracking by Implementing Functional Analysis (기능분석을 이용한 항공기 설계요구의 할당 및 추적에 관한 연구)

  • 이재우
    • Journal of the Korea Institute of Military Science and Technology
    • /
    • v.2 no.2
    • /
    • pp.52-60
    • /
    • 1999
  • By implementing the Systems Engineering process for the aircraft preliminary design, functional analysis study is performed, hence Functional Interface Data Flow(FIDF) and Functional Flow Block Diagram(FFBD) are generated. Based on FIDF and FFBD, allocable and non-allocable design/performance/RM&S requirements are allocated to the appropriate levels. Weight and cost tracking and design margin management methodologies are studied and implemented for the balanced aircraft design.

  • PDF

The Development of application for intelligent electrical system drawing generation program (Intelligent 전기계통 도면작성 Application 기술개발)

  • Cho, Sung-Don;Yoo, Gi-Hong
    • Proceedings of the KIEE Conference
    • /
    • 2008.07a
    • /
    • pp.2220-2221
    • /
    • 2008
  • 전기계통설계 도면인 Single Line Diagram(단선도), Schematic Diagram(전개접속도), Cable Block Diagram/Cable Schedule, Cable Termination/Connection Diagram(단말결선)의 도면 상호간 데이터 연계에 의한 자동, 통합형태의 Intelligent 전기계통 도면 작성 프로그램 개발에 대한 기본적인 방향에 대하여 소개하고자 한다.

  • PDF

MuGenFBD: Automated Mutant Generator for Function Block Diagram Programs (MuGenFBD: 기능 블록 다이어그램 프로그램에 대한 자동 뮤턴트 생성기)

  • Liu, Lingjun;Jee, Eunkyoung;Bae, Doo-Hwan
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.10 no.4
    • /
    • pp.115-124
    • /
    • 2021
  • Since function block diagram (FBD) programs are widely used to implement safety-critical systems, effective testing for FBD programs has become important. Mutation testing, a fault-based testing, is highly effective in fault detection but computationally expensive. To support testers for FBD programs, we propose an automated mutant generator for FBD programs. We designed the MuGenFBD tool with the cost and equivalent mutant issues in consideration. We conducted experiments on real industrial examples to present the performance of MuGenFBD. The results show that MuGenFBD can generate mutants for FBD programs automatically with low probability of equivalent mutants and low cost. This tool can effectively support mutation analysis and mutation-adequate test generation for FBD programs.

A CASE Tool for Automatic Generation of FBD Program from NuSCR Formal Specification (NuSCR 정형 요구사항 명세로부터 FBD 프로그램 자동생성을 위한 CASE 도구)

  • Back, Hyoung-Bu;Yoo, Jun-Beom;Cha, Sung-Deok
    • Journal of KIISE:Computing Practices and Letters
    • /
    • v.15 no.4
    • /
    • pp.265-269
    • /
    • 2009
  • Formal specification plays important roles in guaranteeing software safety of safety-critical systems such as nuclear power plant's digital control systems. We had developed a technique [1] which synthesizes Function Block Diagram(FBD) programs from NuSCR formal requirements specifications, but it did not be used widely as it had no automatic tool support. FBD is one of the programming languages for Programmable Logic Controllers(PLC) based system. This paper introduces a CASE tool, NuSCRtoFBD, developed to automate the synthesis procedure. The CASE tool NuSCRtoFBD can reduce a number of errors occurred in the process of manual FBD programming.

A Study on 'Diagram' as a Digital Design process - Through G. Deleuze's 'machine abstraite' and Peter Eisenman, Ben Van Berkel's 'Diagram'- (디지털 디자인 프로세스로 본 다이어그램(Diagram)에 관한 연구 - 질 들뢰즈의 '추상기계'와 피터 아이젠만, 벤 반 버클의 '다이어그램'을 중심으로 -)

  • Kang Hoon
    • Korean Institute of Interior Design Journal
    • /
    • v.15 no.3 s.56
    • /
    • pp.201-210
    • /
    • 2006
  • Among the architects who use diagrams as a digital design process, especially through Peter Eisenman and Ben van Berkel's works, we have specifically got the meaning of their diagrams. Their diagrams act as 'the block of becoming' and we can regard the diagrams not only as a tool of devenir including architect's root thoughts beyond a tool of schematic presentation, but also as architect's intention including devenir thought. And in the case of diagrams which the architects use, we can recognize that architects' intentions are to think that Deleuze's 'machine abstraite' evolve the diagram into various and transformed form. That is to say, Peter Eisenman interprets the machine abstraite as a root thought of devenir by using diagram as medium to reveal the virtual. And Ben van Berkel transforms the diagram by including all external conditions into selected diagram which shows the abstract relations to the elements. We can get the meaning of the machine abstraite from these cases well. This study will play an important role in giving good usage of the diagram in making a form of contemporary digital architecture and showing the direction of form creation field.

Design and Implementation of a Control Language for Continuous Process Automation : Function Block Diagram Approach (연속공정 자동화를 위한 Function block diagram형 제어언어의 설계 및 구현)

  • Cho, Y. J.;Yoom, T. W.;Lee, J. S.;Oh, S. R.;Choy, I.;Kim, K. B.
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 1991.10a
    • /
    • pp.226-231
    • /
    • 1991
  • A graphic control language using function block diagram approach is designed and implemented, applicable to real-time control for continuous process automation system. The procedure implementing the control language is composed of three parts, editor, compiler, and executer. The editor generates the control algorithm file, which contains function block information in the text form, by menu-driven method on the color graphic screen. The compiler translates the contents of the control algorithm file to machine codes and their related data. Then, the executer generates a task that makes the machine codes executed at every sampling period in the target processor. The validity of the concept in its design and implementaion is assured by on-line simulation in the multi-function controller designed for continuous process automation.

  • PDF

Improved Single Feistel Circuit Supporter by A Chaotic Genetic Operator

  • JarJar, Abdellatif
    • Journal of Multimedia Information System
    • /
    • v.7 no.2
    • /
    • pp.165-174
    • /
    • 2020
  • This document outlines a new color image encryption technology development. After splitting the original image into 240-bit blocks and modifying the first block by an initialization vector, an improved Feistel circuit is applied, sponsored by a genetic crossover operator and then strong chaining between the encrypted block and the next clear block is attached to set up the confusion-diffusion and heighten the avalanche effect, which protects the system from any known attack. Simulations carried out on a large database of color images of different sizes and formats prove the robustness of such a system.

Study on the method of Block processing by SFC (SFC에 의한 권역별 처리 방법에 관한 연구)

  • You, Jeong-Bong
    • Proceedings of the KIEE Conference
    • /
    • 2006.10c
    • /
    • pp.273-275
    • /
    • 2006
  • Ladder Diagram(LD) is the most widely utilized among many sorts of existing programs using for the design of process control system. But it is very difficult to grasp sequential flow of control logic. In this paper, we proposed the method that we can control a lot of blocks. We used PLC in process control system. And, in order to design we used Sequential Function Chart(SFC). In this paper, we proposed the method of block contro. and confirmed feasibility through a simulation.

  • PDF

A study on the electrical system design elements for the military aircraft intercom performance improvement (군용 항공기 인터컴 성능개량의 전기시스템 설계 요소 연구)

  • In-Bok Yoon
    • Journal of IKEEE
    • /
    • v.28 no.3
    • /
    • pp.243-252
    • /
    • 2024
  • In this paper, we proposed a performance improvement to replace the aged intercom of military aircraft with a new intercom ICS, and briefly designed and presented a interface block diagram and electrical wiring path for the connection between the new intercom ICS and the other avionics equipment. However, due to the absence of a guide necessary for the proposed design, this paper derived 15 main design elements by using the QFD technique based on the military aircraft airworthiness certification criteria and military aircraft work instructions. As a result, it is meaningful that the interface block diagram, wiring path diagram, and the 15 main design elements proposed in this paper can be applied as an electrical system design guide for the performance improvement of the aged military intercom in the future.

Analytical Eye-Diagram Determination for the Efficient and Accurate Signal Integrity Verification of Coupled Interconnect Lines

  • Lee, Minji;Kim, Dongchul;Eo, Yungseon
    • JSTS:Journal of Semiconductor Technology and Science
    • /
    • v.13 no.6
    • /
    • pp.594-607
    • /
    • 2013
  • A new efficient analytical eye-diagram determination technique for coupled interconnect lines is presented. Two coupled lines are decoupled into isolated eigen modes; bit blocks for coupled lines, which are defined as a block of consecutive bits, are then represented with decoupled modes. The crosstalk effects within the bit blocks are taken into account. Thereby, the crucial input bit patterns for the worst case eye-diagram determination are modeled mathematically, including inter-symbol interference (ISI). The proposed technique shows excellent agreement with the SPICE-based simulation. Furthermore, it is very computation-time-efficient in the order of magnitude, compared with the SPICE simulation, which requires numerous pseudo-random bit sequence (PRBS) input signals.