Search Results

With the increasing scale and complexity of high-performance computing systems, the rising failure rate poses significant challenges for RDMA networks that aim for high bandwidth and low latency. RDMA networks require hardware-level end-to-end ...

• The RDMA NIC architecture and RDMA connection protocol (RCP) of Tianhe are introduced in detail.
• The load characteristics in the HPC interconnection network and the challenges of RCP are analyzed.
• The Post-hoc Connection Protocol ...

In recent years, there has been an increased interest in tools that establish incorrectness rather than correctness of program properties. In this work we build on this approach by developing a novel methodology to prove incorrectness of semantic typing ...

Functions in functional languages have a single elimination form — application — and cannot be compared, hashed, or subjected to other non-application operations. These operations can be approximated via defunctionalization: functions are replaced with ...

We propose a novel curvature-based indicator constructed on log-price time series that captures an interplay between trend, acceleration, and volatility found relevant to quantify risks and improve trading strategies. We apply it to diagnose ...

• A novel curvature-based indicator to capture geometric information in time series data is proposed.
• Analysis of both synthetic and real-world price time series data is conducted.
• The indicator demonstrates its effectiveness in ...

Online construction of open-ended language scenes is crucial for robotic applications, where open-vocabulary interactive scene understanding is required. Recently, neural implicit representation has provided a promising direction for online ...

RDMA (Remote Direct Memory Access) networks require efficient congestion control to maintain their high throughput and low latency characteristics. However, congestion control protocols deployed at the software layer suffer from slow response times due to ...

Cleve’s celebrated result (STOC’86) showed that a strongly fair multi-party coin-toss is impossible against majority-sized coalitions. Recently, however, a fascinating line of work studied a relaxed fairness notion called game-theoretic fairness, ...

The volume of BIM models for substation projects in Guangdong Power Grid is relatively large. In order to reduce the volume of BIM models for substation projects and ensure rendering effects, a lightweight method for BIM models for substation projects ...

Adaptive routing plays a pivotal role in the overall performance of Network-on-Chips (NoCs). However, with many-core architectures supporting complex and constantly changing traffic patterns for emerging applications, this aspect presents ...

Deep learning-based methods are widely applied to fault diagnostics, which depend on adequate samples. However, fault samples are often limited and even not available in industrial applications. To solve this problem, an optimal transport strategy-...

Online dense mapping of urban scenes is of paramount importance for scene understanding of autonomous navigation. Traditional online dense mapping methods fuse sensor measurements (vision, lidar, etc.) across time and space via explicit geometric ...

To monitor the operation status of converter station equipment during operation and maintenance operations in real time, a visual monitoring system for converter station operation and maintenance based on sensor fusion is designed. Design a three-...

Vascular tortuosity is a prevalent morphological change that frequently occurs in arteries across different parts of the body.

To analyze the relationship between the tortuosities of the extracranial internal carotid artery (...

In this paper, we generalize the index of impulsive periodic orbits defined in planar systems to n-dimensional impulsive switched systems. The moving Poincaré section is applied, which extends the classical Poincaré section and makes it possible ...

In order to establish the dynamic equations of the rigid-flexible coupled robotic mechanisms with large beam-deformations over the horizontal plane, a thorough modeling technique founded on the virtual work concept has been proposed. Based on the ...

We use the dynamic conditional correlation (DCC) model to estimate daily frequency mutual fund betas. Compared with traditional estimates, daily betas better capture changes in fund risk stemming from daily fund trading activity. Based on these beta ...

The allreduce operation is the most commonly used collective operation in distributed or parallel applications. It aggregates data collected from distributed hosts and broadcasts the aggregated result back to them. In-network computing can accelerate ...

Fault detection might effectively enhance the operational reliability and safety of industrial robot (IR). Data-driven intelligent detection methods are dependent on a certain number of fault samples. However, the fault samples of the IR are ...

• A new RSTRN is proposed for fault detection under zero-fault samples.
• A transformer relation network is built to reveal the commonality and uniqueness of health category.
• A residual shrinkage network is applied to effectively ...

• A neuromuscular human body model was established by improving a whole-body musculoskeletal model through including a detailed anatomic description of spinal ligaments, non-linear intervertebral disc, and lumbar facet joints, and coupling a ...

Long-term intensive exposure to whole-body vibration substantially increases the risk of low back pain and degenerative diseases in special occupational groups, like motor vehicle drivers, military vehicle occupants, ...