Science China Information Sciences最新文献_第2页

OpBench: an operator-level GPU benchmark for deep learning OpBench：用于深度学习的操作员级 GPU 基准

IF 8.8 2区计算机科学

Science China Information Sciences Pub Date : 2024-08-20 DOI: 10.1007/s11432-023-3989-3

Qingwen Gu, Bo Fan, Zhengning Liu, Kaicheng Cao, Songhai Zhang, Shimin Hu

{"title":"OpBench: an operator-level GPU benchmark for deep learning","authors":"Qingwen Gu, Bo Fan, Zhengning Liu, Kaicheng Cao, Songhai Zhang, Shimin Hu","doi":"10.1007/s11432-023-3989-3","DOIUrl":"https://doi.org/10.1007/s11432-023-3989-3","url":null,"abstract":"Operators (such as Conv and ReLU) play an important role in deep neural networks. Every neural network is composed of a series of differentiable operators. However, existing AI benchmarks mainly focus on accessing model training and inference performance of deep learning systems on specific models. To help GPU hardware find computing bottlenecks and intuitively evaluate GPU performance on specific deep learning tasks, this paper focuses on evaluating GPU performance at the operator level. We statistically analyze the information of operators on 12 representative deep learning models from six prominent AI tasks and provide an operator dataset to show the different importance of various types of operators in different networks. An operator-level benchmark, OpBench, is proposed on the basis of this dataset, allowing users to choose from a given range of models and set the input sizes according to their demands. This benchmark offers a detailed operator-level performance report for AI and hardware developers. We also evaluate four GPU models on OpBench and find that their performances differ on various types of operators and are not fully consistent with the performance metric FLOPS (floating point operations per second).","PeriodicalId":21618,"journal":{"name":"Science China Information Sciences","volume":"30 1","pages":""},"PeriodicalIF":8.8,"publicationDate":"2024-08-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142189444","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Deep learning for code generation: a survey 用于代码生成的深度学习：调查

IF 8.8 2区计算机科学

Science China Information Sciences Pub Date : 2024-08-20 DOI: 10.1007/s11432-023-3956-3

Huangzhao Zhang, Kechi Zhang, Zhuo Li, Jia Li, Jia Li, Yongmin Li, Yunfei Zhao, Yuqi Zhu, Fang Liu, Ge Li, Zhi Jin

引用次数: 0

Quantum search with prior knowledge 利用先验知识进行量子搜索

IF 8.8 2区计算机科学

Science China Information Sciences Pub Date : 2024-08-20 DOI: 10.1007/s11432-023-3972-y

Xiaoyu He, Xiaoming Sun, Jialing Zhang

引用次数: 0

Physics-informed deep Koopman operator for Lagrangian dynamic systems 拉格朗日动态系统的物理信息深度库普曼算子

IF 8.8 2区计算机科学

Science China Information Sciences Pub Date : 2024-08-20 DOI: 10.1007/s11432-022-4050-4

Xuefeng Wang, Yang Cao, Shaofeng Chen, Yu Kang

{"title":"Physics-informed deep Koopman operator for Lagrangian dynamic systems","authors":"Xuefeng Wang, Yang Cao, Shaofeng Chen, Yu Kang","doi":"10.1007/s11432-022-4050-4","DOIUrl":"https://doi.org/10.1007/s11432-022-4050-4","url":null,"abstract":"Accurate mechanical system models are crucial for safe and stable control. Unlike linear systems, Lagrangian systems are highly nonlinear and difficult to optimize because of their unknown system model. Recent research thus used deep neural networks to generate linear models of original systems by mapping nonlinear dynamic systems into a linear space with a Koopman observable function encoder. The controller then relies on the Koopman linear model. However, without physical information constraints, ensuring control consistency between the original nonlinear system and the Koopman system is tough, as the learning process of the Koopman observation function is unsupervised. This paper thus proposes a two-stage learning algorithm that uses structural subnetworks to build a physics-informed network topology to simultaneously learn the Koopman observable functions and the system energy representation. In the Koopman matrix learning session, a quadratic-constrained optimization problem is solved to ensure that the Koopman representation satisfies the energy difference matching hard constraint. The proposed energy-preserving deep Lagrangian Koopman (EPDLK) framework effectively represents the dynamics of the Lagrangian system while ensuring control consistency. The effectiveness of EPDLK is compared with those of various Koopman observable function construction methods in multistep prediction and trajectory tracking tasks. EPDLK achieves better control consistency by guaranteeing energy difference matching, which facilitates the application of the control law generated on the Koopman system directly to the original nonlinear Lagrangian system.","PeriodicalId":21618,"journal":{"name":"Science China Information Sciences","volume":"35 1","pages":""},"PeriodicalIF":8.8,"publicationDate":"2024-08-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142189443","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Data-driven electrical resistance tomography for robotic large-area tactile sensing 用于机器人大面积触觉传感的数据驱动电阻断层成像技术

IF 8.8 2区计算机科学

Science China Information Sciences Pub Date : 2024-08-19 DOI: 10.1007/s11432-023-4130-3

Wendong Zheng, Huaping Liu, Xiaofeng Liu, Fuchun Sun

引用次数: 0

Orthogonal waveform design with fractional programming on the ambiguity suppression of SAR systems 利用分数程序设计正交波形，抑制合成孔径雷达系统的模糊性

IF 8.8 2区计算机科学

Science China Information Sciences Pub Date : 2024-08-19 DOI: 10.1007/s11432-023-4076-7

Yunkai Deng, Yongwei Zhang, Zhimin Zhang, Wei Wang, Heng Zhang

{"title":"Orthogonal waveform design with fractional programming on the ambiguity suppression of SAR systems","authors":"Yunkai Deng, Yongwei Zhang, Zhimin Zhang, Wei Wang, Heng Zhang","doi":"10.1007/s11432-023-4076-7","DOIUrl":"https://doi.org/10.1007/s11432-023-4076-7","url":null,"abstract":"Waveform diversity (WD) represents a dynamic and transformative technology widely used in radar systems to enhance sensitivity and discrimination capabilities. Recently, WD techniques have been extensively explored for their potential ambiguity suppression within synthetic aperture radar (SAR) systems. Among these, the alternate transmitting mode combined with orthogonal waveforms emerges as a particularly promising solution. This study focuses on optimizing the power spectrum density (PSD) of signals to design and generate an orthogonal waveform pair that achieves both a low cross-correlation-to-autocorrelation ratio (CAR) and satisfactory imaging performance. Initially, we construct a fractional programming model with convex constraints to minimize the CAR. To address this challenge, we introduce an iterative optimization procedure for the PSD variable, which sequentially reduces the CAR. Each optimization step can be efficiently solved using a quadratically constrained quadratic program, ensuring that the resulting computational complexity remains low. Building on the optimized PSD, we established a parametric piecewise linear model to generate an orthogonal waveform pair. This model not only maintains a low CAR but achieves satisfactory imaging performance in real-time applications. Consequently, this orthogonal waveform pair effectively suppresses range ambiguity in SAR systems. Finally, we demonstrated the practicability and effectiveness of the proposed orthogonal waveforms through detailed simulation experiments, specifically targeting ambiguity suppression in conventional quad-polarization SAR systems.","PeriodicalId":21618,"journal":{"name":"Science China Information Sciences","volume":"29 1","pages":""},"PeriodicalIF":8.8,"publicationDate":"2024-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142189471","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Deterministic learning-based neural output-feedback control for a class of nonlinear sampled-data systems 一类非线性采样数据系统的基于确定性学习的神经输出反馈控制

IF 8.8 2区计算机科学

Science China Information Sciences Pub Date : 2024-08-19 DOI: 10.1007/s11432-023-3996-3

Yu Zeng, Fukai Zhang, Tianrui Chen, Cong Wang

{"title":"Deterministic learning-based neural output-feedback control for a class of nonlinear sampled-data systems","authors":"Yu Zeng, Fukai Zhang, Tianrui Chen, Cong Wang","doi":"10.1007/s11432-023-3996-3","DOIUrl":"https://doi.org/10.1007/s11432-023-3996-3","url":null,"abstract":"This study investigates the deterministic learning (DL)-based output-feedback neural control for a class of nonlinear sampled-data systems with prescribed performance (PP). Specifically, first, a sampled-data observer is employed to estimate the unavailable system states for the Euler discretization model of the transformed system dynamics. Then, based on the observations and backstepping method, a discrete neural network (NN) controller is constructed to ensure system stability and achieve the desired tracking performance. The noncausal problem encountered during the controller deduction process is resolved using a command filter. Moreover, the regression characteristics of the NN input signals are demonstrated with the observed states. This ensures that the radial basis function NN, based on DL theory, meets the partial persistent excitation condition. Subsequently, a class of discrete linear time-varying systems is proven to be exponentially stable, achieving partial convergence of neural weights to their optimal/actual values. Consequently, accurate modeling of unknown closed-loop dynamics is achieved along the system trajectory from the output-feedback control. Finally, a knowledge-based controller is developed using the modeling results. This controller not only enhances the control performance but also ensures the PP of the tracking error. The effectiveness of the scheme is illustrated through simulation results.","PeriodicalId":21618,"journal":{"name":"Science China Information Sciences","volume":"38 1","pages":""},"PeriodicalIF":8.8,"publicationDate":"2024-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142189463","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Probing quantum causality with geometric asymmetry in spatial-temporal correlations 利用时空相关性中的几何不对称探测量子因果关系

IF 8.8 2区计算机科学

Science China Information Sciences Pub Date : 2024-08-19 DOI: 10.1007/s11432-024-4007-y

Yu Meng, Zheng-Hao Liu, Zhikuan Zhao, Peng Yin, Yi-Tao Wang, Wei Liu, Zhi-Peng Li, Yuan-Ze Yang, Zhao-An Wang, Jin-Shi Xu, Shang Yu, Jian-Shun Tang, Chuan-Feng Li, Guang-Can Guo

{"title":"Probing quantum causality with geometric asymmetry in spatial-temporal correlations","authors":"Yu Meng, Zheng-Hao Liu, Zhikuan Zhao, Peng Yin, Yi-Tao Wang, Wei Liu, Zhi-Peng Li, Yuan-Ze Yang, Zhao-An Wang, Jin-Shi Xu, Shang Yu, Jian-Shun Tang, Chuan-Feng Li, Guang-Can Guo","doi":"10.1007/s11432-024-4007-y","DOIUrl":"https://doi.org/10.1007/s11432-024-4007-y","url":null,"abstract":"Causation promotes the understanding of correlation to an advanced stage by elucidating its underlying mechanism. Although statisticians have specified the possible causal relations among correlations, inferring causal structures is impossible from only the observed correlations in the classical world. Quantum correlations encapsulating the most defining aspects of quantum physics have taken a new turn for the causal inference problem — the two-point spatial and temporal quantum correlations with observationally discernible characteristics correspond exactly to the two most basic causal structures. However, a direct causal interpretation for quantum correlations has only been established in very limited cases. Here, we explore to what extent quantum correlations promote causal inference. Theoretically, we have found that the distinguishable causal regime of two-point Pauli correlations can be expanded from a single value to an asymmetric interval, and the causal structures determining the quantum correlations can be interpreted by a simple distance criterion. Experimentally, we have devised and implemented a versatile non-unital quantum channel in an optical architecture to directly observe such an asymmetric interval. The setup enabled quantum causal inference without any requirement of active intervention, which is impossible in the classical realm. Our work facilitates the identification of causal links among quantum variables and provides insight into characterizing causation and spatial-temporal correlation in quantum mechanics.","PeriodicalId":21618,"journal":{"name":"Science China Information Sciences","volume":"34 1","pages":""},"PeriodicalIF":8.8,"publicationDate":"2024-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142189450","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Broadband light-active optoelectronic FeFET memory for in-sensor non-volatile logic 用于传感器内非易失性逻辑的宽带光活性光电 FeFET 存储器

IF 8.8 2区计算机科学

Science China Information Sciences Pub Date : 2024-08-19 DOI: 10.1007/s11432-024-4117-y

Yong Zhang, Dongxin Tan, Cizhe Fang, Zheng-Dong Luo, Qiyu Yang, Qiao Zhang, Yu Zhang, Xuetao Gan, Yan Liu, Yue Hao, Genquan Han

引用次数: 0

Repeat-pass space-surface bistatic SAR tomography: accurate imaging and first experiment 重复通过空间-地表双稳态合成孔径雷达断层成像：精确成像和首次实验

IF 8.8 2区计算机科学

Science China Information Sciences Pub Date : 2024-08-19 DOI: 10.1007/s11432-024-4089-2

Zhiyang Chen, Yuanhao Li, Cheng Hu, Shenglei Wang, Xinpeng Chen, Mihai Datcu, Andrea Virgilio Monti-Guarnieri

{"title":"Repeat-pass space-surface bistatic SAR tomography: accurate imaging and first experiment","authors":"Zhiyang Chen, Yuanhao Li, Cheng Hu, Shenglei Wang, Xinpeng Chen, Mihai Datcu, Andrea Virgilio Monti-Guarnieri","doi":"10.1007/s11432-024-4089-2","DOIUrl":"https://doi.org/10.1007/s11432-024-4089-2","url":null,"abstract":"Space-surface bistatic synthetic aperture radar (SS-BiSAR) offers an additional observation angle for monostatic spaceborne SAR, making it a promising technology for high-accuracy deformation retrieval technology in local regions. Repeat-pass SS-BiSAR tomography can accurately estimate the surfaces of buildings and steep areas, effectively removing terrain phases during deformation retrieving. However, inaccuracies in the orbital ephemeris can lead to image geometry distortion, reducing image pair coherence, introducing interferometric phase errors, and consequently deteriorating tomographic precision. This paper precisely models the image geometry distortion and interferometric phase error caused by repeat-pass ephemeris error. We propose an ephemeris correction method based on the chirp-Z transform to address these issues. Furthermore, we introduce an accurate tomography model to improve 3D reconstruction accuracy. Our first SS-BiSAR tomography experiment, conducted using the Chinese Lutan-1 satellite, demonstrates that the correlation coefficient is improved by 0.16 after ephemeris error correction. Moreover, the density and precision of the tomographic point cloud are improved by 13.7% and 12.1%, respectively.","PeriodicalId":21618,"journal":{"name":"Science China Information Sciences","volume":"51 1","pages":""},"PeriodicalIF":8.8,"publicationDate":"2024-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142189440","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0