• Nuclear Engineering and Technology
• /
• v.48 no.4
• /
• pp.1047-1057
• /
• 2016

Design engineering process for field programmable gate array (FPGA)-based reactor trip functions are developed in this work. The process discussed in this work is based on the systems engineering approach. The overall design process is effectively implemented by combining with design and implementation processes. It transforms its overall development process from traditional V-model to Y-model. This approach gives the benefit of concurrent engineering of design work with software implementation. As a result, it reduces development time and effort. The design engineering process consisted of five activities, which are performed and discussed: needs/systems analysis; requirement analysis; functional analysis; design synthesis; and design verification and validation. Those activities are used to develop FPGA-based reactor bistable trip functions that trigger reactor trip when the process input value exceeds the setpoint. To implement design synthesis effectively, a model-based design technique is implied. The finite-state machine with data path structural modeling technique together with very high speed integrated circuit hardware description language and the Aldec Active-HDL tool are used to design, model, and verify the reactor bistable trip functions for nuclear power plants.

• International Journal of Computer Science & Network Security
• /
• v.21 no.7
• /
• pp.233-240
• /
• 2021

The majority of the Web's success can be related to its productivity and flexibility. Web Services (WSs) have the means to create new patterns for the delivery of software capabilities. The WS easily provides the use of existing components available via the Internet. WSs are a new trend that shares ubiquitous systems with others, so the popularity of the Web is increased day by day with their associated systems. This paper will explore and adopt the possibility of developing a technique that will automate instructors' scheduling of timetables within a Web services environment. This technique has an advantage that facilitates users to reduce the time cost and effort by reducing errors and costs for institutes. Providing dependable tables to avoid mistakes related to instituting schedules is ensured by an automated repetitive manual procedure. Automated systems are increasingly developed based on organizations and their customers. Still, the setting's difficulty of automation systems increases to rise as the system architecture and applications must accomplish various requirements and specifications of ever-demanding project scenarios. The automation system is composed of an operating system, platforms, devices, machines, control system, and information technology. This architecture provides more productivity and optimized services. The main purpose of this paper is to apply an automation system to enhance both quality and productivity. This paper also covers an agile method of proving an automation system by Finite State Machine (FSM) and Attributed Graph Grammar (AGG) tool.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.48 no.3
• /
• pp.40-47
• /
• 2011

This paper addresses the problem of fault detection and tolerance for asynchronous sequential machines using state feedback control. The considered asynchronous machine is affected by intermittent faults. When intermittent faults occur, the machine undergoes unauthorized state transitions and, for a finite duration, remains at the fault state, not responding to the change of the external input. In this paper, we postulate the scheme of detecting intermittent faults and present the existence condition and design algorithm for a robust state feedback controller that overcomes the adversarial effect of intermittent faults. We also undertake a comparative study between the previous control scheme for transient faults and the present strategy for intermittent faults. The design procedure for the proposed controller is described in a case study.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.27 no.1C
• /
• pp.78-83
• /
• 2002

Reachability analysis of finite state machines is very useful for many computer-aided design applications such as communication protocol or microprecessor design. We present new techniques to improve approximate reachability analysis. The key idea is to used an iterative approximate reachability analysis technique in which don't care sets derived from previous iterations are used to improve the approximation in subsequent iterations. Experimental results show that the new techniques can improve reachability analysis significantly compared to existing analysis techniques.

• Magazine of the Korean Society of Agricultural Engineers
• /
• v.40 no.2
• /
• pp.130-139
• /
• 1998

The finite element analysis program should be prepared to deal with many of newly arising engineering problems. The sequential structured programming technique does not make a finite element method so flexible. So far, the object oriented programming technique was studied as an alternative programming paradigm. However, most of the research were in the state of the evaluation of the possibility and the applicability of the object oriented method for a finite element program. In this study, a practical object oriented finite element analysis program, OOFE_ JAVA was developed and the result of the analysis on a rectangular clamped plate was shown. The objects which compose the OOFE_JAVA were applied to several engineering problem without any modification and it was concluded that the object oriented technique was appropriate for the development of a complex and large engineering system. And a virtual machine which Java language is using can be loaded on any kinds of computer which has java interpreter regardless of the platform on which the OOFE_JAVA was developed.

• Journal of the military operations research society of Korea
• /
• v.4 no.1
• /
• pp.113-123
• /
• 1978

Consider a series system of two units, named 1 and 2, respectively. Two units are observed at the beginning of discrete time periods t=0,1,2, $cdots$ and classified as being in one of a countable number of states. Let (i, r) be a state of the system at time t, when the state of unit 1 is i and state of unit 2 is r at time t, Under some conditions, the opportunistic replacement policy that minimizes the expected total discounted cost or the average cost of maintenance is shown to be characterized by the control limits $i^{*}(r)$ (a function of r) and $r^{*}(i)$ (a function of i) : (a) in observed state (i, r), the optimal policy for unit 1 is to replace if $i{\ge}i^{*}(r)$ and no action otherwise; (b) in observed state (i, r), the optimal policy for unit 2 is to replace if $r{\ge}r^{*}(i)$ and no action otherwise. In addition, this paper also develops optimal policy in the finite time horizon case, where time horizon is fixed or a finite integer valued r.v. with known pmf.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.38 no.2
• /
• pp.137-144
• /
• 2001

In this paper, a state assignment algorithm was proposed to reduce power consumption in control-flow oriented finite state machines. The Markov chain model is used to reduce the switching activities, which closely relate with dynamic power dissipation in VLSI circuits. Based on the Markov probabilistic description model of finite state machines, the hamming distance between the codes of neighbor states was minimized. To express the switching activities, the cost function, which also accounts for the structure of a machine, is used. The proposed state assignment algorithm is tested with Logic Synthesis Benchmarks, and reduced the cost up to 57.42% compared to the Lakshmikant's algorithm.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.51 no.7
• /
• pp.251-257
• /
• 2014

The Viterbi algorithm(VA) is used to estimate the state transition of discrete-time finite state machine(FSM) that is in an uncorrelated noisy environment. This paper modified the Hamming Network to estimate the state transitions in the finite state machines, and proposed state-parallel and block-parallel Viterbi decoder. The modified Hamming Network(mHN) can perform the decoding of convolutional codes correctly as conventional Viterbi decoder. Furthermore, the complexities of the proposed Viterbi decoder are reduced approximately 10% less than conventional Viterbi decoder, and the processing times are improved approximately 40% more than conventional Viterbi decoder.

• Journal of Magnetics
• /
• v.21 no.3
• /
• pp.399-404
• /
• 2016

This paper presents a new permanent magnet (PM) assisted topology for a recently introduced brushless wound rotor synchronous machine (BL-WRSM) [1]. The BL-WRSM had a dual-inverter configuration for generating a composite magneto motive force (MMF) with a fundamental component and a subharmonic component. The subharmonic component of the MMF is used for brushless excitation of the rotor. In this paper, additional PMs were introduced on the rotor of the BL-WRSM, making it a hybrid BL-WRSM. We also discussed the flux weakening operation for the hybrid BL-WRSM. The hybrid BL-WRSM offered advantages for starting the machine and provided better performance under full-load conditions. The finite element method (FEM) was used to analyze the performance of the hybrid BL-WRSM, and we compared its performance with BL-WRSM. Finally, prototypes were built with and without the PM-assistance, and experiments were conducted to demonstrate their performance.

• Journal of Korea Technical Association of The Pulp and Paper Industry
• /
• v.31 no.5
• /
• pp.73-85
• /
• 1999

Yield and fracture are separated in the tensile failure of paper. Failure in the machine direction of photocopy paper is contrasted with failure in the cross-machine direction . The ratios of distortion (shape change) to dilatation (volume change) for individual elements at yield and fracture are described. The ratios of distortion to dilatation are measured and compared to predicted values of the strain energy density theory. To evaluate the effect of the angle from the principal material direction on the strain energy density theory. To evaluate the effect of the angle from the principal material direction on the strain energy density factor, samples are prepared from machine direction to cross-machine direction in 15 degree intervals. the strain energy density of individual elements are obtained by the integration of stress from finite element analysis with elastic plus plastic strain energy density theory. Poison's ratio and the angle from the principal material direction have a great effect ion the ratio fo distortion to dilatation in paper. During the yield condition, distortion prevails over dilatation . At fracture, dilatation is at a maximum.