In the field of Medical image processing, Transformers and CNNs bring filter-based local sensing and attention-based global modelling, which strengthened their dominant position. However, the scales required in differ...
详细信息
Data management system configuration optimization has been the focus of database-related research. It can improve the adaptability of DBMS to various business scenarios by selecting the right parameter combination. Ho...
详细信息
Heart failure alters the electrophysiological properties of cardiomyocytes, leading to changes in the overall mechanical function of the heart, with significant implications for human health. Current research on heart...
详细信息
Recurrent neural networks (RNNs) have been heavily used in applications relying on sequence data such as time series and natural languages. As a matter of fact, their behaviors lack rigorous quality assurance due to t...
详细信息
Recurrent neural networks (RNNs) have been heavily used in applications relying on sequence data such as time series and natural languages. As a matter of fact, their behaviors lack rigorous quality assurance due to the black-box nature of deep learning. It is an urgent and challenging task to formally reason about the behaviors of RNNs. To this end, we first present an extension of linear-time temporal logic to reason about properties with respect to RNNs, such as local robustness, reachability, and some temporal properties. Based on the proposed logic, we formalize the verification obligation as a Hoare-like triple, from both qualitative and quantitative perspectives. The former concerns whether all the outputs resulting from the inputs fulfilling the pre-condition satisfy the post-condition, whereas the latter is to compute the probability that the post-condition is satisfied on the premise that the inputs fulfill the pre-condition. To tackle these problems, we develop a systematic verification framework, mainly based on polyhedron propagation, dimension-preserving abstraction, and the Monte Carlo sampling. We also implement our algorithm with a prototype tool and conduct experiments to demonstrate its feasibility and efficiency.
The rapid growth of deep learning-based services and applications underscores the need for efficient neural network model deployment. Traditional cloud-centric solutions, despite their computational power, face signif...
详细信息
With the development of the miniaturization of electronic equipment and lightweight weapon equipment,there are new requirements for electromagnetic wave absorption material(EMWAM).EMWAM has outstanding electromagnetic...
详细信息
With the development of the miniaturization of electronic equipment and lightweight weapon equipment,there are new requirements for electromagnetic wave absorption material(EMWAM).EMWAM has outstanding electromagnetic wave absorption properties and lightweight characteristics become an important direction of *** this study,graphene/g-C_(3)N_(4)(GGCN)EMWAM was first synthesized in situ by simple heat treatment,in which the g-C_(3)N_(4) had a porous structure and dispersed on the surface of *** impedance matching of the GGCN was well adjusted by decreasing the dielectric constant and attenuation constant due to the g-C_(3)N_(4) semiconductor property and the graphite-like *** EMW loss mechanism of GGCN was also analyzed by simulating GGCN’s electric field mode distribution and resistance loss power *** analysis result shows that the distribution of g-C_(3)N_(4) among GGCN sheets can produce more polarization effects and relaxation effects by increasing the lamellar ***,the polarization loss of GGCN could be increased successfully by porous g-C_(3)N_(4).Ultimately,the EMW absorption property of GGCN is optimized significantly,and GGCN exhibits excellent EMW absorption *** the thickness is 2 mm,the effective absorption bandwidth(EAB)can reach 4.6 GHz,and when the thickness is 4.5 mm,the minimum reflection loss(RLmin)at 4.56 GHz can reach-34.69 ***,the practical application of EMWAM was studied by radar cross-section(RCS)simulation,showing that GGCN has a good application prospect.
To address the problems of complex real voice feature distribution, easy overfitting by learning only one classification boundary, and poor generalization ability of existing voice spoofing detection methods for unkno...
详细信息
To reveal the in-situ mechanical properties evolution and failure behavior of C/Mullite composites at high temperature, the in-situ mechanical and fatigue properties of the composites at high temperature were systemat...
详细信息
With the development of high-performance computing,it is possible to solve large-scale computing ***,the irregularity and access characteristics of computing problems bring challenges to the realisation and performanc...
详细信息
With the development of high-performance computing,it is possible to solve large-scale computing ***,the irregularity and access characteristics of computing problems bring challenges to the realisation and performance *** the performance of a single core makes it challenging to maintain Moore's law,and multi-core processors emerge.A chip brings together multiple universal processor cores of equal status and has the same structure supported by an isomorphic multi-core *** high-performance computing,the granularity of computing tasks leads to the complexity of scheduling *** high system performance,load balancing and processor fault tolerance at a minimum cost is the key to task scheduling in the high-performance field,especially in specific multi-core hardware *** this study,global real-time task scheduling is implemented in a high-performance multi-core *** system adopts the hybrid scheduling among clusters and the intelligent fitting within clusters to implement the global real-time task scheduling *** the cluster scheduling policy,tasks are allowed to preempt the core with low priority,and the priority of tasks that access memory is dynamically improved,higher than that of all the tasks without memory *** intelligent fitting method is also *** the data read by the task is in the cache and the cache access ability value of the task is within a reasonable threshold,the priority of the task is promoted to the highest priority,pre-empting the core without the access memory *** results show that the intelligently fitting global scheduling strategy for multi-core systems has better performance in the nuclear utilisation rate and task schedulability.
Deep learning-based semantic segmentation of airborne laser scanning (ALS) point clouds receives extensive attention from researchers in the field of remote sensing and computing. However, due to the special propertie...
详细信息
暂无评论