检索结果-南通市图书馆

Science China Mathematics 2024年第11期67卷 2433-2452页

作者： Feng Shao Institute of Mathematics Academy of Mathematics and Systems ScienceChinese Academy of Sciences school of Mathematical sciences University of Chinese Academy of Sciences

Let X be an irreducible Hermitian symmetric space of compact type(IHSS for short).In this paper,we give the irreducible decomposition of *** a by-product,we give a cohomological characterization of the rank of ***,we introduce pseudoeffective thresholds to measure the bigness of tangent bundles of smooth complex projective varieties precisely and calculate them for irreducible Hermitian symmetric spaces of compact type.

关键词： tangent bundle pseudoeffective threshold irreducible Hermitian symmetric space of compact type (IHSS) multiplicity free action

Understanding Human and Machine Interaction from Decision Perspective: An Empirical Study Based on the Game of Go

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Systems Science & Complexity 2024年第2期37卷 647-667页

作者： ZHAO Ping LI Xuerong WANG Shouyang academy of Mathematics and Systems Science Chinese Academy of SciencesBeijing 100190China school of Mathematical sciences University of Chinese Academy of SciencesBeijing 100190China

The authors aim to interpret human and AI interactions from the decision *** authors decompose the interaction analysis into the following main components in the context of interactions:Individual behavior patterns,interaction relationships,and comprehensive *** authors interpret intertemporal decisions from a physical perspective and employ cross-discipline concepts and methodologies to extract the behavior characteristics of players in the empirical case *** the individual behavior patterns,the authors find that human players prefer short-term periods to AI in *** interaction relationship analysis reveals a dynamic relationship between possible short-term co-movement and nearly counter-movement in the long *** authors apply principal component analysis to descriptive indicators and discover a regular decision *** main behavior pattern of players in the game of Go is switching between careful and daring *** differences in the decision hierarchies imply a discrepancy of patience between humans and AI.

关键词： Coherence analysis decision hierarchy machine behaviour multitaper spectral analysis

Fixed-Time Antidisturbance Consensus Tracking for Nonlinear Multiagent Systems With Matching and Mismatching Disturbances

在线全文

学校读者我要写书评

暂无评论

IEEE/CAA Journal of Automatica Sinica 2024年第6期11卷 1410-1423页

作者： Xiangmin Tan Chunyan Hu Guanzhen Cao Qinglai Wei Wei Li Bo Han Institute of Engineering Thermophysics Chinese Academy of SciencesBeijing 100190 school of Aeronautics and Astronautics University of Chinese Academy of SciencesBeijing 100049China Institute of Automation Chinese Academy of SciencesBeijing 100190 school of Artificial Intelligence University of Chinese Academy of SciencesBeijing 100049China IEEE

In this paper,fixed-time consensus tracking for mul-tiagent systems(MASs)with dynamics in the form of strict feed-back affine nonlinearity is addressed.A fixed-time antidistur-bance consensus tracking protocol is proposed,which consists of a distributed fixed-time observer,a fixed-time disturbance observer,a nonsmooth antidisturbance backstepping controller,and the fixed-time stability analysis is conducted by using the Lyapunov theory *** paper includes three main ***,a distributed fixed-time observer is developed for each follower to obtain an estimate of the leader’s output by utilizing the topology of the communication ***,a fixed-time disturbance observer is given to estimate the lumped disturbances for feedforward ***,a nonsmooth antidisturbance backstepping tracking controller with feedforward compensation for lumped disturbances is *** order to mitigate the“explosion of complexity”in the tradi-tional backstepping approach,we have implemented a modified nonsmooth command filter to enhance the performance of the closed-loop *** simulation results show that the pro-posed method is effective.

关键词： Antidisturbance backstepping consensus tracking fixed-time stability multiagent system(MASs) strict feedback affine nonlinear systems.

Development of 400-μW cryogen-free dilution refrigerators for quantum experiments

在线全文

学校读者我要写书评

暂无评论

chinese Physics B 2024年第7期33卷 28-35页

作者：关翔樊洁边勇波程智刚姬忠庆 Institute of Physics Chinese Academy of SciencesBeijing 100190China school of Physical sciences University of Chinese Academy of SciencesBeijing 100190China

We have successfully developed cryogen-free dilution refrigerators with medium cooling power that can be applied to quantum experiments. Breakthroughs have been made in some key technologies and components of heat switches and dilution units. Our prototype has been running continuously and stably for more than 100 hours below 10 m K, with a minimum temperature of 7.6 m K and a cooling power of 450 μW at 100 m K. At the same time, we have also made progress in the application of dilution refrigerators, such as quantum computing, low-temperature detector, and magnet integration. These indicators and test results indicate good prospects for application in physics, astronomy, and quantum information.

关键词： cryogen-free dilution refrigerator quantum computing low-temperature detector superconducting magnet

ESM Cloud Toolkit: A Copilot for Energy Storage Material Research

在线全文

学校读者我要写书评

暂无评论

chinese Physics Letters 2024年第5期41卷 40-46页

作者：许晶肖睿娟李泓 Institute of Physics Chinese Academy of SciencesBeijing 100190China school of Physical sciences University of Chinese Academy of SciencesBeijing 100049China

Searching and designing new materials play crucial roles in the development of energy storage devices. In today's world where machine learning technology has shown strong predictive ability for various tasks, the combination with machine learning technology will accelerate the process of material development. Herein, we develop ESM Cloud Toolkit for energy storage materials based on Mat Elab platform, which is designed as a convenient and accurate way to automatically record and save the raw data of scientific research. The ESM Cloud Toolkit includes multiple features such as automatic archiving of computational simulation data, post-processing of experimental data, and machine learning applications. It makes the entire research workflow more automated and reduces the entry barrier for the application of machine learning technology in the domain of energy storage materials. It integrates data archive, traceability, processing, and reutilization, and allows individual research data to play a greater role in the era of AI.

关键词： Toolkit Storage ESM

Some Modified Equations of the Sine-Hilbert Type

在线全文

学校读者我要写书评

暂无评论

chinese Physics Letters 2024年第4期41卷 1-6页

作者：闫铃娟刘亚杰胡星标 LSEC ICMSECAcademy of Mathematics and Systems ScienceChinese Academy of SciencesBeijing 100190China school of Mathematical sciences University of Chinese Academy of SciencesBeijing 100049China

Three modified sine-Hilbert(sH)-type equations, i.e., the modified sH equation, the modified damped sH equation, and the modified nonlinear dissipative system, are proposed, and their bilinear forms are *** on these b... 详细信息

关键词： bilinear equations equation

Equilibrium Strategy of the Pursuit-Evasion Game in Three-Dimensional Space

在线全文

学校读者我要写书评

暂无评论

IEEE/CAA Journal of Automatica Sinica 2024年第2期11卷 446-458页

作者： Nuo Chen Linjing Li Wenji Mao school of Artificial Intelligence University of Chinese Academy of SciencesBeijing 100049 Institute of Automation Chinese Academy of SciencesBeijing 100190China

The pursuit-evasion game models the strategic interaction among players, attracting attention in many realistic scenarios, such as missile guidance, unmanned aerial vehicles, and target defense. Existing studies mainly concentrate on the cooperative pursuit of multiple players in two-dimensional pursuit-evasion games. However, these approaches can hardly be applied to practical situations where players usually move in three-dimensional space with a three-degree-of-freedom control. In this paper,we make the first attempt to investigate the equilibrium strategy of the realistic pursuit-evasion game, in which the pursuer follows a three-degree-of-freedom control, and the evader moves freely. First, we describe the pursuer's three-degree-of-freedom control and the evader's relative coordinate. We then rigorously derive the equilibrium strategy by solving the retrogressive path equation according to the Hamilton-Jacobi-Bellman-Isaacs(HJBI) method, which divides the pursuit-evasion process into the navigation and acceleration phases. Besides, we analyze the maximum allowable speed for the pursuer to capture the evader successfully and provide the strategy with which the evader can escape when the pursuer's speed exceeds the threshold. We further conduct comparison tests with various unilateral deviations to verify that the proposed strategy forms a Nash equilibrium.

关键词： Differential game equilibrium strategy pursuit-evasion game threedegree-of-freedom control

Analysis of phase preservation and interferometric offset test in sparse SAR imaging

在线全文

学校读者我要写书评

暂无评论

Science China(Information sciences) 2024年第2期67卷 219-231页

作者： Zhongqiu XU Bingchen ZHANG Guangzuo LI Xueli ZHAN Yanfei BAO Yirong WU Key Laboratory of Spatial Information Processing and Application System Technology Chinese Academy of Sciences Aerospace Information Research Institute Chinese Academy of Sciences school of Electronic Electrical and Communication EngineeringUniversity of Chinese Academy of Sciences PLA academy of Military sciences

Sparse synthetic aperture radar(SAR) imaging has emerged as a reliable microwave imaging scheme in the recent decade and excels in down-sampling reconstruction and full-sampling performance improvements such as noise, sidelobe, speckle, and ambiguity suppression. To utilize complex image products of sparse reconstruction for improvement in polarimetric, interferometric, and tomographic SAR imaging, it is necessary to evaluate the phase preservation of sparse SAR imaging. In this study, we first introduce the general alternating direction method of multipliers(ADMM) as the universal framework for sparse reconstruction algorithms and adopt chirp scaling algorithm(CSA)-based azimuth-range decouple operators to avoid expensive data storage and processing. Further, we theoretically analyze the phase preservation of the sparse reconstruction algorithm through a comparison with the reconstruction results of CSA. Finally,we conduct the interferometric offset test on the sparse reconstruction results of simulated and real Gaofen-3(GF-3) SAR data, demonstrating the phase-preserving ability of sparse methods.

关键词： sparse SAR imaging phase preservation interferometric offset test general ADMM azimuth-range decouple

Identifying malicious traffic under concept drift based on intraclass consistency enhanced variational autoencoder

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science China(Information sciences) 2024年第8期67卷 238-252页

作者： Xiang LUO Chang LIU Gaopeng GOU Gang XIONG Zhen LI Binxing FANG Institute of Information Engineering Chinese Academy of Sciences school of Cyber Security University of Chinese Academy of Sciences school of Computer Science and Technology Harbin Institute of Technology (Shenzhen)

Accurate identification of malicious traffic is crucial for implementing effective defense countermeasures and has led to extensive research efforts. However, the continuously evolving techniques employed by adversaries have introduced the issues of concept drift, which significantly affects the performance of existing methods. To tackle this challenge, some researchers have focused on improving the separability of malicious traffic representation and designing drift detectors to reduce the number of false ***, these methods often overlook the importance of enhancing the generalization and intraclass consistency in the representation. Additionally, the detectors are not sufficiently sensitive to the variations among different malicious traffic classes, which results in poor performance and limited robustness. In this paper, we propose intraclass consistency enhanced variational autoencoder with Class-Perception detector(ICE-CP) to identify malicious traffic under concept drift. It comprises two key modules during training:intraclass consistency enhanced(ICE) representation learning and Class-Perception(CP) detector construction. In the first module, we employ a variational autoencoder(VAE) in conjunction with Kullback-Leibler(KL)-divergence and cross-entropy loss to model the distribution of each input malicious traffic flow. This approach simultaneously enhances the generalization, interclass consistency, and intraclass differences in the learned representation. Consequently, we obtain a compact representation and a trained classifier for nondrifting malicious traffic. In the second module, we design the CP detector, which generates a centroid and threshold for each malicious traffic class separately based on the learned representation, depicting the boundaries between drifting and non-drifting malicious traffic. During testing, we utilize the trained classifier to predict malicious traffic classes for the testing samples. Then, we use the CP det

关键词： concept drift malicious traffic identification variational autoencoder intrusion detection cyberspace security

SAT-Based Automatic Searching for Differential and Linear Trails: Applying to CRAX

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

chinese Journal of Electronics 2024年第1期33卷 72-79页

作者： Yiyi HAN Caibing WANG Zhongfeng NIU Lei HU State Key Laboratory of Information Security Institute of Information Engineering Chinese Academy of Sciences school of Cyber Security University of Chinese Academy of Sciences

Boolean satisfiability problem(SAT) is now widely applied in differential cryptanalysis and linear cryptanalysis for various cipher *** generated many excellent results for some ciphers,for example,*** this research,we study the differential and linear propagations through the operations of addition,rotation and XOR(ARX),and construct the SAT *** apply the models to CRAX to search differential trails and linear trails *** this sense,our contnbution can be broadly divided into two *** give the bounds for differential and linear cryptanalysis of Alzette both up to 12 steps,by which we present a 3-round differential attack and a 3-round linear attack for *** construct a 4-round key-recovery attack for CRAX with time complexity289times of 4-round encryption and data complexity 225.

关键词： Ciphers Encryption Complexity theory Time complexity