• Journal of Navigation and Port Research
• /
• v.29 no.6 s.102
• /
• pp.487-493
• /
• 2005

Since the destruction of World Trade Center the attention of the United States and the wider international community has focussed upon the need to strengthen security and prevent terrorism This paper suggests an analysis prior to risk factor and structure for anti-terrorism in the korean maritime society. For this, in this paper, maritime terror risk factor was extracted by type and case of terror using brainstorming method. Also, risk factor is structured by FSM method and analyzed for ranking of each risk factor by AHP. At the result, the evaluation of risk factor is especially over maximum factor for related external impact.

• The KIPS Transactions:PartA
• /
• v.12A no.7 s.97
• /
• pp.563-570
• /
• 2005

Hardware and software codesign framework called PeaCE(Ptolemy extension as a Cod sign Environment) allows to express both data flow and control flow. To formally verify an fFSM specification which expresses control flow in PeaCE, the step semantics of the model was defined. In this paper, we introduce the automatic verification tool developed by formal semantics of previous work. This tool uses the SMV as inner model checker md, through our tool, users can formally verify some important bugs such as race condition, ambiguous transition, and circulartransition without directly writing logical formulae.

• Korean Journal of Computational Design and Engineering
• /
• v.12 no.2
• /
• pp.87-94
• /
• 2007

The functional behavior of a consumer electronic product is nearly all expressed with human-machine interaction (HMI) tasks. Although physical prototyping and computer aided design (CAD) software can show the appearance of the product, they cannot properly reflect its functional behavior. In this paper, we propose an approach to virtual prototyping (VP) that incorporates HMI functional simulation into virtual reality techniques in order to enables users to capture not only the realistic look of a consumer electronic product but also its functional behavior. We adopt state transition methodology to capture the HMI functional behavior of the product into a state transition chart, which is later used to construct a finite state machine (FSM) for the functional simulation of the product. The FSM plays an important role to control the transition between states of the product. We have developed a VP system based on the proposed approach. The system receives input events such as mouse clicks on buttons and switches of the virtual prototype model, and it reacts to the events based on the FSM by activating associated activities. The system provides the realistic visualization of the product and the vivid simulation of its functional behavior using head-mounted displays (HMD) and stereo speakers. It can easily allow users to perform functional evaluation and usability testing. A case study about the virtual prototyping of an MP3 player is given to show the usefulness of the proposed approach.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.22 no.1
• /
• pp.114-118
• /
• 2012

The structure of layer for success factors of company project can be known by FSM which is available to recognize structure of the system. However, the relationship between the layers which belongs to the success factors of company projects can be unknown. From these viewpoints, this study is to analyze the structure of the relation between the layers contained the success factors of company projects using fuzzy system. Therefore, the relationship between lower vs middle layer and middle vs upper layer are obtained by evaluation model of company projects which has possibility and necessity of fuzzy system as fuzzy relation matrix. Using these results, fuzzy relation analysis is done and showed the usefulness.

• Journal of the Korean Institute of Navigation
• /
• v.25 no.4
• /
• pp.477-486
• /
• 2001

Although the ports are actually competing with various strategies, the definition and structural understanding of port competitive power are not known very much. Therefore this study has launched from this fact, and has the objective of obtaining the structural model of the competitive power, and understanding the components of the port competitive power. The following are the results of the study. First, the process began by abstracting the components that composed the port competitive power through recent research, and grouping it by the most core components using the KJ method. Also, by using the FSM(Fuzzy Structural Modeling) method to understand the structure of the grouped components, and the structural model of the port competitive power was able to obtain as the result. Second, when analyzing the obtained structural model, port expenses, main trunk location, port congestion and port facility came out to be the most important component groups, and especially port expenses was the most effective component that effected all the other components overall. Third, the component groups that were relatively less important, effected by most of the other components, and located on the top level of the structure model were the hinterland accessibility, port ownership, customs duties speed, and large ship port entrance possibility etc. Fourth, the results of this study will be able to be used when establishing competing strategies for our country's ports by proposing the relatively important components with the port competitive rower considered.

• Smart Media Journal
• /
• v.4 no.4
• /
• pp.39-46
• /
• 2015

This paper describes hardware implementation of the encryption block of the '128 bit block cipher LEA' among various lightweight encryption algorithms for IoT (Internet of Things) security. Round function blocks and key-schedule blocks are designed by parallel circuits for high throughput. The encryption blocks support secret-key of 128 bits, and are designed by FSM method and 24/n stage(n=1, 2, 3, 4, 8, 12) pipeline methods. The LEA-128 encryption blocks are modeled using Verilog-HDL and implemented on FPGA, and according to the synthesis results, minimum area and maximum throughput are provided.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.26 no.4
• /
• pp.127-137
• /
• 1989

This paper describes hardware flow-chart and SDL-II, which are register-transfer level, to automate logic design. Hardware flow-chart specifies behavioral and structural charaterstics of generalized FSMs (Finite State Machine) usin the modified ASM (Algorithmic State Machnine) design techniques. SDL-II describes the hardware flow-chat which specifies the control and the data path of ASIC(Application Specific IC). Also many examples are enumerated to illustrate the features of hardware flow-chart and SDL-II.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.23 no.6
• /
• pp.89-95
• /
• 2009

A new class of electronically commutated brushless motor, the flux-switching motor(FSM) is gradually emerging in power tools and household appliances especially fan and pump application because of green policy. This motor offers advantages of high-power density and relatively high efficiency compare with induction motor, low cost and simple motor structure compare with bldc motor. This paper presents the principle of the FSM and design of the 12/6 pole FSM drive system for fan application. Finally, test results of the prototype motor are provided to verify a validity of the fan application with TMS320F2812 DSP and inverter.

• Journal of Magnetics
• /
• v.20 no.1
• /
• pp.69-78
• /
• 2015

This paper focuses on the design of a flux-biased rotary electromagnetic actuator with compact structure for fast steering mirror (FSM). The actuator has high force density and its torque output shows linear dependence on both excitation current and rotation angle. Benefiting from a new electromagnetic topology, no additional axial force is generated and an armature with small moment of inertia is achieved. To improve modeling accuracy, the actuator is modeled with flux leakage taken into account. In order to achieve an FSM with good performance, a design methodology is presented. The methodology aims to achieve a balance between torque output, torque density and required coil magnetomotive force. By using the design methodology, the actuator which will be used to drive our FSM is achieved. The finite element simulation results validate the design results, along with the concept design, magnetic analysis and torque output model.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.24 no.3
• /
• pp.337-342
• /
• 2014

This paper is aims to build the advancement structural model of GICOMS through identification of required system and improvement for implementation of e-Navigation. We derived nine improvement subject for model of advanced GICOMS through the analysis of problems for GICOMS and brainstorming with expert in the maritime safety. And we analyzed the structure of nine improvement subject using by FSM(Fuzzy Structural Modeling) method, and proposed a structural model that to grasp the correlation between elements. As a result, we found out that "advancement of GICOMS" is the final goal, and "improvement a system of information production", "improvement a scheme of information providing", "linkage between GICOMS and VTS" and "building global networks for safety cooperation" are located lowest level. Especially, "advancement of GICOMS" is influenced by "advancement function of VMS" and "Activation of usage" on middle level. We suggested that utilizing state-of-the-art IT facilities, equipment and expertise to improve and enhance the user-centered transition such as maritime workers for advancement of GICOMS based on proposed structure model.