中文
相关论文

相关论文: Automatic integration of SystemC in the FMI standa…

200 篇论文

Modulation format identification (MFI) is crucial in next-generation optical networks such as cognitive optical networks. An integrated-clustering-algorithm-based MFI scheme in a coherent optical communication system is proposed herein.…

信号处理 · 电气工程与系统科学 2021-04-30 Wenbo Zhang , Jinmei Ye , Zixian Yue , Yuxiang Wang , Xulun Zhang , Xiaoguang Zhang , Lixia Xi

Satisfiability Modulo Counting (SMC) is a recently proposed general language to reason about problems integrating statistical and symbolic Artificial Intelligence. An SMC problem is an extended SAT problem in which the truth values of a few…

人工智能 · 计算机科学 2025-06-19 Jinzhao Li , Nan Jiang , Yexiang Xue

We propose a computational framework for vascular fluid-structure interaction (FSI), focusing on biomechanical modeling, geometric modeling, and solver technology. The biomechanical model is constructed based on the unified continuum…

流体动力学 · 物理学 2022-06-27 Ju Liu , Jiayi Huang , Qingshuang Lu , Yujie Sun

With the advent of ISO 26262 there is an increased emphasis on top-down design in the automotive industry. ISO 26262 lacks detailed requirements for its various constituent phases. The lack of guidance becomes evident for the reuse of…

系统与控制 · 电气工程与系统科学 2019-12-09 Naveen Mohan , Martin Törngren , Sagar Behere

With the advancement of modern robotics, autonomous agents are now capable of hosting sophisticated algorithms, which enables them to make intelligent decisions. But developing and testing such algorithms directly in real-world systems is…

机器人学 · 计算机科学 2022-08-16 Emon Dey , Jumman Hossain , Nirmalya Roy , Carl Busart

Efficiently estimating system dynamics from data is essential for minimizing data collection costs and improving model performance. This work addresses the challenge of designing future control inputs to maximize information gain, thereby…

系统与控制 · 电气工程与系统科学 2025-04-29 Joshua Ott , Mykel J. Kochenderfer , Stephen Boyd

Cycle-accurate software simulation of multicores with complex microarchitectures is often excruciatingly slow. People use simplified core models to gain simulation speed. However, a persistent question is to what extent the results derived…

硬件体系结构 · 计算机科学 2016-10-10 Sizhuo Zhang , Andrew Wright , Daniel Sanchez , Arvind

With Motor-Imagery (MI) Brain--Machine Interfaces (BMIs) we may control machines by merely thinking of performing a motor action. Practical use cases require a wearable solution where the classification of the brain signals is done locally…

信号处理 · 电气工程与系统科学 2021-02-23 Xiaying Wang , Tibor Schneider , Michael Hersche , Lukas Cavigelli , Luca Benini

Real-world manipulation data involving robotic arms is crucial for developing generalist action policies, yet such data remains scarce since existing data collection methods are hindered by high costs, hardware dependencies, and complex…

Autonomous critical systems, such as satellites and space rovers, must be able to detect the occurrence of faults in order to ensure correct operation. This task is carried out by Fault Detection and Identification (FDI) components, that…

计算机科学中的逻辑 · 计算机科学 2019-03-14 Marco Bozzano , Alessandro Cimatti , Marco Gario , Stefano Tonetta

This paper introduces an innovative software system for fundus image analysis that deliberately diverges from the conventional screening approach, opting not to predict specific diagnoses. Instead, our methodology mimics the diagnostic…

计算机视觉与模式识别 · 计算机科学 2025-01-27 Dmitry Ryabtsev , Boris Vasilyev , Sergey Shershakov

Nowadays, Software Process Improvement popularly known as SPI has been able to receive an immense concern in the continuous process to purify software quality. Several Agile methodologies previously have worked with Extreme programming…

Safety is an important element of dependability. It is defined as the absence of accidents. Most accidents involving software-intensive systems have been system accidents, which are caused by unsafe inter-system or inter-component…

软件工程 · 计算机科学 2016-11-17 Zhe Chen , Gilles Motet

Computing systems rarely deliver best possible performance due to ever increasing hardware and software complexity and limitations of the current optimization technology. Additional code and architecture optimizations are often required to…

分布式、并行与集群计算 · 计算机科学 2014-07-15 Grigori Fursin

Context: Competitions for self-driving cars facilitated the development and research in the domain of autonomous vehicles towards potential solutions for the future mobility. Objective: Miniature vehicles can bridge the gap between…

机器人学 · 计算机科学 2014-07-02 Christian Berger

In today's technology-driven world, early-stage software development and testing are crucial. Virtual Platforms (VPs) have become indispensable tools for this purpose as they serve as a platform to execute and debug the unmodified target…

软件工程 · 计算机科学 2025-05-22 Nils Bosbach , Rebecca Pelke , Niko Zurstraßen , Jan Henrik Weinstock , Lukas Jünger , Rainer Leupers

We propose a novel fast and accurate simulation framework for contact-intensive tight-tolerance robotic assembly tasks. The key components of our framework are as follows: 1) data-driven contact point clustering with a certain…

机器人学 · 计算机科学 2022-03-01 Jaemin Yoon , Minji Lee , Dongwon Son , Dongjun Lee

Automated driving technologies promise substantial improvements in transportation safety, efficiency, and accessibility. However, ensuring the reliability and safety of Autonomous Vehicles in complex, real-world environments remains a…

软件工程 · 计算机科学 2025-03-03 João-Vitor Zacchi , Edoardo Clementi , Núria Mata

This paper addresses challenges of designing and managing Complex Performance Indicators (CPI), which amalgamate individual indicators to measure latent, yet crucial business factors like customer satisfaction or sustainability indices.…

软件工程 · 计算机科学 2025-05-08 Benito Giunta , Corentin Burnay

We propose a holistic approach for deploying Small Language Models (SLMs) as function-calling agents within vehicles as edge devices, offering a more flexible and robust alternative to traditional rule-based systems. By leveraging SLMs, we…