The Experts below are selected from a list of 7056 Experts worldwide ranked by ideXlab platform

Mao Yang - One of the best experts on this subject based on the ideXlab platform.

  • a flowchart based finite State Machine design and implementation method for fpga
    The Internet of Things, 2020
    Co-Authors: Zhongjiang Yan, Hangchao Jiang, Mao Yang
    Abstract:

    The design idea of control and data separation is an effective means to realize the complex communication system, and the control part can usually be designed and realized by means of finite State Machine (FSM). However, there is no effective method to realize the complex communication system based on finite State Machine in the existing research. Aiming at the problem of the existing FPGA design and implementation methods with complex and non-universal communication protocol and algorithm design, a Flowchart based Finite State Machine (F-FSM) design and implementation method for FPGA is proposed, which significantly improves the FPGA development efficiency. This method takes the flowchart describing the complex communication system as input, divides the communication system into modules, and outputs the finite State Machine Transition diagram and Transition matrix of the control module. This method can effectively shorten the design time of the communication system and its control module. Finally, an IP core encapsulated in FPGA is designed. This method can effectively improve the development efficiency of control module, improve the re-usability of control module and reduce the workload of code development.

Zhongjiang Yan - One of the best experts on this subject based on the ideXlab platform.

  • a flowchart based finite State Machine design and implementation method for fpga
    The Internet of Things, 2020
    Co-Authors: Zhongjiang Yan, Hangchao Jiang, Mao Yang
    Abstract:

    The design idea of control and data separation is an effective means to realize the complex communication system, and the control part can usually be designed and realized by means of finite State Machine (FSM). However, there is no effective method to realize the complex communication system based on finite State Machine in the existing research. Aiming at the problem of the existing FPGA design and implementation methods with complex and non-universal communication protocol and algorithm design, a Flowchart based Finite State Machine (F-FSM) design and implementation method for FPGA is proposed, which significantly improves the FPGA development efficiency. This method takes the flowchart describing the complex communication system as input, divides the communication system into modules, and outputs the finite State Machine Transition diagram and Transition matrix of the control module. This method can effectively shorten the design time of the communication system and its control module. Finally, an IP core encapsulated in FPGA is designed. This method can effectively improve the development efficiency of control module, improve the re-usability of control module and reduce the workload of code development.

Chang Chia-wei - One of the best experts on this subject based on the ideXlab platform.

  • Design of a Lower Limb Exoskeleton for Walking Aids
    2017
    Co-Authors: Chang Chia-wei
    Abstract:

    下肢外骨骼機器人是一種動力輔具系統，可穿戴在人體上來提升使用者的力量，目前研究主流分成軍事和醫療兩方面，軍事用途可增加士兵的武器攜帶量，並幫助士兵移動來減少勞累，或提供於軍火工廠維修裝備與搬運器材的工人使用，避免職業傷害發生；醫療用途為協助患者復健，藉由模擬走路步態的過程，增加病患的復健意願和練習次數。本研究設計下肢外骨骼機器人系統(BimeExo)，主要應用於模擬人類步態來輔助使用者行走，裝置上共有四顆馬達安裝在兩足的髖關節和膝關節處，踝關節以彈性止滑墊組成，並設計多重安全機制以避免發生危險。為了模擬人類走路步態，設計了人體髖關節與膝關節的角度量測系統，藉由量測出來的步態角度資料，建立出使用者的參數化步態模型，並依此分析不同人之間的差異。此外參數化步態模型在應用於下肢外骨骼機器人時，即可依照使用者身體參數的差異而調整成不同的步態動作。BimeExo系統走路步行速度約0.05 m/s，上下樓梯的速度約20 s/step。為因應一般居家復健使用，設計五種常用動作，站立、坐下、走路和上下樓梯，使用者僅需要輸入身高資訊，利用拐杖遙控器和安裝在身體上的角度感測器作為有限狀態機的轉換條件，進而切換狀態以防止錯誤步態發生。Lower limb exoskeleton is a powered orthosis can be worn by human to enhance users'' ability. Currently divided into military and medical aspects. Military applications help soldiers move with more weapons and reduce fatigue, or help workers transport equipment in the factory to avoid occupational injuries. In the medical purposes, it can assist the patients to rehabilitate by walking simulation, and increase the number of exercise. The study designed a lower limb exoskeleton robotic system (BimeExo), mainly used in simulating gait to assist human walking. The system with four motors mounted on the both hip and knee. For supporting the human and robot, it has two elastic pads on ankle. In safety issue, it composed of multiple security mechanisms to avoid the danger. In order to simulate human gait, the study build a human measurement system to get the angle at hip and knee. By using the gait data to create parametric gait model and researchers can analyze the different by this model. According to different users can be adjusted to different body parameters for gait motion, then put the parameters into the robot platform to get the hip and knee angle. The walking speed of the BimeExo system is about 0.05 m/s, and the speed of the up and down the stairs is about 20 s/step. The system designed five common motion, standing, sitting, walking up and down stairs for general normal use at home. The user only needs to input the height and weight into the system, and use special crutch controller and angle sensors on the body as finite State Machine Transition conditions. Then user can control the robot and prevent danger

Hangchao Jiang - One of the best experts on this subject based on the ideXlab platform.

  • a flowchart based finite State Machine design and implementation method for fpga
    The Internet of Things, 2020
    Co-Authors: Zhongjiang Yan, Hangchao Jiang, Mao Yang
    Abstract:

    The design idea of control and data separation is an effective means to realize the complex communication system, and the control part can usually be designed and realized by means of finite State Machine (FSM). However, there is no effective method to realize the complex communication system based on finite State Machine in the existing research. Aiming at the problem of the existing FPGA design and implementation methods with complex and non-universal communication protocol and algorithm design, a Flowchart based Finite State Machine (F-FSM) design and implementation method for FPGA is proposed, which significantly improves the FPGA development efficiency. This method takes the flowchart describing the complex communication system as input, divides the communication system into modules, and outputs the finite State Machine Transition diagram and Transition matrix of the control module. This method can effectively shorten the design time of the communication system and its control module. Finally, an IP core encapsulated in FPGA is designed. This method can effectively improve the development efficiency of control module, improve the re-usability of control module and reduce the workload of code development.

Keijo Heljanko - One of the best experts on this subject based on the ideXlab platform.

  • a symbolic model checking approach to verifying satellite onboard software
    Electronic Communication of The European Association of Software Science and Technology, 2011
    Co-Authors: Xiang Gan, Jori Dubrovin, Keijo Heljanko
    Abstract:

    This paper discusses the use of symbolic model checking technology to verify the design of an embedded software control system called attitude and orbit control system (AOCS). This system is mission-critical because it is responsible for maintaining the attitude of the satellite and for performing fault detection, isolation, and recovery decisions of the satellite. An executable AOCS implementation by Space Systems Finland has been provided to us in Ada source code form. In order to use symbolic model checking methods, the Ada implementation of the system was modeled at a quite detailed implementation level using the input language of the symbolic model checker NuSMV 2. We describe the modeling techniques and abstractions used to alleviate the State explosion problem due to handling of timers and the large number of system components controlled by AOCS. The specification of the required system behavior was also provided to us in a form of extended State Machine diagrams with prioritized Transitions. These diagrams have been translated to a set of temporal logic properties, allowing the piecewise checking of the system behavior one extended State Machine Transition at a time. We also report on the scalability of symbolic model checking tools for the case study at hand as well as discuss potential topics for future work.