This paper presents an open-source, lightweight, yet comprehensive software framework, named RPC, which integrates physics-based simulators, planning and control libraries, debugging tools, and a user-friendly operato...
详细信息
This article aims to discuss the application and practice of edge deployment technology in power scene action recognition system. In order to realize the intelligent upgrade of EPS and improve the real-time and accura...
详细信息
This paper proposes an innovative tandem multi-target search coordination control strategy to solve the challenge of multi-UAV searching multi-targets simultaneously in a complex unknown environment. First, we combine...
详细信息
High-performance computing (HPC) and Artificial Intelligence (AI) are two areas of computing that are seeing fast-paced growth. The HPC systems have evolved to incorporate the capability of running mid-level AI algori...
详细信息
Soft actuators have many advantages, such as flexibility and safe interaction with the environment. Despite these advantages, they still lack the stiffness to carry the high load. The layer jamming mechanism can be ap...
详细信息
This paper proposes a trajectory control method for six-axis industrial robot motion optimization based on computer-aideddesign (CAD) and Ansys Workbench platform. First, this paper reduces unnecessary motion conflic...
详细信息
This paper proposes an automated framework for quantitative verification and design space exploration of cyber-physical systems in the presence of uncertainty, leveraging assume-guarantee contracts expressed in Stocha...
详细信息
ISBN:
(纸本)9781450392174
This paper proposes an automated framework for quantitative verification and design space exploration of cyber-physical systems in the presence of uncertainty, leveraging assume-guarantee contracts expressed in Stochastic Signal Temporal Logic (StSTL). We introduce quantitative semantics for StSTL and formulations of the quantitative verification and design space exploration problems as bi-level optimization problems. We show that these optimization problems can be effectively solved for a class of stochastic systems and a fragment of bounded-time StSTL formulas. Our algorithm searches for partitions of the upper-level design space such that the solutions of the lower-level problems satisfy the upper-level constraints. A set of optimal parameter values are then selected within these partitions. We illustrate the effectiveness of our framework on the design of a multi-sensor perception system and an automatic cruise controlsystem.
This paper designs a simulation platform monitoring system implemented by data distribution services to solve the problem that traditional network transmission is not flexible enough in the simulation platform monitor...
详细信息
Targeting transport is an emerging field in the medical industry that is attempting to obtain a more precise cure for the diseased area. This transport process requires a robot transporter to reach the target. This pr...
详细信息
ISBN:
(纸本)9798350388039;9798350388046
Targeting transport is an emerging field in the medical industry that is attempting to obtain a more precise cure for the diseased area. This transport process requires a robot transporter to reach the target. This project aims to develop an E. coli-based swimming robot for precisely delivering medicine to the appointed target area. Key parameters influencing motion are selected through preliminary kinematic analysis in a uniform, viscous fluid. By using the recursion method and differential equation calculation, this project simulated the trajectory related to the robot's movement and derived the controlling equation. computeraideddesign (CAD) models are developed under macroscopic dimensions and simulations are performed in liquid environments for validation under microscopic dimensions. A path planning algorithm and a control program with feedback and feedforward control are also developed to stabilize the system. This project has tested the feasibility of different motions under different sets of design specifications and thrust setups, and optimized the related design specifications in the unified viscous flow by Computational Fluid Dynamics (CFD) analysis. In addition, a controlsystem for the swimmer's obstacle avoidance and path planning was designed, based on the thrust configurations as inputs. The influence of environment parameters and the robot's structure is investigated. A robot model capable of moving in a two-dimensional environment is developed correspondingly, which supports further studies' field tests of micro-robots targeting transport.
Verilog-to-routing (VTR) is an open source computeraideddesign (CAD) framework that is widely used for research purposes. VTR provides researchers with a comprehensive set of benchmarks and FPGA architectures to tes...
详细信息
ISBN:
(纸本)9798400704109
Verilog-to-routing (VTR) is an open source computeraideddesign (CAD) framework that is widely used for research purposes. VTR provides researchers with a comprehensive set of benchmarks and FPGA architectures to test, compare and verify their designs and CAD algorithms. VTR employs Odin, Yosys and a combination of Yosys+Odin as its front-ends for elaborating digital designs written in Verilog. Yosys is a standalone synthesis framework that is maintained separately. In order to take advantage of Yosys' latest upgrades, it is essential to upgrade VTR in tandem with Yosys to keep up with its latest changes. In our study, we investigated the integration of the latest available version of Yosys into VTR. In the course of this research, we encountered a challenge stemming from a memory incompatibility in newer versions of Yosys. Our primary research question became how to effectively facilitate netlist conversion from Yosys to Odin to overcome this incompatibility issue. We then showcase how this upgrade affects our benchmark suite, highlighting the notable changes in circuit quality and the tool performance. Our post-upgrade evaluations reveal that the STA (static timing analysis) time of placement and the placement time itself exhibited improvements of up to 11.53% and 10.43%, respectively.
暂无评论